Results 131 to 140 of about 74,153 (309)
Comparison and existence theorems for backwards stochastic DE's with discontinuous generators
Electronic Journal of Differential Equations, 2011 An existence result is proved for backwards stochastic differential equations (BSDEs) with a generator f(t,x,z) which is possibly discontinuous in the x variable.
Nikolaos Halidias, Peter E. Kloeden
doaj
The comparison theorem of FBSDE
We prove one comparison theorem of FBSDE using pure probabilistic method and duality technique. The method allows the coefficients in FBSDE to be random and with possible degeneracy in the forward equation.Backward stochastic differential equations ...
Wu, Zhen
core
Towards Advanced Intelligent and Perceptive Soft Grippers
Advanced Intelligent Systems, EarlyView.Implementing soft yet strong and intelligent soft grippers request innovative and creative solutions in designing soft bodies and seamlessly integrating actuated systems with hierarchical sensing. This review systematically analyses soft grippers with a deep understanding of core components, from fundamental design principles to actuation and sensing ...
Haneul Kim +4 more
wiley +1 more source
A Two‐Stage Characterization Pipeline and Open‐Source Framework for Reproducible Tactile Sensing
Advanced Intelligent Systems, EarlyView.The same soft tactile sensor returns different numbers when embodied in different robots. This is an Embodiment Gap that no shared framework currently captures transparently. A two‐stage characterization pipeline, paired with a FAIR open‐source digital datasheet, decouples intrinsic sensor behavior from embodiment effects and condenses cross‐laboratory
Matteo Lo Preti +6 more
wiley +1 more source
AI &Innovation, EarlyView.ABSTRACT The rapid evolution of the Internet of Things (IoT) has significantly advanced the field of electrocardiogram (ECG) monitoring, enabling real‐time, remote, and patient‐centric cardiac care. This paper presents a comprehensive survey of AI assisted IoT‐based ECG monitoring systems, focusing on the integration of emerging technologies such as ...
Amrita Choudhury +2 more
wiley +1 more source
A Comparison of Four Propositional Theorem Provers
, 2000 Introduction Propositional theorem provers -- also known as satisfiability (SAT) solvers -- are receiving increased attention in the area of formal verification since recent developments in algorithms has made it possible to use propositional theorem ...
Industrilogik Li Ab +1 more
core
An integral comparison theorem for cavitation diagrams [PDF]
, 2011 In this paper we prove a comparison theorem for a functional whose positiveness is a necessary condition for the solvability of the problem of designing a hydrofoil by a given cavitation diagram. Original Russian Text © N.I. Manina and A.Ya.
Aksent'ev L., Maklakov D.
core
American Journal of Agricultural Economics, EarlyView.Abstract Crop insurance is undoubtedly an extremely valuable element in protecting agricultural businesses, but in many cases standard indemnity‐based products have had very low uptake due to high transaction costs elevating premiums to unaffordable levels.
Amogh Prakasha Kumar +2 more
wiley +1 more source
A Schur's type volume comparison theorem
In this paper, inspired by Schur's comparison theorem about curves in Euclidean space, we mainly provide a Schur's type volume comparison theorem, which is about the volumes of the boundaries of open balls in a complete $n$-dimensional Riemannian ...
Tan, Yi, Wang, Yusheng, Su, Xiaole
core
Accounting for animal health in efficiency analysis: An application to Swedish dairy farms
American Journal of Agricultural Economics, EarlyView.Abstract Poor animal health is a central concern in modern livestock production. Despite the necessity to incorporate animal health in efficiency analysis, the theoretical and empirical developments are limited on this subject. This article appropriately characterizes the axiomatic properties of animal health within a production framework.
Frederic Ang +3 more
wiley +1 more source