A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Interprocedural analyses: a comparison
2000
The Journal of Logic Programming
Preserved Fulltext
[27] and Fecht [21] . ...
Fecht / J. Logic Programming 43 (2000) 123±156 ...
doi:10.1016/s0743-1066(99)00058-8
fatcat:dr53bgkxmfa6zdzmatu7hkyaoq
A faster solver for general systems of equations
1999
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We present a new algorithm which computes a partial approximate solution for a system of equations. It is local in that it considers just as many variables as necessary in order to compute the values of those variables we are interested in, it is generic in that it makes no assumptions on the application domain, and it is general in that the algorithm does not depend on any speciÿc properties of right-hand sides of equations. For instance, monotonicity is not required. However, in case the
doi:10.1016/s0167-6423(99)00009-x
fatcat:xlb4ptlt4nehjgqp6qgn6ncdgy
more »
... -hand sides satisfy some weak monotonicity property, our algorithm returns the (uniquely deÿned) least solution. The algorithm meets the best theoretical worstcase complexity known for similar algorithms. For the application of analyzing logic languages, it also gives the best practical results on most of our real-world benchmark programs. Abstract interpretation; Program analysis * Corresponding author. 0167-6423/99/$ -see front matter c 1999 Elsevier Science B.V. All rights reserved. PII: S 0 1 6 7 -6 4 2 3 ( 9 9 ) 0 0 0 0 9 -X
An even faster solver for general systems of equations
[chapter]
1996
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We present a new algorithm which computes a partial approximate solution for a system of equations. It is local in that it considers as few variables as necessary in order to compute the values of those variables we are interested in, it is generic in that it makes no assumptions on the application domain, and it is general in that the algorithm does not depend on any speci c properties of right-hand sides of equations. For instance, monotonicity is not required. However, in case the right-hand
doi:10.1007/3-540-61739-6_42
fatcat:prjdiofkf5ehdpuaagkdkiwcha
more »
... sides satisfy some weak monotonicity property, our algorithm returns the (uniquely de ned) least solution. The algorithm meets the best known theoretical worstcase complexity of similar algorithms. For the application of analyzing logic languages, it also gives the best practical results on most of our real world benchmark programs.
Propagating differences: An efficient new fixpoint algorithm for distributive constraint systems
[chapter]
1998
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Le Charlier and Van Hentenryck in 5] and Fecht and Seidl in 12] presented their solvers in a setting which was (almost) independent of the implementation of right-hand sides. ...
doi:10.1007/bfb0053565
fatcat:3erobddvzrcvpgml3yzxcaiexm
Use of Thermophysical Properties to Select and Control Convection During Rapid Solidification of Steel Alloys Using Electromagnetic Levitation on the Space Station
2017
JOM: The Member Journal of TMS
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Matson, Xiao, Rodriguez, Lee, Hyers, Shuleshova, Kaban, Schneider, Karrasch, Burggraff, Wunderlich, and Fecht ...
doi:10.1007/s11837-017-2396-5
fatcat:a75st5xpizcexn6z7hfyl4k4ke
Page 245 of British and Foreign Evangelical Review Vol. 17, Issue 64
[page]
1868
British and Foreign Evangelical Review
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Cassander, Fecht, and Hosius. 245
clearness, and solidity were at once imparted to them. ...
Fecht replied that he took the greater pleasure in the perusal of patristic writings. ...
Page 203 of Historical Magazine, and Notes and Queries Concerning the Antiquities, History, and Biography of America Vol. 9, Issue 7
[page]
1865
Historical Magazine, and Notes and Queries Concerning the Antiquities, History, and Biography of America
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
But I would fain hope that I am a Christian also. ...
Were you not frechtened to fecht so many Indians?
T. Indeed were we: But we did no’ let them fecht Us. ...
Page 262 of Notes and Queries Vol. 4, Issue 92
[page]
1875
Notes and Queries
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Neu altmodische ritterliche
fecht- und schirmkunst. Niirnberg, 1715.
1717. Chevigny (— de). ...
Neu altmodische ritterliche fecht- und schirm- kunst von Alexander Doyle. Niirnberg, 1729. 8vo. ...
Page 103 of Speculum Vol. 19, Issue 1
[page]
1944
Speculum
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Rohorthar mo richt,
rosderthar mo recht,
romorthar mo lecht,
nimthi bas for fecht,
rofirthar mo thecht!
Nimragba nathir dichonn
na dorb dirglass
na déel dichuinn! ...
Indeed, a druidical prayer, preserved in Old-Irish in an Irish prosody text doubtless by virtue of its Christian tag, establishes adequately, even without the support provided by Amorgen’s Hymn, the practice ...
Page 654 of London Society: A Monthly Magazine of Light and Amusing Literature for the Hours of Relaxation Vol. 45, Issue 270
[page]
1884
London Society: A Monthly Magazine of Light and Amusing Literature for the Hours of Relaxation
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
It was aye a fecht, an’ whiles things looked black enough ; but I never gave in, an’ I’ve got them a’ noo—money, an’ knowledge, an’ friends as weel ; an’ it’s a’ because | would never be beat. ...
He was not displeased with the result of the interview between him and Christian. ...
Page 575 of Longman's Magazine Vol. 46, Issue 276
[page]
1905
Longman's Magazine
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
., in a rather colloquial address which I read in the Christian World Pulpit, appears to regret that Knox was not a total abstainer. ...
‘ Karlie Bothwell’s unco’ crouse, Fechts wi’ Arran and his men’ : ‘ Ower acquent wi’ the Queen’s hoose, Wha but Bothwell, but and ben ?’ ...
Page 534 of Every Saturday: A Journal of Choice Reading Vol. 3, Issue 69
[page]
1867
Every Saturday: A Journal of Choice Reading
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
il twang, and thrilled with earnestness as he appealed to his hear¬ ers to mark the signs of the times, and be found “ fighting on the g(^ side, with the weapons of the Christian warfare.” ...
” asked I.
“ Fighting, to be sure; we shall hear the schldgers in a minute, if we listen.
“ But, if you please, Harry, where is the ‘ Fecht- boden,’ and what are the ‘ schlagers ’ ? ...
Einleitung. 'Ritualisierte Zweikämpfe' und ihre Akteure
2014
Das Mittelalter: Perspektiven mediävistischer Forschung
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Christian Jaser: ...
Christian Jaser (Hgg.), Agon und Distinktion. Soziale Räume des Zweikampfs zwischen Mittelalter und Neuzeit (in Vorb.). 5 Monika Mommertz, Wissen vom Zweikampf. ...
Christian JASER (Berlin) entwickelt eine neue Perspektive auf die Figur des Kämpen, der im Rahmen des hochmittelalterlichen Gerichtskampfs als entlohnter Kampfstellvertreter auftritt. ...
doi:10.1515/mial-2014-0015
fatcat:cg3atmsxhrb6vbauwttylvheam
Page 676 of American Journal of Theology Vol. 16, Issue 4
[page]
1912
American Journal of Theology
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Holmes, The Origin and Development of the Christian Church in Gaul during the First Six Centuries of the Christian Era
Holtzmann, Heinrich, Praktische Erklirung des ersten Thessalonicherbriefes
Lehrbuch ...
676 THE AMERICAN JOURNAL OF THEOLOGY
Harnack, Entstehung und Entwicklung der Kirchenverfassung und des Kirchen- . fechts in den zwei ersten Jahrhunderten . ...
A Fake Coptic John and Its Implications for the 'Gospel of Jesus's Wife
2014
Tyndale Bulletin
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Likewise, Alin Suciu, 'Christian Askeland Finds the "Smoking Gun,"' alinsuciu.com, April 24, 2014, http://alinsuciu.com/2014/04/24/christian-askeland-finds-the-smoking-gun/. 25 Ira Rabin (Max-Planck Institute ...
Fecht is said to have suggested a probable date from the 2nd to 5th cents. C.E. ...
doi:10.53751/001c.29364
fatcat:qw2imp7gxnf3jbicoghywccita
« Previous
Showing results 1 — 15 out of 439 results