| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910139879903321 |
|
|
Titolo |
Environmental issues and waste management technologies in the materials and nuclear industries XII [[electronic resource] ] : a collection of papers presented at the 2008 Materials Science and Technology Conference (MS&T08), October 5-9, 2008, Pittsburgh, Pennsylvania / / edited by Alex Cozzi, Tatsuki Ohji |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Hoboken, N.J., : Wiley, c2009 |
|
|
|
|
|
|
|
ISBN |
|
1-282-30624-3 |
9786612306242 |
0-470-53837-6 |
0-470-53836-8 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (322 p.) |
|
|
|
|
|
|
Collana |
|
Ceramic transactions ; ; v. 207 |
|
|
|
|
|
|
Altri autori (Persone) |
|
CozziAlex <1963-> (Alex Douglas) |
OhjiT (Tatsuki) |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Green technology |
Materials science |
Refuse and refuse disposal |
Waste minimization |
Electronic books. |
|
|
|
|
|
|
|
|
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 author index. |
|
|
|
|
|
|
Nota di contenuto |
|
Environmental Issues and Waste Management Technologies in the Materials and Nuclear Industries XII; Contents; Preface; CERAMICS AND GLASS FOR WASTE MINIMIZATION, STABILIZATION AND DISPOSITION; Glasses for Immobilizing Lanthanide, Alkali, and Alkali-Earth Fission Products; Full-Scale Cold Crucible Test on Vitrification of Savannah River Site SB4 HLW Surrogate; Processing Fly Ash from Coal Burning Power Station in a Variable Radiofrequency Field; NETEC Cold Crucible Induction Melter Demonstration for SRNL with Simulated Sludge Batch 4 DWPF Waste |
Adsorption and Separation of Uranium Using Tungsten OxidesAccelerated Processing of SB4 and Preparation for SB5 |
|
|
|
|
|
|
|
|
|
|
|
Processing at DWPF; Effect of Compositional Changes on the Structure and Crystallization Tendency of a Borosilicate Glass Containing MoO3; The lmmobilisation of a Chloride Containing Actinide Waste Surrogate in Calcium Aluminosilicate Glasses; International Studies of Enhanced Waste Loading and Improved Melt Rate For High Alumina Concentration Nuclear Waste Glasses; Leach Testing Applied to the Investigation of Long-Term Behavior of High-Level Waste Glass: French Experience |
SCK·CEN R&D on the Interaction between Nuclear Waste Glass and Clay Near- and Far-Field MaterialsGLAMOR-Or How We Achieved a Common Understanding on the Decrease of Glass Dissolution Kinetics; Characterization of Vitrified Savannah River Site SB4 Waste Surrogate Produced in Cold Crucible Induction Melter; Accelerated Weathering of Waste Glass at 90°C with the Pressurized Unsaturated Flow (PUF) Apparatus: Implications for Predicting Glass Corrosion with a Reactive Transport Model; The Product Consistency Test (PCT): How and Why it Was Developed |
GREEN TECHNOLOGIES FOR MATERIALS MANUFACTURING AND PROCESSINGGreen Process for Recovery of Copper; Exploiting Hall-Petch Strengthening for Sustainability; Novel Process Development with Continuous Casting and Precise Forging for AI-Si Alloys to Produce an Engine Piston; Pilot Testing of a Green, No-Waste Process to Maximize Value from Hot Aluminum Dross; Effect of Bismuth on the Tensile Properties and Dry Machining Performance of AL-12.7 wt% Si Alloy; Engineering Decisions to Green the Automobile Supply Chain; Novel Ceramic Forming Methods with a Reactive Organic Binder |
Environmental Assessment of Manufacturing with Carbon NanotubesNitrate Fining and Emissions During Glass Manufacturing; Low-Cost Solid Geopolymeric Material for Water Purification; Exergy Analysis on Life Cycle of Ceramic Parts; Anion Exchange Property of As(III), As(V), Se(lV), CrR(VI) and B(III) with Hydrotalcite-Like Compounds; Preparation of Metal Oxide Photocatalyst by Soft Solution Process with Anion Exchange Resin; Photocatalytically Efficient Zinc Oxide Microstructural Assembly; Author Index |
|
|
|
|
|
|
Sommario/riassunto |
|
This book documents a special collection of articles from a select group of invited prominent scientists from academia, national laboratories and industry who presented their work at the symposia on Environmental and Energy Issues at the 2008 Materials Science and Technology (MS&T'08) conference held in Pittsburgh, PA. These articles represent a summary of the presentations focusing on topics in nuclear, environmental, and green engineering were held, including a discussion of Waste Glass Leach Testing and Modeling. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910728401303321 |
|
|
Titolo |
Application and Theory of Petri Nets and Concurrency : 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25–30, 2023, Proceedings / / edited by Luis Gomes, Robert Lorenz |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2023.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (470 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 13929 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Embedded computer systems |
Computer science - Mathematics |
Computer networks |
Software engineering |
Embedded Systems |
Mathematics of Computing |
Computer Communication Networks |
Software Engineering |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Talks -- From Process-Agnostic to Process-Aware Automation, Mining, and Prediction -- Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems inspired by Net Condition/Event Systems -- Process Mining -- There and Back Again: On the Reconstructability and Rediscoverabilty of Typed Jackson Nets -- ILP² Miner – Process Discovery for Partially Ordered Event Logs using Integer Linear Programming -- Modelling Data-Aware Stochastic Processes - Discovery and Conformance Checking -- Exact and Approximated Log Alignments for Processes with Inter-case Dependencies -- Semantics -- Taking Complete Finite Prefixes To High Level, Symbolically -- Interval Traces with Mutex Relation -- A Myhill-Nerode Theorem for Higher-Dimensional Automata -- Tools. -Hippo-CPS: A Tool for |
|
|
|
|
|
|
|
|
|
|
|
Verification and Analysis of Petri Net-based Cyber-Physical Systems -- Mochy : a tool for the modeling of concurrent hybrid systems.-Renew: Modularized Architecture and NewFeatures -- Explorative Process Discovery using Activity Projections.-Verification. -Computing Under-approximations of Multivalued Decision Diagram.-Stochastic Decision Petri Nets -- Token Trail Semantics – Modeling Behavior of Petri Nets with Labeled Petri Nets -- On the Reversibility of Circular Conservative Petri Nets -- Automated Polyhedral Abstraction Proving. -Experimenting with Stubborn Sets on Petri Nets -- Timed Models -- Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. -A state class based controller synthesis approach for Time Petri Nets -- Model Transformation -- Transforming Dynamic Condition Response Graphs to safe Petri Nets -- Enriching Heraklit Modules by Agent Interaction Diagrams. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 44th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2023, which took place in Lisbon, Portugal, in June 2023. The 21 full papers included in this book were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: Process mining; semantics; tools; verification; timed models; model transformation. The book also includes two invited talks in full paper length. . |
|
|
|
|
|
|
|
| |