1,899 results on '"Fischer, Bernd"'
Search Results
152. On Elastic Image Registration with Varying Material Parameters
153. Certifiable Program Generation
154. Albanian Nationalism and Albanian Independence
155. CSeq: A Sequentialization Tool for C : (Competition Contribution)
156. An investigation of water diffusion in polymers with terahertz time-domain spectroscopy
157. Vollständige Rekonstruktion eines Rattenhirns aus hochaufgelösten Bildern von histologischen Serienschnitten
158. Fast Computation of Mutual Information in a Variational Image Registration Approach
159. Estimation of Organ Motion from 4D CT for 4D Radiation Therapy Planning of Lung Cancer
160. Using Automated Theorem Provers to Certify Auto-generated Aerospace Software
161. Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax
162. Terahertz spectroscopy for rubber production testing
163. Optimal Image Registration with a Guaranteed One-to-one Point Match
164. Correctness of Source-Level Safety Policies
165. FLIRT: A Flexible Image Registration Toolbox
166. Fast Curvature Based Registration of MR-mammography Images
167. Curvature Based Registration with Applications to MR-Mammography
168. Data Resampling for Path Based Clustering
169. AutoBayes/CC — Combining Program Synthesis with Automatic Code Certification — System Description —
170. Synthesizing Certified Code
171. Effiziente, nicht-lineare Registrierung eines histologischen Serienschnittes durch das menschliche Gehirn
172. A Super Fast Registration Algorithm
173. Path Based Pairwise Data Clustering with Application to Texture Segmentation
174. Generating Data Analysis Programs from Statistical Models : Position Paper
175. A Communication Term for the Combined Registration and Segmentation
176. Anforderungen der Privathaushalte an Dienstleistungen
177. Effects of Di(2-ethylhexyl) Phthalate (DEHP) on Female Fertility and Adipogenesis in C3H/N Mice
178. Model checking LTL properties over ANSI-C programs with bounded traces
179. Protein quality control at the inner nuclear membrane
180. Comprehensive Identification of RNA-Binding Proteins by RNA Interactome Capture
181. MU-CSeq 0.4: Individual Memory Location Unwindings
182. Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs
183. Dimitrije Djordjevic, 1922–2009
184. Deduction-Based Software Component Retrieval
185. In Memory of David P. Benseler
186. SETHEO goes software engineering: Application of ATP to software reuse
187. Numerical Removal of Water Vapour Effects from Terahertz Time-Domain Spectroscopy Measurements
188. The Absence of an Early Calcium Response to Heavy-Ion Radiation in Mammalian Cells
189. Adding Concrete Syntax to a Prolog-Based Program Synthesis System : (Extended Abstract)
190. Probing structure and phase-transitions in molecular crystals by terahertz time-domain spectroscopy
191. Pensum — Ein Fuzzy Planungs- und Steuerungssystem für die operative Prozeßführung
192. Zum Historischen Gehalt von Charles Sealsfields Indianerromanen
193. Die halleschen Anatomen Meckel Vater und Sohn: Genial oder skurril?
194. Spectral Shaping of a Superluminescent Diode for Terahertz Cross-Correlation Spectroscopy
195. Bounded Verification of Multi-threaded Programs via Lazy Sequentialization
196. On the Error Computation for Polynomial Based Iteration Methods
197. Profiles of Raindrop Size Distributions as Retrieved by Microrain Radars
198. Measuring genetic interactions in human cells by RNAi and imaging
199. Applying symbolic bounded model checking to the 2012 RERS greybox challenge
200. Gene expression regulatory networks in Trypanosoma brucei: insights into the role of the mRNA-binding proteome
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.