Results 101 to 110 of about 2,218 (230)
The structure of logical consequence : proof-theoretic conceptions
, 2010 The model-theoretic analysis of the concept of logical consequence has come under heavy criticism in the last couple of decades. The present work looks at an alternative approach to logical consequence where the notion of inference takes center stage ...
Hjortland, Ole T.
core
Advanced Intelligent Systems, EarlyView.Complex dynamics, often avoided in electromechanical design, can enhance soft robotics. We develop durable magnetic soft actuators operating in tunable dynamic regimes, enabling random number generation, stochastic computing, and time‐series prediction.
Eduardo Sergio Oliveros‐Mata +14 more
wiley +1 more source
Advanced Intelligent Systems, EarlyView.An agentic AI‐driven decision‐support framework for prosumers is proposed, integrating PV generation, load profiling, and multihorizon optimization within a four‐agent architecture. The approach significantly reduces grid dependence, enhances self‐sufficiency and prevents system oversizing.
Adela BÂRA, Simona‐Vasilica OPREA
wiley +1 more source
History and future of logic puzzles
, 2020 Includes bibliographical references (pages [319]-326) and index.Logic puzzles were first introduced to the public by Lewis Carroll in the late nineteenth century and have been popular ever since.
Rosenhouse Jason
core
On the Prospects for African Philosophy in Australia
Australian Journal of Social Issues, EarlyView.ABSTRACT This paper grapples with the situation of people of African descent in Australia by working through the constitution of the body of academic philosophy in the country. It contends with the parochialism of the Australian philosophical community and the prospects for the cultivation of greater pluralism. Taking African philosophy as one possible
Bryan Mukandi
wiley +1 more source
, 2012 The logic of gauge theory is considered by tracing its development from general relativity to Yang-Mills theory, through Weyl's two gauge ...
Afriat, Alexander, Alexander Afriat
core
Impedance Spectroscopy of Bifurcation Oscillations in S‐Type Self‐Oscillatory Devices
Advanced Physics Research, EarlyView.Impedance spectroscopy (IS) reveals stability regimes and bifurcation dynamics in S‐type self‐oscillatory devices. By linking nonlinear control theory with frequency‐domain measurements, experimental signatures of oscillations, entrainment, and phase locking are directly identified.
Gonzalo Rivera‐Sierra +5 more
wiley +1 more source
The Anatomical Record, EarlyView.Abstract Basking sharks, Cetorhinus maximus (Gunnerus, Brugden [Squalus maximus], Det Kongelige Norske Videnskabers Selskabs Skrifter, 1765, vol. 3, pp. 33–49), feed by gaping their mouths and gill slits, greatly reorienting their cranial skeletons to filter food from water.
Tairan Li +12 more
wiley +1 more source
Journal of the Association for Information Science and Technology, EarlyView.Abstract Context‐centric proactive information delivery (PID) is a relatively underexplored domain within recommender systems (RS) aimed at enhancing Knowledge Workers' productivity by proactively providing relevant information during digital tasks.
Mahta Bakhshizadeh +4 more
wiley +1 more source
Early‐stage health technology assessment of a curative gene therapy for multiple sclerosis
British Journal of Clinical Pharmacology, EarlyView.Aims Multiple sclerosis (MS) is associated with significant early morbidity, reduced life expectancy and substantial healthcare and societal costs. The primary objective of this study is to assess the early cost‐effectiveness potential of a novel gene therapy, IMMUTOL, for MS compared with current high‐efficacy treatment sequences.
Attila Imre, Balázs Nagy, Rok Hren
wiley +1 more source