Results 51 to 60 of about 568,503 (297)
An Approach to Abstract Structures of Logistics as a Complex Theory Unifying the Methodology of S-Modelling and the Logic of Science: Initial Steps [PDF]
Acta Baltica Historiae et Philosophiae Scientiarum, 2016 In the introduction, following the formulation of the theses (1) on the concept ‘philosophy of science’, (2) on interdisciplinarity in modern science, and (3) on foundational studies in science, and on the bases of their content, (4) a thesis on the ...
Boris Chendov
doaj +1 more source
Foundations of Description Logics [PDF]
, 2011 This chapter accompanies the foundational lecture onDescription Logics (DLs) at the 7th Reasoning Web Summer School in Galway, Ireland, 2011. It introduces basic notions and facts about this family of logics which has significantly gained in importance over the recent years as these logics constitute the formal basis for today's most expressive ...
openaire +2 more sources
Planar Solid‐State Nanopores Toward Scalable Nanofluidic Integration Based on CMOS Technology
Advanced Engineering Materials, EarlyView.We present a scalable silicon‐based fabrication strategy for planar solid‐state nanopores to enable their integration with complex nanofluidic systems. Prototype devices demonstrate normal voltage‐current characteristics, good noise performance, and appreciable streaming currents. Our CMOS‐compatible fabrication process offers precise geometric control
Ngan Hoang Pham +7 more
wiley +1 more source
Laws of Thought and Laws of Logic after Kant [PDF]
, 2018 George Boole emerged from the British tradition of the “New Analytic”, known for the view that the laws of logic are laws of thought. Logicians in the New Analytic tradition were influenced by the work of Immanuel Kant, and by the German logicians ...
Patton, Lydia
core +1 more source
New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic [PDF]
, 2014 Intuitionistic logic, in which the double negation law not-not-P = P fails, is dominant in categorical logic, notably in topos theory. This paper follows a different direction in which double negation does hold.
Bart Jacobs, Prakash Panangaden
core +4 more sources
Advanced Engineering Materials, EarlyView.This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi +4 more
wiley +1 more source
Categorical Foundation of Quantum Mechanics and String Theory
, 2008 The unification of Quantum Mechanics and General Relativity remains the primary goal of Theoretical Physics, with string theory appearing as the only plausible unifying scheme.
't Hooft G. +7 more
core +1 more source
Sofia A. Yanovskaya: The Marxist Pioneer of Mathematical Logic in the Soviet Union [PDF]
, 2019 K. Marx’s 200th jubilee coincides with the celebration of the 85 years from the first publication of his “Mathematical Manuscripts” in 1933. Its editor, Sofia Alexandrovna Yanovskaya (1896–1966), was a renowned Soviet mathematician ...
Kilakos, Dimitris
core +2 more sources
Advanced Engineering Materials, EarlyView.High‐temperature interactions between low‐sulfur Al‐killed Mn–B steel and MgO–C refractories (0 and 50 wt% recyclates) are studied via finger immersion tests (1600 °C). Surface‐active elements influence infiltration. MgO/CaS layer forms, along with spinel and calcium silicate.
Matheus Roberto Bellé +5 more
wiley +1 more source
Special functions in Fuzzy Analysis [PDF]
Opuscula Mathematica, 2006 In the treatment of Fuzzy Logic an useful tool appears: the membership function, with the information about the degree of completion of a condition which defines the respective Fuzzy Set or Fuzzy Relation. With their introduction, it is possible to prove
Angel Garrido
doaj