| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910781752303321 |
|
|
Titolo |
Communicating process architectures 2011 [[electronic resource] ] : WoTUG-33 : proceedings of the 33rd WoTUG Technical Meeting, 19-22 June 2011, University of Limerick, Ireland / / edited by Peter H. Welch ... [et al.] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Amsterdam, The Netherlands, : IOS Press, 2011 |
|
|
|
|
|
|
|
ISBN |
|
661328985X |
1-283-28985-7 |
9786613289858 |
1-60750-774-9 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (396 p.) |
|
|
|
|
|
|
Collana |
|
Concurrent systems engineering series, , 1383-7575 ; ; v. 68 |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Parallel processing (Electronic computers) |
occam (Computer program language) |
Transputers |
Computer architecture |
|
|
|
|
|
|
|
|
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 indexes. |
|
|
|
|
|
|
Nota di contenuto |
|
Title Page; Preface; Editorial Board; Reviewing Committee; Contents; Implementing Generalised Alt - A Case Study in Validated Design Using CSP; Verification of a Dynamic Channel Model Using the SPIN Model Checker; Programming the CELL-BE Using CSP; Static Scoping and Name Resolution for Mobile Processes with Polymorphic Interfaces; Prioritised Choice over Multiway Synchronisation; An Analysis of Programmer Productivity Versus Performance for High Level Data Parallel Programming; Experiments in Multicore and Distributed Parallel Processing Using JCSP |
Evaluating an Emergent Behaviour Algorithm in JCSP for Energy Conservation in Lighting SystemsLUNA: Hard Real-Time, Multi-Threaded, CSP-Capable Execution Framework; Concurrent Event-Driven Programming in occam-pi for the Arduino; Fast Distributed Process Creation with the XMOS XS1 Architecture; Serving Web Content with |
|
|
|
|
|
|
|
|
|
|
|
Dynamic Process Networks in Go; Performance of the Distributed CPA Protocol and Architecture on Traditional Networks; Object Store Based Simulation Interworking; A Model for Concurrency Using Single-Writer Single-Assignment Variables; The Computation Time Process Model |
SystemVerilogCSP: Modeling Digital Asynchronous Circuits Using SystemVerilog InterfacesProcess-Oriented Subsumption Architectures in Swarm Robotic Systems; A Systems Re-Engineering Case Study: Programming Robots with occam and Handel-C; The Flying Gator: Towards Aerial Robotics in occam-pi; CONPASU-Tool: A Concurrent Process Analysis Support Tool Based on Symbolic Computation; Development of an ML-Based Verification Tool for Timed CSP Processes; Mobile Processes and Call Channels with Variant Interfaces (a Duality); Adding Formal Verification to occam-pi; Subject Index; Author Index |
|
|
|
|
|
|
Sommario/riassunto |
|
This book is a collection of the papers presented at the 33rd Communicating Process Architecture (CPA) conference, held at the University of Limerick, Ireland, 19-22 June, 2011. It was hosted by Lero, the Irish Software Engineering Research Centre, and co-located with FM 2011 (the 17th International Symposium on Formal Methods), SEW-34 (the 34th Annual IEEE Software Engineering Workshop) and several specialist workshops and tutorials. These CPA proceedings contain the results from rich seams of research covering many of the key issues in modern computer science, which all seem to concern concu |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910746956303321 |
|
|
Titolo |
Physical Virology : From the State-of-the-Art Research to the Future of Applied Virology / / edited by Mauricio Comas-Garcia, Sergio Rosales-Mendoza |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2023.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (340 pages) : illustrations (black and white, and color) |
|
|
|
|
|
|
|
|
Collana |
|
Springer Series in Biophysics, , 1868-2561 ; ; 24 |
|
|
|
|
|
|
Altri autori (Persone) |
|
Comas GarcíaMauricio |
Rosales MendozaSergio |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Virology |
Biophysics |
Biomolecules |
Physical biochemistry |
Macromolecules |
Biomechanics |
Biology - Technique |
Genetic engineering |
Structural Biology |
Molecular Biophysics |
Gene Delivery |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Viral RNA as a Branched Polymer -- RNA Multiscale Simulations as an Interplay of Electrostatic, Mechanical Properties, and Structures Inside Viruses -- Establishing the Length Limit of RNA Packaged In Vitro by Spherical Virus-Like Particles -- The Multiple Regulatory Roles of Single-stranded RNA Viral Genomes in Virion Formation and Infection -- Creating Artificial Viruses using Self-assembled Proteins and Polypeptides -- Construction of Higher-order VLP-based Materials and |
|
|
|
|
|
|
|
|
|
|
|
Their Effect on Diffusion and Partitioning -- Assembly of Coronaviruses and CoV-like-particles -- Norovirus – A Viral Capsid in Perpetual Flux -- Structural Alterations in Non-enveloped Viruses During Disassembly -- Physical Virology with Atomic Force and Fluorescence Microscopies: Stability, Disassembly and Genome Release -- Virus Mechanics: A Structure-Based Biological Perspective -- Cryo-electron Microscopy and Cryo-electron Tomography of Viruses -- Bacteriophage Lambda as a Nano Theranostic Platform -- Therapeutic Interfering Particles (tips): Escape-Resistant Antiviral Against SARS-CoV-2. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book highlights key findings generated during the past years from the main disciplines that constitute Physical Virology, from theoretical physics and simulations to material sciences and vaccines development to structural biology. Each chapter is written by world-class scientists from these areas and is a comprehensive review of where this field stands, as well as the future of Physical Virology. The diversity in the formal training of these scientists results in solving common problems using very distinct approaches, which can produce surprising findings. The multi- and interdisciplinary nature of this field has created a remarkable community that aims at understanding how viruses work and how they can be used in material sciences, chemistry, and biomedicine. Furthermore, the development of Physical Virology has resulted in technological advances that have shaped other fields; for example, it would be impossible to think about the development of Cryo-EM to solve the structureof complex viruses with atomic resolution without the contribution of scientists that created the field of Physical Virology. In the past decade, there has been a great success in the generation of viral systems that can encapsulate drugs, non-viral genetic material, or nanoparticles, as well as in the chemical and genetical modification of virions. Without any doubt in the immediate future, some of these technologies will jump from the bench to the market, creating a revolution in translational and biomedical sciences. The book provides key perspectives for the field, derived from expert´s opinions. |
|
|
|
|
|
|
|
| |