Results 61 to 70 of about 2,250,044 (344)
, 2004 Up to equivalence, a substitution in propositional logic is an endomorphism of its free algebra. On the dual space, this results in a continuous function, and whenever the space carries a natural measure one may ask about the stochastic properties of the
Panti, Giovanni
core +3 more sources
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
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 correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages [PDF]
, 2001 It is well known that freeness and linearity information positively interact with aliasing information, allowing both the precision and the efficiency of the sharing analysis of logic programs to be improved. In this paper, we present a novel combination
Bagnara, R., Hill, P.M., Zaffanella, E.
core +10 more sources
Intein‐based modular chimeric antigen receptor platform for specific CD19/CD20 co‐targeting
Molecular Oncology, EarlyView.CARtein is a modular CAR platform that uses split inteins to splice antigen‐recognition modules onto a universal signaling backbone, enabling precise, scarless assembly without re‐engineering signaling domains. Deployed here against CD19 and CD20 in B‐cell malignancies, the design supports flexible multi‐antigen targeting to boost T‐cell activation and
Pablo Gonzalez‐Garcia +9 more
wiley +1 more source
Géographie et Cultures, 2006 Designed to be a kind of free zone, Canary Wharf seems to be at first sight an antiworld. However, this private precinct is not based upon a relation of opposition with the world.
Perrine Michon
doaj +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
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
International Journal of Adaptive Control and Signal Processing, EarlyView.This paper proposes two projector‐based Hopfield neural network (HNN) estimators for online, constrained parameter estimation under time‐varying data, additive disturbances, and slowly drifting physical parameters. The first is a constraint‐aware HNN that enforces linear equalities and inequalities (via slack neurons) and continuously tracks the ...
Miguel Pedro Silva
wiley +1 more source