Results 61 to 70 of about 547,109 (305)
Logic Integer Programming Models for Signaling Networks
, 2008 We propose a static and a dynamic approach to model biological signaling networks, and show how each can be used to answer relevant biological questions. For this we use the two different mathematical tools of Propositional Logic and Integer Programming.
Haus U.-U. +5 more
core +3 more sources
Adaptive Fractional Hybrid Impedance Control of Rotary Series Elastic Actuator in Flat Terrains
Advanced Intelligent Systems, EarlyView.This article presents an adaptive fractional hybrid impedance control (AFH‐IC) approach for rotary series elastic actuators operating on flat terrains. The proposed method integrates fractional‐order control, adaptive fuzzy logic, and particle swarm optimization to enhance torque tracking accuracy and robustness.
Muhammed Özdemir, Zafer Bingül
wiley +1 more source
Desperately seeking mathematical proof [PDF]
The Mathematical Intelligencer 31:2 (2009), 8-10, 2009 Remarks on mathematical proof and the practice of mathematics.
arxiv
Uncontrolled Learning: Codesign of Neuromorphic Hardware Topology for Neuromorphic Algorithms
Advanced Intelligent Systems, EarlyView.Codesign is used to implement a neuroscience‐inspired machine learning algorithm in all neuromorphic hardware. In this implementation, the hidden memristors cannot be directly accessed, limiting control of the network during training. By leveraging theoretical tools, including memristor circuits dynamics and a closed form expression for the network ...
Frank Barrows +3 more
wiley +1 more source
Mathematical Caricature of Large Waves [PDF]
arXiv, 2014 The Kadomtsev-Petviiashvili equation is considered as a mathematical caricature of large and rogue waves.
arxiv
Linear logic for constructive mathematics
, 2018 We show that numerous distinctive concepts of constructive mathematics arise automatically from an interpretation of "linear higher-order logic" into intuitionistic higher-order logic via a Chu construction.
Shulman, Michael
core
Rumfitt on truth-grounds, negation, and vagueness [PDF]
, 2018 In The Boundary Stones of Thought, Rumfitt defends classical logic against challenges from intuitionistic mathematics and vagueness, using a semantics of pre-topologies on possibilities, and a topological semantics on predicates, respectively.
Zach, Richard
core
, 2006 "[M]athematicians care no more for logic than logicians for mathematics." Augustus de Morgan, 1868. Proofs are traditionally syntactic, inductively generated objects.
Hughes, Dominic
core +4 more sources
Advanced Intelligent Systems, EarlyView.To argue the applicability of continuum wall‐climbing robots in the nuclear industry, an electromagnetic adhering and self‐inductive sensing integrated claw is developed. The flexible claw realizes an integrated design of the physical structure and excitation circuit. An automatic contact strategy based on fuzzy controller is established, which enables
Pengpeng Yang +3 more
wiley +1 more source