| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNICAMPANIASUN0059905 |
|
|
Autore |
Centro italiano di studi sull'alto Medioevo |
|
|
Titolo |
Caratteri del secolo 7. in Occidente 2 |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Spoleto : presso la sede del Centro, 1958 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNISA996385071803316 |
|
|
Autore |
Beveridge William <1637-1708.> |
|
|
Titolo |
Of the happiness of the saints in heaven [[electronic resource] ] : a sermon preached before the Queen at Whitehall, October 12, 1690 / / by William Beveridge |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London, : Printed for Thomas Speed, 1695 |
|
|
|
|
|
|
|
Edizione |
[Second edition.] |
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Soggetti |
|
Sermons, English - 17th century |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Reproduction of original in Bristol Public Library, Bristol, England. |
First published in 1690 with title: A sermon preached before the Queen at White-Hall, October 12, 1690. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910808585903321 |
|
|
Autore |
Brázdová Veronika |
|
|
Titolo |
Atomistic Computer Simulations : A Practical Guide |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
ISBN |
|
9783527671830 |
3527671838 |
9783527671816 |
3527671811 |
9781299448711 |
1299448712 |
9783527671847 |
3527671846 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (363 p.) |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Atoms |
Molecular dynamics -- Computer simulation |
Molecules |
Atoms - Computer simulation |
Molecular dynamics - Computer simulation |
Physics |
Human Anatomy & Physiology |
Health & Biological Sciences |
Physical Sciences & Mathematics |
Atomic Physics |
Animal Biochemistry |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di contenuto |
|
Atomistic Computer Simulations; Contents; Preface; References; Color Plates; Part One The World at the Atomic Scale; 1 Atoms, Molecules and Crystals; 1.1 Length- and Timescales; 1.2 Electrons in an Atom; 1.3 Local Environment of an Atom; 1.3.1 Electrons; 1.3.2 Local Arrangement of Atoms; 1.4 Most Favorable Arrangement of Atoms; |
|
|
|
|
|
|
|
|
|
|
|
1.4.1 The Concept of Total Energy; 1.4.2 Beyond the Total Energy; 1.4.3 The Most Stable Configuration; References; 2 Bonding; 2.1 Electronic Ground State; 2.2 Types of Bonds; 2.2.1 Covalent Bonding; 2.2.2 Ionic Bonding; 2.2.3 Metallic Bonding; 2.2.4 Hydrogen Bonding |
2.2.5 Dispersion Bonding2.3 Bond Breaking and Creation; 2.4 Distortion of Bonds; References; 3 Chemical Reactions; 3.1 Chemical Equations; 3.2 Reaction Mechanisms; 3.3 Energetics of Chemical Reactions; 3.4 Every (Valence) Electron Counts; 3.5 The Energy Zoo; References; 4 What Exactly is Calculated?; 4.1 What Can Be Calculated?; 4.2 What Actually Happens?; 4.3 Models and Simulation Cells; 4.4 Energies; 4.5 Terms; 4.6 Liquid Iron: An Example; References; Part Two Introducing Equations to Describe the System; 5 Total Energy Minimization; 5.1 The Essential Nature of Minimization |
5.2 Minimization Algorithms5.2.1 Steepest Descents; 5.2.2 Conjugate Gradients; 5.2.3 Quasi-Newton Methods; 5.2.4 Alternatives; 5.2.5 Exploring Landscapes; 5.2.6 Scaling and Computational Cost; 5.3 Optimize with Success; 5.3.1 Initial Configuration; 5.3.2 Initial Forces, Choice of Algorithm and Parameters; 5.3.3 Fixing Atoms; 5.3.4 Scaling with System Size; 5.4 Transition States; 5.5 Pseudokeywords; References; 6 Molecular Dynamics and Monte Carlo; 6.1 Equations of Motion; 6.2 Time and Timescales; 6.3 System Preparation and Equilibration |
6.4 Conserving Temperature, Pressure, Volume or Other Variables6.5 Free Energies; 6.6 Monte Carlo Approaches; 6.7 Pseudokeywords for an MD Simulation; References; Part Three Describing Interactions Between Atoms; 7 Calculating Energies and Forces; 7.1 Forcefields; 7.1.1 Reliability and Transferability; 7.2 Electrostatics; 7.3 Electronic and Atomic Motion; 7.3.1 The Born-Oppenheimer Approximation; 7.3.2 Approximating the Electronic Many-Body Problem; 7.4 Electronic Excitations; References; 8 Electronic Structure Methods; 8.1 Hartree-Fock; 8.2 Going Beyond Hartree-Fock |
8.3 Density Functional Theory8.4 Beyond DFT; 8.5 Basis Sets; 8.6 Semiempirical Methods; 8.7 Comparing Methods; References; 9 Density Functional Theory in Detail; 9.1 Independent Electrons; 9.2 Exchange-Correlation Functionals; 9.3 Representing the Electrons: Basis Sets; 9.3.1 Plane Waves; 9.3.2 Atomic-Like Orbitals; 9.4 Electron-Nuclear Interaction; 9.4.1 Pseudopotentials; 9.4.2 PAW; 9.4.3 Using All Electrons; 9.5 Solving the Electronic Ground State; 9.5.1 Charge Mixing and Electrostatics; 9.5.2 Metals and Occupancy; 9.6 Boundary Conditions and Reciprocal Space; 9.7 Difficult Problems |
9.8 Pseudokeywords |
|
|
|
|
|
|
Sommario/riassunto |
|
Many books explain the theory of atomistic computer simulations; this book teaches you how to run them This introductory ""how to"" title enables readers to understand, plan, run, and analyze their own independent atomistic simulations, and decide which method to use and which questions to ask in their research project. It is written in a clear and precise language, focusing on a thorough understanding of the concepts behind the equations and how these are used in the simulations. As a result, readers will learn how to design the computational model and which parameters o |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4. |
Record Nr. |
UNINA9910484312803321 |
|
|
Titolo |
Requirements Engineering: Foundation for Software Quality : 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings / / edited by Samuel A. Fricker, Kurt Schneider |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2015.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 333 p. 63 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering, , 2945-9168 ; ; 9013 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Electronic data processing - Management |
Application software |
Computer science |
Information storage and retrieval systems |
Software Engineering |
IT Operations |
Computer and Information Systems Applications |
Computer Science Logic and Foundations of Programming |
Information Storage and Retrieval |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Experimental Validation of a Risk Assessment Method -- Supporting the Validation of Adequacy in Requirements-based Hazard Mitigations -- Evaluating Feature Models: A Goal-Question-Metric Study at Opel -- Modeling and Reasoning about Information Quality Requirements -- Detecting and Correcting Outdated Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk of Requirements in Agile Software Development Projects with Traceability Metrics -- The Role of Catalogues of Threats and Security Controls in Security Risk Assessment: An Empirical Study with ATM Professionals -- Analyzing and Enforcing Security Mechanisms on Requirements Specifications -- From Stakeholder Requirements to |
|
|
|
|
|
|
|
|
|
|
|
Formal Specifications through Refinement -- Towards More Efficient Requirements Formalization: A Study -- How Artifacts Support and Impede Requirements Communication -- Consonance between Networked Economic and IT Services: Finding the Balance Between Conflicting Requirements -- The Emerging Requirement for Digital Addiction Labels -- Challenges of the customer organizations requirements engineering -- (RE) process in the outsourced environment A case study -- A Case Study Evaluation of the Guideline-Supported QUPER Model for Elicitation of Quality Requirements -- Towards Crowd-based Requirements Engineering -- Functional Requirements Modeling for Interactive TV Applications -- Flexi View: A Magnet-Based Approach for Visualizing Requirements Artifacts -- Requirements Engineering in the Bidding Stage of Software Projects A Research Preview -- A Systematic Literature Review of Requirements Prioritization Criteria -- Embedding Stakeholder Values in the Requirements Engineering Process -- Supporting Requirements Feedback Flows in Iterative System Development -- User-Constrained Clustering in Online Requirements Forums. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 20th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2014, held in Essen, Germany, in April 2013. The 23 papers presented together with 1 keynote were carefully reviewed and selected from 62 submissions. The REFSQ'15 conference is organized as a three-day symposium. The REFSQ'15 has chosen a special conference theme “I heard it first at RefsQ”. Two conference days were devoted to presentation and discussion of scientific papers. The two days connect to the conference theme with a keynote, an invited talk, and poster presentations.There were two parallel tracks on the third day: the Industry Track and the new Research Methodology Track. REFSQ 2015 seeks reports of novel ideas and techniques that enhance the quality of RE’s products and processes, as well as reflections on current research and industrial RE practices. |
|
|
|
|
|
|
|
| |