Results 31 to 40 of about 3,500,861 (360)
Implementing Default and Autoepistemic Logics via the Logic of GK [PDF]
, 2014 The logic of knowledge and justified assumptions, also known as logic of grounded knowledge (GK), was proposed by Lin and Shoham as a general logic for nonmonotonic reasoning.
Ji, Jianmin, Strass, Hannes
core
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
Means or end? On the Valuation of Logic Diagrams [PDF]
, 2016 From the beginning of the 16th century to the end of the 18th century, there were not less than ten philosophers who focused extensively on Venn’s ostensible analytical diagrams, as noted by modern historians of logic (Venn, Gardner, Baron, Coumet et al.)
Lemanski, Jens
core
An extrinsic function-level evolvable hardware approach [PDF]
, 2000 The function level evolvable hardware approach to synthesize the combinational multiple-valued and binary logic functions is proposed in first time. The new representation of logic gate in extrinsic EHW allows us to describe behaviour of any multi-input
Kalganova, T
core +3 more sources
The “Logic” of Informal Logic [PDF]
, 2011 The purpose of the chapter is to explore some historically-offered possible answers to the question of what alternatives there might be to deduction and induction. I briefly describe and characterize six accounts that seem on the face of it to portray some third type of assessment of an illative move, independent of deductive validity and of inductive ...
openaire +2 more sources
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
Smart Charging of Electric Vehicles Considering SOC-Dependent Maximum Charging Powers
Energies, 2021 The aim of this work is to schedule the charging of electric vehicles (EVs) at a single charging station such that the temporal availability of each EV as well as the maximum available power at the station are considered. The total costs for charging the
Benjamin Schaden +3 more
doaj +1 more source
Boolean Dependence Logic and Partially-Ordered Connectives [PDF]
, 2014 We introduce a new variant of dependence logic called Boolean dependence logic. In Boolean dependence logic dependence atoms are of the type =(x_1,...,x_n,\alpha), where \alpha is a Boolean variable.
Ebbing, Johannes +3 more
core
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
mAbs, 2023 Prolactin (PRL) has recently been demonstrated to elicit female-selective nociceptor sensitization and increase pain-like behaviors in female animals.
Stephanie Maciuba +13 more
doaj +1 more source