Skip to main content


eCommons@Cornell >

Browsing by Title

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 17563 to 17582 of 30552
< previous   next >
PreviewIssue DateTitleAuthor(s)
2013Forecasting adoption of ultra-low-emission vehicles using Bayes estimates of a multinomial probit model and the GHK simulatorDaziano, Ricardo; Achtnicht, Martin
5-May-2006Forecasting Natural Gas Prices Using Time Series ModelsBerg, Andrew
Jul-2004For electronic journals, total downloads can predict number of usersDavis, Philip M.
20-Oct-2010Forest At Work: Conservation And Sustainable Management Of The Former Finch Pruyn LandsNeugarten, Rachel
13-Oct-2009Forest Invasive Plant Management: Understanding And Explaining Management EffectsAcharya, Charlotte
Sep-2002Foreword to Agricultural Engineering and International Development in the Third MillenniumCuello, J.
2-Jun-2006Forging International Partnerships to Foster Access to Science Literature in the Developing WorldJoos, Nicole; Andrews, Camille
Mar-1988A Formal Account of Notational DefinitionGriffin, Timothy G.
2007Formal Alternatives as a Solution to the Proviso ProblemSingh, Raj
Jan-1992A Formal Definition of Unnecessary Computation In Functional ProgramsWebber, Adam Brooks
20-Oct-2010The Formal Determinants Of Informal Settlements In Bogota, ColombiaBlanco, Andres
Apr-1989Formalization and Evaluation of Linear Relevance FeedbackWong, S. K. M.; Yao, Y. Y.; Salton, Gerard; Buckley, Chris
Sep-1999Formalization of Isabelle Meta Logic in NuPRLNaumov, Pavel
May-1998Formalizations Of Substitution Of Equals For EqualsGries, David; Schneider, Fred B.
Mar-1986Formalized Metareasoning in Type TheoryKnoblock, Todd B.; Constable, Robert L.
Sep-1993Formalizing Constructive Real AnalysisForester, Max B.
Sep-1998Formalizing Reference Types in NuPRL, PhD ThesisNaumov, Pavel
Feb-1997Formal Justification of Underspecification for S5Aaron, Eric; Gries, David
9-May-2001Formally Verifying Hybrid Protocols with the Nuprl Logical ProgrammingEnvironmentBickford, Mark; Kreitz, Christoph; van Renesse, Robbert
Showing results 17563 to 17582 of 30552
< previous   next >


© 2014 Cornell University Library Contact Us