Results 81 to 90 of about 3,500,861 (360)
Frontiers in Psychology, 2016 Whether pitch in language and music is governed by domain-specific or domain-general cognitive mechanisms is contentiously debated. The aim of the present study was to investigate whether mechanisms governing pitch contour perception operate differently ...
Joey L. Weidema +2 more
doaj +1 more source
Transducer Materials Mediated Deep Brain Stimulation in Neurological Disorders
Advanced Functional Materials, EarlyView.This review discusses advanced transducer materials for improving deep brain stimulation (DBS) in neurological disorders. These materials respond to light, ultrasound, or magnetic fields, enabling precise, less invasive neuromodulation. Their stimulus‐responsive properties enhance neural control and adaptive therapy, paving the way for next‐generation ...
Di Zhao +5 more
wiley +1 more source
The succinctness of first-order logic on linear orders
, 2004 Succinctness is a natural measure for comparing the strength of different logics. Intuitively, a logic L_1 is more succinct than another logic L_2 if all properties that can be expressed in L_2 can be expressed in L_1 by formulas of (approximately) the ...
Andrei Voronkov +5 more
core +4 more sources
Reconfigurable Three‐Dimensional Superconducting Nanoarchitectures
Advanced Functional Materials, EarlyView.3D superconducting nanostructures offer new possibilities for emergent physical phenomena. However, fabricating complex geometries remains challenging. Here 3D nanoprinting of complex 3D superconducting nanoarchitectures is established. As well as propagating superconducting vortices in 3D, anisotropic superconducting properties with geometric ...
Elina Zhakina +11 more
wiley +1 more source
On Generalized Records and Spatial Conjunction in Role Logic
, 2004 We have previously introduced role logic as a notation for describing properties of relational structures in shape analysis, databases and knowledge bases.
Kuncak, Viktor, Rinard, Martin
core +4 more sources
Encoding Markov Logic Networks in Possibilistic Logic [PDF]
, 2015 Markov logic uses weighted formulas to compactly encode a probability distribution over possible worlds. Despite the use of logical formulas, Markov logic networks (MLNs) can be difficult to interpret, due to the often counter-intuitive meaning of their ...
Davis, Jesse +2 more
core +1 more source
, 2017 In R.D. Sorkin's framework for logic in physics a clear separation is made between the collection of unasserted propositions about the physical world and the affirmation or denial of these propositions by the physical world.
D. Greenberger +9 more
core +1 more source
Logic frameworks for logic programs [PDF]
, 1994 We show how logical frameworks can provide a basis for logic program synthesis. With them, we may use first-order logic as a foundation to formalize and derive rules that constitute program development calculi. Derived rules may be in turn applied to synthesize logic programs using higher-order resolution during proof that programs meet their ...
openaire +4 more sources
Advanced Functional Materials, EarlyView.Edible electronics needs integrated logic circuits for computation and control. This work presents a potentially edible printed chitosan‐gated transistor with a design optimized for integration in circuits. Its implementation in integrated logic gates and circuits operating at low voltage (0.7 V) is demonstrated, as well as the compatibility with an ...
Giulia Coco +8 more
wiley +1 more source
Advanced Functional Materials, EarlyView.CD105‐LNPs and PS‐LNPs can deliver α‐lipoic acid to bone marrow mesenchymal stem cells and bone marrow‐derived macrophages, reversing high glucose‐induced oxidative stress while enhancing osteogenesis and M2 polarization. Integrating both nanoparticles into glucose‐responsive hyaluronic acid hydrogel forms DLNPs@HA hydrogel, which accelerates diabetic ...
Yanzhi Zhao +11 more
wiley +1 more source