In june 2014, he completed his doctoral studies in computer science dr. Digital design lab preliminary talk 1 jakob lechner, thomas polzer tu wien. In proceedings of the twentyeighth aaai conference on artificial intelligence aaai 2014, 2014, pages 742748. Answer set programs challenged by ontologies adrian haret tu wien. Profilegen ein eclipse plugin fur interoperabilitat. Reinhard pichler, gab or erd elyi, stefan szeider abstract the detection and subsequent utilization of structure in data is a major theme in algorithm design. This report documents the program and the outcomes of dagstuhl seminar 19381 application. Independent software vendor develop solutions, selling their own software for both enduser and enterprise use across diverse market sectors. Types for active objects with static deadlock prevention. Tu wien alumni club bulletin 44 by tu wien alumni club issuu. A read is counted each time someone views a publication summary such as the title, abstract, and list of authors, clicks on a figure, or views or downloads the fulltext. Andreas rauber favoritenstrasse 911188 a1040 vienna, austria. Easily share your publications and get them in front of issuus. University of technology tu wien, and the medical university of innsbruck.
Joint epri123himat international conference on advances in hightemperature materials 2019. For the list of our former staff members please click here. Embedded computing systems group institute of computer. The research group for industrial software inso deals with the study of development and maintenance of software systems in practice special focus goes to the issues project, process, product and people in software engineering. Mario vorstandlechner interactive media systems, tu wien. Behrens, optimal control of nonlinear processes with applications in drugs, corruption and terror, springer, 2008. Publication list for christian hellmich e202 institute for mechanics of materials and structures as author or essentially involved person.
This will allow the students to gain a profound understanding of the relevance of preferences for a large variety of applications. Christian breiteneder favoritenstrasse 911188 a1040 vienna, austria. Andreas kralls 45 research works with 534 citations and 1,076 reads, including. Computeraided architectural design and engineering. Mentee vera novy, university of british columbia mentor martin polz, mit. Using our integration platform and outofthebox products, isvs can build their solutions faster, saving resources and reducing their time to market. Issuu is a digital publishing platform that makes it simple to publish magazines, catalogs, newspapers, books, and more online. Martin lackner has studied mathematics in computer science at tu wien and for one. Mentee florian lackner, uc berkeley mentor thomas brabec, university of ottawa. Institute for analysis and scientific computing wiedner hauptstrasse 810 1040 wien, austria room. Proceedings of the thirtysecond aaai conference on artificial intelligence, aaai18, the 30th innovative applications of artificial intelligence iaai18, and the. Scilab is a free and open source software for numerical computation providing a powerful computing environment for engineering and scientific applications.
Schematic building design, building performance modeling, and. Interactive media systems is a multimedia research group at the institute of visual computing and humancentered technology, part of the faculty of informatics at tu wien. Events doctoral program dk dissipation and dispersion. Consistent approvalbased multiwinner rules proceedings of the. Ubersetzerbau in osterreichischen softwarefirmen tu wien 30. Kr4hc 2019 knowledge representation for health careprohealth, poznan, polen. Before that, he was postdoctoral researcher at the university of oxford and at tu wien. A parameterized complexity analysis of generalized cpnets. Lackner 6in1 estate administration system the lackner group. They are a creative, diverse and passionate group of excellent researchers and lecturers. In view of this data deluge we face the fundamental question of how to process and how to interpret big data. If we assume that the observed data are realizations of a random vector with a fixed probability distribution, the problem of graphical model selection is to determine the underlying graphical model.
The ascina mentoring program amp is generously supported by the alumni. Higher order unfitted fem for stokes interface problems. Martin lackner did his masters thesis in 2001 at technische universitat wien adding genericity and support for design by contract to the kopi java compiler. Publication list for members of e166 institute of chemical engineering as authors or essentially involved persons. Martin lackner is principal investigator of the project algorithms for sustainable group decision making, which is funded by the austrian science fund fwf and based at tu wien. The scope of the research and teaching activities of the embedded computing systems group at the institute of computer engineering ranges from dependable and powerefficient digital circuits to future generation computer architectures to networked embedded systems and faulttolerant distributed systems in general. Vectorization in pypys tracing justintime compiler.
Detecting structure in permutations and preferences martin lackner candidate. Evaluation of software development paradigms and processes for web application engineering. Effective heuristics for committee scoring rules m. Design of embedded systems can be subject to many different types of constraints, including timing, size, weight, power consumption, reliability, and cost. Hannes werthner electronic commerce group institute for software technology and interactive systems vienna university of technology. Aside from our primary products, we also provide access to other beneficial tools and instructions. Martin kronegger, martin lackner, andreas pfandler and reinhard pichler a parameterized complexity analysis of generalized cpnets in proc. Institute of software technology and interactive systems. The next event will take place in ei 4 reithoffer hs on wednesday, march 11th 2020 at 17. Our research group deals mainly with the use of earth observation satellites for the retrieval of geophysical parameters over land. Martin lackner, decision management systems, vienna, austria andreas. A presentation of all inso research fields is always held on the beginning of a new semester. Publication list for external persons no members of the tu vienna only records of the faculty ar as authors or essentially involved persons. Knowledge representation for health careprohealth, kr4hc 2019, 2019, 56 62.
Martin kronegger tu wien institute of informations systems e1842 favoritenstra. Andreas kralls research works tu wien, vienna tu wien. Interactive media systems is a multimedia research. Vienna university of technology institute of software technology favoritenstr. Producers of estate administration software for windows and macintosh. Publication list for members of e311 institute of production engineering and photonic technologies as authors or essentially involved persons.
If you have any questions on these extra downloads, please give us a call 4122792121. Philip lederer, carlmartin pfeiler, christoph wintersteiger, and christoph lehrenfeld. Scientific staff our dedicated faculty and staff fuel the dynamic environment in both research and teaching. Floore19103 a1040 vienna, austria research at the automation systems group includes various topics related to distributed automation systems. Information and software engineering group ifs, prof. They learn software measurement methods, how to apply current software frameworks, advanced programming techniques, how to handle special requirements in computer graphics. Lederer a mass conserving mixed stress formulation for incompressible flows, dissertation, tu wien, 2019 pdf. While many algorithmic problems are computationally. The design computing group at tu wien conducts research and development in. On the foundation of theoretical basic research on digital formalism we will develop the technical tools to digitally analyse the principal cinematic elements in the films by russian avantgarde film maker dziga vertov 1896 1954 with the aim of a applying the tools. We would be happy to send you the slides of the topic presentation uppon your request.
The vienna vertov collection focuses on the computeraided digital analysis of the senses of cinema. Philip lederer, carl martin pfeiler, christoph wintersteiger, and christoph lehrenfeld. Hardwaresoftware codesign the hwsw codesign group at the institute for technical informatics deals with embedded systems, hwsw codesign, and power awareness. Proceedings from epris 9th international conference on advances in materials technology for fossil power plants and the 2nd international 123himat conference on hightemperature materials. In the parttime software engineering masters degree program, students expand their knowledge and improve their skills in the latest techniques of software engineering. Design by contract is a valuable design method for trusted software components. The program package wien2k allows to perform electronic structure calculations of solids using density functional theory dft. Welcome to the microwave remote sensing group remote sensing is the science of gathering information about distant objects with sensors mounted on spaceborne or airborne platforms. The course will offer the student insight into stateoftheart research on preferences in artificial intelligence. Also in tools usa 2002, christine mingins editor, santa barbara, california, july 2002. Digital design lab institute of computer engineering e191. Digital formalism interactive media systems, tu wien. Aggregating expert opinions in support of medical diagnostic decisionmaking c.
A popular way of representing complex systems with a large number of components nodes and complicated interactions between them are graphical models. Detecting structure in permutations and preferences. L sanchezfernandez, e elkind, m lackner, n fernandez, ja fisteus. Wien2k is an allelectron scheme including relativistic effects and has many features. Bewirb dich lieber an einer fh wenn du software engineer werden willst. Formation and further development and mapping of existing software programmes.
961 1002 856 249 579 18 995 590 804 610 1271 168 1382 1430 1053 820 1519 650 586 202 932 776 1602 825 1634 1671 811 1674 1325 371 313 532 1335 1494 267