105 results on '"Langerak A"'
Search Results
2. Omni: Volumetric Sensing and Actuation of Passive Magnetic Tools for Dynamic Haptic Feedback.
3. Optimal Control for Electromagnetic Haptic Guidance Systems.
4. Contact-free Nonplanar Haptics with a Spherical Electromagnet.
5. Aalto Interface Metrics (AIM): A Service and Codebase for Computational GUI Evaluation.
6. Towards a Dual Processing Perspective of Software Architecture Decision Making.
7. A Demonstration on Dynamic Drawing Guidance via Electromagnetic Haptic Feedback.
8. Uncovering the Runtime Enterprise Architecture of a Large Distributed Organisation - A Process Mining-Oriented Approach.
9. Improving the Timed Automata Approach to Biological Pathway Dynamics.
10. Discretization of Continuous Dynamical Systems Using UPPAAL.
11. Defining the Process of Acquiring Product Software Firms.
12. A Symbolic Algorithm for the Analysis of Robust Timed Automata.
13. Towards Automatic Plan Selection for Radiotherapy of Cervical Cancer by Fast Automatic Segmentation of Cone Beam CT Scans.
14. Agents in Domestic Environments.
15. Modelling biological pathway dynamics with Timed Automata.
16. Label fusion in multi-atlas based segmentation with user-defined local weights.
17. Local atlas selection and performance estimation in multi-atlas based segmentation.
18. Segmentation of Cervical Images by Inter-subject Registration with a Statistical Organ Model.
19. Multi-core Nested Depth-First Search.
20. UPPAAL in Practice: Quantitative Verification of a RapidIO Network.
21. From POOSL to UPPAAL: Transformation and Quantitative Analysis.
22. Label Fusion Using Performance Estimation with Iterative Label Selection.
23. Reachability Analysis of Stochastic Hybrid Systems by Optimal Control.
24. Analyzing the Variability of the 3D Structure of Chromatin Fiber Using Statistical Shape Theory.
25. Variability Analysis of the Large-Scale Structure of Interphase Chromatin Fiber Based on Statistical Shape Theory.
26. Geometrical probability approach for analysis of 3D chromatin structure in interphase cell nuclei.
27. Stochastical Analysis of Finite Point Sampling of 3D Chromatin Fiber in Interphase Cell Nuclei.
28. A Composition Operator for Systems with Active and Passive Actions.
29. Towards Reverse Design of Freeform Shapes.
30. Tools for Stability of Switching Linear Systems: Gain Automata and Delay Compensation.
31. Stability Analysis for Hybrid Automata Using Conservative Gains.
32. First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders.
33. A Complete Finite Prefix for Process Algebra.
34. Causal Ambiguity and Partial Orders in Event Structures.
35. On Specifying Real-Time Systems in a Causality-Based Setting.
36. Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach.
37. Functionality Decomposition by Compositional Correstness Preserving Transformation.
38. Bundle event structures: a non-interleaving semantics for LOTOS.
39. Event Structures for Design and Transformation in LOTOS.
40. Decomposition of functionality: a correctness-preserving LOTOS transformation.
41. Hedgehog: Handheld Spherical Pin Array based on a Central Electromagnetic Actuator
42. Simulator for LOTOS to study the independence and causality of events.
43. Evaluating and improving label fusion in atlas-based segmentation using the surface distance.
44. Automatic estimation of registration parameters: image similarity and regularization.
45. Omni
46. Optimal Control for Electromagnetic Haptic Guidance Systems
47. Contact-free Nonplanar Haptics with a Spherical Electromagnet
48. Topological analysis of 3D cell nuclei using finite element template-based spherical mapping.
49. HOW TO MINIMIZE JOB INSECURITY DURING THE COVID-19 PANDEMIC: THE ROLE OF PROACTIVE AND REACTIVE COPING OVER TIME.
50. A Demonstration on Dynamic Drawing Guidance via Electromagnetic Haptic Feedback
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.