Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Przeglądasz jako GOŚĆ

Wyszukujesz frazę ""A. Sternagel"" wg kryterium: Autor


Tytuł :
Simulation of reactive solute transport in the critical zone: a Lagrangian model for transient flow and preferential transport
Autorzy :
A. Sternagel
R. Loritz
J. Klaus
B. Berkowitz
E. Zehe
Pokaż więcej
Temat :
Technology
Environmental technology. Sanitary engineering
TD1-1066
Geography. Anthropology. Recreation
Environmental sciences
GE1-350
Źródło :
Hydrology and Earth System Sciences, Vol 25, Pp 1483-1508 (2021)
Opis pliku :
electronic resource
Relacje :
https://hess.copernicus.org/articles/25/1483/2021/hess-25-1483-2021.pdf; https://doaj.org/toc/1027-5606; https://doaj.org/toc/1607-7938
Dostęp URL :
https://doaj.org/article/3e86c71c00ca4d288aaaf73ee1cad340
Czasopismo naukowe
Tytuł :
Simulating preferential soil water flow and tracer transport using the Lagrangian Soil Water and Solute Transport Model
Autorzy :
A. Sternagel
R. Loritz
W. Wilcke
E. Zehe
Pokaż więcej
Temat :
Technology
Environmental technology. Sanitary engineering
TD1-1066
Geography. Anthropology. Recreation
Environmental sciences
GE1-350
Źródło :
Hydrology and Earth System Sciences, Vol 23, Pp 4249-4267 (2019)
Opis pliku :
electronic resource
Relacje :
https://www.hydrol-earth-syst-sci.net/23/4249/2019/hess-23-4249-2019.pdf; https://doaj.org/toc/1027-5606; https://doaj.org/toc/1607-7938
Dostęp URL :
https://doaj.org/article/e0880ab1778e449f83982f3a4d3acfa0
Czasopismo naukowe
Tytuł :
Certified Equational Reasoning via Ordered Completion
Autorzy :
Christian Sternagel
Sarah Winkler
Pokaż więcej
Źródło :
Automated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings. :508-525
Materiał oryginalny :
This work is supported by Austrian Science Fund (FWF) projects T789 and P27502.
Książka elektroniczna
Tytuł :
nonreach – A Tool for Nonreachability Analysis
Autorzy :
Florian Meßner
Christian Sternagel
Pokaż więcej
Źródło :
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I. :337-343
Materiał oryginalny :
This work is supported by the Austrian Science Fund (FWF): project P27502.
Książka elektroniczna
Tytuł :
Reachability Analysis for Termination and Confluence of Rewriting
Autorzy :
Christian Sternagel
Akihisa Yamada
Pokaż więcej
Źródło :
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I. :262-278
Książka elektroniczna
Tytuł :
The Termination and Complexity Competition
Autorzy :
Jürgen Giesl
Albert Rubio
Christian Sternagel
Johannes Waldmann
Akihisa Yamada
Pokaż więcej
Źródło :
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III. :156-166
Materiał oryginalny :
A. Rubio—This author is supported by the Spanish MINECO under the grant TIN2015-69175-C4-3-R (project LoBaSS).
C. Sternagel—This author is supported by the Austrian Science Fund (FWF) Project P27502.
A. Yamada—This author is supported by ERATO HASUO Metamathematics for Systems Design Project (No. JPMJER1603), JST.
Książka elektroniczna
Tytuł :
The Certification Problem Format
Autorzy :
Christian Sternagel
René Thiemann
Pokaż więcej
Temat :
Mathematics
QA1-939
Electronic computers. Computer science
QA75.5-76.95
Źródło :
Electronic Proceedings in Theoretical Computer Science, Vol 167, Iss Proc. UITP 2014, Pp 61-72 (2014)
Opis pliku :
electronic resource
Relacje :
http://arxiv.org/pdf/1410.8220v1; https://doaj.org/toc/2075-2180
Dostęp URL :
https://doaj.org/article/24aa887fe80b4ed79500ff0ed4f4a4a9
Czasopismo naukowe
Tytuł :
A Formally Verified Solver for Homogeneous Linear Diophantine Equations
Autorzy :
Florian Meßner
Julian Parsert
Jonas Schöpf
Christian Sternagel
Pokaż więcej
Źródło :
Interactive Theorem Proving : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings. :441-458
Materiał oryginalny :
This work is supported by the Austrian Science Fund (FWF): project P27502.
Książka elektroniczna
Tytuł :
Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems
Autorzy :
Christian Sternagel
Thomas Sternagel
Pokaż więcej
Źródło :
Automated Deduction – CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings. :413-431
Materiał oryginalny :
This work is supported by FWF (Austrian Science Fund) project P27502.
Książka elektroniczna

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies