Results 51 to 60 of about 622,762 (333)
The 19th entury iron architecture of industrial buildings. A formal and constructive comparison between two case studies [PDF]
, 2018 The paper analyzes the features of the 19th century industrial architecture and the application of metallic structures combined with formal and architectural expressions that frequently concealed or mitigated their presence.
Bosch González, Montserrat +1 more
core
A Tighter Bound for the Determinization of Visibly Pushdown Automata
, 2009 Visibly pushdown automata (VPA), introduced by Alur and Madhusuan in 2004, is a subclass of pushdown automata whose stack behavior is completely determined by the input symbol according to a fixed partition of the input alphabet.
Van Tang, Nguyen
core +2 more sources
Explicit-Symbolic Modelling for Formal Verification
Electronic Notes in Theoretical Computer Science, 2005 AbstractWe propose a model that combines explicit and symbolic representations in an explicit-symbolic formal verification model. Both explicit and symbolic models have been successfully used in the verification of finite state concurrent systems, such as complex sequential circuits and communication protocols.
Costa, Umberto +3 more
openaire +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Cognitive impairment (CI) affects the quality of life in multiple sclerosis (MS). Identifying influencing factors is key to improving CI monitoring. This systematic review and meta‐analysis examines clinical and sociodemographic variables impacting the cognitive screening Symbol Digit Modalities Test (SDMT) performance across MS ...
Katalin Lugosi +8 more
wiley +1 more source
Le sonnet en miroir : la modernité prise à revers
Revue Italienne d'Etudes FrançaisesThis article examines how, in the second half of the 19th century, the “devious” structure of the sonnet came to be seen as a formal expression of criticism of progress.
Michela Landi
doaj +1 more source
The social status of /h/ in English
Revista Alicantina de Estudios Ingleses, 2007 Languages are used as a vehicle of communication in the societies where each of them is spoken. Within those societies there are normally different groups, and each of those groups usually has a particular, or particular ways of communicating and using ...
Murillo López, Ignacio
doaj +1 more source
‘The Action of the Brain’. Machine Models and Adaptive Functions in Turing and Ashby [PDF]
, 2018 Given the personal acquaintance between Alan M. Turing and W. Ross Ashby and the partial proximity of their research fields, a comparative view of Turing’s and Ashby’s work on modelling “the action of the brain” (letter from Turing to Ashby, 1946) will ...
Greif, Hajo
core
Symbolic models for nonlinear control systems affected by disturbances
, 2012 In the last few years there has been a growing interest in the use of symbolic models for the formal verification and control design of purely continuous or hybrid systems.
Borri, Alessandro +2 more
core +1 more source
Symbols and the bifurcation between procedural and conceptual thinking [PDF]
, 2001 Symbols occupy a pivotal position between processes to be carried out and concepts to be thought about. They allow us both to d o mathematical problems and to think about mathematical relationships.
Bin Ali, Maselan +9 more
core +2 more sources
The Relationship Between Inflammation and Central Nervous System in Multiple Sclerosis
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Aim Multiple sclerosis is an autoimmune demyelination disease that is seen especially in the young population and has a progressive course, causing motor, sensory, and cognitive deficits. In the literature, the pathogenesis of MS disease and the interconnection between the immune and central nervous system in the disease have not been fully ...
Gamze Ansen +5 more
wiley +1 more source