Filter your results
- 52
- 1
- 51
- 2
- 53
- 1
- 1
- 1
- 5
- 6
- 3
- 6
- 3
- 4
- 3
- 8
- 3
- 2
- 8
- 53
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 5
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
53 results
|
|
sorted by
|
|
Bridging the Gap Between AI and Healthcare Sides: Towards Developing Clinically Relevant AI-Powered Diagnosis Systems16th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), Jun 2020, Neos Marmaras, Greece. pp.320-333, ⟨10.1007/978-3-030-49186-4_27⟩
Conference papers
hal-04060679v1
|
||
|
Pebbles: User-Configurable Device Network for Robot Navigation14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.420-436, ⟨10.1007/978-3-642-40480-1_28⟩
Conference papers
hal-01501760v1
|
||
|
Bubble Clouds: 3D Display Composed of Soap Bubble Cluster16th International Conference on Entertainment Computing (ICEC), Sep 2017, Tsukuba City, Japan. pp.14-23, ⟨10.1007/978-3-319-66715-7_2⟩
Conference papers
hal-01771251v1
|
||
|
Debugging Methods Through Identification of Appropriate Functions for Internal Gates21th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC), Oct 2013, Istanbul, Turkey. pp.1-22, ⟨10.1007/978-3-319-23799-2_1⟩
Conference papers
hal-01380296v1
|
||
|
Do Consumers Select Food Products Based on Carbon Dioxide Emissions?19th Advances in Production Management Systems (APMS), Sep 2012, Rhodes, Greece. pp.345-352, ⟨10.1007/978-3-642-40361-3_44⟩
Conference papers
hal-01470640v1
|
||
|
Smartphone-Based Gait Measurement Application for Exercise and Its Effects on the Lifestyle of Senior Citizens15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.80-98, ⟨10.1007/978-3-319-22698-9_7⟩
Conference papers
hal-01609403v1
|
||
|
Turing-Completeness of Asynchronous Non-camouflage Cellular Automata23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.187-199, ⟨10.1007/978-3-319-58631-1_15⟩
Conference papers
hal-01656362v1
|
||
|
A 65 nm CMOS Synthesizable Digital Low-Dropout Regulator Based on Voltage-to-Time Conversion with 99.6% Current Efficiency at 10-mA Load26th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC), Oct 2018, Verona, Italy. pp.1-13, ⟨10.1007/978-3-030-23425-6_1⟩
Conference papers
hal-02321770v1
|
||
|
Capturing and Analyzing Injection Processes with Point of Act System for Improving Quality and Productivity of Health Service AdministrationFirst IMIA/IFIP Joint Symposium on E-Health (E-HEALTH) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.114-121, ⟨10.1007/978-3-642-15515-4_12⟩
Conference papers
hal-01054867v1
|
||
|
Opening the Can: Public Interaction with Ready-Made ContentsSecond IFIP TC 14 Entertainment Computing Symposium (ECS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.179-189, ⟨10.1007/978-3-642-15214-6_18⟩
Conference papers
hal-01056344v1
|
||
|
Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.202-218, ⟨10.1007/978-3-642-21464-6_14⟩
Conference papers
hal-01582991v1
|
||
|
Automatically Generating Programming Questions Corresponding to Rubrics Using Assertions and Invariants1st International Conference on Sustainable ICT, Education, and Learning (SUZA), Apr 2019, Zanzibar, Tanzania. pp.89-98, ⟨10.1007/978-3-030-28764-1_11⟩
Conference papers
hal-02515725v1
|
||
|
Generic Weakest Precondition Semantics from Monads Enriched with Order12th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2014), Apr 2014, Grenoble, France. pp.10-32, ⟨10.1007/978-3-662-44124-4_2⟩
Conference papers
hal-01408750v1
|
||
|
Co-Sound: An interactive medium with WebAR and spatial synchronization19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.255-263, ⟨10.1007/978-3-030-65736-9_22⟩
Conference papers
hal-02942505v1
|
||
|
A New Reconfigurable Architecture with Applications to IoT and Mobile Computing1st IFIP International Internet of Things Conference (IFIPIoT), Sep 2018, Poznan, Poland. pp.133-146, ⟨10.1007/978-3-030-15651-0_12⟩
Conference papers
hal-03217363v1
|
||
|
Model Checking of Concurrent Algorithms: From Java to C7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.90-101, ⟨10.1007/978-3-642-15234-4_10⟩
Conference papers
hal-01054483v1
|
||
|
SDAC: Porting Scientific Data to Spark RDDs14th IFIP International Conference on Network and Parallel Computing (NPC), Oct 2017, Hefei, China. pp.127-130, ⟨10.1007/978-3-319-68210-5_13⟩
Conference papers
hal-01705439v1
|
||
|
Comparison of Industry-Academia Partnership Projects for the Purpose of Product DevelopmentIFIP International Conference on Advances in Production Management Systems (APMS), Sep 2015, Tokyo, Japan. pp.118-125, ⟨10.1007/978-3-319-22759-7_14⟩
Conference papers
hal-01431085v1
|
||
|
Self-enhancing GPS-Based Authentication Using Corresponding Address34th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jun 2020, Regensburg, Germany. pp.333-344, ⟨10.1007/978-3-030-49669-2_19⟩
Conference papers
hal-03243648v1
|
||
|
Fibrational Bisimulations and Quantitative Reasoning14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.190-213, ⟨10.1007/978-3-030-00389-0_11⟩
Conference papers
hal-01901092v1
|
||
|
Game Theoretic Analysis of Production Structures in the Japanese Animation Industry: Comparison of Conventional and Production Committee SystemsInternational Conference on Advances in Production Management Systems (APMS), Sep 2011, Stavanger, Norway. pp.99-106, ⟨10.1007/978-3-642-33980-6_12⟩
Conference papers
hal-01524186v1
|
||
|
An Intersection Type System for Deterministic Pushdown Automata7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.357-371, ⟨10.1007/978-3-642-33475-7_25⟩
Conference papers
hal-01556213v1
|
||
|
Transformative and Innovative e-Gov for the Next Generation: Linkages of Back Offices for One-stop PortalJoint IFIP TC 8 and TC 6 International Conferences on E-Government, E-Services and Global Processes (EGES) / Global Information Systems Processes (GISP), / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.111-124, ⟨10.1007/978-3-642-15346-4_9⟩
Conference papers
hal-01058865v1
|
||
|
Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.214-234, ⟨10.1007/978-3-030-00389-0_12⟩
Conference papers
hal-02044648v1
|
||
|
Design of Graded Trusts by Using Dynamic Path Validation4th IFIP WG 11.11 International on Trust Management (TM), Jun 2010, Morioka, Japan. pp.172-183, ⟨10.1007/978-3-642-13446-3_12⟩
Conference papers
hal-01061326v1
|
||
|
A Requirements Evaluation Method for Ships to Maximize Operational Value under Uncertainty11th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2014, Yokohama, Japan. pp.149-158, ⟨10.1007/978-3-662-45937-9_16⟩
Conference papers
hal-01386491v1
|
||
|
Study on Improving Accuracy for Edge Measurement Using 3D Laser Scanner11th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2014, Yokohama, Japan. pp.427-434, ⟨10.1007/978-3-662-45937-9_42⟩
Conference papers
hal-01386548v1
|
||
Coalgebraic Methods in Computer ScienceSpringer, LNCS-9608, 2016, Coalgebraic Methods in Computer Science, 978-3-319-40369-4. ⟨10.1007/978-3-319-40370-0⟩
Books
hal-01446038v1
|
|||
|
Does the Carbon Footprint Enhance the Sustainability Food Production and Transportation Service System? Real Buying Experiment in Japan20th Advances in Production Management Systems (APMS), Sep 2013, State College, PA, United States. pp.18-25, ⟨10.1007/978-3-642-41263-9_3⟩
Conference papers
hal-01451773v1
|
||
|
Does an Information Service Provider Improve the Market?20th Advances in Production Management Systems (APMS), Sep 2013, State College, PA, United States. pp.26-32, ⟨10.1007/978-3-642-41263-9_4⟩
Conference papers
hal-01451785v1
|
- 1
- 2