Results 101 to 110 of about 17,772 (305)
Three nontrivial solutions for nonlinear fractional Laplacian equations
Advances in Nonlinear Analysis, 2018 We study a Dirichlet-type boundary value problem for a pseudodifferential equation driven by the fractional Laplacian, proving the existence of three non-zero solutions.
Düzgün Fatma Gamze +1 more
doaj +1 more source
Distributed theorem proving by Peers [PDF]
, 1994 Peers is a prototype for parallel theorem proving in a distributed environment. It implements a number of strategies for refutational, contraction-based theorem proving in equational theories, whose signatures may include associative-commutative (AC ...
William W. McCune +2 more
core +1 more source
Advanced Intelligent Systems, EarlyView.This paper proposes a novel control framework to ensure safety of a robotic swarm. A feedback optimization controller is capable of driving the swarm toward a target density while keeping risk‐zone exposure below a safety threshold. Theory and experiments show how safety is more effectively achieved for sparsely connected swarms.
Longchen Niu, Gennaro Notomista
wiley +1 more source
Strong sequences and partition relations
Annales Universitatis Paedagogicae Cracoviensis: Studia Mathematica, 2017 The first result in partition relations topic belongs to Ramsey (1930). Since that this topic has been still explored. Probably the most famous partition theorem is Erdős-Rado theorem (1956).
Joanna Jureczko
doaj +1 more source
A Comprehensive Framework for Saturation Theorem Proving. [PDF]
J Autom Reason, 2022 Waldmann U +3 more
europepmc +1 more source
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
Formal verification of physical human-robot interaction using interactive theorem proving
Journal of Intelligent SystemsPhysical Human-robot Interaction (pHRI) involves physical collaboration between humans and robots to perform tasks safely and efficiently in shared environments. Traditionally, pHRI behavior has been analyzed using analytical or simulation-based methods,
Abed Sa’ed, Rashid Adnan, Hasan Osman
doaj +1 more source
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
Surface Charges Guided Quasi‐TEM‐mode Microwave Propagation along Dielectric Nanowire
Advanced Physics Research, EarlyView.According to Maxwell's equations, a single‐conductor transmission line cannot allow TEM‐mode electromagnetic wave propagation, however, this is based upon the assumption that dielectric material is isolated from the environment. In practice, surface electrostatic charges widely existed in nano‐materials with large surface‐to‐volume ratio.
BoYan Xu +7 more
wiley +1 more source
On a new generalized symmetric vector equilibrium problem
Journal of Inequalities and Applications, 2017 In this paper, a new form of the symmetric vector equilibrium problem is introduced and, by mixing properties of the nonlinear scalarization mapping and the maximal element lemma, an existence theorem for it is established.
Rahmatollah Lashkaripour +1 more
doaj +1 more source