Download or read book Particle Based Methods written by Eugenio Oñate and published by Springer Science & Business Media. This book was released on 2011-02-17 with total page 275 pages. Available in PDF, EPUB and Kindle. Book excerpt: The book contains 11 chapters written by relevant scientists in the field of particle-based methods and their applications in engineering and applied sciences. The chapters cover most particle-based techniques used in practice including the discrete element method, the smooth particle hydrodynamic method and the particle finite element method. The book will be of interest to researchers and engineers interested in the fundamentals of particle-based methods and their applications.

Download or read book Invasive Software Composition written by Uwe Aßmann and published by Springer Science & Business Media. This book was released on 2003-02-27 with total page 356 pages. Available in PDF, EPUB and Kindle. Book excerpt: Invasive software composition as a new, component-based way to construct software systems is presented. To improve reuse, this method regards software components as greybox and integrates them during composition. Components are distinct in design, but are merged in implementations, leading to highly integrated and more efficient systems. Building on a minimal set of program transformations, composition operator libraries can be developed that parameterize, extend, connect, mediate, and aspect-weave components. Invasive software composition unifies several software engineering techniques such as generic programming, architecture systems, inheritance, and aspect-oriented programming. The book is centered around the JAVA language and a freely available demonstrator library called COMPOST. The book provides a wealth of material for researchers, students and professional software architects alike.

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.

Download or read book Simulation and Synthesis in Medical Imaging written by David Svoboda and published by Springer Nature. This book was released on 2021-09-21 with total page 154 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 6th International Workshop on Simulation and Synthesis in Medical Imaging, SASHIMI 2021, held in conjunction with MICCAI 2021, in Strasbourg, France, in September 2021.* The 14 full papers presented were carefully reviewed and selected from 18 submissions. The contributions span the following broad categories in alignment with the initial call-for-papers: methods based on generative models or adversarial learning for MRI/CT/ microscopy image synthesis, and several applications of image synthesis and simulation for data augmentation, image enhancement, or segmentation. *The workshop was held virtually.

Download or read book Engineering a Safer World written by Nancy G. Leveson and published by MIT Press. This book was released on 2012-01-13 with total page 555 pages. Available in PDF, EPUB and Kindle. Book excerpt: A new approach to safety, based on systems thinking, that is more effective, less costly, and easier to use than current techniques. Engineering has experienced a technological revolution, but the basic engineering techniques applied in safety and reliability engineering, created in a simpler, analog world, have changed very little over the years. In this groundbreaking book, Nancy Leveson proposes a new approach to safety—more suited to today's complex, sociotechnical, software-intensive world—based on modern systems thinking and systems theory. Revisiting and updating ideas pioneered by 1950s aerospace engineers in their System Safety concept, and testing her new model extensively on real-world examples, Leveson has created a new approach to safety that is more effective, less expensive, and easier to use than current techniques. Arguing that traditional models of causality are inadequate, Leveson presents a new, extended model of causation (Systems-Theoretic Accident Model and Processes, or STAMP), then shows how the new model can be used to create techniques for system safety engineering, including accident analysis, hazard analysis, system design, safety in operations, and management of safety-critical systems. She applies the new techniques to real-world events including the friendly-fire loss of a U.S. Blackhawk helicopter in the first Gulf War; the Vioxx recall; the U.S. Navy SUBSAFE program; and the bacterial contamination of a public water supply in a Canadian town. Leveson's approach is relevant even beyond safety engineering, offering techniques for “reengineering” any large sociotechnical system to improve safety and manage risk.

Download or read book Programming Heterogeneous MPSoCs written by Jerónimo Castrillón Mazo and published by Springer Science & Business Media. This book was released on 2013-09-24 with total page 243 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book provides embedded software developers with techniques for programming heterogeneous Multi-Processor Systems-on-Chip (MPSoCs), capable of executing multiple applications simultaneously. It describes a set of algorithms and methodologies to narrow the software productivity gap, as well as an in-depth description of the underlying problems and challenges of today’s programming practices. The authors present four different tool flows: A parallelism extraction flow for applications written using the C programming language, a mapping and scheduling flow for parallel applications, a special mapping flow for baseband applications in the context of Software Defined Radio (SDR) and a final flow for analyzing multiple applications at design time. The tool flows are evaluated on Virtual Platforms (VPs), which mimic different characteristics of state-of-the-art heterogeneous MPSoCs.

Download or read book Massive MIMO written by Hien Quoc Ngo and published by Linköping University Electronic Press. This book was released on 2015-01-16 with total page 69 pages. Available in PDF, EPUB and Kindle. Book excerpt: The last ten years have seen a massive growth in the number of connected wireless devices. Billions of devices are connected and managed by wireless networks. At the same time, each device needs a high throughput to support applications such as voice, real-time video, movies, and games. Demands for wireless throughput and the number of wireless devices will always increase. In addition, there is a growing concern about energy consumption of wireless communication systems. Thus, future wireless systems have to satisfy three main requirements: i) having a high throughput; ii) simultaneously serving many users; and iii) having less energy consumption. Massive multiple-input multiple-output (MIMO) technology, where a base station (BS) equipped with very large number of antennas (collocated or distributed) serves many users in the same time-frequency resource, can meet the above requirements, and hence, it is a promising candidate technology for next generations of wireless systems. With massive antenna arrays at the BS, for most propagation environments, the channels become favorable, i.e., the channel vectors between the users and the BS are (nearly) pairwisely orthogonal, and hence, linear processing is nearly optimal. A huge throughput and energy efficiency can be achieved due to the multiplexing gain and the array gain. In particular, with a simple power control scheme, Massive MIMO can offer uniformly good service for all users. In this dissertation, we focus on the performance of Massive MIMO. The dissertation consists of two main parts: fundamentals and system designs of Massive MIMO. In the first part, we focus on fundamental limits of the system performance under practical constraints such as low complexity processing, limited length of each coherence interval, intercell interference, and finite-dimensional channels. We first study the potential for power savings of the Massive MIMO uplink with maximum-ratio combining (MRC), zero-forcing, and minimum mean-square error receivers, under perfect and imperfect channels. The energy and spectral efficiency tradeoff is investigated. Secondly, we consider a physical channel model where the angular domain is divided into a finite number of distinct directions. A lower bound on the capacity is derived, and the effect of pilot contamination in this finite-dimensional channel model is analyzed. Finally, some aspects of favorable propagation in Massive MIMO under Rayleigh fading and line-of-sight (LoS) channels are investigated. We show that both Rayleigh fading and LoS environments offer favorable propagation. In the second part, based on the fundamental analysis in the first part, we propose some system designs for Massive MIMO. The acquisition of channel state information (CSI) is very importantin Massive MIMO. Typically, the channels are estimated at the BS through uplink training. Owing to the limited length of the coherence interval, the system performance is limited by pilot contamination. To reduce the pilot contamination effect, we propose an eigenvalue-decomposition-based scheme to estimate the channel directly from the received data. The proposed scheme results in better performance compared with the conventional training schemes due to the reduced pilot contamination. Another important issue of CSI acquisition in Massive MIMO is how to acquire CSI at the users. To address this issue, we propose two channel estimation schemes at the users: i) a downlink "beamforming training" scheme, and ii) a method for blind estimation of the effective downlink channel gains. In both schemes, the channel estimation overhead is independent of the number of BS antennas. We also derive the optimal pilot and data powers as well as the training duration allocation to maximize the sum spectral efficiency of the Massive MIMO uplink with MRC receivers, for a given total energy budget spent in a coherence interval. Finally, applications of Massive MIMO in relay channels are proposed and analyzed. Specifically, we consider multipair relaying systems where many sources simultaneously communicate with many destinations in the same time-frequency resource with the help of a massive MIMO relay. A massive MIMO relay is equipped with many collocated or distributed antennas. We consider different duplexing modes (full-duplex and half-duplex) and different relaying protocols (amplify-and-forward, decode-and-forward, two-way relaying, and one-way relaying) at the relay. The potential benefits of massive MIMO technology in these relaying systems are explored in terms of spectral efficiency and power efficiency.

Download or read book Computational Science ICCS 2021 written by Maciej Paszynski and published by Springer Nature. This book was released on 2021-06-11 with total page 609 pages. Available in PDF, EPUB and Kindle. Book excerpt: The six-volume set LNCS 12742, 12743, 12744, 12745, 12746, and 12747 constitutes the proceedings of the 21st International Conference on Computational Science, ICCS 2021, held in Krakow, Poland, in June 2021.* The total of 260 full papers and 57 short papers presented in this book set were carefully reviewed and selected from 635 submissions. 48 full and 14 short papers were accepted to the main track from 156 submissions; 212 full and 43 short papers were accepted to the workshops/ thematic tracks from 479 submissions. The papers were organized in topical sections named: Part I: ICCS Main Track Part II: Advances in High-Performance Computational Earth Sciences: Applications and Frameworks; Applications of Computational Methods in Artificial Intelligence and Machine Learning; Artificial Intelligence and High-Performance Computing for Advanced Simulations; Biomedical and Bioinformatics Challenges for Computer Science Part III: Classifier Learning from Difficult Data; Computational Analysis of Complex Social Systems; Computational Collective Intelligence; Computational Health Part IV: Computational Methods for Emerging Problems in (dis-)Information Analysis; Computational Methods in Smart Agriculture; Computational Optimization, Modelling and Simulation; Computational Science in IoT and Smart Systems Part V: Computer Graphics, Image Processing and Artificial Intelligence; Data-Driven Computational Sciences; Machine Learning and Data Assimilation for Dynamical Systems; MeshFree Methods and Radial Basis Functions in Computational Sciences; Multiscale Modelling and Simulation Part VI: Quantum Computing Workshop; Simulations of Flow and Transport: Modeling, Algorithms and Computation; Smart Systems: Bringing Together Computer Vision, Sensor Networks and Machine Learning; Software Engineering for Computational Science; Solving Problems with Uncertainty; Teaching Computational Science; Uncertainty Quantification for Computational Models *The conference was held virtually. Chapter “Effective Solution of Ill-posed Inverse Problems with Stabilized Forward Solver” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Download or read book 2001 IEEE International Conference on Systems Man Cybernetics written by Terry Bahill and published by Institute of Electrical & Electronics Engineers(IEEE). This book was released on 2001 with total page 3789 pages. Available in PDF, EPUB and Kindle. Book excerpt: Topics covered in this volume include: systems science; systems engineering; computing and control; cybernetics; decision making; human-machine systems; multimedia and communications; robotics; and applications.

Download or read book Mathematical Models in Biology written by Valeria Zazzu and published by Springer. This book was released on 2015-11-26 with total page 207 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents an exciting collection of contributions based on the workshop “Bringing Maths to Life” held October 27-29, 2014 in Naples, Italy. The state-of-the art research in biology and the statistical and analytical challenges facing huge masses of data collection are treated in this Work. Specific topics explored in depth surround the sessions and special invited sessions of the workshop and include genetic variability via differential expression, molecular dynamics and modeling, complex biological systems viewed from quantitative models, and microscopy images processing, to name several. In depth discussions of the mathematical analysis required to extract insights from complex bodies of biological datasets, to aid development in the field novel algorithms, methods and software tools for genetic variability, molecular dynamics, and complex biological systems are presented in this book. Researchers and graduate students in biology, life science, and mathematics/statistics will find the content useful as it addresses existing challenges in identifying the gaps between mathematical modeling and biological research. The shared solutions will aid and promote further collaboration between life sciences and mathematics.

Download or read book The Fourth Paradigm written by Anthony J. G. Hey and published by . This book was released on 2009 with total page 292 pages. Available in PDF, EPUB and Kindle. Book excerpt: Foreword. A transformed scientific method. Earth and environment. Health and wellbeing. Scientific infrastructure. Scholarly communication.

Download or read book Graph Patterns written by Juan L. Reutter and published by BCS, The Chartered Institute for IT. This book was released on 2014-11-21 with total page 198 pages. Available in PDF, EPUB and Kindle. Book excerpt: Graph data appears in a variety of application domains, including social networks, biological databases and the Semantic Web initiative. In all these applications, the underlying data is naturally modelled as graphs. Once we start querying, matching or transforming these graph databases, we often end up with incompletely specified graph data, in the form of a graph pattern. In turn, queries need to be posed against such data, but techniques for querying patterns are generally lacking, and even simple properties of graph patterns, such as the languages needed to specify them, are not well understood. This dissertation provides a thorough study of graph patterns, offering a theoretical formalisation of graph patterns and studying how to query them and how to use them as queries.

Download or read book Gendered Innovations in Science and Engineering written by Londa L. Schiebinger and published by . This book was released on 2008 with total page 260 pages. Available in PDF, EPUB and Kindle. Book excerpt: The prominent scholars featured in Gendered Innovations in Science and Engineering explore how gender analysis can profoundly enhance human knowledge in the areas of science, medicine, and engineering. Where possible, they provide concrete examples of how taking gender into account has yielded new research results and sparked creativity, opening new avenues for future research. Several government granting agencies, such as the National Institutes of Health and the European Commission, now require that requests for funding address whether, and in what sense, sex and gender are relevant to the objectives and methodologies of the research proposed, yet few research scientists or engineers know how to do gender analysis. This book begins to rectify the situation by shedding light on the how and the why.

Download or read book 2015 41st Euromicro Conference on Software Engineering and Advanced Applications written by and published by . This book was released on 2015 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Age of Information written by Antzela Kosta and published by Foundations and Trends in Networking. This book was released on 2017-11-28 with total page 114 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Age of Information is destined to become an important research topic in networked systems. This monograph provides the reader with an easy-to-read tutorial-like introduction into this novel approach of dealing with the freshness of information within systems.

Download or read book ACI 211 9R 18 Guide to Selecting Proportions for Pumpable Concrete written by ACI Committee 211 and published by . This book was released on 2018-08 with total page 8 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book 2015 41st Euromicro Conference on Software Engineering and Advanced Applications SEAA 2015 written by and published by . This book was released on 2015 with total page 491 pages. Available in PDF, EPUB and Kindle. Book excerpt: