Это примерный список: курсы могут варьироваться из семестра в семестр. Конкретный выбор необходимо согласовывать с международным офисом Университета Инсбрук перед стажировкой, при составлении Учебного соглашения.
| Course Number | Course title | ECTS | BS MS PhD | Architecture Summer Term 2016 |
| Excursion | BS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=848122 Learning Outcome: Understanding for implementation and interlinking of architecture in its cultural or physical context Contents: Changing destination for personal experience and to study synthesis of design and constructive aspects of architecture in context of different cultures and technologies; preparation with papers, rework as documentation | ||
| Spatial Order and Spatial Planning | 2,5 | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=825075 Learning Outcome: Subject of discussion concerns the spatial planning and spatial planning as a parent instruments for global and regional spatial development as well as mediation of spatial planning options and their impact on further urban and landscape-related planning, planning principles and planning objectives, methods, means of representation, responsibilities Contents: Theming demands from urban and regional planning as major instrument for global and regional spatial development and covering spatial planning possibilities and their respective impacts on further urban andlandscape repeated planning; planning basics and objectives, methods, representation mediums responsibilities. Methods: Continuous assessment (based on regular written and/or oral contribution by participants). |
| Course Number | Course title | ECTS | BS MS PhD | Biology Summer Term 2016 |
| Developmental Biology, Lecture | 1,5 | BS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=104305 Learning Outcome: Introduction to the subject matter and mothodology of developmental biology and developmentag genetics Contents: Analyses of genes regulating embryonic development; cloning, expression analysis, methodology for manipulating gene function and for analyzing induced phenotypes Methods: one week blocked lecture series with 5 x 120 minutes Assessment: written Remarks: A preliminary meeting for all optional modules of the bachelor study in biology will be held on March 7, 2016 at 3 pm in lecture hall B. It is obligatory to attend both parts (lecture, course) to pass the module. | |
| Developmental Biology, Course | BS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=104306 Learning Outcome: methodology of developmental biology and developmental genetics Contents: Analyses of genes regulating embryonic development; cloning, expression analysis, methodology for manipulating gene function and for analyzing induced phenotypes Assessment: oral final presentation, written report in manuscript style Remarks: A preliminary meeting for all optional modules of the bachelor study in biology will be held on March 7, 2016 at 3 pm in lecture hall B. It is obligatory to attend both parts (lecture, course) to pass the module. | ||
| Labotatory Course in Basic Biochemistry | 4,5 | BS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=712009 Learning Outcome: Hands-on knowledge of protein and nucleic acid biochemistry, gene technology and enzymology. For students of biology. Contents: Hands-on treatment of biological macromolecules with emphasis on proteins and nucleic acids, gel electrophoresis, DNA cloning, blotting procedures, polymerase chain reaction (PCR), protein purification. see also: http://www.uibk.ac.at/biochemistry/teaching/listing.html Methods: Continuous assessment (based on regular written and/or oral contribution by participants). Assessment: Permanent examination character combined with oral and written exams Prerequisites: Lecture course 712.050 | |
| Molecular Stress Physioloy | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=717076 Learning Outcome: A combination of physiological, molecular and biochemical analyses will enable students to understand how and why plants respond to their fluctuating evironment. Contents: Introductory lectures, practical stations in small groups, presentation of results and a one page summary report. Methods: HPLC quantification of photosynthetic pigments in conjugation with chlorophyll fluorescence analysis. Measurement of reactive oxygen species (ROS) and antioxidants. Focus will be placed on algae. Assessment: Practical report and oral presentation | ||
| Organ Formation and Regeneration, Lecture | 1,5 | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=104315 Learning Outcome: Insight into molecular and cell biological methods for studying organ formation in zebrafish embryos Contents: How does the formation of organs work in embryos: Molecular and cellular mechanisms of organ formation and their importance for regenerative approaches in the medical context. Methods: Lecture, assessment is based on a single examination at the end of the course. Assessment: Written exam Literature: Will be discussed in the first lesson. Remarks: A preliminary meeting for all optional modules of the master study in molecular biology will be held on March 7, 2016 at 9 am in lecture hall A. It is obligatory to attend all three parts (lecture, seminar, course) to pass the module. | |
| Current topics in Molecular Organogenesis, Seminar | 1,5 | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=104316 Learning Outcome: Study of scientific primary literature focussing on organogenesis. Preparation for the follow-up course (104317). Contents: This seminar should teach participants how to work with scientific literature and provide an insight into molecular techniques in developmental biology and biomedicine. For this purpose recent original studies concerning organ formation and regeneration will be presented and critically discussed. Participants are encouraged to present their seminars in English. Main topics: methods for studying organ formation in established animal models of vertebrate research. Methods: Continuous assessment (based on regular written and/or oral contribution by participants). Assessment: Presentation and active participation in discussions. Remarks: A preliminary meeting for all optional modules of the master study in molecular biology will be held on March 7, 2016 at 9 am in lecture hall A. It is obligatory to attend all three parts (lecture, seminar, course) to pass the module. | |
| Methods in Molecular Organoenesis, Course | 4,5 | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=104317 Learning Outcome: Getting to know and applying methods in molecular and cell biology for studying organ formation in zebrafish embryos. Contents: How are organs are formed in the embryo:molecular and cellular mechanisms in organ formation and their importance for regenerative approaches in medicine. Methods: Studies in molecular genetics concerning organ formation in vertebrates: mutant analysis, expression analysis, over expression experiments, time-resolved fluorescence microscopy Assessment: practical exercises, final report Remarks: A preliminary meeting for all optional modules of the master study in molecular biology will be held on March 7, 2016 at 9 am in lecture hall A. It is obligatory to attend all three parts (lecture, seminar, course) to pass the module. | |
| Project Study - Developmental Biology | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=104309 Learning Outcome: Application of methods in developmental biology in a current context of research Contents: Collaboration in a current research project in the field of developmental biology. Methods: Continuous assessment (based on regular written and/or oral contribution by participants). | ||
| Interdisciplinary Excursion | 7,5 | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=743254 Learning Outcome: The participants get direct contact with several environmental problems, take hands-on by doing measurements in the field, and learn how to propose solutions. Contents: The excursion will deal with the environmental problematic and ecology in Spain Methods: Continuous assessment (based on regular written and/or oral contribution by participants). Assessment: Students will work in small groups and write a report together about the different topics and places. Seminar and discussion participation. Time, location: 16.-28.5.2016 Exkursion Spanien (Andalusien) | |
| Marine Biology - Developmental Biology | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=719520 Learning Outcome: Knowledge of marine animals in different habitats, knowledge of embryonic development and regeneration in selected species Contents: Animal systematics of marine species, particular focus on molluscs, and on embryonic development of sea urchins Methods: Collection of animals in the sea, fertilization of gametes and microscopy of early embryonic development Assessment: written protocol Start: see dates Time, location:??? (14 Tage), Meeresbiologische Station Stareso Calvi/Korsika | ||
| Gene Regulation, Seminar | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=719544 Learning Outcome: Knowledge of principles and methods to study gene regulation during embryogenesis Contents: Learning and literature presentation on principles and methods of gene regulation during embryogenesis Methods: Lecture, assessment is based on a single examination at the end of the course. | ||
| Gene Regulation, Lecture | 4,5 | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=719545 Learning Outcome: Practical knowledge on methods and concepts for the analysis of gene regulation during embryogenesis Contents: Learning and practical application of methods to study gene regulation during embryogenesis Methods: Continuous assessment (based on regular written and/or oral contribution by participants). | |
| Research training 4 | PhD | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=104902 Learning Outcome: Presentation and critical discussion of your own recent results and related recent primray literature. Contents: Each Student will present his own work form the field of molecular developmental biology Methods: Powerpoint presentation Assessment: Participation | ||
| Research Training 3 | PhD | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=743910 Learning Outcome: Students learn how to assess and interpret the research results of other scientists. Contents: Presentation, analysis and dicussion of scientific findings from own and the work of others Methods: Continuous assessment (based on regular written and/or oral contribution by participants). | ||
| Research Training 1 | PhD | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=743911 Learning Outcome: Students will be able to identify and discuss ecologically relevant topics. They will have developed the learning skills to allow them to continue to study in a manner that may be largely self-directed or autonomous. Contents: Presentation of own research results and / or of contemporary literature. Methods: Literature study, data analysis, oral presentation Prerequisites: successful completion of compulsory module 1 Remarks: This seminar is intended for Master- and PhD-students within the Research Unit Ecosystem Research and Landscape Ecology | ||
| Research Training 2 | PhD | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=743912 Learning Outcome: Students are able to critically summarise and present recent primary literature in Evolutionary Biology and Ecology. The thus developed learning skills allow them to conduct their own research lege artis and increasingly self-directed and autonomous. Contents: Presentation of research results from recent primary literature Methods: Literature study, oral presentations, oral discussions Prerequisites: successful completion of compulsory module 1 Remarks: ATTENTION: The seminar is intended for PhD students of the research groups Evolutionary Systematics and Molecular Ecology. | ||
| Research Training Seminar 4 | PhD | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=746924 Learning Outcome: Group Grubeck-Loebenstein: Profound knowledge in immunology and immunogerontology. Presentation and discussion skills. Group Jansen-Dürr: Ability to judge the quality and limitations of own experimental work, and to design subprojects by yourself, ability to prepare scientific publications. Knowledge in biogerontology with a focus on recent research results (Journal Club). Group Zwerschke: Overview of current research on the biology of aging, Professional qualification in methods of molecular and cell biology, The ability to independently conduct scientific work Contents: Group Grubeck-Loebenstein: Research seminars given by students, presentation of data from the literature, discussions on state of the art topics. Group Jansen-Dürr: Presentation and discussion of own experimwental work by students. Recent literature on key findings in the areas of cellular senescence and molecular studies on model organisms in aging research (Journal Club). Group Zwerschke: Presentation and discussion of current results in aging research and new techniques in molecular and cell biology. Presentation and discussion of own research results. Methods: Group Grubeck-Loebenstein: Seminars and discussion Group Jansen-Dürr: Talks by students Group Zwerschke: Oral presentations given by students and the seminar facilitator. Discussion forum. Assessment: oral presentation | ||
| Advanced Statistics | PhD | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=743904 Learning Outcome: After completion of this module, students are able to create complex experimental designs and are familiar with advanced statistical and graphical methods of analysis. Contents: This course deals with evaluation techniques for ecological data and with the interplay between experimental design and data analysis. Multivariate statistical methods are presented with a focus on techniques common in community ecology. These include both exploratory statistics (e.g. ordination and classification) and hypothesis testing with an emphasis on nonparametric permutation tests. The necessary theory will be outlined as a basis for the practical work with specific software. Methods: A firm understanding of basic statistical methods such as analysis of variance and regression is assumed. Since this course is specifically intended for people during preparation of their theses, there will be the possibility to bring own data sets. Assessment: Participants prepare a report for assessment at the end of the course. | ||
| Seminar in Biogerontology 4 | PhD | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=746923 Learning Outcome: Profound knowledge of different areas in biogerontology. Contents: Seminars on different aspects of biogerontology. Presentation of research results by students. Discussions on current topics of interest. Methods: Seminars and discussions. Assessment: Course examination according to § 7, statute section on "study-law regulations" Remarks: The seminars take place on Tuesdays at 5 p.m. at the Institute for Biomedical Aging Research, Rennweg 10. For further information see: http://www.uibk.ac.at/iba/events/ |
| Course Number | Course title | ECTS | BS MS PhD | Chemistry and Pharmacy Summer Term 2016 |
| Laboratory Course in Basic Biochemistry | BS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=712007 Learning Outcome: Hands-on knowledge of protein and nucleic acid biochemistry, gene technology and enzymology. Contents: Hands-on treatment of biological macromolecules with emphasis on proteins and nucleic acids, gel electrophoresis, DNA cloning, blotting procedures, polymerase chain reaction (PCR), protein purification. see also: http://www.uibk.ac.at/biochemistry/teaching/listing.html Methods: Continuous assessment (based on regular written and/or oral contribution by participants). Assessment: Permanent examination character combined with oral and written exams Literature: J.M. BERG, J.L. TYMOCZKO, L. STRYER Biochemistry, 7th edition Freeman, New York, 2012 D.L. NELSON, M.M. COX Lehninger Principles of Biochemistry, 5th edition Freeman, New York, 2009 B. ALBERTS, A. JOHNSON, J. LEWIS, M. RAFF, K. ROBERTS, P. WALTER Molecular Biology of the Cell, 5th edition Garland, New York, 2008 Prerequisites: Positive completion of the compulsory module no 16 and 19 (Biochemistry A + B) | ||
| Research in pharmaceutical sciences: recent progress (Pharmacognosy & Pharmaceutical Technology) | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=740261 Learning Outcome: Understanding of current aspects of phytochemistry, herbal- and polymorphic research. Contents: Seminar presentations of national and international experts with discussion Methods: Seminar lecture Assessment: Participation in the course | ||
| Gender aspects of drug therapy | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=740901 Learning Outcome: understanding of gender-specific differences in drug actions Contents: identifiy and critically assess recent publications related to gender-specific drug effects and summarize findings in presentation Methods: Evaluation based on regular oral and/or written inputs Assessment: active participation and presentation of results according to predefined quality criteria Prerequisites: For attending the seminar we recommend the successfull completion of the following courses: Pharmacology and Toxicology I Pharmacology and Toxicology II Pharmacology, Toxicology III and Nutrition Remarks: A preliminary introductory lesson will take place | ||
| Department seminar textile chemistry | PhD | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=731903 Learning Outcome: Presentation of research results, discussion of methods, techniques and interpretation of results, information and exchangewith othe rmember groups Contents: Presentation of special topics and recent research results of group members, researchers from outside Methods: Lectures, discussion Assessment: active participation, contribution to discussion Remarks: Students participate 6x (= a -f) in the Seminar which has been defined as topic in the Dissertationagreement | ||
| Current aspects of drug development I | PhD | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=740952 Learning Outcome: Current aspects in modern drug development. Introduction into drug discovery and development process. High-throughput screening and relevance to drug development. Contents: One part of the course will cover the following aspects: definition of drug discovery and drug development historical aspects today’s approaches to drug discovery detailed description of drug development process (basic research, preclinical testing, clinical studies and marketing) future of drug development Another part of the course will focus on high-throughput screening (HTS) and drug development with special emphasis on: the evolution of HTS detailed description of different HTS technologies biological targets and compound libraries assay design strategies applications and relevant examples equipment and HTS robotics Methods: Theoretical outlines; Computer-supported and video presentations. Assessment: Assessment of student's contribution in a workshop; short presentation followed by discussion. | ||
| Quality assurance, quality control, ethics in science, plagarism | PhD | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=740954 Learning Outcome: The participants shall get information about basic principles of quality management, especially those aspects which may be of interest for daily practice in industry and academia. Participants shall understand importance and options of quality assurance and quality control. They shall also get an insight in establishment of good scientific practice. Contents: Basic concepts of quality assurance and quality control will be discussed with reference to herbal medicinal products as an example. Different perspectives of quality will be addressed, e. g. expectations on quality, definition and standardization of quality in guidelines and legal frameworks, and basic features of quality management. Ethics in science and plagiarism will be discussed with respect to quality assurance in science. Methods: Seminar Assessment: Confirmation of participation | ||
| Academic Writing | PhD | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=740955 Learning Outcome: Text that you can use in future writing projects (posters, papers, grant proposals). Contents: the purpose of Categories (abstract, background, aim, objective, task sections) Requirements for reports to the scientific community ("Instructions for Authors") Requirements for scientific reports to a less expert readership (articles in newspapers, etc.) Style (brevity, clarity, simplicity, logical sequence) Quoting and Citation Methods: Introduction using Powerpoint Participants work on reports concerning their own work Peer reviewing | ||
| Analysis of the students own research results IV | PhD | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=740956 Learning Outcome: Correct interpretation of own research results Contents: Correct analysis for interpretation of sustained results of different research work Methods: Seminar Assessment: Confirmation of participation Remarks: For more informations contact the secretary´s office (Pharmacognosy, Pharmaceutical Technology, Pharmacology & Toxicology, Pharmaceutical Chemistry). | ||
| Discussion of current research results IV | PhD | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=740957 Learning Outcome: Correct interpretation of own research results Contents: Correct discussion for interpretation of sustained results of different research work Methods: Seminar Assessment: Confirmation of participation Remarks: For more informations contact the secretary´s office (Pharmacognosy, Pharmaceutical Technology, Pharmacology & Toxicology, Pharmaceutical Chemistry). | ||
| Gender-differences in drug action and safety | PhD | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=740962 Learning Outcome: The course will address the role of the sexual hormones (testosterone and estrogen) on cell biology with a special focus on different aspects of drug effects and toxicity related to ion channels. Contents: The course consists of a theoretical presentation of the cell biology gender related issues and ion channel-drug interaction as well as a hands on practical part in ion channel electrophysiology. Methods: lecture and practical exercise in the laboratory (whole cell patch-clamp) Assessment: The participants will have to prepare a journal club of an article related to the subject, chosen by the lecturer or an article of their own choice. | ||
| Ethics and Science | 2,5 | PhD | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=800925 Learning Outcome: Introduction and elaboration of central concepts and methods for the discussion of ethical, legal and social implications of scientific research. Contents: By way of selected case studies as, e.g., the Human Genome Project, ethical issues of contemporary scientific research as well as their potential solutions will be discussed. Special attention will be paid to the concerns of a democratic public and its specific methods of decision-making. Methods: Seminar with students’ presentations plus discussions in class Assessment: Presentations |
| Course Number | Course title | ECTS | BS MS PhD | Computer Sience Summer Term 2016 |
| Discrete Mathematics | BS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703015 Learning Outcome: Students know various methods of proof. They understand formal techniques and elementary methods of analysis of discrete structures and can represent information abstractly. Contents: Proof methods; whole and rational numbers; introduction to graph theory; elementary counting theory; discrete probability calculation; finite automata; Turing machines; fundamentals of complexity theory. Methods: Continuous assessment (based on regular written and/or oral contribution by participants). | ||
| Computer Graphics, Seminar | BS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703029 Learning Outcome: Discussion, rehearsal and practical implementation of topics covered in the lecture via written exercises and programming tasks. The goal is the display of a simple three-dimensional scene using OpenGL. The program will be extended in steps over the course of the Proseminar. Contents: Rehearsal and application of the topics covered in the lecture, in particular OpenGL programming Methods: Continuous assessment based on regular written and/or oral contribution by participants, as well as program development. | ||
| Computer Graphics, Lecture | BS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703028 Learning Outcome: Students can understand the elementary methods of computer graphics. The underlying theory will be discussed that will allow for the modelling of three-dimensional scenes, for implementation in software, and for final display in real-time on the screen. Contents: 3D graphics programming; rasterization; transformations; lighting; texturing; anti-aliasing; hardware Methods: Lecture, assessment is based on a single examination at the end of the course. | ||
| Introduction to Autonomous and Intelligent Systems, Lecture | BS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703030 Learning Outcome: How to design artificial autonomous systems? This course conveys knowledge of fundamental issues and skills in basic techniques to address them. Contents: Basics in computer vision, visual navigation, architectures of autonomous systems, dynamics and control, path planning and obstacle avoidance for mobile robots. Methods: The lecture covers theoretical material that the complementary proseminar exercises in programming projects on mobile robots as well as in oral and written exercises. Assessment: The first exam will be a written exam. Subsequent exams are normally held orally, depending on the number of participants. Remarks: The course is designed as VO+PS. All participants are expected to participate in both VO and PS. | ||
| Introduction to Autonomous and Intelligent Systems, Seminar | BS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703031 Learning Outcome: See the associated VO. Contents: See the associated VO. Methods: Continuous assessment (based on regular written and/or oral contribution by participants). Assessment: Written homework assignments and programming projects. Remarks: The course is designed as VO+PS. All participants are expected to participate in both VO and PS. | ||
| Specialisation Seminar | 2,5 | BS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703037 Learning Outcome: Participants exercise their abilities to indepentently study, write up and orally present technical material in the area of intelligent autonomous systems. Contents: Suggested topics can be found on the course website. Methods: Participants prepare a topic from the area of intelligent autonomous systems, and present it in the form of a written report and an oral presentation. Assessment: The grade is composed of the written report, the oral presentation, and a written critique of the seminar report of another course participant. | |
| Introduction to Machine Learning, Lecture | BS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703107 Learning Outcome: How can we design learning software systems that adjust their parameters according to example data, continually optimize their own performance, and/or automatically adapt to changing contexts? This course conveys knowledge of basic techniques and competences in the formulation and solution of problems of machine learning. Contents: Fundamentals in statistical methods, classification and regression; plus selected topics Methods: The lecture covers theoretical material that the complementary proseminar exercises in discussions, written problems, and programming projects. Assessment: Oral exam. Remarks: The course is designed as VO+PS. All participants are expected to participate in both VO and PS. | ||
| Introduction to Machine Learning, Seminar | BS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703108 Learning Outcome: See the associated VO. Contents: Discussion and practice of the topics covered in the lecture with theoretical brainteasers and arithmetic problems as well as practical programming exercises. Methods: Continuous assessment (based on regular written and/or oral contribution by participants). Assessment: Written homework assignments and programming projects. | ||
| Process Modelling, Lecture | BS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703121 Learning Outcome: Students possess competences in the area of process modelling. They can analyse business processes and present these as process models. Moreover, they can also judge the quality of process models and analyse them critically. They learn how to work in teams. Contents: Scenarios of process modelling; quality of process models (e.g. comprehension and maintainability); metrics for process models; techniques for process models (e.g. feasibility, transformation, similarity calculation). Methods: Lecture, assessment is based on a single examination at the end of the course. | ||
| Process Modelling, Seminar | BS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703122 Learning Outcome: Students possess competences in the area of process modelling. They can analyse business processes and present these as process models. Moreover, they can also judge the quality of process models and analyse them critically. They learn how to work in teams. Contents: The topics of the lecture Process Modelling are covered in-depth by investigating practical problems. Methods: Continuous assessment (based on regular written and/or oral contribution by participants). | ||
| Term Rewriting, Lecture | BS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703125 Learning Outcome: Students who completed this module understand the concept of term rewrite systems as formal computation model, which forms the basis of functional programming. They know important properties of term rewrite systems as well as methods to establish these properties. Contents: Abstract rewrite systems; equational logic; term rewrite systems and their properties; termination; confluence; completion; strategies. Methods: Lecture, assessment is based on a single examination at the end of the course. Remarks: This course is highly recommended for students that wish to learn more about an important research topic in the Computational Logic research group. | ||
| Term Rewriting, Seminar | BS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703126 Learning Outcome: Students who completed this module understand the concept of term rewrite systems as formal computation model, which forms the basis of functional programming. They know important properties of term rewrite systems as well as methods to establish these properties. Contents: Abstract rewrite systems; equational logic; term rewrite systems and their properties; termination; confluence; completion; strategies Methods: Continuous assessment (based on regular written and/or oral contribution by participants). | ||
| Compiler Construction, Lecture | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703601 Learning Outcome: Graduates of this module can describe the structure and the tasks of the individual phases of a compiler. They are capable of explaining and using the employed methods and algorithms. They are capable of using compiler construction tools for building a complete compiler for a simple programming language. Contents: Lexical analysis; Syntactic amalysis (top-down and bottom-up strategies); Semantic analysis; Attribute grammars and attribute evaluation; Intermediate code translation; Runtime environments; Code generation Methods: Lecture, assessment is based on a single examination at the end of the course. | ||
| Compiler Construction, Seminar | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703602 Learning Outcome: Graduates of this module can describe the structure and the tasks of the individual phases of a compiler. They are capable of explaining and using the employed methods and algorithms. They are capable of using compiler construction tools for building a complete compiler for a simple programming language. Contents: Practical use and implementation of compiling algorithms. Use of compiler tools for lexical and syntactic analysis. Development of a compiler for a simple programming language. Methods: Continuous assessment (based on regular written and/or oral contribution by participants). | ||
| Master Seminar 2 | MS PhD | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703606 Learning Outcome: Students who have completed this module should be able to deal with a computer science topic in a creative and methodically correct fashion and express it in an easily comprehensible way in writing as well as orally. Contents: In-depth study of a specialised research topic of computer science, the content of which should go beyond the content of other modules; preparation for the master thesis; illustration of the results in the context of a seminar paper and a presentation Methods: Continuous assessment (based on regular written and/or oral contribution by participants). | ||
| Domain-specific Language Engineering | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703756 Learning Outcome: After concluding the course a student is familiar with the concept of domain-specific language (DSL) engineering and is able to implement simple DSLs using Groovy, xText and the Meta-Programming System (MPS). Contents: This seminar discusses topics of modern software engineering that help to develop software more efficiently. Three different approaches are presented: Internal Domain-specific Languages (DSLs) in Groovy, external DSLs with xText and the paradigm of language-oriented programming using Meta-Programming System (MPS). These approaches all have the ability to extend features of a base programming language (like Java) or to create new languages. See e.g., http://martinfowler.com/bliki/DomainSpecificLanguage.html. Methods: The first half of the semester will consist of lectures and small practical exercises introducing internal Domain-specific Languages (DSLs), external DSLs and language-oriented programming. The second half will be spent on medium-sized projects realizing and leveraging a DSL with one of the aforementioned approaches. These projects will be done in small groups of students. | ||
| Computer Haptics, Lecture | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703800 Learning Outcome: Haptics is related to the sense of touch. The lecture will provide insight into the new field of computer haptics. Students will understand the interdisciplinary nature of the field and be knowledgeable about major elements, such as psychophysics, haptic rendering, and applications using touch feedback. Contents: The underlying theories and methods will be taught, including the human haptic sense, the design ofpsychophysical studies, the control of haptic interfaces, the implementation of haptic rendering algorithms, and the application of touch feedback in different research fields and application areas. Remarks: The course is conceived as VO+PS. It is recommended that students participate in both parts. | ||
| Computer Haptics, Seminar | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703801 Learning Outcome: Discussion, rehearsal and practical implementation of topics covered in the lecture via practical tasks. Cental element is the construction of a simple haptic interface, on which diverse algorthim can be tested. Contents: Rehearsal and application of the topics covered in the lecture. In particular, a simple 1-DOF haptic interface - the Haptic Paddle - will be built by the students. Programming exercises to control the haptic interface and to haptically render virtual objects will be carried out. Methods: Continuous assessment based on project development, as well as written and/or oral contribution by participants. Prerequisites: Programming will be carried out using C/C++ with OS Windows. Remarks: The lecture is conceived as VO+PS. It is recommended that students participate in both parts. | ||
| 3D Printing and Fabrication | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703812 Learning Outcome: State of the art in 3D printing and Digital Fabrication. Contents: The purpose of this course is to introduce technical foundation of 3D Printing. Nowadays, 3D printing is a widespread technology employed to enable fast prototyping for digital fabrication of real-world objects. 3D Printing mainly refers to manufacturing technologies using 3D Printers to output fabricated shapes dealing with wide range of physical material. Various aspects of digital fabrication include hollowing, structural analysis, slicing, fabricable parts, support structure, apprearance, mechanical toy, and balancing. In this seminar, students will have the opportunity to become familar with an emergent and late-breaking technology having interesting applications in medecine, aerospace and fashion design. In addition, students will have the opportunity to develop their knowledge in this area with investigation and presentation of selected top-level (SIGGRAPH) research papers. Methods: Objective: To gain foundamental knowledge in the area of 3D Printing and Fabrication. The supervisor will present the general context of 3D Printing and Fabrication. The supervisor will present his top-level contribution in the field of 3D Printing. Each participant student will give a talk about a selected top-level research paper. Each participant will study all presented research paper. This presentation requires peripherical literature review to be familar with the content. Each participant will contribute to critical discussion at the end of each talk. Critical thinking: paper contents will be discussed after presentation. During the last session, a short written assignement could be performed (to refine the grading). Students will be evaluated on several aspect: discussion, preformed talk, written report, written assignement. Implementation prototype or partial implementation of the paper is optional and will give bonus points. The proseminar is driven by "learning-by-research" | ||
| Online Communication | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703815 Learning Outcome: Students who have completed this module should have a good understanding of online communication approaches. They should be able to deal with any online communication topic in a creative and correct fashion. They should be able to select the right methods, techniques and tools for building scalable online presence. Contents: In-depth study of online communication methods, techniques and tools. We investigate novel methods for online communication based on distinguishing and explicitly interweaving content and communication as a central means for achieving reusability and thereby scalability; presentation of specific methods, techniques and tools during the seminar. | ||
| Theory of Decision Procedures | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703620 Learning Outcome: Graduates of this course have a good understanding of various decision procedures that are used in automated reasoning. Contents: The course provides an introduction to some of the theories and decision procedures that are used in automated reasoning. The focus will be on satisfiability modulo theories (SMT). | ||
| Practice of Decision Procedures | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703621 Learning Outcome: Graduates of this module know how to encode other problems in SAT/SMT/etc. Contents: SAT-, PB- and SMT-Codings; Encoding non-linear arithmetic Methods: Presentation of the theory and demonstration on examples. | ||
| Theory and Practice of Decision Procedures, Seminar | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703622 Learning Outcome: Students who have completed this module know decision procedures for propositional logic and for restrictions of predicate logic. They can implement these decision procedures and formulate specifications in these logics and verify them using tools. Contents: Practicing of the themes of the lectures by applying the presented concepts | ||
| Advanced Compiler Construction, Lecture | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703625 Learning Outcome: Graduates of this course are familiar with the most important components and algorithms in modern compilers. They can understand and follow current research in this area. Contents: Scalar Optimisation Code Generation Instruction Scheduling Register Allocation Dependence Analysis Program Transformations Vectorisation Parallelisation (Automatic & Speculative) Adaptive and Profile Driven Compilation Dynamic Compilation Machine learning-based compilation Heterogeneous compiler issues | ||
| Advanced Compiler Construction, Seminar | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703626 Learning Outcome: Graduates of this course are familiar with the most important components and algorithms in modern compilers. They can implement basic automatic code generation and compiler approaches. Contents: Understanding and implementation of: lexical and syntax analysis, automatic code generation, basic compiler optimizations, dependency analysis, program transformations, vectorization. | ||
| Advanced Topics in Compiler Construction | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703627 Learning Outcome: Graduates of this Seminar are familiar with current research topics and the state of the art in Compilers. They know current issues and proposed solutions, and are therefore capable of understanding, categorizing and reproducing new results. Contents: 2 basic types of topics are discussed: Current real-world compilers Current research in compilers Methods: Teams of students develop presentations about a compiler or research topic, and present them to the group. Assessment: The assessment is based on the quality of the presentation as well as the seminar paper. Prerequisites: Basic knowledge of compilers is required (equivalent to the Compiler lecture), further knowledge (e.g. the advanced compiler lecture) is advantageous. Remarks: FWF DK-plus: High Perfomance Distributed Scientific Computing DK-plus | ||
| Advanced Concepts and Techniques in Software Quality | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703632 Learning Outcome: Students know advanced concepts of software quality engineering techniques and are able to apply them. Contents: Advanced concepts of software quality engineering like model-based testing | ||
| Network Security, Lecture | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703646 Learning Outcome: Students who complete this module understand the most important concepts and techniques in multimedia security and digital forensics. They are in a position to select the security mechanisms necessary to enforce protection goals for and with the help of media data. The can adapt general mechanisms to specific application scenarios, critically evaluate their performance, document the results in a comprehensible way, and provide decision support. They know potentials and limitations of methods to detect forgeries and to identify the source of digitized media data (e.g., digital images). They also know about potentials and issues in using sensors for user authentication (e.g., biometrics) and can contribute to scientifically founded discussions. Contents: The lecture covers an introduction to the field of multimedia security including digital forensics. Building on the discussion of important properties of media data (in particular: compressed digital images), the lecture defines relevant protection goals and conveys methods for their enforcement (in particular: signal processing and coding). It also covers techniques for covered communication (e.g., steganography) as well as active and passive approaches to authentication and integrity verification (e.g., digital watermarking, forensics). Selected solutions are critically evaluated against known attacks. | ||
| Network Security, Seminar | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703647 Learning Outcome: Students who complete this module understand the most important concepts and techniques in multimedia security and digital forensics. They are in a position to select the security mechanisms necessary to enforce protection goals for and with the help of media data. The can adapt general mechanisms to specific application scenarios, critically evaluate their performance, document the results in a comprehensible way, and provide decision support. They know potentials and limitations of methods to detect forgeries and to identify the source of digitized media data (e.g., digital images). They also know about potentials and issues in using sensors for user authentication (e.g., biometrics) and can contribute to scientifically founded discussions. Contents: The introductory seminar delves into the contents of the lecture. It introduces methods and tools using practical demonstrations. Students receive exercises to prepare for the exam and carry small research projects on their own, the results of which are presented in class. | ||
| New Database Models, Lecture | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703648 Learning Outcome: Students who have completed this module know and understand the foundations of newdatabase concepts and can compare them with and evaluate against the architecture of conventional database systems. They understand the concepts of object-oriented, document-oriented, XML and graph-based systems and possess the skill to apply them in the respective query languages. Furthermore they possess the ability to autonomously acquire further skills regarding the content of the different areas. Contents: Architecture of new database systems; NoSQL-database models and their processing algorithms; document-oriented, graph-based and in-memory database systems; object-relational and XML databases; current techniques and approaches | ||
| New Database Models, Seminar | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703649 Learning Outcome: Students who have completed this module know and understand the foundations of newdatabase concepts and can compare them with and evaluate against the architecture of conventional database systems. They understand the concepts of object-oriented, document-oriented, XML and graph-based systems and possess the skill to apply them in the respective query languages. Furthermore they possess the ability to autonomously acquire further skills regarding the content of the different areas. Contents: Architecture of new database systems; NoSQL-database models and their processing algorithms; document-oriented, graph-based and in-memory database systems; object-relational and XML databases; current techniques and approaches | ||
| Semantic Web Services, Lecture | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703654 Learning Outcome: This lecture will give an overview of Semantic Web Services technologies. It starts by introducing the principles of Web and Service sciences along with the various technologies that are used by Web services. A set of Semantic Web Services frameworks, including both top-down and bottom-up approaches are then discusses. Finally an overview of applications of semantic technologies in service-oriented systems is provided. Contents: Basic topics of Web Science; Service Science; Web services; Semantic Web und Services. Prerequisites: Basic notions of distributed programming, optional Web services. | ||
| Semantic Web Services, Seminar | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703655 Learning Outcome: The aim of this seminar (PS) is to further explore the topics discussed in the Semantic Web Services lectures by answering questions and solving problems directly related to Web services, Semantic Annotations for Services, service related tasks, etc. The seminar follows closely the lecture's material. Exercise sheets will be handed out each week. Students will present their solutions the following week. Contents: Semantic Web services are building on top of Web services technology by describing various aspects of services using explicit, machine-understandable semantics that enable a certain degree of automation for various service related tasks. This lecture will give an overview of Semantic Web Services technologies. It starts by introducing the principles of Web and Service sciences along with the various technologies that are used by Web services. A set of Semantic Web Services frameworks, including both top-down and bottom-up approaches are then discussed. Finally an overview of applications of semantic technologies in service-oriented systems is provided. | ||
| Multi-Criteria Optimisation in parallel and distributed Systems | 2,5 | PhD | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703960 Learning Outcome: Research of novel research topics in the area of multi-objective optimisation of parallel and distributed systems. | |
| Smart Data | 2,5 | PhD | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703963 Learning Outcome: High-quality PhD research is widely recognized as one of the key success factors in every academic institution. While doing a PhD necessarily implies a high amount of individual research work, the role of supervision is essential for the systematic operation of the process and its successful finalization. This seminar is targeted at PhD students whose research interests cover Data Science, Semantic Web and Web Service areas. It is intended to provide PhD students with the opportunity to develop the skill to critically read, evaluate and present research papers, learn to present advanced topics to a specialized audience of fellow PhD students and PostDocs and receive feedback, and obtain a broad overview of important recent developments in Data Science research. Contents: It consists in a mix of a literature seminar, with the presentation of both classic, influential papers and preprints or very recent publications, and the presentation of advanced topics in the field of Data Science. The papers and topics may be unrelated to each participant specific research. The main objective is to learn about both important and recent developments and how results are commonly presented in the field. | |
| Database Systems | PhD | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=703964 Learning Outcome: In the course we study current and interesting topics in databases and information systems. PhD students will acquire in-depth knowledge relevant for their doctorate thesis and will enhance their presentation skills. | ||
| Course Number | Course title | ECTS | BS MS PhD | Earth Sciences and Geography Summer Term 2016 | |||||||||||
| Quaternary geology and palaeoclimatology | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=715192 Learning Outcome: The students possess a profound knowledge of Quaternary climatic and environmental changes and can correctly identify sediments and landforms that were made by these changes, and assign individual processes. Contents: This lecture treats the evidence for Quaternary climate change on the basis of various marine and terrestrial climate archives and discusses the issues of causes and interactions. | |||||||||||||
| Quaternary field course | 3,5 | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=715193 Learning Outcome: The students gain detailed insights into important alpine Quaternary climatic and paleoenvironmental processes. They are capable of i) recognizing a range of quaternary sediments and landforms and ii) correctly interpreting these sediments and landforms in terms of formation proceses and genesis. Contents: The course consists of a introductory section that provides the theoretical foundation and and a field mapping course.The latter will focus on quaternary geological mapping, logging and facies analysis. | ||||||||||||
| Quaternary field course, Excursion . | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=715199 Learning Outcome: The students gain detailed insights into important alpine Quaternary climatic and paleoenvironmental processes. They are capable of i) recognizing a range of quaternary sediments and landforms and ii) correctly interpreting these sediments and landforms in terms of formation proceses and genesis. Contents: The course consists of a introductory section that provides the theoretical foundation and and a field mapping course.The latter will focus on quaternary geological mapping, logging and facies analysis. | |||||||||||||
| The Cryosphere in the Climate System | MS | http://orawww.uibk.ac.at/public/lfuonline_lv.details?sem_id_in=16S&lvnr_id_in=707711
Learning Outcome:
Understanding the basic mechanisms of glaciers and their role in the climate system.
Contents:
What is a glacier? Definitions in the context of glaciers.
Where are glaciers?
How do they change? The mass balance and the flow dynamics.
Why do we study glaciers? Glaciers in a wider context.
Which tools are required to meet research questions? Variables, observations, reconstructions, models.
Which processes govern glaciers and their changes? The process understanding.
Glaciers in the climate system. In view of the ongoing climate change.
Examples of recent studies and papers in our Innsbruck working group.
Дата добавления: 2016-12-31; Мы поможем в написании ваших работ!; просмотров: 208 | Нарушение авторских прав Поиск на сайте: Лучшие изречения:  | 2319 -  |
Ген: 0.013 с.