Results 101 to 110 of about 785,264 (319)
Predicate Abstraction for Linked Data Structures
, 2015 We present Alias Refinement Types (ART), a new approach to the verification of correctness properties of linked data structures. While there are many techniques for checking that a heap-manipulating program adheres to its specification, they often ...
A Ahmed +18 more
core +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background The delipid extracorporeal lipoprotein filter from plasma (DELP) treatment can effectively reduce blood lipid, increase blood flow, and improve neurological deficits in patients with acute ischemic stroke (AIS). However, its effect on vision and retinal microcirculation in stroke patients has never been reported.
Ning Li +9 more
wiley +1 more source
Neighbourhood Abstraction in GROOVE - Tool Paper [PDF]
, 2010 In this paper we discuss the implementation of neighbourhood graph abstraction in the GROOVE tool set. Important classes of graph grammars may have unbounded state spaces and therefore cannot be verified with traditional model checking techniques.
Rensink, Arend, Zambon, Eduardo
core +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Introduction Cognitive impairment and exercise intolerance are common in dialysis patients. Cerebral perfusion and oxygenation play a major role in both cognitive function and exercise execution; HD session per se aggravates cerebral ischemia in this population. This study aimed to compare cerebral oxygenation and perfusion at rest and in mild
Marieta P. Theodorakopoulou +10 more
wiley +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Chronic kidney disease is a growing public health problem worldwide, and the number of patients requiring renal replacement therapy is steadily increasing. Türkiye has experienced a similar rise in both the incidence and prevalence of renal replacement therapy over the past decades; however, national‐level projections of future ...
Arzu Akgül +2 more
wiley +1 more source
Of the Possibility of Immanent Revolt as Theory and Political Praxis
Identities, 2013 The only way to immanently revolt against the world is the non-abstract way. Revolting against concrete occurrences of subjugation and violence rather than in the name of abstractions and visions of transformation of the world is political action ...
Katerina Kolozova
doaj
Counterpoint in Explanation of Originative Apprehension [PDF]
Studia Gilsoniana, 2016 Originative apprehension often has been examined in recent decades in light of Aquinas’ reflections. Yet there has not always been agreement in regard to what constitutes such, often due to different emphases given by interpreters to aspects of St ...
Michael Ewbank
doaj
Constructing (Bi)Similar Finite State Abstractions using Asynchronous $l$-Complete Approximations
, 2014 This paper constructs a finite state abstraction of a possibly continuous-time and infinite state model in two steps. First, a finite external signal space is added, generating a so called $\Phi$-dynamical system. Secondly, the strongest asynchronous $l$-
Raisch, Jörg, Schmuck, Anne-Kathrin
core +1 more source
Time after time – circadian clocks through the lens of oscillator theory
FEBS Letters, EarlyView.Oscillator theory bridges physics and circadian biology. Damped oscillators require external drivers, while limit cycles emerge from delayed feedback and nonlinearities. Coupling enables tissue‐level coherence, and entrainment aligns internal clocks with environmental cues.
Marta del Olmo +2 more
wiley +1 more source
Injecting Abstract Interpretations into Linear Cost Models
, 2010 We present a semantics based framework for analysing the quantitative behaviour of programs with regard to resource usage. We start from an operational semantics equipped with costs.
Cachera, David, Jobin, Arnaud
core +2 more sources