Results 91 to 100 of about 86,588 (304)
Chapter VII: Gödel-Dummett Logic [PDF]
, 2011 The logics we present in this chapter, Gödel logics, can be characterized in a rough-and-ready way as follows: The language is a standard (propositional, quantified propositional, first-order) language.
Preining, Norbert, Baaz, Matthias
core
From Oughts to Goals: A Logic for Enkrasia
, 2019 This paper focuses on (an interpretation of) the Enkratic principle of rationality, according to which rationality requires that if an agent sincerely and with conviction believes she ought to X, then X-ing is a goal in her plan.
Klein, Dominik, Marra, Alessandra
core +1 more source
Advanced Functional Materials, EarlyView.Oxygen‐tunnel (OT) indium tin oxide (ITO) vertical channel transistors (VCTs) enable reliable, high‐density gain‐cell memory for monolithic 3D integration. A sandwiched SiN/SiO2/SiN OT stack selectively regulates oxygen transport, suppressing parasitic electrode oxidation while stabilizing channel oxygen vacancies, thereby suppressing carrier injection
Hyeonho Gu +17 more
wiley +1 more source
Water Temperature Control System With PID Control Method and Fuzzy Logic Based on SCADA
Emitor: Jurnal Teknik ElektroThe process of heating water to a certain temperature is commonly found in various industries, such as the chemical or food and beverage industries. This water heating is used to improve product quality, but temperature changes often become unstable due ...
firma dilla sholeh +3 more
doaj +1 more source
A UNIFYING FIELD IN LOGICS: NEUTROSOPHIC LOGIC. NEUTROSOPHY, NEUTROSOPHIC SET, NEUTROSOPHIC PROBABILITY AND STATISTICS [PDF]
, 1995 In 1960s Abraham Robinson has developed the non-standard analysis, a formalization of analysis and a branch of mathematical logic, which rigorously defines the ...
SMARANDACHE, F.
core +1 more source
Advanced Functional Materials, EarlyView.A compostable PGS soft surgical robot with interchangeable modules integrates transient Mo tactile and Si thermal sensors for dual feedback. The device preserves its function after clinical‐grade sterilization, demonstrates stable actuation and cardiac tissue grasping with real‐time in vivo pulsatile monitoring, and biodegrades post‐use with soil‐safe,
Minseong Chae +27 more
wiley +1 more source
An optimized design of delay-and energy-efficient Booth multiplier
e-Prime: Advances in Electrical Engineering, Electronics and EnergyMultipliers are essential computation units in virtually all computing systems, including processors and numerous AI accelerator architectures. This paper presents an optimized architecture for a Booth multiplier, targeting high performance while ...
Ahsan Rafiq, Maksim Jenihhin
doaj +1 more source
A General View on Normal Form Theorems for Łukasiewicz Logic with Product
, 2016 In this survey paper we explore the connection between the Pierce- Birkhoff conjecture and Lukasiewicz logic with product. Conservative extensions of Lukasiewicz logic can be defined by adding an internal product or a multiplication with scalars from [
Ioana Leuştean +3 more
core +1 more source
Omnipolar Magnetic Field Detection by Superlattice‐Based Hall Sensor
Advanced Functional Materials, EarlyView.Magnetic‐field‐induced electronic switching is demonstrated in unit‐cell‐engineered La0.7Sr0.3MnO3–BiFeO3 superlattices. Distinct substrate terminations modify magnetic and transport properties. Hall resistance measurements show omnipolar, hysteretic anomalous Hall switching above the Curie temperature, arising from Fe─Mn interfacial exchange, enabling
Mark Huijben +6 more
wiley +1 more source
A completeness theorem for symmetric product phase spaces
, 2004 31 pagesInternational audienceIn a previous work with Antonio Bucciarelli, we introduced indexed linear logic as a tool for studying and enlarging the denotational semantics of linear logic.
Ehrhard, Thomas
core