Search

Your search keyword '"Bauer, Sebastian"' showing total 114 results

Search Constraints

Start Over You searched for: Author "Bauer, Sebastian" Remove constraint Author: "Bauer, Sebastian" Publisher springer berlin heidelberg Remove constraint Publisher: springer berlin heidelberg
114 results on '"Bauer, Sebastian"'

Search Results

25. Evaluation of Geo-processes

27. Real-Time Range Imaging in Health Care: A Survey

28. 3-D Operation Situs Reconstruction with Time-of-Flight Satellite Cameras Using Photogeometric Data Fusion

29. ToF Meets RGB: Novel Multi-Sensor Super-Resolution for Hybrid 3-D Endoscopy

30. Real-Time Respiratory Motion Analysis Using Manifold Ray Casting of Volumetrically Fused Multi-view Range Imaging

31. Application and Future Developments of EMA in Digital Production Planning and Ergonomics

32. Component Interfaces with Contracts on Ports

33. Reactive Transport

34. Mass Transport

37. A Modal Specification Theory for Components with Data

38. Real-Time Motion Compensated Patient Positioning and Non-rigid Deformation Estimation Using 4-D Shape Priors

39. Marker-Less Reconstruction of Dense 4-D Surface Motion Fields Using Active Laser Triangulation for Respiratory Motion Management

40. General Quantitative Specification Theories with Modalities

41. Moving from Specifications to Contracts in Component-Based Design

42. Building a Modal Interface Theory for Concurrency and Data

43. Joint ToF Image Denoising and Registration with a CT Surface in Radiation Therapy

46. MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces

47. Quantitative Refinement for Weighted Modal Transition Systems

48. Introducing ema (Editor for Manual Work Activities) – A New Tool for Enhancing Accuracy and Efficiency of Human Simulations in Digital Production Planning

49. A Modal Interface Theory with Data Constraints

50. SCOOP – A Contract-Based Concurrent Object-Oriented Programming Model

Catalog

Books, media, physical & digital resources