Results for:
"
Nikolaj+Pirnat&action
" in Documents
- A Survey of Reactive Synthesis 1996
- fl) in if (z + ffl) 2 x then z + ffl else z From a constructive proof Induction = Recursion Resolution = Case distinction Cut = Let-binding Reactive Synthesis Characterized by ongoing behaviour Time 3...
-
Rating:
Views: (1009)
Pages: ()
Uploaded: 13-05-09
- Nikolaj A. Bogoraz (1874-1952): pioneer of phalloplasty and penile imp...
- Phalloplasty and penile implants are outstanding pioneering procedures introduced in 1936 by the Russian surgeon Nikolaj A. Bogoraz and are thus of eminent interest to the urological and plastic surge...
-
Rating:
Views: ()
Pages: ()
Uploaded: 2006-1-21
- Reactive Verification with Queues 1998
- Temporal logic is the right specification language to capture requirements of reactive systems. To reason about specifications and implementations, that can in general be infinite state, STeP [3] (The...
-
Rating:
Views: (1008)
Pages: ()
Uploaded: 13-05-09
- Deciding Fixed and Non-fixed Size Bit-vectors 1998 5 citations ? 1 sel...
- We develop a new, efficient, and compact decision procedure for fixed size bit-vectors with bit-wise boolean operations. The algorithm is designed such that it can also decide some common cases of par...
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 13-05-09
- Fatal pulmonary thromoembolism
- INTRODUCTION: Fatal pulmonary thromboembolism is a relatively common autopsy finding. The aim of this investigation is to describe the magnitude of the problem in an autopsy material and factors of pr...
-
Rating:
Views: ()
Pages: ()
Uploaded: 2006-11-28
- Hobo-spider bite in Denmark?
-
Rating:
Views: ()
Pages: ()
Uploaded: 2008-1-26
- Absolute Explicit Unification 2000 3 citations ? 0 self
- . This paper presents a system for explicit substitutions in Pure Type Systems (PTS). The system allows to solve type checking, type inhabitation, higher-order unification, and type inference for PTS ...
-
Rating:
Views: (1007)
Pages: ()
Uploaded: 13-05-09
- Prediction of proprotein convertase cleavage sites.
- Many secretory proteins and peptides are synthesized as inactive precursors that in addition to signal peptide cleavage undergo post-translational processing to become biologically active polypeptides...
-
Rating:
Views: ()
Pages: ()
Uploaded: 2004-2-27