Fast computation of seismic travel times in two and three dimensionsAndree LeidenfrostVyprodáno4,3Pohlídat
A methodology for re-engineering and information technology implementationGuy DoumeingtsVyprodáno4,3Pohlídat
HOL-Z, an integrated formal support environment for Z in Isabelle/HOLKolyang Dina TaiweVyprodáno4,3Pohlídat
A parallel iterative linear system solver with dynamic load balancingPeter ChristenVyprodáno4,3Pohlídat
High Alpine lake sediments as chronicles for regional glacier and climate history in the Upper Engadine, southeastern SwitzerlandChristian OhlendorfVyprodáno4,3Pohlídat
Magnetic and spectral properties of superconducting proximity systemsWolfgang BelzigVyprodáno4,3Pohlídat
An efficient runtime system combining dataflow, multithreading, and distributed shared memoryMarkus LeberechtVyprodáno4,3Pohlídat
Generation of coherent radiation in the red spectral region around 620nm by sum frequency mixing of continous wave, diode pumped, neodymium doped, solid state lasersHanno M. KretschmannVyprodáno4,3Pohlídat
Pharmacokinetic pharmacodynamic correlation of candesartan cilexetil, an angiotensin-II receptor antagonistBettina FuchsVyprodáno4,3Pohlídat
Amination of alcohols by nucleophilic substitution or reductive aminationChristophe DumeVyprodáno4,3Pohlídat
Light induced charge transfer processes between defects in oxide perovskitesAntoni MazurVyprodáno4,3Pohlídat
Functional meta-programs towards reusability in the declarative paradigmRalf LämmelVyprodáno4,3Pohlídat
Modulation of oncogene expression and induction of neurotrophic factors by the β [beta]2-adrenoceptor agonist clenbuterolZhu YuanVyprodáno4,3Pohlídat
Skeleton based implicit surfaces for modeling, animation, and visualizationHans-Christian RodrianVyprodáno4,3Pohlídat