Literature Wird in der Veranstaltung bekannt gegeben. Reinhard Kirchner Computer Science 89 Prof. Skills to analyze the performance of computers. Basic knowledge of the functionality of single processor computers. Contents Propositional logic operators, normal forms, Boolean algebra, etc. Implementation of propositional logic by combinatorial circuits Logic minimization Finite state machines FSMs Implementation of FSMs by sequential circuits Coding numbers, symbols, etc.
Computer arithmetic fixed point, floating point, logic operations Data path and controller Instruction set architecture v. Hennessy, D. Meinel and T. Mueller and W. Knowledge of managing processes by the operating system. Usage of synchronization primitives. Contents Pipelining principle, conflicts, forwarding and other implementation techniques Memory hierarchy, organization of caches Bus hierarchy Assembler programming incl. DMA Working memory management virtual memory File management Protection mechanisms Forms of examination prerequisites for final ex.
Tanenbaum, Moderne Betriebssysteme, Hanser-Verlag, 2. Es sind transaktionsverarbeitende Systeme, d. Elmasri, R. Database Management Systems. Mcgraw-Hill Publ. Christopher D. Introduction to Information Retrieval. Cambridge University Press, Design alternatives, for example connection-oriented vs. Quantitative understanding of communication systems Contents Overview on communication systems: terminology, structure, architecture, market Application layer principles and mechanisms with examples like http, email, ftp, DNS Transport layer principles and mechanisms with examples like TCP and UDP Network layer principles and mechanisms with examples like IPv4 addressing, OSPF, BGP Link layer principles and mechanisms with examples like Ethernet, MPLS Physical layer principles as for example Nyquist's and Shannon's theorems Forms of examination prerequisites for final ex.
Kurose and K. Pearson, 2nd Edition, Computer Networks. Prentice Hall, 4th edition, Peterson and B. Computer Networks — A Systems Approach. Morgan Kaufmann, Lernsteuerung: was kann ich schon? Was gelingt mir noch nicht? Wissenschaftliches Arbeiten: wie plane, steuere, realisiere ich eine Hausarbeit u. Oder: Wer kann ich werden und wenn ja wie?
Schneider Verlag Hohengehren GmbH: Beltz Verlag, Huber: Schneider Verlag Hohengehren Klinkhardt Der Weg zum Erfolg. Herder: Hogrefe Verlag: Gabal-Verlag GmbH: A Systems View. Wadsworth Publishing: Auflage, VS Verlag, Gabal-Verlag GmbH Pro Semester kann nur ein Seminar besucht werden. Semester besucht werden. Verpflichtende Teilnahme an allen 3 Seminaren. The tasks are based on the study modules Software Development 1, 2, and 3, whose contents will be applied in a realistic project context.
In the project, a choice of the development of several applications from different domains e. They can develop and implement a large application, perform software tests, realize a whole design cycle and work in a team. Contents The setting of project tasks covers design, implementation, and testing of software systems. During the design phase, students will use application-specific techniques as MATlab, Statecharts, Modellica, statistic test techniques, etc.
Remarks Will be organized together with SW development project. Educational objectives Mit erfolgreichem Abschluss des Moduls werden die Studierenden in der Lage sein,. Weitere Literatur wird in der Vorlesung bekannt gegeben. Golub, J. Academic Press, 1st edition, Up-to-date graphical devices allow not only video games but may be used for scientific computations. They are heavily used in deep learning and artificial intelligence. With their superior performance it is not surprising that many of the fastest computers in the world contain these cards.
This course offers basic knowledges on high performance computing on graphical devices. In tutorials based on the open-source CFD code SU2, the students will get hands on the derived methods for optimization and control in fluid mechanics. The lecture is furthermore valuable for getting introduced to more general lectures on optimization with PDEs. For those students who have heard already lectures on optimization with PDEs, the lecture gives a specific problem and application oriented insight into this class of optimization problems.
Contents State equations in fluid mechanics Reynolds-averaging and turbulence modeling Finite Volume Method Cost functions and constraints in fluid mechanics Shape optimization Optimal active flow control Continuous and discrete adjoint methods One-shot methods Forms of examination prerequisites for final ex. Literature Will be announced in the lecture. AD exploits the fact that every computer program, no matter how complicated, executes a sequence of elementary arithmetic operations such as additions or elementary functions such as exp.
By applying the chain rule of derivative calculus repeatedly to these operations, derivatives of arbitrary order can be computed automatically, and accurate to working precision. Literature A. Griewank und A. SIAM SIAM, Literature topic specific literature Remarks This course is part of the research group seminar. The course introduces students to the theory and applications of human computer interaction HCI. Students should achieve an understanding of human perception and psychology related to HCI, as well as learn about concepts and methods of interactive systems.
The course builds on theoretical principles and numerous examples from research and practice. For this, the students work through current, lecture-related publications of the most important HCI conferences e. Second, the prototypical implementation from paper mock-up to concrete implementation, e. Capability to present a special topic from computer graphics comprehensibly using electonic media Capability for sientific discussion Contents Selected topics from visualization, e. Visualization of vector fields: Implemention of algortithms like stream lines and surfaces, turbulence detection, detection of topology, etc.
- Les Naufragés de lEden (French Edition);
- Wayward Child, A Collection of Poetry;
- Ramonas Home!
- Rehumanizing Law: A Theory of Law and Democracy.
Insbesondere erlangen Studierende ein. This lecture will highlight the advent of information security in parallel with the development and advancement of information systems including the Internet. Outcomes include a deeper understanding of: security fundamentals, the Internet, risk management, data storage including big data , business vulnerabilities, organizational information systems, governance and compliance, the implication of mobile use, and modern information security methods.
Abstracts | FFG | Frühjahrsfachgespräch | GUUG - German Unix User Group
Students can expect to apply this knowledge to other aspects of computer science including:. The lecture discusses safety and reliability in systems in a comprehensive way. It introduces techniques that are used to determine residual risks in systems, and discusses their properties advantages and disadvantages, limitations. Current techniques for risk acceptance, i. In addition, software reliability analysis techniques and formal safety proofs are introduced. They know how to deal with maturity model based methods in quality management.
Additionally, students are able to determine the suitability of structures of quality management systems for certain software and systems and can apply them successfully. Contents Quality management of Software and Systems is of crucial importance for a successful quality assurance. An insufficient quality assurance could endanger human lives or cause economic losses. Hence, also for customers a proof of compliance with quality management standards becomes more and more important.
This lecture discusses quality management of software and systems in a comprehensive way. It introduces techniques that are applied for quality management and discusses their properties advantages and disadvantages, limitations. In addition, suitable procedures for establishing a quality management system are pointed out.
The course describes all activities of the model-based development of automotive software systems from the requirements analysis to code generation. Based on state-of-the-art technologies, current research achievements but also industrial practice, it provides solutions to the specific problems of the regarded domain. It thus enables the student to apply the techniques for the model-based development of complex automotive software systems.
Functional programming is a style of programming that emphasises the use of immutable datatypes and pure functions. Functional programming has a simple mathematical basis that supports equational reasoning about properties of programs. As a consequence, functional programs are easier to develop and reason about than their imperative counterparts. The aim of these lectures is to illustrate these points using the standard functional language Haskell. DE EN.
- In the Red Dragons Shadow - Come the Jackals: Alpha Strike at America.
- Introductory remarks.
- Hair of the Dog;
- My A-Z of M.E. (Myalgic Encephalomyelitis).
- The Tin Box.
News Dept. Gerhard Pews External Capgemini. Literature Vorlesungsfolien als PDF. Thees Web 2. Beurskens, Gesellschaftsrecht, Stuttgart Windbichler, Gesellschaftsrecht, Zivilrecht Literatur wird bei Veranstaltungsbeginn genannt. Literature Literatur wird in den Veranstaltungen bekanntgegeben. Wie verhalten sich Menschen online und offline? Educational objectives Capability to prepare a special topic from computer science based on a given set of literature. Capability to present a special topic from computer science using electonic media Capability for sientific discussion Contents Depends on the topic of the seminar.
Literature Depends on the topic of the seminar. Remarks Choice of one of the related seminars sub modules. Educational objectives Ability to apply engineering methods and techniques in practice for systematic development of applications: Ability to apply knowledge and technique learned in teh lectures. Ability to design and implement an application. Ability to specify and execute software tests Team work. Contents Depends on the topic of the project. Literature Depends on the topic of the project. Remarks Choice of one of the related projects sub modules.
Zweig Network analysis Bachelor project 4P 8 Prof. Contents Themen aus dem Bereich "Informatik und Gesellschaft", z. Educational objectives Capability to prepare a special topic from computer science and its relations to other topics based on the literature. Educational objectives Capability to prepare a special topic from socioinformatics and its relations to other topics based on the literature. Remarks It has to be confirmed by the program coordinator that a socioinformatics topic has been chosen.
Educational objectives Competence to apply engineering methods and techniques in practice for systematic development of applications: Competence to apply knowledge and technique learned in teh lectures. Competence to design and implement an application. Competence to specify and execute software tests Team work.
Educational objectives Competence to apply socioinformatics methods and techniques in practice: Competence to apply knowledge and technique learned in the lectures. Competence to analyze an application. Team work. Remarks The socioinformatics topic of the project has to be confirmed by the program coordinator. Annette Bieniusa Computer Science 89 Prof. Die These von Church-Turing. Halteproblem Funktionale Programmiersprachen primitive und partiell rekursive Funktionen Diagonalisierungstechnik, strukturelle Induktion und Reduktionstechnik Forms of examination prerequisites for final ex.
Nebel: Entwurf und Analyse von Algorithmen. Ottmann, Widmayer: Algorithmen und Datenstrukturen. Anwendungen dieser Methoden in der Informatik zu identifizieren, einfache numerische Techniken zu implementieren, typische Werkzeuge des Scientific Computing anzuwenden und exemplarisch mit entsprechenden Programmierschnittstellen und -Umgebungen umzugehen. Literature G. Gary D. Hamacher, Z. Vranesic, S. Zaky, N. Patterson, J. Literature Skript A.
International Sales Law
Ullmann, M. Lam, R. Sethi und A. Tanenbaum und T. Tanenbaum, Moderne Betriebssysteme, 4. Alpha Go Forms of examination prerequisites for final ex.
Mitchell, Machine Learning , International edition. Beierle und G. Wiesbaden: Springer Vieweg, Russell und P. Norvig, Artificial Intelligence , Global ed of 3rd Revised ed. Erlangen: Publicis Publishing, Wissen, Praxis, Anwendungen. Oldenbourg Verlag Literature Literatur der vorausgesetzten Lehrveranstaltungen. Literature R. Sedgewick, K. Redmond, Wash: Microsoft Press, A. Hunt und D.
Annette Bieniusa Computer Science 89 apl. Informatik-Berufsethik und verantwortliches Handeln im Umgang mit Informatiksystemen. Dusseldorp, R. Beecroft Hg. Friedrich und andere: Informatik und Gesellschaft, Spektrum, I. Geis und M. Helfrich, Datenschutzrecht, 8. Kelly und J. Springer, Berlin: Ullstein Taschenbuch, Zalta, Hrsg. Metaphysics Research Lab, Stanford University, Stamatellos: Computer Ethics. A global perspective, Sudbury, Contents fundamental concepts elementary graphics algorithms rasterization and ray tracing representation and modellierung of objects and scenes modeling of surface properties mapping techniques object and view transformation real-time graphics and graphics APIs light transport and global illumination algorithms simple animation methods Forms of examination prerequisites for final ex.
Encarnacao, W. Strasser: Computer Graphics, Oldenburg Verlag, Forms of final examination presentation Media types special software to be used in computer lab. Remarks Das Schwerpunktmodul setzt sich aus der Vorlesung "Computergrafik" und einer der weiteren gelisteten Vorlesungen zusammen. Capability to present a special topic from computer graphics comprehensibly using electonic media Capability for scientific discussion Contents Selected topics in computer graphics, e. Contents Different tasks from computer graphics, e. Literature J. Hoschek, G. Lasser: Grundlagen der Geometrischen Datenverarbeitung, Teubner, Prautzsch, W.
Boehm, M. Capability to present a special topic from computer graphics comprehensibly using electonic media Capability for sientific discussion Contents Advanced topics in computer graphics, e. Contents This course introduces high performance computing and the use of high performance computers: introduction to the usage of high performance computers, especially remote login on systems with UNIX and usage of their batch systems, analysis and evaluation of parallel algorithms regarding performance applying and working on the high performance computer of the university analysis and evaluation of parallel algorithms for multicore systems using OpenMP analysis and evaluation of parallel algorithms for massively parallel systems with message passing MPI.
OpenMP; S. Hoffmann und R. Lienhart, Springer Gropp, E. Lusk und A. Skjellum, MIT Press, Remarks The course will be accompanied by practical exercises on the high performance cluster of the university. Contents Up-to-date graphical devices allow not only video games but may be used for scientific computations. Comprehension in SIMD programming model single instruction multiple data and relation between hardware architecture and performance evaluation of parallel algorithms with regard to their performance theoretical and practical application of CUDA Forms of examination prerequisites for final ex.
Hwu; Morgan Kaufman Publ Inc. Students should know partial differential equations and numerics. Educational objectives While questioning specific structural design problems, the students learn how to model and compute structures e. The final goal is to enable the students to treat topology optimization problems for structures, while the methods for topology optimization make also use of sizing and shape design methodologies as in case of bubble methods. In tutorials based on MATLAB and open source software, the students will get hands on the derived methods for topology optimization.
Contents Linear elastic equations and its discretization Sizing optimization Optimale Dimensionierung Shape optimization Formoptimierung Topology optimization Material distribution problems Optimal microstructures Bubble method Derivation and characteristics of topological gradients Forms of examination prerequisites for final ex. Basic knowledge in Partial Differential Equations and Numerics. According to legal regulations the entrepreneurial subjects are profit-oriented legal persons and individuals who have achieved this status through state registration or otherwise provided by law.
Entrepreneurial activity can be carried out only in the forms prescribed by law. Legal persons for The Forfeiture of Rights. The forfeiture is the time period set by law or the parties, within a subjective right must be exercised or an unilateral act must be carried out. Forfeiture did not have a general regulation in the previous legislation, only specific applications. The present article focuses on the procedures regarding the calculation of the inheritance tax in Germany with specific examples and some aspects regarding the double taxation.
There is also explained in detail how the percentages are calculated after someone dies and how the inheritance will Deutschen Juristentag. In the article the need to adapt the arbitration in Romania to the requirements deriving from the status of Romania as a Member State of the EU was presented. The modifications brought to this institution were presented, especially the novelty elements related to the juridical nature of the The company contract in the new Romanian Civil Code art. Comparison with the Civil Code.
The Longevity of the Roman Civil Code from , and the long duration of cohabitation with the Commercial Code of puts into question the issue of rapid enforcing of the New Civil Code!
Therefore it is extremely important to compare the current drafting legal texts regarding companies in In the first part of the article, the The insurance contract is an important factor of the present economic life. It has been regulated until now by many laws, in order to establish certain rules to govern this important area, such as the insurance market, which is continuously changing. The new Romanian Civil Code regulates this The problem of artificial real accession in the Romanian new Civil Code will be analyzed in this study both in terms of current Civil Code provisions and in terms of a future regulation, the new Romanian Civil Code, which will bring some changes about application but also about the solutions The authors, qualified to practice law both in Romania and in Quebec, proceed to an examination of the evolution and the content of the Quebec Civil Code, given the present state of the legal reform in Romania.
References are made to the civil nature of this province of Canada and to the Haftungs- und Risikomanagement im Eventbereich : eine haftungsrechtliche Analyse. Due Diligence und privatrechtliches Haftungssystem. Immobilienmakler : eine nicht-endende Diskussion.
Virtual International Authority File
Economics of the mortgage and mortgage institutions : differences between civil law and common law approaches. Religion and civil liberties in the United States. The dynamic quality of law : the role of judicial incentives and legal human capital in the adaptation of law. Hadfield, Gillian K.