8 Hits in 2.3 sec

Page 5175 of Mathematical Reviews Vol. , Issue 87i [page]

1987 Mathematical Reviews  
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  
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.  ... 


Vasily Karasev, Ekaterina Karaseva
2017 Environment Technology Resources Proceedings of the International Scientific and Practical Conference  
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  
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  
(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

Christian Höner Zu Siederdissen
2013 unpublished
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

Emily Jane Davis
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

(:Unkn) Unknown
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