| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910457174603321 |
|
|
Titolo |
Histories of maize : multidisciplinary approaches to the prehistory, linguistics, biogeography, domestication, and evolution of maize / / edited by John E. Staller, Robert H. Tykot, Bruce F. Benz |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London ; ; New York : , : Routledge, , 2016 |
|
|
|
|
|
|
|
ISBN |
|
1-315-42733-8 |
1-59874-782-7 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (706 p.) |
|
|
|
|
|
|
Altri autori (Persone) |
|
BenzBruce F |
StallerJohn E |
TykotRobert H |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Maize chronology |
Molecular biology -- Miscellanea |
Molecular biology |
Sociocultural development |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"First published 2009 by Left Coast Press, Inc."--T.p. verso. |
|
|
|
|
|
|
Nota di contenuto |
|
Table of Contents; Contributors; An Introduction to the Histories of Maize; Part I: Histories of Maize: Genetic, Morphological, and Microbotanical Evidence; 1: Differing Approaches and Perceptions in the Study of New and Old World Crops; Introduction; Different Emphases in New and Old World Agriculture; Reasons for the Difference in Emphasis; Outcomes of the Difference in Emphasis; Different Perceptions of the Role of Science; 2: Maize in the Americas; Purpose and Scope of Review; Introduction; Genetic Evidence of Teosinte Domestication; Genetic Evidence of Population Manipulation |
Archaeological-Macrobotanical-Evidence of Teosinte Domestication and Maize AgriculturePollen Evidence for Use of Zea and Climate Change and Phytoliths Document Neotropical Plant Domestication; Juxtaposing the Archaeological and Genetic Evidence for Early Maize; 3: Origin of Polystichy in Maize; Abstract; Introduction: The Origin of Maize; The Maizoid Eve- An Emphatic Restatement; The Maizoid Eve |
|
|
|
|
|
|
|
|
|
|
|
Concept Is Useful and Should Not Be Rejected; First for Sugar, Then for Grain: Reflections on Corn Domestication Chronology |
The Cupulate Fruitcase and the Ear Cluster: Adaptive Marvels of Coordinated Sequential MaturationThe Origin of Polystichy in Maize; An Abbreviated History; The "Twisted Cob Hypothesis" of Collins: Its Merits and Follies; What Happened After Tga 1 Caused the Maizoid Revolution?; Collins' Figure, With All of Its Faults, Is a Classic Illustration; The Origin of Polystichy in Maize: The "Second Bifurcation"-A Reappraisal; The Shank and Its Husks - The Key to Maize Ear Polystichy; Maize Polystichy-With Its Roots in the Shank to Its Glory in the Ear |
On the Inexcusable Neglect of the Shank and Its HusksA Note on Twisting, and the Basic Bilateral Dorsiventrality of Zea; Edgar Anderson and the Shank-The Story of an Unconsummated Love Affair; The Condensation in the Maize Shank and Its Husks and Preconceived Notions; From Teosinte Distichy to Maizoid Polystichy: Or How to Study Husk Phyllotaxy in Nine Easy Steps; Iltis and His Gigantic Footnote; S. G. Stephens and the Shank Condensation Theory - Sharp-Eyed, Unsung, Uncited, and Unequivocally Correct; Postscript; 4: Dating the Initial Spread of Zea mays; Introduction |
Temporal Frameworks for Zea Mays' Early DispersalDirect Dating of Maize; On the Indirect Dating of Maize; Dating the Early Distribution of Zea Pollen; Dating the Early Distribution of Maize Phytoliths; Dating the Early Distribution of Moderate-to-High Stable Carbon Isotope Ratios; Comparing the Different Lines of Evidence; Discussion of the Social Implications of Maize's Early Spread: Initial Uses of Maize; 5: El Riego and Early Maize Agricultural Evolution; Introduction; Domestication and Agriculture; Methods; Results: Calibrating and Averaging AMS Dates |
Results: Morphological Trends and Rates |
|
|
|
|
|
|
Sommario/riassunto |
|
Maize has been described as a primary catalyst to complex sociocultural development in the Americas. State of the art research on maize chronology, molecular biology, and stable carbon isotope research on ancient human diets have provided additional lines of evidence on the changing role of maize through time and space and its spread throughout the Americas. The multidisciplinary evidence from the social and biological sciences presented in this volume have generated a much more complex picture of the economic, political, and religious significance of maize. The volume also includes ethno |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910768453703321 |
|
|
Titolo |
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings / / edited by John Fitzgerald, Cliff B. Jones, Peter Lucas |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1997.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 694 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 1313 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer programming |
Programming languages (Electronic computers) |
Computer logic |
Software Engineering |
Programming Techniques |
Programming Languages, Compilers, Interpreters |
Logics and Meanings of Programs |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Diagrams and programming languages for programmable controllers -- Graphical specification and reasoning: Case study generalised railroad crossing -- A graphic notation for formal specifications of dynamic systems -- A semantic integration of object-Z and CSP for the specification of concurrent systems -- Class refinement and interface refinement in object-oriented programs -- Formalizing requirements for distributed systems with trace diagrams -- Consistent graphical specification of distributed systems -- Design of reactive control systems for event-driven operations -- An M-Net semantics for a real-time extension of µSDL -- Reconciling real-time with asynchronous message passing -- Specifying the remote controlling of valves in an explosion test environment -- PICGAL: Practical use of formal specification to develop a complex critical system -- Mathematical |
|
|
|
|
|
|
|
|
|
|
|
modeling and analysis of an external memory manager -- Automatic translation of VDM-SL specifications into gofer -- Towards an Integrated CASE and theorem proving tool for VDM-SL -- Specification of required non-determinism -- A corrected failure-divergence model for CSP in Isabelle/HOL -- A proof obligation generator for VDM-SL -- Verification of cryptographic protocols: An experiment -- TLA + PROMELA: Conjecture, check, proof -- A TLA solution to the specification and verification of the RLP1 retransmission protocol -- An efficient technique for deadlock analysis of large scale process networks -- Implementing a model checker for LEGO -- Formal verification of transformations for peephole optimization -- A meta-method for formal method integration -- Reuse of verified design templates through extended pattern matching -- A compositional proof system for shared variable concurrency -- A framework for modular formal specification and verification -- A timed semantics for the StateMate implementation of statecharts -- Using PVS to prove a Z refinement: A case study -- Verification of reactive systems using DisCo and PVS -- Term rewrite systems to derive set boolean operations on 2D objects -- A normal form reduction strategy for hardware/software partitioning -- Viewpoint consistency in Z and LOTOS: A case study -- A UNITY mapping operator for distributed programs. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods , held in Graz, Austria, in September 1997. The 35 revised full papers presented in the volume were selected from a total of 94 submissions. Formal methods and mathematically based techniques are increasingly recognized as a viable technology for the development and engineering of computing systems. The majority of the papers in this volume describe industrial applications, extensions to existing techniques, or case studies; papers on theoretical aspects show clear potential applicability. |
|
|
|
|
|
|
|
| |