Modeling and Simulation of Invasive Applications and Architectures

Download Modeling and Simulation of Invasive Applications and Architectures PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 9811383871
Total Pages : 168 pages
Book Rating : 4.8/5 (113 download)

DOWNLOAD NOW!


Book Synopsis Modeling and Simulation of Invasive Applications and Architectures by : Sascha Roloff

Download or read book Modeling and Simulation of Invasive Applications and Architectures written by Sascha Roloff and published by Springer. This book was released on 2019-05-30 with total page 168 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book covers two main topics: First, novel fast and flexible simulation techniques for modern heterogeneous NoC-based multi-core architectures. These are implemented in the full-system simulator called InvadeSIM and designed to study the dynamic behavior of hundreds of parallel application programs running on such architectures while competing for resources. Second, a novel actor-oriented programming library called ActorX10, which allows to formally model parallel streaming applications by actor graphs and to analyze predictable execution behavior as part of so-called hybrid mapping approaches, which are used to guarantee real-time requirements of such applications at design time independent from dynamic workloads by a combination of static analysis and dynamic embedding.

A Journey of Embedded and Cyber-Physical Systems

Download A Journey of Embedded and Cyber-Physical Systems PDF Online Free

Author :
Publisher : Springer Nature
ISBN 13 : 3030474879
Total Pages : 181 pages
Book Rating : 4.0/5 (34 download)

DOWNLOAD NOW!


Book Synopsis A Journey of Embedded and Cyber-Physical Systems by : Jian-Jia Chen

Download or read book A Journey of Embedded and Cyber-Physical Systems written by Jian-Jia Chen and published by Springer Nature. This book was released on 2020-07-30 with total page 181 pages. Available in PDF, EPUB and Kindle. Book excerpt: This Open Access book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop “Embedded Systems” held at the Technical University Dortmund in early July 2019 in honor of Professor Marwedel's seventieth birthday. Provides a comprehensive view from leading researchers with respect to the past, present, and future of the design of embedded and cyber-physical systems; Discusses challenges and (potential) solutions from theoreticians and practitioners on modeling, design, analysis, and optimization for embedded and cyber-physical systems; Includes coverage of model verification, communication, software runtime systems, operating systems and real-time computing.

Invasive Computing for Mapping Parallel Programs to Many-Core Architectures

Download Invasive Computing for Mapping Parallel Programs to Many-Core Architectures PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 9811073562
Total Pages : 164 pages
Book Rating : 4.8/5 (11 download)

DOWNLOAD NOW!


Book Synopsis Invasive Computing for Mapping Parallel Programs to Many-Core Architectures by : Andreas Weichslgartner

Download or read book Invasive Computing for Mapping Parallel Programs to Many-Core Architectures written by Andreas Weichslgartner and published by Springer. This book was released on 2017-12-29 with total page 164 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book provides an overview of and essential insights on invasive computing. Pursuing a comprehensive approach, it addresses proper concepts, invasive language constructs, and the principles of invasive hardware. The main focus is on the important topic of how to map task-parallel applications to future multi-core architectures including 1,000 or more processor units. A special focus today is the question of how applications can be mapped onto such architectures while not only taking into account functional correctness, but also non-functional execution properties such as execution times and security properties. The book provides extensive experimental evaluations, investigating the benefits of applying invasive computing and hybrid application mapping to give guarantees on non-functional properties such as timing, energy, and security. The techniques in this book are presented in a step-by-step manner, supported by examples and figures. All proposed ideas for providing guarantees on performance, energy consumption, and security are enabled by using the concept of invasive computing and the exclusive usage of resources.

Embedded Computer Systems: Architectures, Modeling, and Simulation

Download Embedded Computer Systems: Architectures, Modeling, and Simulation PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 3030275620
Total Pages : 486 pages
Book Rating : 4.0/5 (32 download)

DOWNLOAD NOW!


Book Synopsis Embedded Computer Systems: Architectures, Modeling, and Simulation by : Dionisios N. Pnevmatikatos

Download or read book Embedded Computer Systems: Architectures, Modeling, and Simulation written by Dionisios N. Pnevmatikatos and published by Springer. This book was released on 2019-08-09 with total page 486 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 19th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2019, held in Pythagorion, Samos, Greece, in July 2019. The 21 regular papers presented were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on system design space exploration; deep learning optimization; system security; multi/many-core scheduling; system energy and heat management; many-core communication; and electronic system-level design and verification. In addition there are 13 papers from three special sessions which were organized on topics of current interest: insights from negative results; machine learning implementations; and European projects.

Modeling and Simulation Support for System of Systems Engineering Applications

Download Modeling and Simulation Support for System of Systems Engineering Applications PDF Online Free

Author :
Publisher : John Wiley & Sons
ISBN 13 : 1118501721
Total Pages : 640 pages
Book Rating : 4.1/5 (185 download)

DOWNLOAD NOW!


Book Synopsis Modeling and Simulation Support for System of Systems Engineering Applications by : Larry B. Rainey

Download or read book Modeling and Simulation Support for System of Systems Engineering Applications written by Larry B. Rainey and published by John Wiley & Sons. This book was released on 2015-01-05 with total page 640 pages. Available in PDF, EPUB and Kindle. Book excerpt: “...a much-needed handbook with contributions from well-chosen practitioners. A primary accomplishment is to provide guidance for those involved in modeling and simulation in support of Systems of Systems development, more particularly guidance that draws on well-conceived academic research to define concepts and terms, that identifies primary challenges for developers, and that suggests fruitful approaches grounded in theory and successful examples.” Paul Davis, The RAND Corporation Modeling and Simulation Support for System of Systems Engineering Applications provides a comprehensive overview of the underlying theory, methods, and solutions in modeling and simulation support for system of systems engineering. Highlighting plentiful multidisciplinary applications of modeling and simulation, the book uniquely addresses the criteria and challenges found within the field. Beginning with a foundation of concepts, terms, and categories, a theoretical and generalized approach to system of systems engineering is introduced, and real-world applications via case studies and examples are presented. A unified approach is maintained in an effort to understand the complexity of a single system as well as the context among other proximate systems. In addition, the book features: Cutting edge coverage of modeling and simulation within the field of system of systems, including transportation, system health management, space mission analysis, systems engineering methodology, and energy State-of-the-art advances within multiple domains to instantiate theoretic insights, applicable methods, and lessons learned from real-world applications of modeling and simulation The challenges of system of systems engineering using a systematic and holistic approach Key concepts, terms, and activities to provide a comprehensive, unified, and concise representation of the field A collection of chapters written by over 40 recognized international experts from academia, government, and industry A research agenda derived from the contribution of experts that guides scholars and researchers towards open questions Modeling and Simulation Support for System of Systems Engineering Applications is an ideal reference and resource for academics and practitioners in operations research, engineering, statistics, mathematics, modeling and simulation, and computer science. The book is also an excellent course book for graduate and PhD-level courses in modeling and simulation, engineering, and computer science.

Model-Implementation Fidelity in Cyber Physical System Design

Download Model-Implementation Fidelity in Cyber Physical System Design PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 3319473077
Total Pages : 236 pages
Book Rating : 4.3/5 (194 download)

DOWNLOAD NOW!


Book Synopsis Model-Implementation Fidelity in Cyber Physical System Design by : Anca Molnos

Download or read book Model-Implementation Fidelity in Cyber Physical System Design written by Anca Molnos and published by Springer. This book was released on 2016-12-08 with total page 236 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book puts in focus various techniques for checking modeling fidelity of Cyber Physical Systems (CPS), with respect to the physical world they represent. The authors' present modeling and analysis techniques representing different communities, from very different angles, discuss their possible interactions, and discuss the commonalities and differences between their practices. Coverage includes model driven development, resource-driven development, statistical analysis, proofs of simulator implementation, compiler construction, power/temperature modeling of digital devices, high-level performance analysis, and code/device certification. Several industrial contexts are covered, including modeling of computing and communication, proof architectures models and statistical based validation techniques.

The Role of Model Integration in Complex Systems Modelling

Download The Role of Model Integration in Complex Systems Modelling PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 3642156037
Total Pages : 168 pages
Book Rating : 4.6/5 (421 download)

DOWNLOAD NOW!


Book Synopsis The Role of Model Integration in Complex Systems Modelling by : Manish Patel

Download or read book The Role of Model Integration in Complex Systems Modelling written by Manish Patel and published by Springer. This book was released on 2010-10-02 with total page 168 pages. Available in PDF, EPUB and Kindle. Book excerpt: Model integration – the process by which different modelling efforts can be brought together to simulate the target system – is a core technology in the field of Systems Biology. In the work presented here model integration was addressed directly taking cancer systems as an example. An in-depth literature review was carried out to survey the model forms and types currently being utilised. This was used to formalise the main challenges that model integration poses, namely that of paradigm (the formalism on which a model is based), focus (the real-world system the model represents) and scale. A two-tier model integration strategy, including a knowledge-driven approach to address model semantics, was developed to tackle these challenges. In the first step a novel description of models at the level of behaviour, rather than the precise mathematical or computational basis of the model, is developed by distilling a set of abstract classes and properties. These can accurately describe model behaviour and hence describe focus in a way that can be integrated with behavioural descriptions of other models. In the second step this behaviour is decomposed into an agent-based system by translating the models into local interaction rules. The book provides a detailed and highly integrated presentation of the method, encompassing both its novel theoretical and practical aspects, which will enable the reader to practically apply it to their model integration needs in academic research and professional settings. The text is self-supporting. It also includes an in-depth current bibliography to relevant research papers and literature. The review of the current state of the art in tumour modelling provides added value.

Digital Systems and Applications

Download Digital Systems and Applications PDF Online Free

Author :
Publisher : CRC Press
ISBN 13 : 1351838105
Total Pages : 992 pages
Book Rating : 4.3/5 (518 download)

DOWNLOAD NOW!


Book Synopsis Digital Systems and Applications by : Vojin G. Oklobdzija

Download or read book Digital Systems and Applications written by Vojin G. Oklobdzija and published by CRC Press. This book was released on 2017-12-19 with total page 992 pages. Available in PDF, EPUB and Kindle. Book excerpt: New design architectures in computer systems have surpassed industry expectations. Limits, which were once thought of as fundamental, have now been broken. Digital Systems and Applications details these innovations in systems design as well as cutting-edge applications that are emerging to take advantage of the fields increasingly sophisticated capabilities. This book features new chapters on parallelizing iterative heuristics, stream and wireless processors, and lightweight embedded systems. This fundamental text— Provides a clear focus on computer systems, architecture, and applications Takes a top-level view of system organization before moving on to architectural and organizational concepts such as superscalar and vector processor, VLIW architecture, as well as new trends in multithreading and multiprocessing. includes an entire section dedicated to embedded systems and their applications Discusses topics such as digital signal processing applications, circuit implementation aspects, parallel I/O algorithms, and operating systems Concludes with a look at new and future directions in computing Features articles that describe diverse aspects of computer usage and potentials for use Details implementation and performance-enhancing techniques such as branch prediction, register renaming, and virtual memory Includes a section on new directions in computing and their penetration into many new fields and aspects of our daily lives

Modelling, Simulation and Data Analysis in Acoustical Problems

Download Modelling, Simulation and Data Analysis in Acoustical Problems PDF Online Free

Author :
Publisher : MDPI
ISBN 13 : 3039282840
Total Pages : 584 pages
Book Rating : 4.0/5 (392 download)

DOWNLOAD NOW!


Book Synopsis Modelling, Simulation and Data Analysis in Acoustical Problems by : Claudio Guarnaccia

Download or read book Modelling, Simulation and Data Analysis in Acoustical Problems written by Claudio Guarnaccia and published by MDPI. This book was released on 2020-06-23 with total page 584 pages. Available in PDF, EPUB and Kindle. Book excerpt: Modelling and simulation in acoustics is currently gaining importance. In fact, with the development and improvement of innovative computational techniques and with the growing need for predictive models, an impressive boost has been observed in several research and application areas, such as noise control, indoor acoustics, and industrial applications. This led us to the proposal of a special issue about “Modelling, Simulation and Data Analysis in Acoustical Problems”, as we believe in the importance of these topics in modern acoustics’ studies. In total, 81 papers were submitted and 33 of them were published, with an acceptance rate of 37.5%. According to the number of papers submitted, it can be affirmed that this is a trending topic in the scientific and academic community and this special issue will try to provide a future reference for the research that will be developed in coming years.

An Introduction to Cyber Modeling and Simulation

Download An Introduction to Cyber Modeling and Simulation PDF Online Free

Author :
Publisher : John Wiley & Sons
ISBN 13 : 1119420873
Total Pages : 192 pages
Book Rating : 4.1/5 (194 download)

DOWNLOAD NOW!


Book Synopsis An Introduction to Cyber Modeling and Simulation by : Jerry M. Couretas

Download or read book An Introduction to Cyber Modeling and Simulation written by Jerry M. Couretas and published by John Wiley & Sons. This book was released on 2018-10-30 with total page 192 pages. Available in PDF, EPUB and Kindle. Book excerpt: Introduces readers to the field of cyber modeling and simulation and examines current developments in the US and internationally This book provides an overview of cyber modeling and simulation (M&S) developments. Using scenarios, courses of action (COAs), and current M&S and simulation environments, the author presents the overall information assurance process, incorporating the people, policies, processes, and technologies currently available in the field. The author ties up the various threads that currently compose cyber M&S into a coherent view of what is measurable, simulative, and usable in order to evaluate systems for assured operation. An Introduction to Cyber Modeling and Simulation provides the reader with examples of tools and technologies currently available for performing cyber modeling and simulation. It examines how decision-making processes may benefit from M&S in cyber defense. It also examines example emulators, simulators and their potential combination. The book also takes a look at corresponding verification and validation (V&V) processes, which provide the operational community with confidence in knowing that cyber models represent the real world. This book: Explores the role of cyber M&S in decision making Provides a method for contextualizing and understanding cyber risk Shows how concepts such the Risk Management Framework (RMF) leverage multiple processes and policies into a coherent whole Evaluates standards for pure IT operations, "cyber for cyber," and operational/mission cyber evaluations—"cyber for others" Develops a method for estimating both the vulnerability of the system (i.e., time to exploit) and provides an approach for mitigating risk via policy, training, and technology alternatives Uses a model-based approach An Introduction to Cyber Modeling and Simulation is a must read for all technical professionals and students wishing to expand their knowledge of cyber M&S for future professional work.

Real-time Knowledge-based Fuzzy Logic Model for Soft Tissue Deformation

Download Real-time Knowledge-based Fuzzy Logic Model for Soft Tissue Deformation PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 3030155854
Total Pages : 88 pages
Book Rating : 4.0/5 (31 download)

DOWNLOAD NOW!


Book Synopsis Real-time Knowledge-based Fuzzy Logic Model for Soft Tissue Deformation by : Joey Sing Yee Tan

Download or read book Real-time Knowledge-based Fuzzy Logic Model for Soft Tissue Deformation written by Joey Sing Yee Tan and published by Springer. This book was released on 2019-04-06 with total page 88 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book provides a real-time and knowledge-based fuzzy logic model for soft tissue deformation. The demand for surgical simulation continues to grow, as there is a major bottleneck in surgical simulation designation and every patient is unique. Deformable models, the core of surgical simulation, play a crucial role in surgical simulation designation. Accordingly, this book (1) presents an improved mass spring model to simulate soft tissue deformation for surgery simulation; (2) ensures the accuracy of simulation by redesigning the underlying Mass Spring Model (MSM) for liver deformation, using three different fuzzy knowledge-based approaches to determine the parameters of the MSM; (3) demonstrates how data in Central Processing Unit (CPU) memory can be structured to allow coalescing according to a set of Graphical Processing Unit (GPU)-dependent alignment rules; and (4) implements heterogeneous parallel programming for the distribution of grid threats for Computer Unified Device Architecture (CUDA)-based GPU computing.

New Advances in Mechanisms, Transmissions and Applications

Download New Advances in Mechanisms, Transmissions and Applications PDF Online Free

Author :
Publisher : Springer Nature
ISBN 13 : 3031298152
Total Pages : 416 pages
Book Rating : 4.0/5 (312 download)

DOWNLOAD NOW!


Book Synopsis New Advances in Mechanisms, Transmissions and Applications by : Med Amine Laribi

Download or read book New Advances in Mechanisms, Transmissions and Applications written by Med Amine Laribi and published by Springer Nature. This book was released on 2023-04-15 with total page 416 pages. Available in PDF, EPUB and Kindle. Book excerpt: Gathering the proceedings of the 6th IFToMM International Conference on Mechanisms, Transmissions, and Applications (MeTrApp), held in Poitiers, France, on May 24-26, 2023, this volume covers topics such as mechanism and machinery design, parallel manipulators, robotics and mechatronics, control applications, mechanical transmissions, cam and gear mechanisms, and dynamics of machinery. MeTrApp 2019 provided researchers, scientists, industry experts, and graduate students from around the globe with a platform to share their cutting-edge work on mechanisms, transmissions, and their applications. The proceedings extend this platform to all researchers, scientists, industry experts, and students interested in these fields.

Biomedical Imaging

Download Biomedical Imaging PDF Online Free

Author :
Publisher : CRC Press
ISBN 13 : 0203491408
Total Pages : 360 pages
Book Rating : 4.2/5 (34 download)

DOWNLOAD NOW!


Book Synopsis Biomedical Imaging by : Karen M. Mudry

Download or read book Biomedical Imaging written by Karen M. Mudry and published by CRC Press. This book was released on 2003-03-26 with total page 360 pages. Available in PDF, EPUB and Kindle. Book excerpt: Comprised of chapters carefully selected from CRC‘s best-selling engineering handbooks, volumes in the Principles and Applications in Engineering series provide convenient, economical references sharply focused on particular engineering topics and subspecialties. Culled from the Biomedical Engineering Handbook, Biomedical Imaging

Large-Scale Simulation

Download Large-Scale Simulation PDF Online Free

Author :
Publisher : CRC Press
ISBN 13 : 1439868867
Total Pages : 262 pages
Book Rating : 4.4/5 (398 download)

DOWNLOAD NOW!


Book Synopsis Large-Scale Simulation by : Dan Chen

Download or read book Large-Scale Simulation written by Dan Chen and published by CRC Press. This book was released on 2012-05-29 with total page 262 pages. Available in PDF, EPUB and Kindle. Book excerpt: Large-Scale Simulation: Models, Algorithms, and Applications gives you firsthand insight on the latest advances in large-scale simulation techniques. Most of the research results are drawn from the authors’ papers in top-tier, peer-reviewed, scientific conference proceedings and journals. The first part of the book presents the fundamentals of large-scale simulation, including high-level architecture and runtime infrastructure. The second part covers middleware and software architecture for large-scale simulations, such as decoupled federate architecture, fault tolerant mechanisms, grid-enabled simulation, and federation communities. In the third part, the authors explore mechanisms—such as simulation cloning methods and algorithms—that support quick evaluation of alternative scenarios. The final part describes how distributed computing technologies and many-core architecture are used to study social phenomena. Reflecting the latest research in the field, this book guides you in using and further researching advanced models and algorithms for large-scale distributed simulation. These simulation tools will help you gain insight into large-scale systems across many disciplines.

Symbolic Parallelization of Nested Loop Programs

Download Symbolic Parallelization of Nested Loop Programs PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 3319739093
Total Pages : 176 pages
Book Rating : 4.3/5 (197 download)

DOWNLOAD NOW!


Book Synopsis Symbolic Parallelization of Nested Loop Programs by : Alexandru-Petru Tanase

Download or read book Symbolic Parallelization of Nested Loop Programs written by Alexandru-Petru Tanase and published by Springer. This book was released on 2018-02-22 with total page 176 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book introduces new compilation techniques, using the polyhedron model for the resource-adaptive parallel execution of loop programs on massively parallel processor arrays. The authors show how to compute optimal symbolic assignments and parallel schedules of loop iterations at compile time, for cases where the number of available cores becomes known only at runtime. The compile/runtime symbolic parallelization approach the authors describe reduces significantly the runtime overhead, compared to dynamic or just‐in-time compilation. The new, on‐demand fault‐tolerant loop processing approach described in this book protects loop nests for parallel execution against soft errors.

Network-Based Parallel Computing Communication, Architecture, and Applications

Download Network-Based Parallel Computing Communication, Architecture, and Applications PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 3540488693
Total Pages : 232 pages
Book Rating : 4.5/5 (44 download)

DOWNLOAD NOW!


Book Synopsis Network-Based Parallel Computing Communication, Architecture, and Applications by : Anand Sivasubramaniam

Download or read book Network-Based Parallel Computing Communication, Architecture, and Applications written by Anand Sivasubramaniam and published by Springer. This book was released on 2006-12-29 with total page 232 pages. Available in PDF, EPUB and Kindle. Book excerpt: Clusters of workstations/PCs connected by o?-the-shelf networks have become popular as a platform for cost-e?ective parallel computing. Hardware and so- ware technological advances have made this network-based parallel computing platform feasible. A large number of research groups from academia and industry are working to enhance the capabilities of such a platform, thereby improving its cost-e?ectiveness and usability. These developments are facilitating the mig- tion of many existing applications as well as the development of new applications on this platform. Continuing in the tradition of the two previously successful workshops, this 3rd Workshop on Communication, Architecture and Applications for Netwo- based Parallel Computing (CANPC’99) has brought together researchers and practitioners working in architecture, system software, applications and perf- mance evaluation to discuss state-of-the-art solutions for network-based parallel computing systems. This workshop has become an excellent forum for timely dissemination of ideas and healthy interaction on topics at the cutting edge in cluster computing technology. Each submitted paper underwent a rigorous review process, and was assigned to at least 3 reviewers, including at least 2 program committee members. Each paper received at least 2 reviews, most received 3 and some even had 4 reviews.

Biomimetic Research for Architecture and Building Construction

Download Biomimetic Research for Architecture and Building Construction PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 3319463748
Total Pages : 408 pages
Book Rating : 4.3/5 (194 download)

DOWNLOAD NOW!


Book Synopsis Biomimetic Research for Architecture and Building Construction by : Jan Knippers

Download or read book Biomimetic Research for Architecture and Building Construction written by Jan Knippers and published by Springer. This book was released on 2016-12-19 with total page 408 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book comprises a first survey of the Collaborative Research Center SFB-TRR 141 ‘Biological Design and Integrative Structures – Analysis, Simulation and Implementation in Architecture’, funded by the Deutsche Forschungsgemeinschaft since October 2014. The SFB-TRR 141 provides a collaborative framework for architects and engineers from the University of Stuttgart, biologists and physicists from the University of Freiburg and geoscientists and evolutionary biologists from the University of Tübingen. The programm is conceptualized as a dialogue between the disciplines and is based on the belief that that biomimetic research has the potential to lead everyone involved to new findings far beyond his individual reach. During the last few decades, computational methods have been introduced into all fields of science and technology. In architecture, they enable the geometric differentiation of building components and allow the fabrication of porous or fibre-based materials with locally adjusted physical and chemical properties. Recent developments in simulation technologies focus on multi-scale models and the interplay of mechanical phenomena at various hierarchical levels. In the natural sciences, a multitude of quantitative methods covering diverse hierarchical levels have been introduced. These advances in computational methods have opened a new era in biomimetics: local differentiation at various scales, the main feature of natural constructions, can for the first time not only be analysed, but to a certain extent also be transferred to building construction. Computational methodologies enable the direct exchange of information between fields of science that, until now, have been widely separated. As a result they lead to a new approach to biomimetic research, which, hopefully, contributes to a more sustainable development in architecture and building construction.