Results 81 to 90 of about 50,387 (206)
Kripke's Reduction of Löb's Theorem to the Second Incompleteness Theorem
Theoria, EarlyView.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
The Average Shadowing Property in Continuous Iterated Function Systems
Journal of Mathematical Extension, 2015 In this paper, we introduce a new type of iterated function systems, named; CIFS. Actually in a CIFS we have some flows instead of some functions in iterated function systems.
M. Fatehi Nia
doaj
Comprehensive Physiology, Volume 16, Issue 2, April 2026.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
, 2008 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?
Journal of Economic Surveys, Volume 40, Issue 2, Page 898-914, April 2026.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
ChemBioChem, Volume 27, Issue 6, 27 March 2026.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
Mathematical Methods in the Applied Sciences, Volume 49, Issue 4, Page 2729-2753, 15 March 2026.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
Game-theoretical control with continuous action sets
, 2014 Motivated by the recent applications of game-theoretical learning techniques to the design of distributed control systems, we study a class of control problems that can be formulated as potential games with continuous action sets, and we propose an actor-
Leslie, David S. +2 more
core +1 more source
SciLitMiner: An Intelligent System for Scientific Literature Mining and Knowledge Discovery
Advanced Intelligent Systems, Volume 8, Issue 3, March 2026.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
, 2002 Short cycles connectivity is a generalization of ordinary connectivity. Instead by a path (sequence of edges), two vertices have to be connected by a sequence of short cycles, in which two adjacent cycles have at least one common vertex.
Batagelj, V., Zaversnik, M.
core +2 more sources