78 Infos zu Gilles Nies

15 Aktuelle Nachrichten

Ein Nano-Satellit ist auch dank Forschern aus Saarbrücken auf Weltraum-Mission. Und zwar sparsamer als andere Modelle. Auch Technik auf der Erde könnte von dem...

Saarbrücken, Deutschland November Gilles Nies (28) und seine Doktorarbeit Supervisor, Professor für Computer Science Holger Hermanns (49), folgen Sie den Flug der Nano-Satellit "GOMX-3", für die sie eine besonders kostengünstige Batterietechnologie in Saarbrücken, Deutschland, 18. November

Small children still use a form of the so-called dandy horse, balance bike or draisine, which the inventor Karl von Drais first tested on a longer route on...

Zusammen mit seinem Doktoranden Gilles Nies und Student Marvin Stenger hat er ein Verfahren entwickelt, das eine genaue Vorhersage ermöglicht, wieviel Batterieleistung für eine bestimmte Aktion im All wann eingeplant werden sollte. Bisher hatten Raumfahrt-Logistiker eher mit einer zu großen, zu schweren Batterie ...

1  Bilder zu Gilles Nies

1 Infos zur Ausbildung

Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation Gilles Nies, Holger Hermanns, Marvin Stenger, Morten ...

9 Bücher zum Namen

Gilles Nies: «Untersuchungen zum Langzeitverhalten von WiB-Bru?ckenbauwerken». Mention Très Bien: Raoul Schmitz: «Interfacing and Real ...

Filters: Author is Gilles Nies [Clear All Filters]. In Press. H. Hermanns, J. Krčál, and G. Nies, “Recharging Probably Keeps Batteries Alive”, CyPhy In Press.

Peter Navarro marschirte mit einigen Italiänern und Franzosen wider den Grafen Capacio, der zu Laurin war; Gilles Nies to aber zeigete sich nicht sobald vor ...

This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November The...

2 Dokumente

Authors: Holger Hermanns, Jan Krčál, Gilles Nies. Subjects: Systems and Control (cs.SY). [1124] arXiv: [pdf, ps, other]. Title: Degrees-of-Freedom of the K-User MISO Interference Channel with Delayed Local CSIT. Authors: Chenxi Hao, Bruno Clerckx. Comments: 6 pages, 2 figures, accepted by IEEE ICC'15.

Submission history. From: Gilles Nies [view email] [v1] Wed, 25 Feb :52:26 GMT (944kb,D). Which authors of this paper are endorsers?

15 Wissenschaftliche Publikationen

List of computer science publications by Gilles Nies

GitLab has been migrated from https://liebe.cs.uni-saarland.de/gitlab/ to https://dgit.cs.uni-saarland.de/. Old URLs will redirect or continue to work for the foreseeable future, but we still recommend that you update your remote URLs. Contact Felix Freiberger if you encounter any problems. Gilles Nies. @gilles.nies Member ...

List of computer science publications by David Gerhardt

Representations of Boolean functions in Constructive Type Theory. Author: Gilles Nies Advisor: Chad E. Brown Supervisor: Gert Smolka ...

35 Webfunde aus dem Netz

Saarbruecken, Germany. 18th Nov, Gilles Nies (28) and his doctoral thesis supervisor, Professor for Computer Science Holger Hermanns (49), follow the flight of nano-satellite 'GOMX-3', for which they developed an especially economical battery technology, in Saarbruecken, Germany, 18 November ...

Organization: Saarland University/ Dependable Software and Systems Group. Web page: http://depend.cs.uni-sb.de/index.php?id=156. Pages in this Program. Program · Program for Friday, November 11th · Disclaimer | Powered by EasyChair Smart Program.

Kleinkinder nutzen das Laufrad noch heute, das Erfinder Karl von Drais erstmals am 12. Juni auf einer längeren Fahrt erprobte. Nun, rund 200 Jahre...

Pierwszy na Litwie polski portal multimedialny WILNOTEKA.LT! Wirtualne miejsce spotkań nie tylko Polaków i nie tylko z Wileńszczyzny...

When working with space systems the keyword is resources. For a satellite in orbit all resources are sparse and the most critical resource of all is

16:30-18:00, Gilles Nies, Recharging Probably Keeps Batteries Alive. Martin Chmelik, What is Decidable about Partially Observable Markov Decision Processes ...

Vor 200 Jahren unternahm der Erfinder Karl von Drais erstmals eine längere Fahrt mit seinem Laufrad, der Urform des Fahrrades. Dieses Jubiläum nahm ein Team...

Revue Technique Luxembourgeoise | éditée par l'Association Luxembourgeoise des Ingénieurs, Architectes et Industriels

Wissenschaftler haben ein Verfahren entwickelt, mit dem sich die Leistungsfähigkeit von Batterien in Satelliten besser voraussagen lässt. Davon

Citation, BISGAARD, Morten, David GERHARDT, Holger HERMANNS, Jan KRČÁL, Gilles NIES a Marvin STENGER. Battery-Aware Scheduling in Low Orbit: ...

Informatiker der Universität des Saarlandes haben ein Batterie-Modell entwickelt, mit dem man den Ladungszustand der Batterie besser vorhersagen kann und...

Gilles Nies: «Untersuchungen zum Langzeitverhalten von WiB-Brückenbauwerken». Mention Très Bien: Raoul Schmitz: «Interfacing and Real Time Monitoring ...

by Holger Hermanns, Jan Krcal and Gilles Nies (Research paper) Formally Analyzing Continuous Aspects of Cyber-Physical Systems modeled ...

by Holger Hermanns, Jan Krcal and Gilles Nies (Research paper) Formally Analyzing Continuous Aspects of Cyber-Physical Systems modeled by Homogeneous Linear Differential Equations by Usman Sanwal and Osman Hasan (Invited paper) Constructive Modelling of Parallelized Environmental Models ...

The Draisine racing team (left to right): Gereon Fox (motor control), Gilles Nies ( verification), Felix Freiberger (verification), Holger Hermanns, Sebastian Biewer ( motor control), Florian Schießl(motor control and electronics) and Dries Callebaut (below, constructor). Our “Draisine” is propelled by a 200W electric motor, and ... Missing: mobile ‎pflege ‎münker

Forscher haben ein Verfahren entwickelt, mit dem sich der Ladestatus von Satelliten-Batterien präzise planen lässt

Gilles Nies, Holger Hermanns, Marvin Stenger, Morten Bisgaard, David Gerhardt and Jan Krčál. Battery-Aware Scheduling in Low Orbit: The GomX-3 Case.

Holger Hermanns, Jan Krčál & Gilles Nies. Article published via Leibniz Transactions on Embedded Systems. The kinetic battery model is a popular model of the dynamic behaviour of a conventional battery, useful to predict or optimize the time until battery depletion. The model however lacks certain obvious aspects ...

Vor 200 Jahren – am 12. Juni – fuhr der Erfinder Karl von Drais erstmals eine längere Fahrt mit seinem Laufrad, der Urform des Fahrrades. Dieses Jubiläum...

How Is Your Satellite Doing? Battery Kinetics with Recharging and Uncertainty