English
Related papers

Related papers: Iterating Semi-proper Forcing using Virtual Models

200 papers

Low-order virtual element methods (VEM) compute a consistent finite-strain contribution through polynomial projections and rely on stabilization to control the unresolved modes in the projector kernel. In current hyperelastic VEM practice,…

Numerical Analysis · Mathematics 2026-05-21 Paulo Akira F. Enabe , Rodrigo Provasi

An agent employing reinforcement learning takes inputs (state variables) from an environment and performs actions that affect the environment in order to achieve some objective. Rewards (positive or negative) guide the agent toward improved…

Neural and Evolutionary Computing · Computer Science 2024-02-29 James E. Smith

Inverse reinforcement learning (IRL) aims to recover the reward function of an expert agent from demonstrations of behavior. It is well-known that the IRL problem is fundamentally ill-posed, i.e., many reward functions can explain the…

Machine Learning · Computer Science 2024-06-07 Filippo Lazzati , Mirco Mutti , Alberto Maria Metelli

Visual-inertial systems rely on precise calibrations of both camera intrinsics and inter-sensor extrinsics, which typically require manually performing complex motions in front of a calibration target. In this work we present a novel…

This work aims to produce translations that convey source language content at a formality level that is appropriate for a particular audience. Framing this problem as a neural sequence-to-sequence task ideally requires training triplets…

Computation and Language · Computer Science 2019-12-02 Xing Niu , Marine Carpuat

We present numerical tests of the Virtual Element Method (VEM) tailored for the discretization of a three dimensional Poisson problem with high-order "polynomial" degree (up to $p=10$). Besides, we discuss possible reasons for which the…

Numerical Analysis · Mathematics 2017-09-14 Lorenzo Mascotto , Franco Dassi

Seemingly since the inception of virtual humans, there has been an effort to make their behaviors more natural and human-like. In additions to improving movement's visual quality, there has been considerable research focused on creating…

Artificial Intelligence · Computer Science 2020-04-22 Weizi Li , Jan M. Allbeck

Offline reinforcement learning (RL) learns effective policies from pre-collected datasets, offering a practical solution for applications where online interactions are risky or costly. Model-based approaches are particularly advantageous…

Machine Learning · Computer Science 2026-05-14 Xuyang Chen , Keyu Yan , Guojian Wang , Lin Zhao

To enhance the reasoning capabilities of Large Language Models (LLMs) without high costs of training, nor extensive test-time sampling, we introduce Verification-First (VF), a strategy that prompts models to verify a provided candidate…

Computation and Language · Computer Science 2026-05-26 Shiguang Wu , Quanming Yao

Numerous tasks at the core of statistics, learning and vision areas are specific cases of ill-posed inverse problems. Recently, learning-based (e.g., deep) iterative methods have been empirically shown to be useful for these problems.…

Computer Vision and Pattern Recognition · Computer Science 2018-08-17 Risheng Liu , Shichao Cheng , Yi He , Xin Fan , Zhouchen Lin , Zhongxuan Luo

Imitation Learning uses the demonstrations of an expert to uncover the optimal policy and it is suitable for real-world robotics tasks as well. In this case, however, the training of the agent is carried out in a simulation environment due…

Machine Learning · Computer Science 2022-06-23 Zoltán Lőrincz , Márton Szemenyei , Róbert Moni

In computer experiments, a mathematical model implemented on a computer is used to represent complex physical phenomena. These models, known as computer simulators, enable experimental study of a virtual representation of the complex…

Methodology · Statistics 2012-07-03 Hugh Chipman , Pritam Ranjan , Weiwei Wang

We propose a novel algorithm for offline reinforcement learning called Value Iteration with Perturbed Rewards (VIPeR), which amalgamates the pessimism principle with random perturbations of the value function. Most current offline RL…

Machine Learning · Computer Science 2023-03-07 Thanh Nguyen-Tang , Raman Arora

The Virtual Element Method (VEM) is a well-established framework for solving partial differential equations on polygonal and polyhedral meshes. In this paper, we introduce a novel hybrid VEM that integrates both conforming and nonconforming…

Numerical Analysis · Mathematics 2026-05-28 L. Beirão da Veiga , F. Dassi , A. Russo , M. Trezzi

Cloud solutions are increasingly used for a plethora of purposes, including solving memory-intensive and computation-intensive problems. Ensuring the reliability, availability, scalability, and security of cloud solutions, as networked…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-10-26 Razieh Behjati , Ahmed Elmokashfi

We describe a formalization of forcing using Boolean-valued models in the Lean 3 theorem prover, including the fundamental theorem of forcing and a deep embedding of first-order logic with a Boolean-valued soundness theorem. As an…

Logic in Computer Science · Computer Science 2019-04-25 Jesse Michael Han , Floris van Doorn

Virtual try-on system under arbitrary human poses has huge application potential, yet raises quite a lot of challenges, e.g. self-occlusions, heavy misalignment among diverse poses, and diverse clothes textures. Existing methods aim at…

Computer Vision and Pattern Recognition · Computer Science 2019-03-01 Haoye Dong , Xiaodan Liang , Bochao Wang , Hanjiang Lai , Jia Zhu , Jian Yin

Classical value iteration approaches are not applicable to environments with continuous states and actions. For such environments, the states and actions are usually discretized, which leads to an exponential increase in computational…

Machine Learning · Computer Science 2021-05-12 Michael Lutter , Shie Mannor , Jan Peters , Dieter Fox , Animesh Garg

Interactions among multiple time series of positive random variables are crucial in diverse financial applications, from spillover effects to volatility interdependence. A popular model in this setting is the vector Multiplicative Error…

Computation · Statistics 2021-07-12 Nicola Donelli , Stefano Peluso , Antonietta Mira

Online learning makes sequence of decisions with partial data arrival where next movement of data is unknown. In this paper, we have presented a new technique as multiple times weight updating that update the weight iteratively forsame…

Machine Learning · Computer Science 2019-01-09 Charanjeet , Anuj Sharma