Results 91 to 100 of about 32,356 (302)
Correspondence and canonicity in non-classical logic [PDF]
, 2015 In this thesis we study correspondence and canonicity for non-classical logic using algebraic and order-topological methods. Correspondence theory is aimed at answering the question of how precisely modal, first-order, second-order languages interact and
Sourabh, S.
core
Advanced Materials Technologies, EarlyView.Hf–Zr–O‐based morphotropic phase boundary (MPB) thin films often suffer from limited endurance and poor uniformity due to intrinsic phase instability. This work proposes a nanolaminate architecture that spatially separates competing phases, stabilizes phase formation, and suppresses wake‐up‐induced degradation.
Hojung Jang, Hyunsang Hwang
wiley +1 more source
Modeling Incomplete Knowledge of Semantic Web Using Bayesian Networks
Applied Artificial Intelligence, 2019 Interoperable ontologies already exist in the biomedical field, enabling scientists to communicate with minimum ambiguity. Unfortunately, ontology languages, in the semantic web, such as OWL and RDF(S), are based on crisp logic and thus they cannot ...
Messaouda Fareh
doaj +1 more source
Second-order logic : ontological and epistemological problems
, 2015 In this thesis I provide a survey over different approaches to second-order logic and its interpretation, and introduce a novel approach. Of special interest are the questions whether (a particular form of) second-order logic can count as logic in some
Rossberg, Marcus
core
, 1998 In this paper we define computationally well-behaved versions of classical first-order logic and prove that the validity problem is decidable 1 . Keywords: first-order logic, decidability, relativization, mosaic, polyadic and counting quantifiers.
Mikulas, Szabolcs, Szabolcs Mikulas
core +1 more source
Advanced Materials Technologies, EarlyView.Transducers convert physical signals into electrical and optical representations, yet each mechanism is bounded by intrinsic trade‐offs across bandwidth, sensitivity, speed, and energy. This review maps transduction mechanisms across physical scale and frequency, showing how heterogeneous integration and multiphysics co‐design transform isolated ...
Aolei Xu +8 more
wiley +1 more source
Teoria kategorii i niektóre jej logiczne aspekty
Zagadnienia Filozoficzne w Nauce, 2018 This article is intended for philosophers and logicians as a short partial introduction to category theory (CT) and its peculiar connection with logic. First, we consider CT itself.
Mariusz Stopa
doaj
Energies, 2019 In this article, a novel maximum power point tracking (MPPT) controller for a photovoltaic (PV) system is presented. The proposed MPPT controller was designed in order to extract the maximum of power from the PV-module and reduce the oscillations once ...
Noureddine Bouarroudj +5 more
doaj +1 more source
Modeling of Phenomena and Dynamic Logic of Phenomena [PDF]
, 2011 Modeling a complex phenomenon such as the mind presents tremendous computational complexity challenges. Modeling field theory (MFT) addresses these challenges in a non-traditional way.
Perlovsky, Leonid +3 more
core
Multimodal Haptic Perception Through Synergistic Nanocomposite Sensor Arrays
Advanced Materials Technologies, EarlyView.Multi‐modal fingertip haptics are advanced through a bioinspired &vertical‐via' electronic skin architecture. A confined PDMS/MWCNT/NiNP nanocomposite, sitting at the percolation threshold, enables tactile, thermal, and magnetic sensing. A unique via‐density gradient and dedicated &Un‐Touch' reference nodes provide robust spatial resolution and signal ...
Amos Bardea, Fernando Patolsky
wiley +1 more source