Results 61 to 70 of about 2,196,068 (340)
Capture, 2017 The phenomenon,Dimas KanjengTaat Pribadi, is unique issues that have shocked in the Indonesian public because of his unbelievable activities (duplicate the amount of money).This metode of the research is textual;focus onTaat Pribadi news,doubling the ...
Risky Chairani Putri
doaj +1 more source
Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus [PDF]
Logical Methods in Computer Science, 2012 Inspired by a recent graphical formalism for lambda-calculus based on linear logic technology, we introduce an untyped structural lambda-calculus, called lambda j, which combines actions at a distance with exponential rules decomposing the substitution ...
Beniamino Accattoli, Delia Kesner
doaj +1 more source
Semantics out of context: nominal absolute denotations for first-order logic and computation
, 2016 Call a semantics for a language with variables absolute when variables map to fixed entities in the denotation. That is, a semantics is absolute when the denotation of a variable a is a copy of itself in the denotation.
Gabbay, Murdoch J.
core +1 more source
A Q‐Learning Algorithm to Solve the Two‐Player Zero‐Sum Game Problem for Nonlinear Systems
International Journal of Adaptive Control and Signal Processing, Volume 39, Issue 3, Page 566-581, March 2025.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
Social and cultural logic of regionalism
Agricultural Economics (AGRICECON), 2002 Research into the globalisation processes leads to establishing the set of concepts with the relative heuristic, methodological, and theoretical effectiveness as well as consequent practical effectiveness.
S. Hubík
doaj +1 more source
Formal Notes on the Substitutional Analysis of Logical Consequence [PDF]
Notre Dame Journal of Formal Logic, 2020 Logical consequence in first-order predicate logic is defined substitutionally in set theory augmented with a primitive satisfaction predicate: an argument is defined to be logically valid if and only if there is no substitution instance with true premises and a false conclusion. Substitution instances are permitted to contain parameters.
openaire +4 more sources
Advanced Engineering Materials, EarlyView.This review explores wafer bonding technologies, covering wafer preparation, activation methods, and bonding mechanisms. It compares direct and indirect bonding, highlights recent advancements and future trends, and examines applications in 3D integration and packaging.
Abdul Ahad Khan +5 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.This study explores combining two existing aerospace titanium alloy powders, processing them via field‐assisted sintering technology and the subsequent discovery of a novel alloy composition, termed S23, with ultra‐high tensile toughness. Fine‐scale alpha precipitates favorably form in the alloy despite the relatively slow cooling, providing an ...
Samuel Lister +2 more
wiley +1 more source
Structural Resolution with Co-inductive Loop Detection [PDF]
, 2017 A way to combine co-SLD style loop detection with structural resolution was found and is introduced in this work, to extend structural resolution with co-induction.
Li, Yue
core +2 more sources
Advanced Engineering Materials, EarlyView.A powerful electronic control system enables a dielectric elastomer pump to operate at resonance, matching conventional pump performance. Using self‐sensing to reconstruct load pressure dynamically, the adaptive control adjusts resonance frequency accordingly.
Matthias Baltes +3 more
wiley +1 more source