Search - IFIP Open Digital Library Access content directly

Filter your results

35 results
Structure: Internal structure identifier : 311714
Page :
sorted by
Image document

Simultaneous Material and Topology Optimization Based on Topological Derivatives

 Jannis Greifenstein , Michael Stingl
26th Conference on System Modeling and Optimization (CSMO), Sep 2013, Klagenfurt, Austria. pp.118-127, ⟨10.1007/978-3-662-45504-3_11⟩
Conference papers hal-01286404v1
Image document

Providing Context-Aware Adaptations Based on a Semantic Model

 Rüdiger Kapitza , René Meier , Guido Söldner
11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.57-70, ⟨10.1007/978-3-642-21387-8_5⟩
Conference papers hal-01583585v1

Coalgebraic Methods in Computer Science

 Dirk Pattinson , Lutz Schröder
Springer, LNCS-7399, 2012, Coalgebraic Methods in Computer Science, ⟨10.1007/978-3-642-32784-1⟩
Books hal-01539886v1
Image document

A Model of Open Source Developer Foundations

 Dirk Riehle , Sebastian Berschneider
8th International Conference on Open Source Systems (OSS), Sep 2012, Hammamet, Tunisia. pp.15-28, ⟨10.1007/978-3-642-33442-9_2⟩
Conference papers hal-01519048v1
Image document

The Ecosystem of openKONSEQUENZ, A User-Led Open Source Foundation

 Bettina Schwab , Dirk Riehle , Ann Barcomb , Nikolay Harutyunyan
16th IFIP International Conference on Open Source Systems (OSS), May 2020, Innopolis, Russia. pp.1-13, ⟨10.1007/978-3-030-47240-5_1⟩
Conference papers hal-03647269v1
Image document

Explaining Non-bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas

 Barbara König , Christina Mika-Michalski , Lutz Schröder
15th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2020, Dublin, Ireland. pp.133-154, ⟨10.1007/978-3-030-57201-3_8⟩
Conference papers hal-03232346v1
Image document

Stabilization of the Gas Flow in Star-Shaped Networks by Feedback Controls with Varying Delay

 Martin Gugat , Markus Dick , Günter Leugering
25th System Modeling and Optimization (CSMO), Sep 2011, Berlin, Germany. pp.255-265, ⟨10.1007/978-3-642-36062-6_26⟩
Conference papers hal-01347545v1
Image document

Towards a Coalgebraic Chomsky Hierarchy

 Sergey Goncharov , Stefan Milius , Alexandra Silva
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.265-280, ⟨10.1007/978-3-662-44602-7_21⟩
Conference papers hal-01402071v1
Image document

Enhancing the Flow of Information in the PLM by Using Numerical DSMs – An Industrial Case Study

 Thomas Luft , Johanna Bochmann , Sandro Wartzack
10th Product Lifecycle Management for Society (PLM), Jul 2013, Nantes, France. pp.90-99, ⟨10.1007/978-3-642-41501-2_10⟩
Conference papers hal-01461832v1
Image document

What Teachers and Students Know About Data Management

 Andreas Grillenberger , Ralf Romeike
11th IFIP World Conference on Computers in Education (WCCE), Jul 2017, Dublin, Ireland. pp.557-566, ⟨10.1007/978-3-319-74310-3_56⟩
Conference papers hal-01762913v1
Image document

Strome: Energy-Aware Data-Stream Processing

 Christopher Eibel , Christian Gulden , Wolfgang Schröder-Preikschat , Tobias Distler
18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.40-57, ⟨10.1007/978-3-319-93767-0_4⟩
Conference papers hal-01824631v1
Image document

Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages

 Ulrich Dorsch , Stefan Milius , Lutz Schröder , Thorsten Wissmann
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.56-77, ⟨10.1007/978-3-030-00389-0_5⟩
Conference papers hal-02044640v1
Image document

Same Same but Different: Exploring the Effects of the Stroop Color Word Test in Virtual Reality

 Romina Poguntke , Markus Wirth , Stefan Gradl
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.699-708, ⟨10.1007/978-3-030-29384-0_42⟩
Conference papers hal-02544574v1
Image document

From Simulation Data to Test Cases for Fully Automated Driving and ADAS

 Christoph Sippl , Florian Bock , David Wittmann , Harald Altinger , Reinhard German
28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.191-206, ⟨10.1007/978-3-319-47443-4_12⟩
Conference papers hal-01643731v1
Image document

Modular Robot Software Framework for the Intelligent and Flexible Composition of Its Skills

 Lisa Heuss , Andreas Blank , Sebastian Dengler , Georg Lukas Zikeli , Gunther Reinhart , et al.
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2019, Austin, TX, United States. pp.248-256, ⟨10.1007/978-3-030-30000-5_32⟩
Conference papers hal-02419268v1
Image document

Structuring Theories with Implicit Morphisms

 Florian Rabe , Dennis Müller
24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.154-173, ⟨10.1007/978-3-030-23220-7_9⟩
Conference papers hal-02364570v1

Distributed Applications and Interoperable Systems

 Frank Eliassen , Rüdiger Kapitza
Springer, LNCS-6115, 2010, Lecture Notes in Computer Science, 978-3-642-13644-3. ⟨10.1007/978-3-642-13645-0⟩
Books hal-01555327v1
Image document

Decision Oriented Programming in HCI: The Multi-Attribute Decision Language MADL

 Bjoern Zenker
6th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations (AIAI), Oct 2010, Larnaca, Cyprus. pp.344-351, ⟨10.1007/978-3-642-16239-8_45⟩
Conference papers hal-01060636v1
Image document

Optimization of Engineering Processes Including Heating in Time-Dependent Domains

 Alfred Schmidt , Eberhard Bänsch , Mischa Jahn , Andreas Luttmann , Carsten Niebuhr , et al.
27th IFIP Conference on System Modeling and Optimization (CSMO), Jun 2015, Sophia Antipolis, France. pp.452-461, ⟨10.1007/978-3-319-55795-3_43⟩
Conference papers hal-01626905v1
Image document

Reconfigurable Buffer Structures for Coarse-Grained Reconfigurable Arrays

 Éricles Sousa , Frank Hannig , Jürgen Teich
5th International Embedded Systems Symposium (IESS), Nov 2015, Foz do Iguaçu, Brazil. pp.218-229, ⟨10.1007/978-3-319-90023-0_18⟩
Conference papers hal-01854155v1
Image document

TRIZ – Develop or Die in a World Driven by Volatility, Uncertainty, Complexity and Ambiguity

 Martin Kiesel , Jens Hammer
18th TRIZ Future Conference (TFC), Oct 2018, Strasbourg, France. pp.55-65, ⟨10.1007/978-3-030-02456-7_5⟩
Conference papers hal-02279774v1
Image document

Identifying HCI Patterns for the Support of Participatory Enterprise Modeling on Multi-touch Tables

 Anne Gutschmidt , Valentina Sauer , Kurt Sandkuhl , Alexey Kashevnik
12th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2019, Luxembourg, Luxembourg. pp.118-133, ⟨10.1007/978-3-030-35151-9_8⟩
Conference papers hal-03231364v1
Image document

Social Demands in Ubiquitous Computing: Contexts for Tomorrow’s Learning

 Mareen Przybylla , Ralf Romeike
11th IFIP World Conference on Computers in Education (WCCE), Jul 2017, Dublin, Ireland. pp.453-462, ⟨10.1007/978-3-319-74310-3_46⟩
Conference papers hal-01762880v1
Image document

On Algebras with Effectful Iteration

 Stefan Milius , Jiří Adámek , Henning Urbat
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.144-166, ⟨10.1007/978-3-030-00389-0_9⟩
Conference papers hal-02044647v1
Image document

Canonical Nondeterministic Automata

 Robert R. Myers , Jiří Adámek , Stefan Milius , Henning Urbat
12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.189-210, ⟨10.1007/978-3-662-44124-4_11⟩
Conference papers hal-01408760v1
Image document

How to Kill Epsilons with a Dagger

 Filippo Bonchi , Stefan Milius , Alexandra Silva , Fabio Zanasi
12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.53-74, ⟨10.1007/978-3-662-44124-4_4⟩
Conference papers hal-01408752v1
Image document

Challenges of Tracking and Documenting Open Source Dependencies in Products: A Case Study

 Andreas Bauer , Nikolay Harutyunyan , Dirk Riehle
16th IFIP International Conference on Open Source Systems (OSS), May 2020, Innopolis, Russia. pp.25-35, ⟨10.1007/978-3-030-47240-5_3⟩
Conference papers hal-03647275v1
Image document

How Developers Acquire FLOSS Skills

 Ann Barcomb , Michael Grottke , Jan-Philipp Stauffert , Dirk Riehle , Sabrina Jahn
11th International Conference on Open Source Systems (OSS), May 2015, Florence, Italy. pp.23-32, ⟨10.1007/978-3-319-17837-0_3⟩
Conference papers hal-01320157v1

Governance and Sustainability in Information Systems. Managing the Transfer and Diffusion of IT

 Markus Nüttgens , Andreas Gadatsch , Karlheinz Kautz , Ingrid Schirmer , Nadine Blinn
Springer, AICT-366, 2011, IFIP Advances in Information and Communication Technology, ⟨10.1007/978-3-642-24148-2⟩
Books hal-01571715v1
Image document

Comparing Sources of Location Data from Android Smartphones

 Michael Spreitzenbarth , Sven Schmitt , Felix Freiling
8th International Conference on Digital Forensics (DF), Jan 2012, Pretoria, South Africa. pp.143-157, ⟨10.1007/978-3-642-33962-2_10⟩
Conference papers hal-01523703v1
Page :