Results 41 to 50 of about 642,732 (68)
The purpose of this paper is to describe the R package {PTAk and how the spatio-temporal context can be taken into account in the analyses. Essentially PTAk() is a multiway multidimensional method to decompose a multi-entries data-array, seen ...
Didier G. Leibovici
core
, 2008 Kurzfassung Die Quantifizierung der Schadstofffrachten an Kontrollebenen ist eine entscheidende Voraussetzung zur Bewertung von Grundwasserschadensfällen und zum Nachweis von Natural Attenuation.
Ptak, T. +8 more
core +1 more source
Exploiting Type Hints in Method Argument Names to Improve Lightweight Type Inference
, 2017 International audienceThe lack of static type information is one of the main obstacles to program comprehension in dynamically-typed languages. While static type inference algorithms try to remedy this problem, they usually suffer from the problem of ...
Nevena Milojkovic +6 more
core +1 more source
Extended sufficient semilocal convergence for the Secant method
, 2011 We establish new sufficient convergence conditions for the Secant method to a locally unique solution of a nonlinear equation in a Banach space. Using our new concept of recurrent functions, and combining Lipschitz and center-Lipschitz conditions on the ...
Saïd Hilout +5 more
core +1 more source
Expansion and Application of Pathways of Topological Rank Analysis (PoTRA) to Various Cancers
, 2018 : Cancer is the second leading cause of death in the United States. Cancer is a serious, complex disease which causes cells to grow uncontrollably, causing millions of deaths per year [1].
core
On the Local Convergence of a Predictor-Corrector Method for Semidefinite Programming
, 1997 We study the local convergence of a predictor-corrector algorithm for semidefinite programming problems based on the Monteiro-Zhang unified direction whose polynomial convergence was recently established by Monteiro.
Rongqin Sheng, Jun Ji, Florian A. Potra
core
Psychological type and the pulpit : an empirical enquiry concerning preachers and the SIFT method of biblical hermeneutics [PDF]
, 2009 A sample of 389 experienced preachers completed a measure of psychological type. They then read Mark 1:29-39 and recorded their evaluations of the four reflections on this passage proposed by Francis (1997) and which were derived from the SIFT method of ...
Village, Andrew +2 more
core
, 2010 In this study the potential of cross-well slug interference tests for high resolution aquifer characterization of hydraulic heterogeneity was assessed.
Heinrich, Steffen +6 more
core +1 more source
Aspect−Oriented Programming with Type Classes
, 2007 We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can model an AOP style of programming via a simple syntax-directed transformation ...
Sulzmann, Martin +5 more
core +1 more source
Parallel Implementation of an Alternating-Type ADI Method
, 1995 PARALLEL IMPLEMENTATION OF AN ALTERNATING-TYPE ADI METHOD by Wan Chen, M.A. The University of Texas at Austin, 1995 Co-supervisors: David M. Young, David R. Kincaid The Peaceman-Rachford Alternating Direction Implicit (ADI) Method is one of the iterative
Wan Chen +10 more
core