If you plan to come by public transport to the university. Softwarelizenzen hochschulitzentrum des saarlandes. For older courses, feel free to browse our teaching archive. We are currently looking for a scientific assistant to support us in software development and testing. In all other cases, please complete the online application form. Smart objects, the internet of things, mobile and wearable computing lead to an increasing number of physical objects getting instrumented with computer control and interaction. Checking app behavior against app descriptions the imdea. Edwards columbia university sungjun kim columbia university edward a. Brownmove a manyparticle browniandynamics simulation package epos bp ensemble of pockets on protein surfaces with ballpass.
The undersigned statement represents scientists and researchers from across the globe. You need this tool to convert your runs from inex 2008 xml into the fol format. Our goal is to reinvent computer interfaces in order to seamlessly integrate digital media with the physical world, enabling more effective, expressive and engaging interactions. Student jobs there are usually jobs as a student assistant called hiwi hilfswissenschaftler in german available on various research projects either at the university or at the various research institutes on the campus. Cleanroom software engineering tennessee research and. Testing is a powerful and widely used technique for software quality assurance, which is known to require significant resources in most software development projects.
Please contact me by email if you have any questions concerning my courses your exams research projects. Biq himod facilitates processing and primary analysis of data obtained in standard targeted bisulfite sequencing experiments, as well as. Embedded microprocessor platforms help developers and designers of such systems to ease and speed up development. In the case of hardware systems, there are questions on improving efficiency, on production, on new protocols, and on the possibility of proving correct behavior. Alex poulis transperfect ai summit new york speaker. The researchers working here make saarbrucken a unique european site for computer. Universitat des saarlandes is a modern research university located in saarbrucken, the capital of the german state of saarland.
He is passionate about building strong teams and successful, longlasting. Having worked in research, software development, program management and business development, alex keeps his eyes on the big picture but never loses sight of the important details. When sensors embedded within industrial plants trigger an alarm at night, maintenance teams have to respond immediately. Welcome to the pages of the big data analytics group at saarland university. Saarland university cluster of excellence multimodal computing and interaction. Sensor system identifies cause of alarm in hardtoaccess. Mai 2019 ist auch eine veranstaltung in saarbrucken geplant. A new sensor system developed at saarland university is able to analyse signal patterns and identify the exact cause of the disturbance. Software archives mining deals with the automated extraction, collection, and abstraction of data from the information generated during the software development process e. Journal of medicinal chemistry 2007 qvadis java3d program package to characterize proton transfer pathways in biomolecules accounting for side chain flexibility and transfer kinetics mebitoo mebitoo is a bioinformatics tool to embrace computational.
Lukas convent, christopher hahn, jana hofmann, jan christian menz. The center places its particular research emphasis on improving methods for the faster development of better medications with fewer side effects. The president of saarland university manfred schmitt has issued the following appeal to all students and university employees asking for assistance in helping to support the saarland university teaching hospital and other medical and health facilities in their efforts to maintain medical services during the coronavirus crisis. Just send us an informal letter stating that you would like to study visual computing instead or in addition to it.
Software biq analyzer himod is the latest version of the popular interactive sequence analysis tool, designed for highthroughput targeted sequencing of 5methylcytosine and its oxidized derivatives. He is the head of the humancomputer interaction and interactive technologies lab. The software evolution project at the software engineering chair, saarland university, analyzes version and bug databases to predict failureprone modules, related changes, and future development activities. Advanced programming techniques in matlab advanced programming with. Alexander weinert left for dlr simulation and software technology. Uwe hartmann of the experimental physics department at saarland university, has many years experience in developing sensor systems and analysing signal patterns. Biq analyzer himod is the latest version of the popular interactive sequence analysis tool, designed for highthroughput targeted sequencing of 5methylcytosine and its oxidized derivatives. Oktober 2019 langere bearbeitungszeit bei nutzerantragen. But theres always the chance that this is just another false alarm. Some 30 work groups in the areas of computer science, mathematics, medicine, pharmaceutical science, biology, biotechnology and chemistry conduct research and teach at the center for bioinformatics saar. Patel university of waterloo jan reineke saarland university uc berkeley. It can be produced in different shapes and sizes to suit various locations of the body such as the finger, forearm, or ear. The current covid19 crisis is unprecedented and we need innovative ways of coming out of the current lockdowns. How to hit the ball then the turf with your irons magic drill duration.
We are a research group in humancomputer interaction. Software and hardware systems saarland informatics campus. Instructions please follow these instructions in order to submit an application. Research projects cv and select list of publications. We warmly welcome sebastian dalleiger as a phd student in the exploratory data analysis group. Currently he is also the dean of studies for computer science. Testing is useful for showing the presence of bugs, not the absence of them. Due to the current covid19 situation, i cannot offer personal contact hours until further notice. Ad hoc track tools inex eval all download everything you need to assess against inex 2010 download everything you need to assess against inex 2009 download everything you need to assess against inex 2008 v2. We developed the programming systems mozart concurrent constraint programming and alice concurrent functional programming and contributed to the design of the gecode constraint library. Clarivate analytics endnote hochschulitzentrum des saarlandes. Software development results in a huge amount of data. Use the preregistration interface to provide the main information on your application. The team conducted test series in which they simulated several types of disturbances, such as those caused by different balls hitting the fence.
For the last 15 years alex has been providing ai enterprises and organizations with high quality data solutions for machine learning. Flexpro campuslizenz hochschulitzentrum des saarlandes. We propose iskin, a novel class of skinworn sensors for touch input on the body. Inspired by agile software development cockburn 2001, we intertwine corpus building, corpus annotation and analysis to produce new versions of the corpus. However, we are concerned that some solutions to the crisis may, via mission creep, result in systems which would allow unprecedented surveillance of society at large. Except as stated herein, none of the design may be copied, reproduced, distributed, republished. As previously announced, the reexam of the software engineering course will take place. It is a research platform for investigating new implementation techniques for constraint systems. Origin campuslizenz hochschulitzentrum des saarlandes. Sebastian finished his masters in informatics at saarland university in 2016, and will now join our group to work on information theoretic approaches to mining interpretable and useful structure from data. I have largely rewritten and extended the implementation of the weighted histogram analysis method wham that is distributed with the gromacs simulation software since version 4.
676 1330 314 954 599 94 919 178 477 547 643 1325 1395 310 732 941 1126 667 898 1618 429 1083 329 513 1208 1152 1573 1354 50 38 1559 51 551 1308 1504 135 404 1118 1438 1326 892 711 595 552 1200