Robust safety of timed automata von De Wulf, Martin, Doyen, Laurent, Markey, Nicolas, Raskin, Jean-François

Volltext

Wi-Sense: a passive human activity recognition system using Wi-Fi and convolutional neural network and its integration in health information systems von Muaaz, Muhammad, Chelli, Ali, Gerdes, Martin Wulf, Pätzold, Matthias

Volltext

Almost ASAP semantics : from timed models to timed implementations von DE WULF, Martin, DOYEN, Laurent, RASKIN, Jean-Francois

Volltext

Artificial Opals as Effect Pigments in Clear-Coatings von Egen, Marc, Braun, Lydia, Zentel, Rudolf, Tännert, Klaus, Frese, Peter, Reis, Oliver, Wulf, Martin

Volltext

Age-based targeting of biannual azithromycin distribution for child survival in Niger: an adaptive cluster-randomized trial protocol (AVENIR) von O'Brien, Kieran S, Arzika, Ahmed M, Amza, Abdou, Maliki, Ramatou, Ousmane, Sani, Kadri, Boubacar, Nassirou, Beido, Mankara, Alio Karamba, Harouna, Abdoul Naser, Colby, Emily, Lebas, Elodie, Liu, Zijun, Le, Victoria, Nguyen, William, Keenan, Jeremy D, Oldenburg, Catherine E, Porco, Travis C, Doan, Thuy, Arnold, Benjamin F, Lietman, Thomas M

Volltext

Strategy construction for parity games with imperfect information von Berwanger, Dietmar, Chatterjee, Krishnendu, De Wulf, Martin, Doyen, Laurent, Henzinger, Thomas A.

Volltext

Almost ASAP semantics: From timed models to timed implementations von DE WULF, Martin, DOYEN, Laurent, RASKIN, Jean-Francois

Volltext

A Lattice Theory for Solving Games of Imperfect Information von De Wulf, Martin, Doyen, Laurent, Raskin, Jean-François

Volltext

Human-Centered Design (HCD) of Personal Decision Support System (PDSS) for understandable individual health management, using Natural Language Processing (NLP) and machine learning von Hollund, Vetle Østavik, Løberg,Ferdinand Gumø, Hanczarek, Marta

Volltext bestellen

Human-Centered Design (HCD) of Personal Decision Support System (PDSS) for understandable individual health management, using Natural Language Processing (NLP) and machine learning von Hollund, Vetle Østavik, Løberg,Ferdinand Gumø, Hanczarek, Marta

Volltext bestellen

Strategy construction for parity games with imperfect information: 19th International Conference on Concurency Theory (CONCUR 2008) von BERWANGER, Dietmar, CHATTERJEE, Krishnendu, DE WULF, Martin, DOYEN, Laurent, HENZINGER, Thomas A

Volltext

Effective use of Augmented Reality to Support Reading for People with Dyslexia von Pettersen, André

Volltext bestellen

Robustness and Implementability of Timed Automata von De Wulf, Martin, Doyen, Laurent, Markey, Nicolas, Raskin, Jean-François

Volltext

Coatings with self-cleaning properties von Wulf, Martin, Wehling, Anja, Reis, Oliver

Volltext

Systematic Implementation of Real-Time Models von De Wulf, Martin, Doyen, Laurent, Raskin, Jean-François

Volltext

A Comparative Study to Analyze the Performance of Advanced Pattern Recognition Algorithms for Multi-Class Classification von Chatterjee, Ayan, Gerdes, Martin Wulf, Prinz, Andreas, Martinez, Santiago

Volltext

How to control dirt pick-up of exterior coatings von Wagner, Oliver, Baumstark, Roland

Volltext

Cover Picture: Macromol. Mater. Eng. 2/2004 von Egen, Marc, Braun, Lydia, Zentel, Rudolf, Tännert, Klaus, Frese, Peter, Reis, Oliver, Wulf, Martin

Volltext

Alpaga: A Tool for Solving Parity Games with Imperfect Information von Berwanger, Dietmar, Chatterjee, Krishnendu, De Wulf, Martin, Doyen, Laurent, Henzinger, Thomas A.

Volltext

Coating composition and application method von WANG SHIH-WA, MOON MELISSA, WULF, MARTIN

Volltext bestellen