Results 51 to 60 of about 8,631,344 (363)
Generalized quantifiers and modal logic [PDF]
The paper studies several modal systems designed to represent generalized quantifiers. The main system QUANT has infinitely many modal operators \(M_ n\), which are interpreted in a set \(W\) under a valuation \(V\) as follows: \(M_ n\varphi\) is true at a point \(x\in W\) if the number of points in \(W\) at which \(\varphi\) is true under \(V\) is ...
van der Hoek, W., de Rijke, M.
openaire +4 more sources
A Q‐Learning Algorithm to Solve the Two‐Player Zero‐Sum Game Problem for Nonlinear Systems
A Q‐learning algorithm to solve the two‐player zero‐sum game problem for nonlinear systems. ABSTRACT This paper deals with the two‐player zero‐sum game problem, which is a bounded L2$$ {L}_2 $$‐gain robust control problem. Finding an analytical solution to the complex Hamilton‐Jacobi‐Issacs (HJI) equation is a challenging task.
Afreen Islam +2 more
wiley +1 more source
n-Valued Refined Neutrosophic Logic and Its Applications to Physics [PDF]
In this paper we present a short history of logics: from particular cases of 2-symbol or numerical valued logic to the general case of n-symbol or numerical valued logic.
Smarandache, Florentin
core +2 more sources
Acceptability with general orderings
We present a new approach to termination analysis of logic programs. The essence of the approach is that we make use of general orderings (instead of level mappings), like it is done in transformational approaches to logic program termination analysis ...
A. Bossi +18 more
core +2 more sources
Synchrotron Radiation for Quantum Technology
Materials and interfaces underpin quantum technologies, with synchrotron and FEL methods key to understanding and optimizing them. Advances span superconducting and semiconducting qubits, 2D materials, and topological systems, where strain, defects, and interfaces govern performance.
Oliver Rader +10 more
wiley +1 more source
Exposing Fake Logic by Avi Sion is a collection of essays written after publication of his book A Fortiori Logic, in which he critically responds to derivative work by other authors who claim to know better.
Sion, Avi
core
A generalization of Carnap's inductive logic [PDF]
1. Carnap's continuum of inductive methods for a family of monadic predicates, the so-called ?-continuum or ?-system, is restricted by the as sumption that the size of the family is known at the start of the learning process. In the proper inductive situation we do not have this information.
openaire +2 more sources
Engineering Strategies for 2D Layered Tin Halide Perovskite Field‐Effect Transistors
2D halide perovskites are promising candidates for field‐effect transistor (FET) applications due to their high stability and suppressed ion migration in the presence of bulky organic spacers. This review systematically summarizes the optimization engineering strategies of 2D perovskite FETs and future challenges, which provide guidance for developing ...
Shuanglong Wang +4 more
wiley +1 more source
In this overview article, we first explain what we take informal logic to be, discussing misconceptions and distinguishing our conception of it from competing ones; second, we briefly catalogue recent informal logic research, under 14 headings; third, we
J. Anthony Blair, Ralph H. Johnson
doaj +1 more source
A unique 2D bionanozyme, engineered from a single amino acid and copper ions, demonstrates peroxidase‐mimicking catalytic activity. This efficient and simple bionanozyme allows for ultrasensitive, equipment‐free visual detection of key biomarkers in both test and real samples, meeting the WHO‐REASSURE standards for practical diagnostic applications ...
Subrat Vishwakarma +5 more
wiley +1 more source

