Refine
Departments, institutes and facilities
- Fachbereich Informatik (979)
- Fachbereich Angewandte Naturwissenschaften (630)
- Institut für funktionale Gen-Analytik (IFGA) (560)
- Institut für Technik, Ressourcenschonung und Energieeffizienz (TREE) (393)
- Fachbereich Ingenieurwissenschaften und Kommunikation (386)
- Fachbereich Wirtschaftswissenschaften (319)
- Institute of Visual Computing (IVC) (286)
- Institut für Cyber Security & Privacy (ICSP) (244)
- Institut für Verbraucherinformatik (IVI) (166)
- Internationales Zentrum für Nachhaltige Entwicklung (IZNE) (126)
Document Type
- Article (1649)
- Conference Object (1426)
- Part of a Book (249)
- Preprint (88)
- Report (73)
- Doctoral Thesis (64)
- Book (monograph, edited volume) (57)
- Master's Thesis (36)
- Working Paper (34)
- Conference Proceedings (27)
Year of publication
Language
- English (3792) (remove)
Keywords
- Machine Learning (15)
- Virtual Reality (15)
- FPGA (14)
- Robotics (14)
- Sustainability (14)
- ENaC (13)
- GC/MS (13)
- virtual reality (13)
- sustainability (12)
- ICT (11)
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.