Results 31 to 40 of about 23,531 (249)
Parametric Analysis of Spiking Neurons in 16 nm Fin Field‐Effect Transistor Technology
Advanced Intelligent Discovery, EarlyView.Energy efficient computing has driven a shift toward brain‐inspired neuromorphic hardware. This study explores the design of three distinct silicon neuron topologies implemented in 16 nm fin field‐Effect transistor technology. While the Axon‐Hillock design achieves gigahertz throughput, its functional fragility persists. The Morris–Lecar model captures
Logan Larsh +3 more
wiley +1 more source
Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic [PDF]
Journal of Logic, Language and Information, 2021 AbstractInquisitive first order logic "Equation missing" is an extension of first order classical logic, introducing questions and studying the logical relations between questions and quantifiers. It is not known whether "Equation missing" is recursively axiomatizable, even though an axiomatization has been found for fragments of the logic (Ciardelli ...
openaire +3 more sources
Advanced Intelligent Systems, EarlyView.Illustration of text data mining of rare earth mineral thermodynamic parameters with the large language model‐powered LMExt. A dataset is built with mined thermodynamic properties. Subsequently, a machine learning model is trained to predict formation enthalpy from the dataset.
Juejing Liu +6 more
wiley +1 more source
Finite state automatons in information states [PDF]
, 2012 The aim of this paper is to introduce a certain kind of information state repre- sentation in a dynamic system of propositional logic, using finite state automatons and highlight its advantages, including relation to inquisitive semantics and belief ...
Dyekiss, Emil Gergely
core
American Journal of Community Psychology, EarlyView.Abstract Research‐Practice Partnerships seek to close the research‐practice gap through developing collaborative, authentic partnerships between researchers and community members. Our team has leveraged Research‐Practice Ambassadors to support socially just and equitable partnership processes in schools.
Danielle R. Hatchimonji +8 more
wiley +1 more source
The Expressive Power of Modal Dependence Logic [PDF]
, 2014 We study the expressive power of various modal logics with team semantics. We show that exactly the properties of teams that are downward closed and closed under team k-bisimulation, for some finite k, are definable in modal logic extended with ...
Hella, Lauri +3 more
core
, 2015 In this paper, we propose a single-agent modal logic framework for reasoning about goal-direct "knowing how" based on ideas from linguistics, philosophy, modal logic and automated planning.
Wang, Yanjing
core +1 more source
Inquisitive Modal Logic: A Preview
, 2022 AbstractThroughout this book, we have emphasized different ways in which questions are relevant in logic. We saw that questions can be seen as names for types of information, and that by generalizing logic to questions we can capture logical relations holding between information types. We also saw that in the inquisitive setting, a more general account
openaire +1 more source
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
Perspectives, Questions, and Epistemic Value [PDF]
, 2019 Many epistemologists endorse true-belief monism, the thesis that only true beliefs are of fundamental epistemic value. However, this view faces formidable counterexamples.
Khalifa, Kareem, Millson, Jared A.
core