Results 71 to 80 of about 28,741 (192)
Kripke's Reduction of Löb's Theorem to the Second Incompleteness Theorem
ABSTRACT In this paper, we discuss Kripke's reduction of Löb's Principle to the Second Incompleteness Theorem. We have a closer look at the non‐constructive character of the reduction. We reflect on what the argument has to tell us. In the Appendix, We give a strengthening of Löb's Principle suggested by Kripke's reduction.
Albert Visser
wiley +1 more source
Vagus nerve stimulation (VNS) effects span central and peripheral organ systems through diverse mechanistic pathways. This comprehensive review provides a unified synthesis of these mechanisms across neurological, cardiovascular, immunological, metabolic, and gastrointestinal domains, filling a critical gap and serving as a foundational resource for ...
Yifeng Bu +11 more
wiley +1 more source
Light Transition Metal Monatomic Chains
In this paper we investigated structural, electronic and magnetic properties of 3d (light) transition metal (TM) atomic chains using first-principles pseudopotential plane wave calculations. Periodic linear, dimerized linear and planar zigzag chain structures and their short segments consisting of finite number of atoms have been considered.
Ataca, C. +4 more
openaire +2 more sources
Price Indices Rekindled, 1970s–1990s: Theory and Practice at Cross Purposes?
ABSTRACT This paper revisits the discussions on price indices during a period marked by theoretical advancements and practical challenges in measuring inflation. Index‐number theorists sought to improve accuracy, yet national statistical offices largely maintained established practices due to concerns over data availability, stability, and public trust.
Victor Cruz‐e‐Silva, Bert M. Balk
wiley +1 more source
Fast and Slow Signal Propagation in Abiotic Polypeptide Assemblies
Proteinoid microspheres formed by thermal polymerization of amino acids exhibit spontaneous electrical potential fluctuations without genetic material, membranes, or ion channels. Multi‐electrode recordings and electron microscopy reveal composition‐dependent voltage oscillations, long‐term drifts, and correlated signals across electrodes.
Panagiotis Mougkogiannis +1 more
wiley +1 more source
Attribute Implication Bases From Galois Connection Structures
ABSTRACT Modeling knowledge systems by determining relationships among key variables have been and currently is a fundamental and nontrivial challenge in real‐world scenarios. Many approaches have been developed to reach this goal, but many of them are heuristic and require of alternative procedures to provide robust and tractable rules.
M. Eugenia Cornejo +2 more
wiley +1 more source
SciLitMiner: An Intelligent System for Scientific Literature Mining and Knowledge Discovery
SciLitMiner is an intelligent system that federately ingests scientific literature, filters it using advanced information retrieval methods, and applies retrieval‐augmented generation tailored to scientific domains. Demonstrated on creep deformation in γ‐TiAl alloys, SciLitMiner provides a controlled workflow for systematic knowledge discovery and ...
Vipul Gupta +3 more
wiley +1 more source
Smart Contracts and SME Resilience: Business Model Adaptation and International Considerations
ABSTRACT Smart contracts (SCs), appended to a blockchain, protect digital environments and their resources, processes and structures, reducing mismatches between legal and actual rights and ownership. They enhance digital resilience by improving transparency, traceability and trust in digital transactions.
Araz Zirar +2 more
wiley +1 more source
Connecting the Dots: Associative Transfer and Inference at 6 Months of Age
ABSTRACT Infants continuously pick up incidental information about their environmental surroundings, expressing only a small fraction of what they learn. The present experiments examined whether 6‐month‐olds can transfer learning between stimuli they never see together through mnemonic networks.
David A. Townsend +2 more
wiley +1 more source
ABSTRACT Background Metabolic dysfunction–associated steatotic liver disease (MASLD) is the most common chronic liver disorder worldwide. Sodium–glucose cotransporter‐2 (SGLT2) inhibitors, glucose‐lowering agents with cardiovascular benefits, have shown hepatoprotective potential.
Demver P. Gomez +2 more
wiley +1 more source

