members of the scientific staff of the MoSi group successfully participated in the first XTrack Cross Challenge in Rostock. The runners had to complete two laps on a course with 12 obstacles. The team "Simulaten [...] Köster, finished in 5th place out of 74 teams, whereas the team "Simulanten II", consisting of Tobias Helms, Maria E. Pierce, and Tom Warnke, crossed the finish line in 43rd place.

https://mosi.informatik.uni-rostock.de/aktuelles/detailansicht-der-news/n/mosis-participate-in-the-xtrack-cross-challenge-19323/

elucidate how the future of the rural is framed in different political domains. What are the visions for the countryside, at a time when human and economic resources tend to concentrate to the cities? Dienstag [...] University, Schweden. In the wake of urbanization, remote and rural areas need to deal with issues such as depopulation and remoteness from key markets. The potential to reverse the urbanization trend is

https://www.ipv.uni-rostock.de/aktuelles/detailansicht-der-news/n/vortrag-rural-futures-in-times-of-urbanisation-49585/

unter: http://mcc.lip6.fr Rostock continues to define the standards for the computer aided analysis of concurrent systems. The tool LoLA, developed by the Theory group, won three of five competitions in this [...] year's model checking contest in Zaragoza. For the first time, all three gold medals for the actual verification categories went to Rostock. The group supports the contest by donating substantial computing

https://theo.informatik.uni-rostock.de/news/detailansicht-der-news/n/gold-fuer-lola-beim-model-checking-contest-petri-nets-2017-15893/

have been accepted at the CoMoRea workshop affiliated to PerCom; the paper “An annotation scheme for references to research artefacts in scientific publications” has been accepted at the ARDUOUS workshop [...] We are participating at the IEEE International Conference on Pervasive Computing and Communications with four contributions: the paper “Automatic Detection of Everyday Social Behaviours and Environments [...] from Verbatim Transcripts of Daily Conversations” has been accepted for presentation at the main PerCom conference; the papers “Combining Symbolic Reasoning and Deep Learning for Human Activity Recognition”

https://www.mmis.informatik.uni-rostock.de/news/detailansicht-der-news/n/ieee-international-conference-on-pervasive-computing-and-communications-percom-2019-41097/

determine the dielectric properties of cartilage within subproject A02 of our CRC 1270 ELAINE. The bottleneck of the approach is the long computational time. During his research visit at the Eindhoven [...] Lam Vien Che from our CRC 1270 ELAINE visited the Eindhoven University of Technology. Prof Wil Schilders and Pascal den Boef hosted Viens‘ research visit at the Department of Mathematics and Computer Science [...] , Vien got ideas for constructing a Reduced Order Modelling (ROM) to minimize computational time. The ROM presents an opportunity to streamline computational processes, facilitating quicker, e.g., impedance

https://www.uni-rostock.de/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/streamlining-numerical-workflows-lam-vien-ches-research-visit-to-eindhoven-university-196645/

University Library reacted to the closure and offers additional electronic resources. We would like to thank the publishers and providers for the good co-operation and for the provision of digital media in this [...] this exceptional situation. In the FAQ section we detail the additional electronic resources available from Rostock University Library. The list of extended access platforms will be expanded continuously [...] COVID-19 FAQ The online University Library remains open. In order to keep you informed on latest developments, we have created an FAQ section . You will find current information there. Furthermore the University

https://www.dienstleistungsportal.uni-rostock.de/ur-interne-nachrichten/detailansicht-der-news/n/faq-zu-covid-19-der-universitaetsbibliothek-63023/

Due to the high methodological innovation and the impact for sensor-based human activity recognition, the reviewers and the Faculty of Computer Science and Electrical Engineering awarded the grade of [...] Filtering in Multi-Entity Systems". The thesis investigates symmetry properties of multi-entity systems, i.e. systems that consist of multiple, interacting agents. Estimating the non-observable state of such [...] such systems is highly challenging. The thesis identifies symmetries in the underlying probabilistic model as a fundamental property of such systems and presents inference algorithms that can detect and make

https://www.mmis.informatik.uni-rostock.de/news/detailansicht-der-news/n/stefan-luedtke-successfully-defended-his-phd-thesis/

Due to the high methodological innovation and the impact for sensor-based human activity recognition, the reviewers and the Faculty of Computer Science and Electrical Engineering awarded the grade of [...] Filtering in Multi-Entity Systems" . The thesis investigates symmetry properties of multi-entity systems, i.e. systems that consist of multiple, interacting agents. Estimating the non-observable state of such [...] such systems is highly challenging. The thesis identifies symmetries in the underlying probabilistic model as a fundamental property of such systems and presents inference algorithms that can detect and make

https://vac.uni-rostock.de/aktuelles/detailansicht-der-news/n/stefan-luedtke-successfully-defended-his-phd-thesis-1/