Zobrazeno 1 - 10
of 263
pro vyhledávání: '"E. Kaucher"'
Autor:
E. Kaucher, M.I. Durucu
Publikováno v:
Journal of Mathematical Analysis and Applications. 186(2):306-337
In this paper we discuss elliptic boundary value problems of second order with unilateral constraints and give a complete numerical solution scheme related to the lately developed Verification-Methods or E-Methods which are the basis for computations
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a1908bab3fbbe62bb9bc3c4a0dddbb3f
Autor:
Craig E. Kaucher
The latest year-end statistics from the highly regarded CERT Coordination Center (CERT-CC) at Carnegie Mellon University once again demonstrate that there is little evidence of improvement in information assurance. The number of incidents reported to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8fca9c5ac71d1cbe0f6051bdcfc4cf5a
https://doi.org/10.4018/978-1-59140-247-3.ch001
https://doi.org/10.4018/978-1-59140-247-3.ch001
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
H. Bischoff, E. Kaucher
Publikováno v:
Computational Fluid Dynamics ISBN: 9783642794421
In this paper we show that a more complete formulation of the motion of Newtonian Fluids leads to very new field properties of laminar and turbulent flows. The Navier Stokes equation is completed by the balance of mechanical energy and by fundamental
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1b317297ee9adf415118ac9ea9d8b5d8
https://doi.org/10.1007/978-3-642-79440-7_11
https://doi.org/10.1007/978-3-642-79440-7_11
Autor:
Ch. Baumhof, E. Kaucher
Publikováno v:
Computing Supplementum ISBN: 9783211824511
A Verified Computation of Fourier-Representations of Solutions for Functional Equations. A generalisation of the functoid concept for the representation of functions in L 2(—π, π), in particular for periodic functions, is introduced. In such so-c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::30f44f341acf60efa2229f1c1c46a657
https://doi.org/10.1007/978-3-7091-6918-6_9
https://doi.org/10.1007/978-3-7091-6918-6_9
Autor:
E. Kaucher, C. Schulz-Rinne
Publikováno v:
Computer Arithmetic and Self-Validating Numerical Methods
Self-validating methods for two typical classes of partial differential equations are discussed. In the first part implicit formulas for solutions to systems of first order quasi linear PDEs with initial and boundary conditions are developed. The goa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::54cfa3702a11fdcec60edcd68d336f1c
https://doi.org/10.1016/b978-0-12-708245-5.50018-x
https://doi.org/10.1016/b978-0-12-708245-5.50018-x
Autor:
Lara, Nathalia L. M.1 (AUTHOR) nathalia.delimaemart@ucalgary.ca, Goldsmith, Taylor2 (AUTHOR) taylor.goldsmith@mcgill.ca, Rodriguez-Villamil, Paula2 (AUTHOR) dennis@recombinetics.com, Ongaratto, Felipe2 (AUTHOR) hodgson.shane@gmail.com, Solin, Staci2 (AUTHOR) stanislas.corbiere@umontreal.ca, Webster, Dennis2 (AUTHOR) dan@recombinetics.com, Ganbaatar, Uyanga2 (AUTHOR), Hodgson, Shane2 (AUTHOR), Corbière, Stanislas M. A. S.2 (AUTHOR), Bondareva, Alla1 (AUTHOR) abondareva@innovatecalgary.com, Carlson, Daniel F.2 (AUTHOR), Dobrinski, Ina1 (AUTHOR) idobrins@ucalgary.ca
Publikováno v:
Cells (2073-4409). Nov2023, Vol. 12 Issue 21, p2582. 15p.
Autor:
Siegfried M. Rump, E. Kaucher
Publikováno v:
Computing. 28:31-42
This paper provides newly implemented [11], [13] and widely applicable methods for, computing inclusion (i. e. a containing interval) (Einschliesung) of the solution of a fixed point equationf(x)=x as well as autmatic verification the existence (Exis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7dd374a57eb21e5bf400011c7819cb80
https://doi.org/10.1007/bf02237993
https://doi.org/10.1007/bf02237993
Autor:
Ulrich Kulisch, J. Wolff von Gudenberg, R. Klatte, Gerd Bohlender, Ch. Ullrich, W. L. Miranker, E. Kaucher
Publikováno v:
Computing. 26:277-314
In addition to the integers, the real and complex numbers, the real segments (intervals) and complex segments as well as vectors and matrices over all of these comprise the fundamental data types in computation. We extendFORTRAN so that it accepts op
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2960f27e3b2889ba1e49588cd3f33ffe
https://doi.org/10.1007/bf02237949
https://doi.org/10.1007/bf02237949
Autor:
Siegfried M. Rump, E. Kaucher
Publikováno v:
Computing. 24:131-137
Some general fixed point theorems are obtained describing methods for preservation of a relation between fixed points or between fixed points and iteratives of related iteration operators. If the relation is especially an order relation or an inclusi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::89589597235e10f9d0ee70a3a08f3667
https://doi.org/10.1007/bf02281719
https://doi.org/10.1007/bf02281719