Results 91 to 100 of about 349,803 (277)
Interactive Solution Viewers for Automated Theorem Proving
Proceedings of the International Florida Artificial Intelligence Research Society ConferenceThis paper describes interactive viewers for TPTP format proofs and models generated by Automated Theorem Proving (ATP) systems.
Daniel Li +3 more
doaj
Interactive Theorem Proving [PDF]
Journal of Automated Reasoning, 2016 Gerwin Klein, Ruben Gamboa
+6 more sources
Material‐Based Intelligence: Autonomous Adaptation and Embodied Computation in Physical Substrates
Advanced Intelligent Systems, EarlyView.This perspective formulates a unifying framework for Material‐Based Intelligence (MBI), defining the physical requirements for materials to achieve embodied action, active memory and embodied information processing through intrinsic nonequilibrium dynamics. The design of intelligent materials often draws parallels with the complex adaptive behaviors of
Vladimir A. Baulin +4 more
wiley +1 more source
Research in advanced formal theorem-proving techniques [PDF]
The results are summarised of a project aimed at the design and implementation of computer languages to aid in expressing problem solving procedures in several areas of artificial intelligence including automatic programming, theorem proving, and robot ...
Fikes, R., Raphael, B., Waldinger, R.
core +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
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
Automated deduction in Topology: two different approaches
Le Matematiche, 1988 Two approaches to theorem proving in Topology are described and some research problems in the field are given.
Vincenzo Cutello
doaj
Advanced Physics Research, EarlyView.Nanoscale 3D imaging of superparamagnetic microbeads via soft X‐ray laminography reveals the structural origin of the observed torques in cell movement experiments. These microbeads are found to have an uneven distribution of magnetic magnetite nanoparticles.
Findan Block +9 more
wiley +1 more source
Intuitionistic fuzzy probability and two theorems from extreme value theory [PDF]
Notes on IFSThe aim of this contribution is to formulate a variation of Fisher–Tipett–Gnedenko theorem and a variation of Pickand—Balkema—de Haan theorem for intuitionistic fuzzy observables using an intuitionistic fuzzy probability.
Katarína Čunderlíková
doaj +1 more source
Asymptotics of orthogonal polynomials via the Koosis theorem
, 2005 The main aim of this short paper is to advertize the Koosis theorem in the mathematical community, especially among those who study orthogonal polynomials. We (try to) do this by proving a new theorem about asymptotics of orthogonal polynomials for which
Nazarov, F., Volberg, A., Yuditskii, P.
core +1 more source