Search Results - "WOLF, FELIX"

Accelerated computations of sensitivities for xVA*.

Authors: Deelstra, Griselda Grzelak, Lech A. Wolf, Felix L.

Source: International Journal of Computer Mathematics; Aug2024, Vol. 101 Issue 8, p842-864, 23p

3D crustal structure of the Ligurian Basin revealed by surface wave tomography using ocean bottom seismometer data.

Authors: Wolf, Felix N. Lange, Dietrich Dannowski, Anke et al.

Source: Solid Earth. 11/29/2021, Vol. 12 Issue 11, p2597-2613. 17p.

Consistent asset modelling with random coefficients and switches between regimes.

Authors: Wolf, Felix L. Deelstra, Griselda Grzelak, Lech A.

Source: Mathematics & Computers in Simulation. Sep2024, Vol. 223, p65-85. 21p.

Subjects: Characteristic functions, Stochastic models, Prices

Building a realistic, scalable memory model with independent engrams using a homeostatic mechanism.

Authors: Kaster, Marvin Czappa, Fabian Butz-Ostendorf, Markus et al.

Source: Frontiers in Neuroinformatics; 2024, p1-21, 21p

Structure of Staphylococcus aureus ClpP Bound to the Covalent Active‐Site Inhibitor Cystargolide A.

Authors: Illigmann, Astrid Vielberg, Marie‐Theres Lakemeyer, Markus et al.

Source: Angewandte Chemie International Edition; Jan2024, Vol. 63 Issue 3, p1-10, 10p

This result is not displayed to guests.
Login for full access.

Concise outlines for a complex logic: a proof outline checker for TaDA.

Authors: Wolf, Felix A. Schwerhoff, Malte Müller, Peter

Source: Formal Methods in System Design. Aug2022, Vol. 61 Issue 1, p110-136. 27p.

Subjects: Logic, Software verification, Checkers

Die Biosynthese der β-Lacton-haltigen Proteasominhibitoren Belactosin und Cystargolid.

Authors: Wolf, Felix Bauer, Judith S. Bendel, Theresa M. et al.

Source: Angewandte Chemie. Jun2017, Vol. 129 Issue 23, p6765-6769. 5p.

Biosynthesis of the β-Lactone Proteasome Inhibitors Belactosin and Cystargolide.

Authors: Wolf, Felix Bauer, Judith S. Bendel, Theresa M. et al.

Source: Angewandte Chemie International Edition. Jun2017, Vol. 56 Issue 23, p6665-6668. 4p.

Validating the performance of GPU ports using differential performance models.

Authors: Geiß, Alexander Hovi, Téodora Calotoiu, Alexandru et al.

Source: Future Generation Computer Systems; Jan2026, Vol. 174, pN.PAG-N.PAG, 1p

Simulating structural plasticity of the brain more scalable than expected.

Authors: Czappa, Fabian Geiß, Alexander Wolf, Felix

Source: Journal of Parallel & Distributed Computing; Jan2023, Vol. 171, p24-27, 4p

Styrylsulfonates and -Sulfonamides through Pd-Catalysed Matsuda-Heck Reactions of Vinylsulfonic Acid Derivatives and Arenediazonium Salts.

Authors: Schmidt, Bernd Wolf, Felix Brunner, Heiko

Source: European Journal of Organic Chemistry. Jun2016, Vol. 2016 Issue 17, p2972-2982. 11p.

Automatic Generation of Unit Tests for Correlated Variables in Parallel Programs.

Authors: Jannesari, Ali Wolf, Felix

Source: International Journal of Parallel Programming; Jun2016, Vol. 44 Issue 3, p644-662, 19p

Solving Maxwell's eigenvalue problem via isogeometric boundary elements and a contour integral method.

Authors: Kurz, Stefan Schöps, Sebastian Unger, Gerhard et al.

Source: Mathematical Methods in the Applied Sciences; Sep2021, Vol. 44 Issue 13, p10790-10803, 14p

Reliable modeling of piezoceramic materials utilized in sensors and actuators.

Authors: Rupitsch, Stefan Wolf, Felix Sutor, Alexander et al.

Source: Acta Mechanica. Aug2012, Vol. 223 Issue 8, p1809-1821. 13p. 3 Diagrams, 2 Charts, 4 Graphs.

REPLAY-BASED SYNCHRONIZATION OF TIMESTAMPS IN EVENT TRACES OF MASSIVELY PARALLEL APPLICATIONS.

Authors: Becker, Daniel Linford, John C. Rabenseifner, Rolf et al.

Source: Scalable Computing: Practice & Experience; 2009, Vol. 10 Issue 1, p49-60, 12p, 1 Color Photograph, 3 Diagrams, 2 Charts, 3 Graphs

Bisimulation invariant monadic-second order logic in the finite.

Authors: Blumensath, Achim Wolf, Felix

Source: Theoretical Computer Science. Jul2020, Vol. 823, p26-43. 18p.

Subjects: Bisimulation, Logic, Order

3D crustal structure of the Ligurian Sea revealed by ambient noise tomography using ocean bottom seismometer data.

Authors: Wolf, Felix Noah Lange, Dietrich Dannowski, Anke et al.

Source: Solid Earth Discussions. 5/7/2021, p1-26. 26p.

Keeping up with technology: Teaching parallel, distributed, and high-performance computing.

Authors: Prasad, Sushil Ghafoor, Sheikh Barnas, Martina et al.

Source: Journal of Parallel & Distributed Computing; Feb2022, Vol. 160, p36-38, 3p

A Numerical Comparison of an Isogeometric and a Parametric Higher Order Raviart–Thomas Approach to the Electric Field Integral Equation.

Authors: Dolz, Jurgen Kurz, Stefan Schops, Sebastian et al.

Source: IEEE Transactions on Antennas & Propagation; Jan2020, Vol. 68 Issue 1, p593-597, 5p