Search

Your search keyword '"Meinicke P"' showing total 248 results

Search Constraints

Start Over You searched for: Author "Meinicke P" Remove constraint Author: "Meinicke P"
248 results on '"Meinicke P"'

Search Results

1. Handling expression evaluation under interference

2. Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures

3. Restructuring a concurrent refinement algebra

4. Data reification in a concurrent rely-guarantee algebra

5. Reasoning about distributive laws in a concurrent refinement algebra

7. Trace models of concurrent valuation algebras

8. Deriving Laws for Developing Concurrent Programs in a Rely-Guarantee Style

9. Efficiently Finding Higher-Order Mutants

10. InterCarb: A Community Effort to Improve Interlaboratory Standardization of the Carbonate Clumped Isotope Thermometer Using Carbonate Standards.

11. Predicting phenotypic traits of prokaryotes from protein domain frequencies

12. UFO: a web server for ultra-fast functional profiling of whole genome protein sequences

13. MarVis: a tool for clustering and visualization of metabolic biomarkers

14. Metabolite-based clustering and visualization of mass spectrometry data using one-dimensional self-organizing maps

15. Word correlation matrices for protein sequence analysis and remote homology detection

16. Gene prediction in metagenomic fragments: A large scale machine learning approach

17. P-value based visualization of codon usage data

18. Score-based prediction of genomic islands in prokaryotic genomes using hidden Markov models

19. An unsupervised classification scheme for improving predictions of prokaryotic TIS

20. Handling localisation in rely/guarantee concurrency: An algebraic approach

21. Oligo kernels for datamining on biological sequences: a case study on prokaryotic translation initiation sites

22. Faster Variational Execution with Transparent Bytecode Transformation

23. Understanding Differences among Executions with Variational Traces

24. Encoding fairness in a synchronous concurrent program algebra: extended version with proofs

25. Plio-Pleistocene Perth Basin water temperatures and Leeuwin Current dynamics (Indian Ocean) derived from oxygen and clumped-isotope paleothermometry

26. A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency

27. Designing a semantic model for a wide-spectrum language with concurrency

28. An algebra of synchronous atomic steps

29. Critical Assessment of Metagenome Interpretation—a benchmark of metagenomics software

30. Changes in CSF Surface Tension in Relation to Surfactant Proteins in Children with Intraventricular Hemorrhage

31. Hidden-Markov Program Algebra with iteration

32. Compositional closure for Bayes Risk in probabilistic noninterference

33. InterCarb: A Community Effort to Improve Interlaboratory Standardization of the Carbonate Clumped Isotope Thermometer Using Carbonate Standards

34. Effectiveness of Trainings of General Practitioners on Antibiotic Stewardship: Methods of a Pragmatic Quasi-Experimental Study in a Controlled Before-After Design in South-East-Lower Saxony, Germany (WASA)

35. Rationale and design of the EMPA-ELDERLY trial: a randomised, double-blind, placebo-controlled, 52-week clinical trial of the efficacy and safety of the sodium–glucose cotransporter-2 inhibitor empagliflozin in elderly Japanese patients with type 2 diabetes

39. Influence of temperature and culture media on growth and lipolytic activity of deep-sea Halomonas sulfidaeris LAMA 838 and Marinobacter excellens LAMA 842

40. Surfactant Protein-G in Wildtype and 3xTg-AD Mice: Localization in the Forebrain, Age-Dependent Hippocampal Dot-like Deposits and Brain Content

41. Experimental Investigation on Heat Transfer Enhancement with Passive Inserts in Flat Tubes in due Consideration of an Efficiency Assessment

46. Efeito de sistemas de manejo do solo e velocidade de semeadura no desenvolvimento do sorgo forrageiro

47. Maximum Contrast Classifiers

Catalog

Books, media, physical & digital resources