1
0
0
News
Heise.de: Intelligente Wohnungen: Je höflicher, desto zuverlässiger | heise...
Ein Workshop in Bremen sammelte Ideen zum technikgestützten Leben in den eigenen vier Wänden.
Taz: Intelligente Glühbirnen und Pipetten - taz.de
BILDUNG 33 Schüler forschen an der Sommerakademie der Uni Bremen – und bereiten ihr Studium vor
Das Marketing der Dinge, antwerpes ag, Pressemitteilung - PresseBox
www.pressebox.de
antwerpes ag, Bei seinem Auftakt in Berlin versammelte das Event MarkeThing internationale und nationale Speaker und Marketing-Experte...
Dr. Serge Autexier | Der Demografiekongresswww.der-demografiekongress.de › programm › details › referent › serge-a...
www.der-demografiekongress.de
Dr. Serge Autexier. Leiter, BAALL: Das Bremen Ambient Assisted Living Lab. Wissenschaftler am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI) ...
Netzwerk-Profile
Serge Autexier auf LinkedIn: Formde.linkedin.com › posts › serge-autexier_innovation...
de.linkedin.com
Beitrag von Serge Autexier. Profil für Serge Autexier anzeigen · Serge Autexier. 9 Monate. Diesen Beitrag melden; Menü schließen. I'm very honoured to be part ...
LinkedIn: Serge Autexier – DFKI Research Fellow – Deutsches LinkedIn
Sehen Sie sich das Profil von Serge Autexier auf LinkedIn an, dem weltweit größten beruflichen Netzwerk. 2 Jobs sind im Profil von Serge Autexier aufgelistet.
Interessen
Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut ...philpapers.org › rec › AUTAPR
philpapers.org
Jörg Siekmann, Christoph Benzmüller & Serge Autexier Journal of Applied Logic 4 (4): Supporting the Formal Verification of Mathematical ...
Jörg Siekmann, Christoph Benzmüller & Serge Autexier, Computer...
philpapers.org
Jacques Herbrand: Life, Logic, and Automated Deduction.Claus-Peter Wirth, Jörg Siekmann, Christoph Benzmüller & Serge Autexier In Dov Gabbay (ed.), The Handbook of the History of Logic A. P. Ershov & Donald Ervin Knuth (eds.) Springer Verlag. Deontic Logic and Computer-Supported Computer ...
Business-Profile
Serge AUTEXIER - Dirigeant de la société Autexier.tennis -...
www.verif.com
Retrouvez la biographie, l'interview, les coordonnées, les mandats ainsi que toutes les informations concernant Serge AUTEXIER sur BFMBusiness.com
Firmen-Mitarbeiter
Serge Autexier - Cyber-Physical Systems - DFKI GmbH
www-cps.hb.dfki.de
Serge Autexier. Status: Director of the BAALL : Room: Cartesium : Phone: + : Fax: + : : Homepage:
Research Fellows
www.dfki.de
Dr. Serge Autexier received his doctorate in computer science from the University of Saarland in He has been working at DFKI since 2002, ...
Private Homepages
Serge Autexier - Locations & Contact: DFKI KaiserslauternLinkedIn · Serge Autexier10+ Reaktionen · vor 1 Jahr
www.linkedin.com
Serge Autexier's Post. View profile for Serge Autexier, graphic ... Serge Autexier gab einen Einblick in das Ambient Assisted Living Lab ... Serge Autexier's Post. View profile for Serge Autexier, graphic ... Serge Autexier gab einen Einblick in das Ambient Assisted Living Lab ...
Matteo Rucco - Locations & Contact: DFKI KaiserslauternLinkedIn · Matteo Rucco10+ Reaktionen · vor 1 Jahr
www.linkedin.com
Close menu. View profile for Serge Autexier, graphic · Serge Autexier. 1y. Does using #ros2 and #deeplearning to turn an electric wheelchair in ... Close menu. View profile for Serge Autexier, graphic · Serge Autexier. 1y. Does using #ros2 and #deeplearning to turn an electric wheelchair in ...
Ausbildung
Technical Medical Centrewww.utwente.nl › ... › Technical Medical Centre
www.utwente.nl
· Dr. Serge Autexier GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE - Head of Bremen Ambient Assisted Living Lab.
Projekte
ModEst - Cyber-Physical Systems - DFKI GmbH
www-cps.hb.dfki.de
Dr.-Ing. Serge Autexier. Downloads Project flyer. ModESt sensor module sketch for posture recognition (Reference: ... In the “ModESt” project, ...
Bücher
(Intelligent Computer Mathematics: 10th International Conference, Aisc 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, Mkm 201) By Autexier, Serge (Author) Paperback on (09 , 2010)
von Serge Autexier, Springer, 2010, Taschenbuch
bokus.com: Serge Autexier - Böcker | Bokus bokhandel
Köp böcker av Serge Autexier:
InforLorV1, Istex, Checkpoint, indexItem, Author.i, Serge Autexier
lorexplor.istex.fr
Serveur d'exploration sur l'informatique en Lorraine - Checkpoint (Istex) Index « Auteurs » - entrée « Serge Autexier ». Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées. Sen Zhang < Serge Autexier ...
Disproving False Conjectures - Serge Autexier - Google Books
books.google.de
Title, Disproving False Conjectures. Author, Serge Autexier. Publisher, Univ., Fachbereich Informatik, Length, 17 pages. Export Citation, BiBTeX EndNote RefMan ...
Dokumente zum Namen
[ ] Lectures on Jacques Herbrand as a Logician
arxiv.org
Lectures on Jacques Herbrand as a Logician. Authors:Claus-Peter Wirth, Joerg Siekmann, Christoph Benzmueller, Serge Autexier · Download PDF. Abstract: We ...
Serge Autexier - Academia.edu
independent.academia.edu
Academia.edu is a place to share and follow research.
[ ] Workflows for the Management of Change in Science,...
arxiv.org
Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev. Mathematical knowledge is a central component in ...
[ ] Towards an Intelligent Tutor for Mathematical Proofs
arxiv.org
Authors: Serge Autexier (German Research Center for Artificial Intelligence (DFKI ), Bremen, Germany), Dominik Dietrich (German Research ...
Wissenschaftliche Veröffentlichungen
DFG - GEPRIS - Dr. Serge Autexier
gepris.dfg.de
Dr. Serge Autexier, Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI), SaarbrückenSaarbrücken
International Workshop on Aesthetic Intelligence (AxI '14)
www.comm.rwth-aachen.de
RWTH Aachen University, Germany. -aachen.de. Serge Autexier. Cyber-Physical Systems. DFKI Bremen, Germany. serge.autexier@dfki. de.
A Proof-Planning Framework with explicit Abstractions based on ...www.sciencedirect.com › science › article › pii
www.sciencedirect.com
Serge Autexier, Dieter Hutter, Heiko Mantel, and Axel Schairer. System description: INKA 5.0 – a Logic Voyager. In Ganzinger H., editor, Proceedings of the 16th ...
Veröffentlichungen allgemein
Intelligent Computer Mathematics - 10th International Conference,...
link.springer.com
Intelligent Computer Mathematics
VSE: formal methods meet industrial needs | SpringerLinklink.springer.com › article
link.springer.com
Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt & Andreas Wolpers. Authors.
Disproving False Conjectures | SpringerLink
link.springer.com
For automatic theorem provers it is as important to disprove false conjectures as it is to prove true ones, especially if it is not known ahead of time if a...
Artikel & Meinungen
Google Groups: 14th Conference on Intelligent Computer Mathematics (CICM 2021),...
· Serge Autexier · 1) Formal submissions will be reviewed rigorously and accepted papers will be published in a volume of Springer LNCS: · 2) ...
Wikipedia: Jacques Herbrand - Wikipediaen.wikipedia.org › wiki › Jacques_Herbrand
Jacques Herbrand (12 February – 27 July 1931) was a French mathematician and Jörg Siekmann and Christoph Benzmüller and Serge Autexier (2009).
Wikipedia: Mojżesz Presburger - Wikipedia
Mojżesz Presburger (1904–1943?) was a Polish Jewish mathematician, logician, and ... Dordrecht: Reidel. ISBN Jump up ^ Claus-Peter Wirth and Jörg Siekmann and Christoph Benzmüller and Serge Autexier (2009).
Sonstiges
Serge Autexier - thankyou #researchproject #bmbfLinkedIn · Serge Autexier20+ Reaktionen · vor 1 Jahr
www.linkedin.com
Serge Autexier's Post ... #thankyou very much! This is a great reward for excellent collaborative work in the #researchproject ConText funded by # ... Serge Autexier's Post ... #thankyou very much! This is a great reward for excellent collaborative work in the #researchproject ConText funded by # ...
Serge Autexier posted on LinkedInLinkedIn
www.linkedin.com
More Relevant Posts. View profile for Serge Autexier, graphic · Serge Autexier. 3w. Report this post; Close menu. Looking forward to meet the whole team to ... More Relevant Posts. View profile for Serge Autexier, graphic · Serge Autexier. 3w. Report this post; Close menu. Looking forward to meet the whole team to ...
Serge Autexier's PostLinkedIn · Serge Autexier5 Reaktionen · vor 2 Monaten
www.linkedin.com
Serge Autexier's Post · Expertos europeos en hábitos saludables y prevención de la obesidad se reunirán en Palma · More Relevant Posts · Slimmers ... Serge Autexier's Post · Expertos europeos en hábitos saludables y prevención de la obesidad se reunirán en Palma · More Relevant Posts · Slimmers ...
Beitrag von Rolf DrechslerLinkedIn
www.linkedin.com
... Serge Autexier Springer Healthcare Training Springer Nature Group Springer Nature Technology and Publishing Solutions. Kein Alt-Text für dieses Bild Serge Autexier Springer Healthcare Training Springer Nature Group Springer Nature Technology and Publishing Solutions. Kein Alt-Text für dieses Bild ...
Bodo Pahlke's Post - Thank you IoT Conference.LinkedIn · Bodo Pahlke20+ Reaktionen · vor 1 Jahr
www.linkedin.com
... Serge Autexier, Annika Sabrina Schulz, Bodo Pahlke, Valérie Bartsch & Hendrik Leibrandt! #iot22 #tudelft #acmincoop. [IoT 2022] Best Paper Serge Autexier, Annika Sabrina Schulz, Bodo Pahlke, Valérie Bartsch & Hendrik Leibrandt! #iot22 #tudelft #acmincoop. [IoT 2022] Best Paper ...
Inga Besser posted on LinkedInLinkedIn · Inga Besser2 Reaktionen · vor 1 Jahr
www.linkedin.com
... Serge Autexier gab einen Einblick in das Ambient Assisted Living Lab (BAALL) in Bremen, Daniel Eisenhardt referierte zum Projekt "KI Serge Autexier gab einen Einblick in das Ambient Assisted Living Lab (BAALL) in Bremen, Daniel Eisenhardt referierte zum Projekt "KI ...
Jan B. Elsner auf LinkedIn: #skinuvita | 11 KommentareLinkedIn · Jan B. Elsner40+ Reaktionen · vor 3 Jahren
www.linkedin.com
Serge Autexier. 3 Jahre. Diesen Kommentar melden; Menü schließen. Klasse, viele Erfolg dem ganzen Team! Gefällt mir · Antworten Serge Autexier. 3 Jahre. Diesen Kommentar melden; Menü schließen. Klasse, viele Erfolg dem ganzen Team! Gefällt mir · Antworten
Post de Françoise HalperLinkedIn · Françoise Halper50+ Reaktionen · vor 1 Jahr
www.linkedin.com
Serge Autexier · J'aime · Réagir. 1 réaction. Carole Lailler. Dr en sciences du langage qui modélise vos usages avec ou sans outils ... Serge Autexier · J'aime · Réagir. 1 réaction. Carole Lailler. Dr en sciences du langage qui modélise vos usages avec ou sans outils ...
Rolf Drechsler - agra #bremen #medizinLinkedIn · Rolf Drechsler20+ Reaktionen · vor 9 Monaten
www.linkedin.com
... Serge Autexier Christoph Lüth #Bremen #Medizin. Kein Alt-Text für dieses Bild vorhanden Kommentar · Gefällt mir Kommentieren. Teilen Serge Autexier Christoph Lüth #Bremen #Medizin. Kein Alt-Text für dieses Bild vorhanden Kommentar · Gefällt mir Kommentieren. Teilen.
Rolf Drechsler auf LinkedIn: Meine Wohnung in der ZukunftLinkedIn · Rolf Drechsler10+ Reaktionen · vor 9 Monaten
www.linkedin.com
... Serge Autexier #Schule #Bildung · Meine Wohnung in der Zukunft - MINT-Tag Bremen. https://www Serge Autexier #Schule #Bildung · Meine Wohnung in der Zukunft - MINT-Tag Bremen. https://www ...
Thrasyvoulos Giannakopoulos' PostLinkedIn · Thrasyvoulos Giannakopoulos40+ Reaktionen · vor 2 Monaten
www.linkedin.com
Serge Autexier. 1mo. Report this comment; Close menu. It was great having you are at Deutsches Forschungszentrum für ... Serge Autexier. 1mo. Report this comment; Close menu. It was great having you are at Deutsches Forschungszentrum für ...
DBLP: Serge Autexier
www.vldb.org
2009; 39 : Serge Autexier, Dominik Dietrich: Atomic Metadeduction. KI 2009: : 38 : Claus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier ...
Serge Autexier | LinkedIn
www.linkedin.com
View Serge Autexier's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Serge Autexier discover...
Dr.-Ing. Serge Autexier Curriculum Vitae - Informatik - FB3
expydoc.com
Dr.-Ing. Serge Autexier Curriculum Vitae Senior Researcher Head “Bremen Ambient Assisted Living Lab” RD Cyber-Physical Systems Deutsches ...
Autexier - Names Encyclopedia
namespedia.com
Writers: Philippe Autexier, Serge Autexier, Chantal Autexier Faces of people named Autexier. Rating:0. Submit. Rating:0 Submit. Rating:0. Submit ...
CFP CICM Deadline Extension from Serge Autexier on
lists.w3.org
From : Serge Autexier &> Date : Thu, 19 Feb :08: 16 +0100 (CET) To :
CICM 2015: Call for Workshops from Serge Autexier on
lists.w3.org
... Related messages : [ Next message ] [ Previous message ]. From : Serge Autexier &> Date : Tue, 2 Dec :13:
Serge Autexier
easychair.org
GCAI nd Global Conference on Artificial Intelligence. Serge Autexier. Organization: DFKI. Web page: http://www.dfki.de/~serge/. Pages in this Program ...
Serge Autexier - EasyChaireasychair.org › GCAI2017 › person3
easychair.org
GCAI rd Global Conference on Artificial Intelligence. Serge Autexier. Organization: DFKI. Web page: http://www.dfki.de/~serge/ ...
User Profile for Serge Autexier - lists.wikimedia.orglists.wikimedia.org › hyperkitty › users
lists.wikimedia.org
Name: Serge Autexier. Creation: Saturday, 8 May :40:52 (2 months, 3 weeks). Votes for this user: +
sortiert nach Relevanz / Datum