The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Filters
Page 5175 of Mathematical Reviews Vol. , Issue 87i
[page]
1987
Mathematical Reviews
Preserved Fulltext
Our main result consists in the
decidability of the equality of yields for infinite regular trees.” ...
{For the entire collection see MR 87i:68005. }
87i:68034
Dauchet, Max; Timmerman, Erick (F-LILL) 87i:68035
Decidability of yield’s equality for infinite regular trees. ...
Page 3748 of Mathematical Reviews Vol. , Issue 86h
[page]
1986
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Cour- celle, The solution of two star-height problems for regular trees (pp. 108-117); Max Dauchet and Erick Timmerman, Decidability of yield’s equality for infinite regular trees (pp. 118-136). ...
Automata on infinite trees: David Muller and Paul E. Schupp, Alternating automata on infinite objects. Determinacy and Rabin’s theorem (pp. 100-107); J. P. Braquelaire and B. ...
LOGICAL AND PROBABILISTIC METHOD FOR RISK MANAGEMENT IN SOCIO-ECONOMIC SYSTEMS
2017
Environment Technology Resources Proceedings of the International Scientific and Practical Conference
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.
Logical and probabilistic method is widely used for estimation of reliability and safety in structural complex technical systems. ...
Based on risk scenario as tree of events, logics and probabilistic functions, this approach provides exact quantitative estimation of risk, risk analysis and decision-making procedures. ...
To decide the problem, DB is transformed into knowledge base (KB) as a system of LP risk models for analysis and management of risk. ...
doi:10.17770/etr2017vol2.2584
fatcat:wmkibmboczd4zat7mzg7tcumnu
Page 1297 of Mathematical Reviews Vol. , Issue Index
[page]
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Decidability of yield’s equality for infinite regular trees. Automata on infinite words (Le Mont-Dore, 1984), 118-136, Lecture Notes in Comput. Sci., 194, Springer, Berlin-New York, 1985. ...
Gauss-Newton-like methods for nonlinear least squares with equality constraints—local convergence and applications to parameter estimation in implicit models. Statistics 16 (1985), no. 2, 167-178. ...
Page 255 of Mathematical Reviews Vol. , Issue Index
[page]
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
(Evelyn Nelson) 87k:06016 § 06B35 (06A10, 68Q55)
(with Timmerman, Erick) Decidability of yield’s equality for infinite regular trees. ...
Decidability of confluence for ground term rewriting systems. Fund tals of computation theory (Cottbus, 1985), 80-89, Lecture Notes in Comput. Sci., 199, Springer, Berlin-New York, 1985. ...
Grammatical approaches to problems in RNA bioinformatics
2013
unpublished
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 2020; you can also visit the original URL.
The file type is application/pdf.
These problems, from the area of RNA bioinformatics, are prediction of RNA secondary structure and the search for homologous sequences of known non-coding (nc-) RNA families. ...
This embedding allows for simplified algorithmic development on a high level. In particular, this embedde [...] ...
of the FR3D database, and Ronny Lorenz for providing comparative data for other folding programs. ...
doi:10.25365/thesis.28648
fatcat:pse5ja2verhjtlsmi3csewrnou
Legacies at Long Beach : sustainability and strategy in the Canadian Model Forest Program
2007
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 2020; you can also visit the original URL.
The file type is application/pdf.
However, for communities on the front lines of the "war in the woods", these types of efforts often amounted to symbolic politics. ...
The Canadian Model Forest Program began with the establishment of ten sites across the country in 1992 as part of the Green Plan for a Healthy Environment. ...
More recently, the Clayoquot Alliance for Research, Education, and Training at the University of Victoria produced a Standard of Conduct for Research in Northern Barkley and Clayoquot Sound Communities ...
doi:10.14288/1.0100678
fatcat:cfhfh4xnpvd4nb7zmmqcoulnj4
Easton Gazette, and Eastern Shore Intelligencer 04-1821
1821
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.
AnTB»*i«>«wrTinote3tceedl"Sr* 8llu*re in gerted three times for One Dollar and Twenty five cent* for every subsequent insertion. ...
In Tuscany, the proportion to that sown for grain is four to 06e, to an equal extent of ground. ...
TBE WE•$ MmY Is incomplete order, for tlie reception of grain or freight of any kind-She will icavt Eutton for Baltimore; bh'Sunday tl.e 18th inbtant, a 4 will afterwards continue her regular route M heretofore ...
doi:10.13016/m2fx73z1x
fatcat:5ytu6j7hojgbzeutmkbbtkhocm