1
0
0
News
CfP: 2. Workshop EnergieinformatikOFFIS
www.offis.de
Martin Sachenbacher, TU München; Hartmut Schmeck, Karlsruher Institut für Technologie; Michael Sonnenschein, Universität Oldenburg; Martin Tröschel, OFFIS ... Martin Sachenbacher, TU München; Hartmut Schmeck, Karlsruher Institut für Technologie; Michael Sonnenschein, Universität Oldenburg; Martin Tröschel, OFFIS ...
Simulation based Analysis of Car-Sharing Electrification in ...TU Graz
www.tugraz.at
Aliyu Tanko Ali, Andreas Schuldei, Martin Sachenbacher, Martin Leucker. Universität zu Lübeck. Page 2. Warum? Klimawandel! Die Energiewende erforderte Umstieg ... Aliyu Tanko Ali, Andreas Schuldei, Martin Sachenbacher, Martin Leucker. Universität zu Lübeck. Page 2. Warum? Klimawandel! Die Energiewende erforderte Umstieg ...
TimetableUniversität des Saarlandes
dcms.cs.uni-saarland.de
Event Category: Invited Lecture; Title: Martin Sachenbacher, TU München; Location: HS 002, E1 3; Details: Starttime: :15; Endtime: Event Category: Invited Lecture; Title: Martin Sachenbacher, TU München; Location: HS 002, E1 3; Details: Starttime: :15; Endtime:
15th International Conference on Tests and ProofsUniversité d'Orléans
www.univ-orleans.fr
... Martin Sachenbacher, University of Lübeck, Germany; Christian Schilling, University of Konstanz, Germany; Martin Tappler, Graz University of Technology, ...
Netzwerk-Profile
LinkedIn: Martin Sachenbacher – IT-Techniker – Selbständig | LinkedInde.linkedin.com › martin-sachenbacher-648a351a0
Sehen Sie sich das Profil von Martin Sachenbacher im größten Business-Netzwerk der Welt an. Im Profil von Martin Sachenbacher ist 1 Job angegeben.
Business-Profile
Xing: Martin Sachenbacher
Dr. / Head of AI & Data Analytics / Garching / Eingebettete Systeme, Energieinformatik, Formale Methoden, Modellierung, Betreuung von Promotionen, Elektromobilität / , Technische Universität München, Robert Bosch GmbH
Xing: Martin Sachenbacher - Netzwerktechnik - EDV & Office Sachenbacher |...
Berufserfahrung, Kontaktdaten, Portfolio und weitere Infos: Erfahren Sie mehr – oder kontaktieren Sie Martin Sachenbacher direkt bei XING.
Schedule and Posted Lectures , Spring 2005Massachusetts Institute of Technology
web.mit.edu
(Guest: Martin Sachenbacher). Valued constraint satisfaction problems (VCSPs), branch-and-bound search for soft constraints, variable elimination for soft ... › www › html
Firmen-Mitarbeiter
Steffen Hausmann - Lehr- und Forschungseinheit für Programmier- und...
www.pms.ifi.lmu.de
... Paula-Lavinia Pătrânjan · Alexander Pohl · Olga Poppe · Martin Sachenbacher · Sebastian Schaffert · Clemens Schefels · Andreas Schroeder · Heribert Schütz ...
Private Homepages
Impressum – EDV & Office Sachenbacher
edv-sachenbacher.de
WEBImpressum. EDV & Office Sachenbacher Inh. Martin Sachenbacher ½ Bad Tölz. Telefon: +49(0) Fax: +49(0)
Dr. Martin Sachenbacher - Bayern Innovativ
www.bayern-innovativ.de
Visitenkarte. Tel.: + E-Mail: Dr. Martin Sachenbacher studierte von bis Informatik an der TU München und promovierte dort im Bereich KI. Während der Promotion war er in der Forschung und Vorausentwicklung der Firma Robert Bosch GmbH in Stuttgart tätig.
Ausbildung
Pearls of Computer Science IV
wwwmayr.in.tum.de
WebDr. Martin Sachenbacher "Constraint programming and its role in self-aware, autonomous systems" Constraint programming (CP) has been called "one of the closest approaches …
Perlen der Informatik IV
jobsis.in.tum.de
Web11 Mar · Dr. Martin Sachenbacher "Constraint programming and its role in self-aware, autonomous systems" Constraint programming (CP) has been called "one of the closest …
Pearls of Computer Science IV
wwwmayr.informatik.tu-muenchen.de
TU München, Institut für Informatik, Lehrstuhl für Effiziente Algorithmen
Herkunft
sachenbacher - Ancestry.com
www.ancestry.com
Martin Sachenbacher. Birth. dd mm city, Rehna. Residence. city, Ritteramt Wittenburg · Mecklenburg-Schwerin, Germany, Census,
Projekte
Counting Solutions in the Field of Verificationzib.de
www.zib.de
, 2009) Stefan Heinz, Martin Sachenbacher PDF · BibTeX · URN · Counting Solutions in the Field of Verification. Wegeprobleme der Graphentheorie ZIB , 2009) Stefan Heinz, Martin Sachenbacher PDF · BibTeX · URN · Counting Solutions in the Field of Verification. Wegeprobleme der Graphentheorie ZIB- ...
Counting Solutions in the Field of Verification
www.zib.de
WebStefan Heinz, Martin Sachenbacher: Using Model Counting to Find Optimal Distinguishing Tests: ZIB-Report (Appeared in: Integration of AI and OR Techniques in Constraint …
Bücher
Browsing CRIStin høstingsarkiv by Author "Sachenbacher, Martin"UiO - DUO
www.duo.uio.no
... Martin; Sachenbacher, Martin; Vosteen, Lars Bernd; Thoma, Daniel; Ali, Aliyu Tanko; Pferscher, Andrea; Wunderling, Benjamin; Aichernig, Bernhard K Martin; Sachenbacher, Martin; Vosteen, Lars Bernd; Thoma, Daniel; Ali, Aliyu Tanko; Pferscher, Andrea; Wunderling, Benjamin; Aichernig, Bernhard K ...
Electronic Engine Control Technologiesgoogle.de
books.google.de
... Martin Sachenbacher Technische Universität München, Department Computer Science , D München, Germany .de Peter Struss OCC ...
Principles and Practice of Constraint Programming - CP 2004: ...google.de
books.google.de
... Martin Sachenbacher and Brian C. Williams MIT Computer Science and Artificial Intelligence Laboratory Cambridge, MA , USA &# ...
Electronic Engine Control Technologiesgoogle.com
books.google.com
CONTACT of Martin Sachenbacher Technische Universität München, Department Computer Science , D München, ...
Dokumente zum Namen
An Online Learning Framework for Energy-Efficient ...IJCAI
www.ijcai.org
von N Akerblom · Zitiert von: 21 — Martin Leucker, and Martin Sachenbacher. The shortest path problem revisited: Optimal routing for electric vehi- cles. In Annual conference on artificial ... von N Akerblom · Zitiert von: 21 — Martin Leucker, and Martin Sachenbacher. The shortest path problem revisited: Optimal routing for electric vehi- cles. In Annual conference on artificial ...
Computer Science for Power and Energy Systems of the ...Informatics Europe
www.informatics-europe.org
von M Sachenbacher · — Martin Sachenbacher and Martin Leucker. ECSS-09, Paris, France. October 8, Page 2. Technische Universität. München. Martin Leucker. Energy Informatics ... von M Sachenbacher · — Martin Sachenbacher and Martin Leucker. ECSS-09, Paris, France. October 8, Page 2. Technische Universität. München. Martin Leucker. Energy Informatics ...
DROPS - Schloss Dagstuhldagstuhl.de
drops.dagstuhl.de
Authors: Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, and Brian C. Williams. Published in: Dagstuhl Seminar Proceedings, Volume Authors: Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, and Brian C. Williams. Published in: Dagstuhl Seminar Proceedings, Volume
Index_QR01Qualitative Reasoning Group
www.qrg.northwestern.edu
Martin Sachenbacher and Peter Struss. AQUA: A Framework for Automated Qualitative Abstraction. Mary Hegarty. Capacity Limits in Mechanical Reasoning. Praveen K ... Martin Sachenbacher and Peter Struss. AQUA: A Framework for Automated Qualitative Abstraction. Mary Hegarty. Capacity Limits in Mechanical Reasoning. Praveen K ...
Wissenschaftliche Veröffentlichungen
Portal - Seminar RWTH Aachen University
dagstuhl.sunsite.rwth-aachen.de
Authors: Havelund, Klaus ; Leucker, Martin ; Sachenbacher, Martin ; Sokolsky, Oleg ; Williams, Brian C. Abstract | Document (274 KB) | BibTeX Authors: Havelund, Klaus ; Leucker, Martin ; Sachenbacher, Martin ; Sokolsky, Oleg ; Williams, Brian C. Abstract | Document (274 KB) | BibTeX
Martin SachenbacherUniversität zu Lübeck
research.uni-luebeck.de
Kein Foto von Martin Sachenbacher. Martin Sachenbacher. Institut für Softwaretechnik und Programmiersprachen Projekte 2002: 1Projekte 2006: 1Publikationen ... Kein Foto von Martin Sachenbacher. Martin Sachenbacher. Institut für Softwaretechnik und Programmiersprachen Projekte 2002: 1Projekte 2006: 1Publikationen ...
CommitteesSciencesconf
dx18.sciencesconf.org
Martin Sachenbacher, LION Smart GmbH, Germany Ramon Sarrate, Polytechnic University of Catalonia, Spain Konstantin Schekotihin, Klagenfurt University ... Martin Sachenbacher, LION Smart GmbH, Germany Ramon Sarrate, Polytechnic University of Catalonia, Spain Konstantin Schekotihin, Klagenfurt University ...
Julian HaselmayrDBLP
dblp.org
Martin Sachenbacher, Martin Leucker, Andreas Artmeier, Julian Haselmayr: Efficient Energy-Optimal Routing for Electric Vehicles. AAAI 2011: ; Martin Sachenbacher, Martin Leucker, Andreas Artmeier, Julian Haselmayr: Efficient Energy-Optimal Routing for Electric Vehicles. AAAI 2011: ;
Veröffentlichungen allgemein
TUMcampus by Technische Universität MünchenIssuu
issuu.com
— Martin Sachenbacher) Fachgebiet Energiewandlungstechnik (Prof. Hans-Georg Herzog) Fachgebiet Anwendungen der virtuellen Produktentwicklung — Martin Sachenbacher) Fachgebiet Energiewandlungstechnik (Prof. Hans-Georg Herzog) Fachgebiet Anwendungen der virtuellen Produktentwicklung ...
Preisliste für Serviceleistungen
edv-sachenbacher.de
WEBEDV & Office Sachenbacher Kontakt Inhaber ½ Martin Sachenbacher Bad Tölz Fax
Experiences in applying model-based diagnosis to real ...ResearchGate
www.researchgate.net
... Martin Sachenbacher · Martin Sachenbacher. This person is not on ResearchGate ... Martin Sachenbacher, Andreas Malik and Peter Struss. Technische Universität Martin Sachenbacher · Martin Sachenbacher. This person is not on ResearchGate ... Martin Sachenbacher, Andreas Malik and Peter Struss. Technische Universität ...
36. Edgar-Lüscher-Seminar - TUM-SchülerYumpu
www.yumpu.com
— Dr. Martin Sachenbacher, TUM Diskussion und Kaffeepause Brennstoffzellentechnologie. › document › view › 36-edg...
Video & Audio
Future Energies Dr. Martin Sachenbacher - Universität ...YouTube · Tagesspiegel — Veranstaltungen100+ Aufrufe · vor 2 Jahren
www.youtube.com
. Future Energies Dr. Martin Sachenbacher - Universität zu Lübeck views · 2 years ago ...more. Tagesspiegel — Veranstaltungen. 1.5K.
Tagesspiegel — VeranstaltungenYouTube
www.youtube.com
Martin Sachenbacher - Universität zu Lübeck views. 2 years ago · 3:25 · Future Energies Prof. Dr. Andreas Luczak - Fachhochschule Kiel views. Martin Sachenbacher - Universität zu Lübeck views. 2 years ago · 3:25 · Future Energies Prof. Dr. Andreas Luczak - Fachhochschule Kiel views.
Artikel & Meinungen
reason about - German translation – Linguee
www.linguee.com
WebTogether with Martin Sachenbacher, he established the field of energy informatics at Technical University of Munich, which focuses on the application. [...] of methods …
Schloss Dagstuhl : Participant List
www.dagstuhl.de
WebMartin Sachenbacher (TU München, DE) César Sánchez (IMDEA Software – Madrid, ES) Justin Seyster (SUNY – Stony Brook, US) Julie Shah (MIT – Cambridge, US) Oleg …
Calendar | Cognitive Robotics | Aeronautics and AstronauticsOlabisi Onabanjo University
ocw.oouagoiwoye.edu.ng
Solving CSPs and SCSPS via Decomposition and Abstraction (Guest: Martin Sachenbacher). Reduced Ordered Binary Decision Diagrams (ROBDDs), Representing and ...
Sonstiges
EDV & Office Sachenbacher Martin Sachenbacher Öffnungszeiten
finde-offen.de
WEBÖffnungszeiten von EDV & Office Sachenbacher Martin Sachenbacher in 1/2Bad Tölz Deutschland inklusive Kontaktdaten wie Adresse, Telefonnummer, …
EDV & Office Sachenbacher Martin Sachenbacher, Bad Tölz
firmania.de
WEBFinde die Adresse für EDV & Office Sachenbacher Martin Sachenbacher in 1/2Bad Tölz inklusive Anschrift, ☎ Telefonnummer, ⌚ Öffnungszeiten. Finde …
Martin Sachenbacher Hard- und Software - Creditreform
firmeneintrag.creditreform.de
WEBMartin Sachenbacher Hard- und Software, Bad Tölz | Firmenauskunft | Branche: Einzelhandel mit Datenverarbeitungsgeräten, peripheren Geräten und Software
Martin Sachenbacher – Digital HubeMove360
www.emove360.com
Join the community. To see everything our community has to offer, please log in. If you don't already have an account you can sign up for free. Join the community. To see everything our community has to offer, please log in. If you don't already have an account you can sign up for free.
Kontakt – EDV & Office Sachenbacher
edv-sachenbacher.de
WEBEDV & Office Sachenbacher. Inh. Martin Sachenbacher Bad Tölz. Telefon: +49 (0)
(PDF) Towards Expectation-based Failure Recognition for ...Academia.edu
www.academia.edu
Towards Expectation-based Failure Recognition for Human Robot Interaction Michael Karg, Martin Sachenbacher, Alexandra Kirsch To cite this version: Michael ... Towards Expectation-based Failure Recognition for Human Robot Interaction Michael Karg, Martin Sachenbacher, Alexandra Kirsch To cite this version: Michael ...
Accepted Papersacm compass
compass.acm.org
Aliyu Tanko Ali, Andreas Schuldei, Martin Sachenbacher, Martin Leucker, Aliyu Tanko Ali. 10, Navigating Truth in the Sea of Content: Exploring Influential ... Aliyu Tanko Ali, Andreas Schuldei, Martin Sachenbacher, Martin Leucker, Aliyu Tanko Ali. 10, Navigating Truth in the Sea of Content: Exploring Influential ...
BibTeX - DROPS - Schloss Dagstuhldagstuhl.de
drops.dagstuhl.de
... Martin Sachenbacher and Oleg Sokolsky and Brian C. Williams}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl Martin Sachenbacher and Oleg Sokolsky and Brian C. Williams}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl ...
DX Program Committee - Conferences - Researchrresearchr.org
conf.researchr.org
Martin Sachenbacher. University of Lübeck. small-avatar. Anika Schumann. IBM Research - Zurich. small-avatar. Neal Snooke. Aberystwyth University. small-avatar ... Martin Sachenbacher. University of Lübeck. small-avatar. Anika Schumann. IBM Research - Zurich. small-avatar. Neal Snooke. Aberystwyth University. small-avatar ...
DetailsUniversity College Cork
iris.ucc.ie
Michela Milano and Barry O'Sullivan and Martin Sachenbacher. Year Month. February. Journal. IEEE Transactions on Computers. Title. Guest Editors ... Michela Milano and Barry O'Sullivan and Martin Sachenbacher. Year Month. February. Journal. IEEE Transactions on Computers. Title. Guest Editors ...
Energieinformatik 2012OFFIS
www.offis.de
Reinhardt Madlener, RWTH Aachen; Martin Sachenbacher, TU München; Hartmut Schmeck, Karlsruher Institut für Technologie; Michael Sonnenschein, Universität ... Reinhardt Madlener, RWTH Aachen; Martin Sachenbacher, TU München; Hartmut Schmeck, Karlsruher Institut für Technologie; Michael Sonnenschein, Universität ...
Geförderte Projekte ab Januar 2009BaCaTeC
www.bacatec.de
Martin Sachenbacher Technische Universität München Lehrstuhl für Informatik. Dr. Johan de Kleer Palo Alto Research Center (PARC) Intelligent Systems Lab ... Martin Sachenbacher Technische Universität München Lehrstuhl für Informatik. Dr. Johan de Kleer Palo Alto Research Center (PARC) Intelligent Systems Lab ...
Heinz, Dr. Stefanzib.de
www.zib.de
, 2009) Stefan Heinz, Martin Sachenbacher PDF · BibTeX · URN · Heinz, Dr. Stefan Competitive Online Multicommodity Routing ZIB-Report ( , 2009) Stefan Heinz, Martin Sachenbacher PDF · BibTeX · URN · Heinz, Dr. Stefan Competitive Online Multicommodity Routing ZIB-Report ( ...
Preproceedings of the Workshop on Applications of Formal ...UiO - DUO
www.duo.uio.no
von S Hallé · — ... Martin; Sachenbacher, Martin; Vosteen, Lars Bernd; Thoma, Daniel; Ali, Aliyu ... Martin Sachenbacher, Martin Leucker and Aliyu Tanko Ali. - Mining Digital ... von S Hallé · — ... Martin; Sachenbacher, Martin; Vosteen, Lars Bernd; Thoma, Daniel; Ali, Aliyu ... Martin Sachenbacher, Martin Leucker and Aliyu Tanko Ali. - Mining Digital ...
SchriftgeneratorCPCrulez
cpcrulez.fr
☆ AUTHOR: Martin Sachenbacher. ☆ AMSTRAD CPC ☆ DOWNLOAD ☆. Type-in/Listing: » Schriftgenerator (Schneider CPC-Welt) LISTING GERMANDATE: DL: 51 ☆ AUTHOR: Martin Sachenbacher. ☆ AMSTRAD CPC ☆ DOWNLOAD ☆. Type-in/Listing: » Schriftgenerator (Schneider CPC-Welt) LISTING GERMANDATE: DL: 51
Sitemap - Lehr- und Forschungseinheit für ProgrammierLMU München
www.pms.ifi.lmu.de
Martin Sachenbacher · Sebastian Schaffert · Clemens Schefels · Andreas Schroeder · Heribert Schütz · Uta Schwertel · Isabel Slawik · Stephanie Spranger · Edgar Martin Sachenbacher · Sebastian Schaffert · Clemens Schefels · Andreas Schroeder · Heribert Schütz · Uta Schwertel · Isabel Slawik · Stephanie Spranger · Edgar- ...
Supported projects Jan2009BaCaTeC
www.bacatec.de
Martin Sachenbacher Technische Universität München. Dr. Johan de Kleer Palo Alto Research Center (PARC) Intelligent Systems Lab. Development of genetic and ... Martin Sachenbacher Technische Universität München. Dr. Johan de Kleer Palo Alto Research Center (PARC) Intelligent Systems Lab. Development of genetic and ...
TeSSLa: Publicationstessla.io
www.tessla.io
, 2022, LNCS, Springer. Paper (Springer), Presentation (PDF). Max Jonas Friese, Hannes Kallwies, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn , 2022, LNCS, Springer. Paper (Springer), Presentation (PDF). Max Jonas Friese, Hannes Kallwies, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn ...
Tutorialsicaps 2012
icaps12.icaps-conference.org
Martin Sachenbacher (Technische Universität München, Germany). Speaker: (possibly others). Duration: 1.5 hours. Date: June 26th. Abstract: Model-based diagnosis ... Martin Sachenbacher (Technische Universität München, Germany). Speaker: (possibly others). Duration: 1.5 hours. Date: June 26th. Abstract: Model-based diagnosis ...
group publicationsPublications List
publicationslist.org
Martin Sachenbacher (2012) Ökonomische Bewertung von Vehicle-to-Grid in Deutschland In: Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI) Martin Sachenbacher (2012) Ökonomische Bewertung von Vehicle-to-Grid in Deutschland In: Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI)
Verwandte Suchanfragen zu Martin Sachenbacher
| Paul Maier Peter Struss Dominik Jain | Andreas Artmeier Martin Leucker Stefan Heinz | Andreas Malik Thomas Rühr Michael Sonnenschein |
Personen Vorname "Martin" (86745) Name "Sachenbacher" (45) |
sortiert nach Relevanz / Datum