Results for:
"
Jakob+Balde
" in Documents
- Strong Normalization for Non-structural Subtyping via Saturated Sets
- We show that the standard method of saturated sets for proving strong normalization of fi-reduction in the simply typed and second order polymorphic lambda calculus incorporates non-structural subtypi...
-
Rating:
Views: (1010)
Pages: ()
Uploaded: 13-05-09
- Identification of a PRNP gene mutation in Jakob's original Creutzfeldt...
-
Rating:
Views: (4)
Pages: ()
Uploaded: 1994-7-9
- Autopsy of count Jakob 3d of Baden. The earliest forensic medicine ca...
- In 1590 Markgrave Jakob III. of Baden died, 28 years old, after a sudden disease which had lasted nine days. A necropsy was performed by two professors of the Freiburg University faculty of medicine. ...
-
Rating:
Views: ()
Pages: ()
Uploaded: 1991-1-1
- Minimization of Quantization Errors in Digital Implementations of Mult...
- Quantization errors appear in digital implementations of Multi Layer Perceptrons (MLPs), whose weight and signal values are represented as binary integers of limited length. This paper discusses how t...
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 13-05-09
- A Reinforcement Learning Scheme for Adaptive Link Allocation in ATM Ne...
- This paper presents an adaptive scheme for a sub-function in Asynchronous Transfer Mode (ATM) network routing, called link allocation. The scheme adapts the link allocation policy to the offeredPoisso...
-
Rating:
Views: (1008)
Pages: ()
Uploaded: 13-05-09
- Supporting Software Process Improvement with Project Assessments
- One of the most popular ways to improve the software development capability in organizations is to embark upon a Software Process Improvement (SPI) program based on one of the existing capability matu...
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 15-05-09
- Supporting Software Process Improvement with Project Assessments
- One of the most popular ways to improve the software development capability in organizations is to embark upon a Software Process Improvement (SPI) program based on one of the existing capability matu...
-
Rating:
Views: (1007)
Pages: ()
Uploaded: 13-05-09
- Object Components for Cooperation - A Highly Customizable Tutoring-Sys...
- This paper introduces five hypotheses for designing successful groupware. The hypotheses can be met by using a component model and add groupware-specific components to form a groupware platform on top...
-
Rating:
Views: (1010)
Pages: ()
Uploaded: 13-05-09