| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996384883803316 |
|
|
Autore |
Browne Thomas, Sir, <1605-1682.> |
|
|
Titolo |
Pseudodoxia epidemica, or, Enquiries into very many received tenents and commonly presumed truths [[electronic resource] ] : together with some marginal observations, and a table alphabeticall at the end / / by Thomas Browne . |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London, : Printed by A. Miller, for Edw. Dod and Nath. Ekins ..., 1650 |
|
|
|
|
|
|
|
Edizione |
[The second edition /] |
|
|
|
|
|
Descrizione fisica |
|
[16], 319 (i.e. 329) [10] p |
|
|
|
|
|
|
Soggetti |
|
Natural history - Pre-Linnean works |
Errors, Popular |
Learning and scholarship |
Superstition |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Reproduction of original in Huntington Library. |
Table of contents: p. [11]-[15] |
Index: p. [1]-[10] at end. |
Errata: p. [10] at end. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910706158703321 |
|
|
Autore |
Locke Randy J. |
|
|
Titolo |
Non-intrusive laser-induced imaging for speciation and patternation in high pressure gas turbine combustors / / Randy J. Locke [and three others] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cleveland, Ohio : , : National Aeronautics and Space Administration, Glenn Research Center, , September 1999 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (7 pages) : illustrations |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Soggetti |
|
Nonintrusive measurement |
Laser induced fluorescence |
High pressure |
Compressed gas |
Gas turbines |
Combustion chambers |
Combustion physics |
Real time operation |
Imaging techniques |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"September 1999." |
"Prepared for the Optical Diagnostics for Fluids, Heat, Combustion, and Photomechanics of Solids sponsored by the International Society for Optical Engineering, Denver, Colorado, July 18-23, 1999." |
Performing organization: National Aeronautics and Space Administration, John H. Glenn Research Center at Lewis Field"--Report documentation page. |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (page 7). |
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910483288003321 |
|
|
Titolo |
Practical Aspects of Declarative Languages : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings / / edited by Manuel Hermenegildo, Daniel Cabeza |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2005.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VIII, 272 p.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering, , 2945-9168 ; ; 3350 |
|
|
|
|
|
|
Altri autori (Persone) |
|
HermenegildoManuel |
CabezaDaniel |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Compilers (Computer programs) |
Computer programming |
Computer science |
Software engineering |
Compilers and Interpreters |
Programming Techniques |
Computer Science Logic and Foundations of Programming |
Software Engineering |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Talks -- Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction -- Code Compression -- Papers -- Functional Framework for Sound Synthesis -- Specializing Narrowing for Timetable Generation: A Case Study -- Character-Based Cladistics and Answer Set Programming -- Role-Based Declarative Synchronization for Reconfigurable Systems -- Towards a More Practical Hybrid Probabilistic Logic Programming Framework -- Safe Programming with Pointers Through Stateful Views -- Towards Provably Correct Code Generation via Horn Logical Continuation Semantics -- A Provably Correct Compiler for Efficient Model Checking of Mobile Processes -- An Ordered Logic Program Solver -- Improving Memory Usage in the BEAM -- Solving Constraints on Sets of Spatial Objects -- Discovery of Minimal Unsatisfiable Subsets of Constraints |
|
|
|
|
|
|
|
|
|
|
|
Using Hitting Set Dualization -- Solving Collaborative Fuzzy Agents Problems with CLP( ) -- Improved Fusion for Optimizing Generics -- The Program Inverter LRinv and Its Structure -- A Full Pattern-Based Paradigm for XML Query Processing -- Type Class Directives. |
|
|
|
|
|
|
Sommario/riassunto |
|
The International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practioners to present original work emphasizing novel applications and implementation techniques for all forms of declarativeconcepts,includingfunctional,logic,constraints,etc.Declarativel- guages build on sound theoretical foundations to provide attractive frameworks for application development. These languages have been successfully applied to a wide array of di'erent real-world situations, including database management, active networks, software engineering, decision support systems, or music c- position; whereas new developments in theory and implementation have opened up new application areas. Inversely, applications often drive the progress in the theory and implementation of declarative systems, as well as bene't from this progress. The 7th PADL Symposium was held in Long Beach, California on January 10-11, 2005, and was co-located with ACM's Principles of Programming L- guages(POPL).From36 submitted papers,the ProgramCommittee selected 17 papers for presentation at the symposium, based upon at least three reviews for eachpaper,providedfromProgramCommitteemembersandadditionalreferees. Two invited talks were presented at the conference: one by Norman R- sey (Harvard University) entitled "Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction"; and a second by Saumya Debray (University of Arizona) entitled "Code Compression." Following what has become a tradition in PADL symposia, the Program Committee selected one paper to receive the "Most Practical Paper" award. This year the paper judged the best in terms of practicality, originality, and claritywas"AProvablyCorrectCompilerforE'cientModelCheckingofMobile Processes,"byPingYang,YifeiDong,C.R.Ramakrishnan,andScottA.Smolka. |
|
|
|
|
|
|
|
| |