Results 81 to 90 of about 1,318,770 (301)
Integrating Formal Methods by Unifying Abstractions [PDF]
, 2004 Integrating formal methods enhances their power as an intellectual tool in modelling and design. This holds regardless of automation, but a fortiori if software tools are conceived in an integrated framework.
openaire +3 more sources
A Field-Based Surface Integral Formalism for the Nonlocal Hydrodynamic Response from Nanoparticles
In this paper, a field-based surface integral formalism is proposed for the nonlocal hydrodynamic response of a metallic particle immersed in a homogeneous dielectric background.
X. Zheng +3 more
core +1 more source
A Simple Descriptor for Solid‐State Ionic Conductors Across Chemistries
Advanced Materials, EarlyView.Researchers develop a simple and transferable descriptor, distance contraction, for solid‐state ion migration across Li‐, Na‐, K‐, and Mg‐ion conductors and diverse anion chemistries. By capturing the maximum local contraction experienced by the migrating ion, the descriptor enables rapid materials screening and unifies diverse ion‐transport mechanisms.
Ramanuja Srinivasan Saravanan +4 more
wiley +1 more source
Mutual Adaptation and Influence: Review of Latent Dynamics Models in Human–Robot Interaction
Advanced Robotics Research, EarlyView.Robots are becoming better teammates by learning hidden patterns in how people act. This review covers how state‐of‐the‐art approaches leverage these patterns to help robots not only react but also anticipate and guide cooperation. Here, we synthesize a unifying framework for these approaches, classify and review existing works, and highlight key ...
Mason O. Smith +4 more
wiley +1 more source
On in-in correlators for spinning theories and their shadow formulation
Journal of High Energy PhysicsIn-in correlators are the basic observables in cosmology and are traditionally computed using the Schwinger-Keldysh formalism. In this paper we revisit this formalism for photons, gluons, and gravitons coupled to scalars in four dimensional de Sitter ...
Chandramouli Chowdhury +3 more
doaj +1 more source
The complex Liouville string: Worldsheet boundaries and non-perturbative effects
SciPost PhysicsWe investigate general observables of the complex Liouville string with worldsheet boundaries. We develop a universal formalism that reduces such observables to ordinary closed string amplitudes without boundaries, applicable to any worldsheet string ...
Scott Collier, Lorenz Eberhardt, Beatrix Mühlmann, Victor A. Rodriguez
doaj +1 more source
Advanced Robotics Research, EarlyView.DRIVE‐SAFE evaluates learning‐based, black‐box autonomous driving policies against evolving temporal safety requirements using Signal Temporal Logic robustness metrics. It aggregates distributional robustness measures with domain‐informed weights to guide iterative retraining.
Kristy Sakano +3 more
wiley +1 more source
Efficient Calculation of Energy Expectation Values in the Path Integral Formalism [PDF]
, 2006 The path integral formalism, originally introduced by Richard Feynman, represents a powerful general framework for dealing with quantum and statistical theories, as well as an extremely useful tool in many other areas of science.
Grujic, J
core
Volterra integral equations and fractional calculus: Do neighbouring solutions intersect? [PDF]
, 2012 This is the author's PDF version of an article published in Journal of Integral Equations and Applications. The definitive version is available at rmmc.asu.edu/jie/jie.html.This journal article considers the question of whether or not the solutions to ...
Diethelm, Kai, Ford, Neville J.
core +1 more source
Diverse Landscape of Tunable Magnetic, Topological, and Ferroelectric States in 2D Ti3Se3Te2
Advanced Science, EarlyView.Ti3Se3Te2 emerges as a multifunctional 2D van der Waals platform. The monolayer is a dynamically stable ferromagnetic quantum anomalous Hall insulator. In bilayers, two stacking configurations yield distinct phases: AA‐stacking hosts an altermagnetic quantum spin Hall insulator, while AA′‐stacking exhibits three‐state in‐plane ferroelectricity ...
Jiangtao Yu +5 more
wiley +1 more source