231 Infos zu Martin Sachenbacher

Mehr erfahren über Martin Sachenbacher

Lebt in

Infos zu

9 Aktuelle Nachrichten

CfP: 2. Workshop EnergieinformatikOFFIS

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

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

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

... Martin Sachenbacher, University of Lübeck, Germany; Christian Schilling, University of Konstanz, Germany; Martin Tappler, Graz University of Technology, ...

11 Profile in Sozialen Netzwerken

: Martin Sachenbacher aus München

StayFriends - Schulfreunde wiederfinden

Facebook: Martin Sachenbacher

Facebook: Martin Sachenbacher | Facebook

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.

3 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

(Guest: Martin Sachenbacher). Valued constraint satisfaction problems (VCSPs), branch-and-bound search for soft constraints, variable elimination for soft ... › www › html

1 Firmen-Mitarbeiter

Steffen Hausmann - Lehr- und Forschungseinheit für Programmier- und...

... Paula-Lavinia Pătrânjan · Alexander Pohl · Olga Poppe · Martin Sachenbacher · Sebastian Schaffert · Clemens Schefels · Andreas Schroeder · Heribert Schütz ...

2 Persönliche Webseiten

Impressum – EDV & Office Sachenbacher

WEBImpressum. EDV & Office Sachenbacher Inh. Martin Sachenbacher ½ Bad Tölz. Telefon: +49(0) Fax: +49(0)

Dr. Martin Sachenbacher - Bayern Innovativ

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.

3 Infos zur Ausbildung

Pearls of Computer Science IV

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

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

TU München, Institut für Informatik, Lehrstuhl für Effiziente Algorithmen

1 Angaben zur Herkunft

sachenbacher - Ancestry.com

Martin Sachenbacher. Birth. dd mm city, Rehna. Residence. city, Ritteramt Wittenburg · Mecklenburg-Schwerin, Germany, Census,

2 Projekte

Counting Solutions in the Field of Verificationzib.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

WebStefan Heinz, Martin Sachenbacher: Using Model Counting to Find Optimal Distinguishing Tests: ZIB-Report (Appeared in: Integration of AI and OR Techniques in Constraint …

17 Bücher zum Namen

Browsing CRIStin høstingsarkiv by Author "Sachenbacher, Martin"UiO - DUO

... 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

... 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

... Martin Sachenbacher and Brian C. Williams MIT Computer Science and Artificial Intelligence Laboratory Cambridge, MA , USA &# ...

Electronic Engine Control Technologiesgoogle.com

CONTACT of Martin Sachenbacher Technische Universität München, Department Computer Science , D München, ...

33 Dokumente

An Online Learning Framework for Energy-Efficient ...IJCAI

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

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

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

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 ...

24 Wissenschaftliche Publikationen

Portal - Seminar RWTH Aachen University

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

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

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

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: ;

11 Allgemeine Veröffentlichungen

TUMcampus by Technische Universität MünchenIssuu

— 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

WEBEDV & Office Sachenbacher Kontakt Inhaber ½ Martin Sachenbacher Bad Tölz Fax

Experiences in applying model-based diagnosis to real ...ResearchGate

... 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

— Dr. Martin Sachenbacher, TUM Diskussion und Kaffeepause Brennstoffzellentechnologie. › document › view › 36-edg...

3 Video- & Audioinhalte

Future Energies Dr. Martin Sachenbacher - Universität ...YouTube · Tagesspiegel — Veranstaltungen100+ Aufrufe · vor 2 Jahren

. Future Energies Dr. Martin Sachenbacher - Universität zu Lübeck views · 2 years ago ...more. Tagesspiegel — Veranstaltungen. 1.5K.

Tagesspiegel — VeranstaltungenYouTube

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.

3 Meinungen & Artikel

reason about - German translation – Linguee

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

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

Solving CSPs and SCSPS via Decomposition and Abstraction (Guest: Martin Sachenbacher). Reduced Ordered Binary Decision Diagrams (ROBDDs), Representing and ...

101 Webfunde aus dem Netz

EDV & Office Sachenbacher Martin Sachenbacher Öffnungszeiten

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

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

WEBMartin Sachenbacher Hard- und Software, Bad Tölz | Firmenauskunft | Branche: Einzelhandel mit Datenverarbeitungsgeräten, peripheren Geräten und Software

Martin Sachenbacher – Digital HubeMove360

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

WEBEDV & Office Sachenbacher. Inh. Martin Sachenbacher Bad Tölz. Telefon: +49 (0)

(PDF) Towards Expectation-based Failure Recognition for ...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

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

... 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

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

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

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

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

, 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

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

☆ 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

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

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

, 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

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

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)

Bedeutung zum Vornamen Martin

Männlicher Vorname (Deutsch, Englisch, Französisch, Russisch, Slawisch, Rumänisch): Martin; Lateinisch (Römische Mythologie); mars = Mars; geht zurück auf den römischen Beinamen 'Martinus', der wiederum auf den Namen des Kriegsgottes Mars zurückgeht; verbreitet durch den Namen des hl. Martin (4. Jh.), der seinen Mantel mit einem Bettler teilte; bisher trugen 5 Päpste den Namen Martin bzw. Martinus

Verwandte Personensuchen

Personensuche zu Martin Sachenbacher & mehr

Die Personensuchmaschine Namenfinden.de ist die neue Personensuche für Deutschland, die Profile, Kontaktdaten, Bilder, Dokumente und Webseiten zu Martin Sachenbacher und vielen weiteren Namen aus öffentlich zugänglichen Quellen im Internet anzeigt.