Results 61 to 70 of about 32,356 (302)
Journal of Electrical Systems and Information Technology, 2018 This paper presents theoretical analysis and experimental implementation of a classical controller with intelligent properties. The controller has constant parameters, but it performs as an intelligent controller.
Essam Hendawi +2 more
doaj +1 more source
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I) [PDF]
Logical Methods in Computer Science, 2018 There are two natural and well-studied approaches to temporal ontology and reasoning: point-based and interval-based. Usually, interval-based temporal reasoning deals with points as a particular case of duration-less intervals.
Willem Conradie +2 more
doaj +1 more source
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
Sobre a lógica deôntica não-clássica
Crítica, 2018 Our starting point, in this basically expository paper, is the study of a classical system of deontic propositional logic, classical in the sense that it constitutes an extension of the classical propositional calculus.
Leila Z. Puga, Newton C.A. da Costa
doaj +1 more source
Advanced Engineering Materials, EarlyView.A unified research data management framework for heterogeneous materials data is presented. The system integrates multimodal datasets using ontologies and knowledge graphs, enabling interoperability and FAIR (findable, accessible, interoperable, reusable) data principles. By linking data across scales and workflows, it supports reproducible, Artifitial
Doaa Mohamed +6 more
wiley +1 more source
Reference in Formal Semantics and Natural Language: A Methodological Route
Phenomenology and Mind, 2019 In this paper, I will tackle the notion of reference of singular terms in the light of a classic analytic divide, i.e. whether its analysis, like the analysis of other basic notions, should be carried out in natural language or in the semantics of formal
Francesca Boccuni
doaj +1 more source
, 2006 This chapter is constituted by two parts. The ̄rst part comprising Sections 1-5 was written by Torben Brauner and the second part comprising Sections 6-11 was written by Silvio Ghilardi.
Ghilardi, Silvio +3 more
core +1 more source
Disjunction and Existence Properties in Inquisitive First-Order Logic [PDF]
, 2019 Classical first-order logic FO is commonly used to study logical connections between statements, that is sentences that in every context have an associated truth-value.
Gianluca Grilletti, Grilletti, G.
core +1 more source
Historical Foundation and Practical Guideline for Ferroelectric Switching Kinetic Studies
Advanced Functional Materials, EarlyView.The P and U pulses in the conventional PUND measurements are not identical because of the interplay between switching current and the measurement circuit components. This circuit effect can lead to a shift in polarization transients and misinterpreted physics in the switching kinetics.
Yi Liang, Pat Kezer, John T. Heron
wiley +1 more source
Dictatorship, liberalism and the Pareto rule: Possible and impossible [PDF]
Ekonomski Anali, 2009 The current economic crisis has shaken belief in the capacity of neoliberal 'free market' policies. Numerous supports of state intervention have arisen, and the interest for social choice theory has revived.
Boričić Branislav
doaj +1 more source