| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910146622003321 |
|
|
Titolo |
Progress in understanding of polymer crystallization / / Gunter Reiter, Gert R. Strobl (editors) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer-Verlag, , [2007] |
|
©2007 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-280-85225-9 |
9786610852253 |
3-540-47307-6 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2007.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (519 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Physics ; ; Volume 714 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Crystalline polymers |
Crystallization |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Shifting Paradigms in Polymer Crystallization -- Theoretical Aspects of the Equilibrium State of Chain Crystals -- Intramolecular Crystal Nucleation -- Kinetic Theory of Crystal Nucleation Under Transient Molecular Orientation -- Precursor of Primary Nucleation in Isotactic Polystyrene Induced by Shear Flow -- Structure Formation and Glass Transition in Oriented Poly(Ethylene Terephthalate) -- How Do Orientation Fluctuations Evolve to Crystals? -- Role of Chain Entanglement Network on Formation of Flow-Induced Crystallization Precursor Structure -- Full Dissolution and Crystallization of Polyamide 6 and Polyamide 4.6 in Water and Ethanol -- Small Angle Scattering Study of Polyethylene Crystallization from Solutions -- Morphologies of Polymer Crystals in Thin Films -- Crystallization of Frustrated Alkyl Groups in Polymeric Systems Containing Octadecylmethacrylate -- Crystallization in Block Copolymers with More than One Crystallizable Block -- Monte Carlo Simulations of Semicrystalline Polyethylene: Interlamellar Domain and Crystal-Melt Interface -- The Role of the Interphase on the Chain Mobility and Melting of Semi-crystalline Polymers; A Study on Polyethylenes -- Polymer Crystallization Under High Cooling Rate and Pressure: A Step Towards Polymer Processing |
|
|
|
|
|
|
|
|
|
|
|
Conditions -- Stress-Induced Phase Transitions in Metallocene-Made Isotactic Polypropylene -- Insights into Polymer Crystallization from In-situ Atomic Force Microscopy -- Temperature and Molecular Weight Dependencies of Polymer Crystallization -- Step-scan Alternating Differential Scanning Calorimetry Studies on the Crystallisation Behaviour of Low Molecular Weight Polyethylene -- Order and Segmental Mobility in Crystallizing Polymers -- Atomistic Simulation of Polymer Melt Crystallization by Molecular Dynamics -- A Multiphase Model Describing Polymer Crystallization and Melting. |
|
|
|
|
|
|
Sommario/riassunto |
|
In the context of polymer crystallization there are several still open and often controversially debated questions. The present volume addresses issues such as novel general views and concepts which help to advance our understanding of polymer crystallisation nucleation phenomena long living melt structures affecting crystallization confinement effects on crystallization crystallization in flowing melts fluid mobility restrictions caused by crystallites the role of mesophases in the crystal formation and presents new ideas in a connected and accessible way. The intention is thus not only to provide a summary of the present state-of-the-art to all active works but to provide an entry point to newcomer and graduate students entering the field. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910828451903321 |
|
|
Titolo |
Management of the interface between nuclear safety and security for research reactors / / International Atomic Energy Agency |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Vienna, Austria : , : International Atomic Energy Agency, , 2016 |
|
©2016 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (67 pages) |
|
|
|
|
|
|
Collana |
|
IAEA TECDOC Series ; ; Number 1801 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Nuclear reactors - Safety measures |
Nuclear reactors - Security measures |
Nuclear reactors - Management |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910484294303321 |
|
|
Titolo |
Formal Techniques for Distributed Objects, Components, and Systems : 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings / / edited by Kirstin Peters, Tim A. C. Willemse |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2021.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 245 p. 73 illus., 34 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering, , 2945-9168 ; ; 12719 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Artificial intelligence |
Computer science - Mathematics |
Computer networks |
Computers, Special purpose |
Mathematical logic |
Software Engineering |
Artificial Intelligence |
Mathematics of Computing |
Computer Communication Networks |
Special Purpose and Application-Based Systems |
General Logic |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
On Bidirectional Runtime Enforcement -- A Multi-Agent Model for Polarization under Confirmation Bias in Social Networks -- A Formalisation of SysML State Machines in mCRL2 -- How Adaptive and Reliable is your Program -- Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves -- Prioritise the Best Variation -- Introduction and Preservation Analysis of Refinement Relations in CCSL -- A Case Study on Parametric |
|
|
|
|
|
|
|
|
|
|
|
Verification of Failure Detectors -- π with Leftovers: a Mechanisation in Agda -- Supervisory Synthesis of Configurable Behavioural Contracts with Modalities -- Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths -- Towards a Spatial Model Checker on GPU -- Formal verification of HotStuff -- Better Late than Never or: Verifying Asynchronous Components at Runtime -- Designing Distributed Software in mCRL2. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021. The 9 regular papers and 4 short papers presented were carefully reviewed and selected from 26 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above. Due to the Corona pandemic this event was held virtually. |
|
|
|
|
|
|
|
| |