Results 41 to 50 of about 21,495 (218)
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Emerging evidence suggests that low‐frequency neural oscillations are dynamically regulated by consciousness levels, with the recovery of low cortical activity potentially serving as a neurophysiological substrate for conscious emergence. Targeted enhancement of these low‐frequency rhythms in patients with disorders of consciousness
Chuan Xu +10 more
wiley +1 more source
Arthritis Care &Research, EarlyView.Objective Orofacial manifestations are significantly impactful in patients with systemic sclerosis (SSc) yet remain understudied, with no dedicated clinical guidelines to inform their management. Methods An international online survey comprised38 questions addressing orofacial manifestations of SSc, including patients’ confidence in their treating ...
Eleni Deligianni +4 more
wiley +1 more source
Journal of Symbolic Logic, 2004 Abstract.We describe a general method how to construct from a prepositional proof system P a possibly much stronger proof system iP. The system iP operates with exponentially long P-proofs described “implicitly” by polynomial size circuits.As an example we prove that proof system iEF, implicit EF, corresponds to bounded arithmetic theory and hence, in
openaire +3 more sources
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
Logical Methods in Computer Science, 2013 Let \Omega be a set of unsatisfiable clauses, an implicit resolution refutation of \Omega is a circuit \beta with a resolution proof {\alpha} of the statement "\beta describes a correct tree-like resolution refutation of \Omega". We show that such system is p-equivalent to Extended Frege.
openaire +4 more sources
Advanced Engineering Materials, Volume 27, Issue 6, March 2025.The stability criteria affecting the formation of high‐entropy alloys, particularly focusing in supersaturated solid solutions produced by mechanical alloying, are analyzed. Criteria based on Hume–Rothery rules are distinguished from those derived from thermodynamic relations. The formers are generally applicable to mechanically alloyed samples.
Javier S. Blázquez +5 more
wiley +1 more source
Argumentation et Analyse du Discours, 2015 At the crossroads of Social Movement Theory and Discourse Analysis, the goal of this article is to describe the inherent mechanisms present in the structure and the enunciation of the mobilizing « narratives » of activist organizations for the « cause ...
Erica Guevara
doaj +1 more source
Types and modularity for implicit invocation with implicit announcement [PDF]
ACM Transactions on Software Engineering and Methodology, 2010 Through implicit invocation, procedures are called without explicitly referencing them. Implicit announcement adds to this implicitness by not only keeping implicit which procedures are called, but also where or when—under implicit invocation with implicit announcement, the call site contains no signs of that, or what it calls.
Friedrich Steimann +3 more
openaire +1 more source
Advanced Engineering Materials, EarlyView.This study explores the lightweight potential of laser additive‐manufactured NiTi triply periodic minimal surface sheet lattices. It systematically investigates the effects of relative density and unit cell size on surface quality, deformation recovery, compression behavior, and energy absorption.
Haoming Mo +3 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.A numerical–experimental framework is developed for characterizing multi‐matrix fiber‐reinforced polymers (MM‐FRPs) combining epoxy and polyurethane matrices. Harmonic bending tests are integrated with finite element model updating (FEMU) to simultaneously identify elastic and viscoelastic material parameters.
Rodrigo M. Dartora +4 more
wiley +1 more source