منابع مشابه
Epigram reloaded: a standalone typechecker for ETT
Epigram 1 [18, 3] is at the same time a functional programming language with dependent types and a type-driven, interactive program development system. Epigram’s type system is strong enough to express a wide range of program properties, from basic structural invariants to full specifications. The system supports the interactive development of programs exploiting types to direct the design proc...
متن کاملeTT sucTioning in neonaTes and infanTs
The endotracheal tube (eTT) is the most common artificial airway used in NICUs. Suctioning of the eTT is imperative to maintain patency and prevent complications. An extensive review of the literature revealed a lack of standardized criteria or guidelines for suctioning the eTT of neonates and infants in the NICU. The purpose of this article is to report the implementation of an evidencebased g...
متن کاملMind, Causality, and Ur-monism*
Mental events are sometimes described as if they are causal products of physical events. The following are examples of prima facia causal reports about familiar mental events: (1) I felt pain from stabbing my finger with a knife. (2) I was surprised by the ringing sound. (3) I was embarrassed by his behavior Seemingly, in these statements, the causes of the mental events are uniquely and defini...
متن کاملUr-writings: A geophonographic fiction
Geophonography is a practice of sonifying the geological record, of tracing what Friedrich Kittler referred to as "signatures of the real". The aesthetic efficacy of techniques for audifying and visualising data derived from geological materials is discussed within the context of Ur-writings, a piece by the author first exhibited in 2013. Tracing a line through the work of Freud, Adorno, Kittle...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nordisk sosialt arbeid
سال: 2002
ISSN: 1504-3037,0333-1342
DOI: 10.18261/issn1504-3037-2002-01-05