Refine
Departments, institutes and facilities
- Fachbereich Informatik (820)
- Institut für funktionale Gen-Analytik (IFGA) (488)
- Fachbereich Angewandte Naturwissenschaften (446)
- Fachbereich Ingenieurwissenschaften und Kommunikation (305)
- Institut für Technik, Ressourcenschonung und Energieeffizienz (TREE) (280)
- Institute of Visual Computing (IVC) (251)
- Institut für Cyber Security & Privacy (ICSP) (220)
- Fachbereich Wirtschaftswissenschaften (204)
- Institut für Verbraucherinformatik (IVI) (141)
- Graduierteninstitut (51)
Document Type
- Conference Object (1286)
- Article (1257)
- Part of a Book (191)
- Preprint (70)
- Doctoral Thesis (64)
- Book (monograph, edited volume) (55)
- Report (39)
- Master's Thesis (28)
- Research Data (23)
- Conference Proceedings (22)
Year of publication
Language
- English (3108) (remove)
Has Fulltext
- no (3108) (remove)
Keywords
- Robotics (14)
- FPGA (12)
- Virtual Reality (12)
- ENaC (10)
- Machine Learning (10)
- apoptosis (10)
- virtual reality (10)
- ICT (9)
- Privacy (9)
- sustainability (9)
The Waveform Relaxation Method (WRM) is introduced as a generalization of different methods used in circuit simulation. Next we present an algorithm to partition the network using so called signal flow graphs and its implementation in the experimental simulator SISAL. At last some new concepts to enhance the performance of the WRM are presented and first results are reported.
Two distinct sequence elements mediate retroviral gene expression in embryonal carcinoma cells
(1987)
The numerical solution of implicit ordinary differential equations arising in vehicle dynamic
(1988)
SISAL: User manual
(1990)
Passive high-Tc components
(1990)
Influence of priorities on the performance of a fast packet switch in the case of bursty traffic
(1992)
Towards a Generalization of Production Theory - "Soft" Production Functions Using Fuzzy Set Theory
(1992)
On the design and performance of a hybrid-integrated high-T c superconducting C-band oscillator
(1992)
Microstrip transmission line resonator with epitaxial YBa2Cu3O7-x/NdAIO3/YBa2Cu2O7-x trilayer
(1992)
Fast generation of molecular surfaces from 3D data fields with an enhanced "marching cube" algorithm
(1993)
Spinodal of liquid water
(1993)
Modeling of magic water clusters (H2O)20 and (H2O)21H+ with the PM3 quantum-mechanical method
(1993)
Narrow-band YBCO superconducting parallel-coupled coplanar waveguide band-pass filters at 10 GHz
(1993)
Planar transmission line resonators from YBa2Cu3O7-x thin films and epitaxial SIS multilayers
(1993)
Microwave properties of YBa2Cu3O7−x thin films studied with coplanar transmission line resonators
(1993)
We present a type inference algoritm and its verification for an object-oriented programming language called O'SMALL. O'SMALL is a class-based language with imperative features. Classes are not first-class citizens. No type declarations are required. Type inference operates on an extended lambda-calculus into which O'SMALL is translated. The system features extensible record types, mu-types, and imperative types. This work belongs to both theoretical and practical computer science. In the theoretical part, the type inference algoritm for our lambda-calculus with records is formalized in order-sorted logic. In the practical part, the algoritm for let-polymorphism and imperative features is based on well-known approaches. These approaches are presented in a new fashion but they are not proven correct.