الصفحة 3
الصفحة 3
Knowledge Solutions : Tools, Methods, and Approaches to Drive Organizational Performance
Covers topics in knowledge management and competence in strategy development, management techniques, collaboration mechanisms, knowledge sharing and learning, as well as knowledge capture and storage. Presented in accessible “chunks,” it includes more than 120 topics that are essential to high-performance organizations. The extensive use of quotes by respected experts juxtaposed with relevant research to counterpoint or lend weight to key concepts; “cheat sheets” that simplify access and reference to individual articles; as well as the grouping of many of these topics under recurrent themes make this book unique. In addition, it provides scalable tried-and-tested tools, method and approaches for improved organizational effectiveness.
Job Scheduling Strategies for Parallel Processing ; 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papers
Constitutes the thoroughly refereed post-workshop proceedings of the 13th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2007, held in Seattle, WA, USA, in June 2007, in conjunction with the 21st ACM International Conference on Supercomputing, ICS 2007.The 10 revised full research papers presented went through the process of strict reviewing and subsequent improvement. The papers cover all current issues of job scheduling strategies for parallel processing from the supercomputer-centric viewpoint but also address many nontraditional high-performance computing and parallel environments that cannot or need not access a traditional supercomputer.
Civil engineering materials : From theory to practice ; 1st ed.
Presents the state-of-the-art in civil engineering materials, including the fundamental theory of materials needed for civil engineering projects and unique insights from decades of large-scale construction in China. The title includes the latest advances in new materials and techniques for civil engineering, showing the relationship between composition, structure and properties, and covering ultra-high-performance concrete and self-compacting concrete developed in China. This book provides comprehensive coverage of the most commonly used, most advanced materials for use in civil engineering. This volume consists of eight chapters covering the fundamentals of materials, inorganic cementing materials, Portland cement concrete, bricks, blocks and building mortar, metal, wood, asphalt and polymers.
Broadband Opto-Electrical Receivers in Standard CMOS
Broadband Opto-Electrical Receivers in Standard CMOS starts from the basic fundamentals, necessary for the design of opto-electronic interface circuits. The book continues with an in-depth analysis of the photodiode, transimpedance amplifier (TIA) and limiting amplifier (LA). To thoroughly understand the light detection mechanisms in silicon, first a one-dimensional and second a two-dimensional model is developed. Analytical design equations are derived to guide the design of the amplifying circuits. For the TIA, the focus lies on the sensitivity-speed trade-off. For the LA, a high gain-bandwidth is pursued. Several practical design examples reveal the subtleties and challenges encountered during the design of high-performance analog circuits.
Beginning Scala 3 : A functional and Object-Oriented Java Language
Introduces you to the Scala programming language, its object-oriented and functional programming characteristics, and then guides you through Scala constructs and libraries that allow you to assemble small components into high-performance, scalable systems. You will understand why Scala is judiciously used for critical business applications by leading companies such as Twitter, LinkedIn, Foursquare, the Guardian, Morgan Stanley, Credit Suisse, UBS, and HSBC – and you will be able to use it in your own projects. You will: Get started with Scala 3 or Scala language programming in general / Understand how to utilitze OOP in Scala / Perform functional programming in Scala / Master the use of Scala collections, traits and implicits / Leverage Java and Scala interopability / Employ Scala for DSL programming / Use patterns and best practices in Scala
Architecture of computing systems ; 34th International Conference, ARCS 2021, Virtual Event, June 7–8, 2021, Proceedings
This book constitutes the proceedings of the 34th International Conference on Architecture of Computing Systems, ARCS 2021, held virtually in July 2021. The 12 full papers in this volume were carefully reviewed and selected from 24 submissions. 2 workshop papers (VEFRE) are also included. ARCS has always been a conference attracting leading-edge research outcomes in Computer Architecture and Operating Systems, including a wide spectrum of topics ranging from fully integrated, self-powered embedded systems up to high-performance computing systems. It also provides a platform covering newly emerging and cross-cutting topics, such as autonomous and ubiquitous systems, reconfigurable computing and acceleration, neural networks and artificial intelligence. The selected papers cover a variety of topics from the ARCS core domains, including heterogeneous computing, memory optimizations, and organic computing.
Applied mathematics and machine learning
The simultaneous availability of large datasets and high-performance computing capability in recent years has enabled the rapid development of powerful machine learning algorithms. On the one hand, state-of-the-art machine learning techniques have transformed many areas of science and engineering; on the other hand, theoretical discoveries in mathematical algorithms, differential equations, and statistical inferences, to name a few, have provided the foundation for the exploration of new multidisciplinary models for solving practical problems. This Special Issue endeavors to continue the journey that started in our previous Special Issue (Applied Mathematics and Computational Physics) by providing a platform for researchers from both academia and industry, as well as government, to present their new computational methods that have engineering and physics applications.
Analysis of Computer and Communication Networks
Analysis of Computer and Communication Networks presents the academic and research communities with mathematical theory and techniques necessary for analyzing and modeling high-performance global networks, such as the Internet.
Algorithms in Bioinformatics ; 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007, Proceedings
All current issues of algorithms in bioinformatics are addressed, ranging from mathematical tools to experimental studies of approximation algorithms and reports on significant computational analyses. Numerous biological problems are dealt with, including genetic mapping, sequence alignment and sequence analysis, phylogeny, comparative genomics, and protein structure. Furthermore the papers feature high-performance computing approaches to computationally hard learning and optimization problems in bioinformatics and cover methods, software and dataset repositories for development and testing of such algorithms and their underlying models.
Advances in computer systems architecture ; Vol. 3740 ; 10th Asia-Pacific conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings
The papers are organized in topical sections on energy efficient and power aware techniques, methodologies and architectures for application-specific systems, processor architectures and microarchitectures, high-reliability and fault-tolerant architectures, compiler and OS for emerging architectures, data value predictions, reconfigurable computing systems and polymorphic architectures, interconnect networks and network interfaces, parallel architectures and computation models, hardware-software partitioning, verification, and testing of complex architectures, architectures for secured computing, simulation and performance evaluation, architectures for emerging technologies and applications, and memory systems hierarchy and management
Advances in computer systems architecture ; 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007, Proceedings
Covering hardware and software techniques for state-of-the-art multicore and multithreaded architectures.
Advanced parallel processing technologies ; 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings
APPT was upgraded to the International Symposium on Advanced Parallel Processing Technologies. However, it kept its traditional flavor by sharing of the underlying theories and applications, and the establishment of new and long-term collaborative channels. And it will continue to provide a forum for researchers, professionals, and industrial practitioners from around the world to report on new advances in high-performance architecture and software, as well as to identify issues and directions for research and development in the new era of evolving technologies.
Advanced machine learning and deep learning approaches for remote sensing
Provides research on how technologies such as artificial intelligence-based machine learning and deep learning can be applied to remote sensing. Through this, we can see the process of solving the existing problems of image and image signal processing for remote sensing. These techniques are computationally intensive and require the help of high-performance computing devices. With the development of devices such as GPUs, remote sensing technology, and aerial sensing technology, it is possible to monitor the Earth with high-resolution images and to obtain vast amounts of Earth observation data. The papers published in this reprint describe recent advances in big data processing and artificial intelligence-based technologies for remote sensing technology.
A High-Performance Logical Framework -- All About Maude : How to Specify, Program, and Verify Systems in Rewriting Logic
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used throughout the book to illustrate the main ideas and features of Maude, and its many possible uses. Maude modules are rewrite theories. Computation with such modules is - cient deduction by rewriting. Because of its logical basis and its initial model semantics,aMaude module defines a precise mathematical model.This means that Maude and its formal tool environment can be used in three, mutually reinforcing ways: • as a declarative programming language; • as an executable formal specification language; and • as a formal verification system. Maude’s rewriting logic is simple, yet very expressive. This gives Maude good representational capabilities as a semantic framework to formally represent a wide range of systems, including models of concurrency, distributed al- rithms, network protocols, semantics of programming languages, and models of cell biology. Rewriting logic is also an expressive universal logic,making Maude a fiexible logical framework in which many difierent logics and - ference systems can be represented and mechanized. This makes Maude a useful metatool to build many other tools, including those in its own formal tool environment. Thanks to the logic’s simplicity and the use of advanced semi-compilation techniques, Maude has a high-performance implementation, making it competitive with other declarative programming languages.
