Results 151 to 160 of about 17,292 (295)
Discovery and Evolution of Natural Deduction
, 2014 In 1934 Jaśkowski and Gentzen independently published the first work on natural deduction. Since then a lot of work has been done on both practical and theoretical aspects of natural deduction, but the original ideas of both authors are still alive and ...
Indrzejczak, Andrzej
core
Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.We demonstrate the direct‐laser patterning of a gold thin film on polymethyl methacrylate to fabricate a temperature sensor for dentures. The temperature sensor‐embedded smart dentures are evaluated in an oral environment, enabling in‐situ monitoring for elderly healthcare.
Han Ku Nam +7 more
wiley +1 more source
Equilibrium Propagation for Dissipative Dynamics
Advanced Intelligent Systems, EarlyView.This work develops local learning rules for damped linear dynamical systems, including mechanical structures and resistor‐inductor‐capacitor (RLC) circuits, by leveraging an effective action formulation. It demonstrates how physical systems can autonomously compute gradients and learn temporal patterns, enabling applications such as sound ...
Marc Berneman, Daniel Hexner
wiley +1 more source
, 1998 The typed -calculus and the natural deduction are isomorph. There is a mapping (the Curry-Howard's isomorphism) between each others. This paper shows that the typed calculi with explicit substitutions are isomorph to a logical deduction system which
Bruno Pagano, Pagano, Bruno
core
Diatom‐Inspired 1D Immobile Robots Capable of 2D Collective Mobility
Advanced Intelligent Systems, EarlyView.This study presents a diatom‐inspired robotic system that explores group coordination through limited physical interactions. The researchers tune groups of Barbots, simple robotic agents that possess neither individual mobility nor explicit communication capabilities, to achieve complex and adaptive collaboration based on environmental light.
Tianyi Hu +4 more
wiley +1 more source
Speckle Skin‐Based Multimodal Tactile Perception for Fine Robotic Manipulation
Advanced Intelligent Systems, EarlyView.SpeckleTac, a miniature vision‐based tactile sensor, utilizes a speckle‐pattern skin and optical flow‐based scalable virtual marker tracking. Combined with advanced algorithms, it achieves high‐resolution 3D surface reconstruction, precise contact perception, and stable grasping capabilities.
Jiayuan Zhang +6 more
wiley +1 more source
Deriving Safety Cases from Machine-Generated Proofs
, 2009 Proofs provide detailed justification for the validity of claims and are widely used in formal software development methods. However, they are often complex and difficult to understand, because they use machine-oriented formalisms; they may also be based
Fischer, Bernd +2 more
core
AI &Innovation, EarlyView.ABSTRACT The rapid advancement of large language model (LLM) technology is profoundly transforming the practice of social science research. Scholarly discussions on Artificial Intelligence (AI)'s role in social science research can be organised into three levels: AI as a research tool, AI as a methodological infrastructure and AI as a quasi‐cognitive ...
Jie Xiong
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
Formation of Gallium Monofluoride in the Coordination Sphere of Nickel
Angewandte Chemie, EarlyView.The elusive gas‐phase species gallium monofluoride forms selectively in the coordination sphere of a nickel(II) centre as a product of C(sp3)–F bond activation, with a weakly coordinating anion as the fluorine source. The herein reported gallium monofluoride ligand acts as a very strong σ‐donor ligand at nickel and serves as a fluorine donor towards ...
Johannes Stephan +6 more
wiley +2 more sources