Dependable software engineering : Theories, tools, and applications ; 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020. The 10 full and 1 short paper included in this volume were carefully reviewed and selected from 20 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.
Deep learning architecture and application
As one of the fastest-growing topics in machine learning, deep learning algorithms have achieved unprecedented success in recent years. Novel paradigms (such as contrastive learning and few-shot learning) in deep learning and rising neural network architectures (e.g., transformer and masked autoencoder) are dramatically changing the field of data-driven algorithms. More importantly, deep learning models are redefining the next generation of industrial applications spanning image recognition, speech processing, language translation, healthcare, and other sciences. For example, recent advances in deep representation learning are allowing us to learn about protein 3D structures, which sheds new light on fundamental medicine and biology along with potentially bringing in billions of dollars (e.g., in the pharmaceutical market).
Data augmented design : Embracing new data for sustainable urban planning and design
This book offers an essential introduction to a new urban planning and design methodology called Data Augmented Design (DAD) and its evolution and progresses, highlighting data driven methods, urban planning and design applications and related theories. The authors draw on many kinds of data, including big, open, and conventional data, and discuss cutting-edge technologies that illustrate DAD as a future-oriented design framework in terms of its focus on multi-data, multi-method, multi-stage and multi-scale sustainable urban planning. In four sections and ten chapters, the book presents case studies to address the core concepts of DAD, the first type of applications of DAD that emerged in redevelopment-oriented planning and design, the second type committed to the planning and design for urban expansion, and the future-oriented applications of DAD to advance sustainable technologies and the future structural form of the built environment. The book is geared towards a broad readership, ranging from researchers and students of urban planning, urban design, urban geography, urban economics, and urban sociology, to practitioners in the areas of urban planning and design.
Cyber Security ; 18th China Annual Conference, CNCERT 2021, Beijing, China, July 20–21, 2021, revised selected papers
This book constitutes the refereed proceedings of the 17th International Annual Conference on Cyber Security, CNCERT 2021, held in Beijing, China, in AJuly 2021. The 14 papers presented were carefully reviewed and selected from 51 submissions. The papers are organized according to the following topical sections: data security; privacy protection; anomaly detection; traffic analysis; social network security; vulnerability detection; text classification.
Cyber security ; 17th China Annual Conference, CNCERT 2020, Beijing, China, August 12, 2020, revised selected papers
This book constitutes the refereed proceedings of the 16th International Annual Conference on Cyber Security, CNCERT 2020, held in Beijing, China, in August 2020.
Customer service marketing : Managing the customer experience
Covers important concepts in service design and delivery including customer experiences, peer-to-peer services, the organization’s servicescape, quality measurement tools, and use of technologies. The book also gives insights into consumers including their expectations, attitudes, emotions, word-of-mouth behaviors, and strategies to ensure their loyalty.
Current Trends in High Performance Computing and Its Applications ; Proceedings of the International Conference on High Performance Computing and Applications, August 8-10, 2004, Shanghai, P.R. China
This book contains variety of subjects in modern high performance computing and its applications, such as numerical and software algorithm design and analysis, grid computing advance, adaptive and par- lel algorithm development, distributing debugging tools, computational grid and network environment design, computer simulation and visualization, and computational language study and their applications to science, engineering, and medicine.
Control and Estimation of Systems with Input/Output Delays
Time delays exist in many engineering systems such as transportation, communication, process engineering and networked control systems. This monograph presents simple analytical solutions to control and estimation problems for systems with multiple i/o delays via elementary tools such as projection.
Computer vision for biomedical image applications
The purpose of this book is to submit the workshop, “Computer Vision for Biomedical Image Applications: Current Techniques and Future Trends” (CVBIA), is to examine the diverse applications of computer vision to biomedical image applications, considering both current methods and promising new trends. An additional goal is to provide the opportunity for direct interactions between (1) prominent senior researchers and young scientists, including students, postdoctoral associates and junior faculty; (2) local researchers and international leaders in biomedical image analysis; and (3) computer scientists and medical practitioners. Our CVBIA workshop had two novel characteristics: each contributed paper was authored primarily by a young scientist, and the workshop attracted an unusually large number of well-respected invited speakers (and their papers).
Computational Fluid Dynamics : Applications in Water, Wastewater and Stormwater Treatment
Provides a valuable introduction and overview of computational fluid dynamics and how it can be used in the water and wastewater industry. This book reviews procedures for conducting flow, transport, and reaction simulations using computational fluid dynamics along with specific practical examples.
Combinatorics, Algorithms, Probabilistic and Experimental Methodologies ; 1st International Symposium, ESCAPE 2007, Hangzhou, China, April 7-9, 2007, Revised Selected Papers
This book address practical large data processing problems with different, and eventually converging, methodologies from major important disciplines such as computer science, combinatorics, and statistics. The symposium provides an interdisciplinary forum for researchers across their discipline boundaries to exchange their approaches, to search for ideas, methodologies, and tool boxes, to find better, faster and more accurate solutions thus fostering innovative ideas as well as to develop research agenda of common interest.
Combinatorial pattern matching ; 18th Annual Symposium, CPM 2007, London, Canada, July 9-11, 2007, Proceedings
This book presented original research contri- tions on computational pattern matching and analysis, data compression and compressed text processing, sufix arrays and trees, and computational biology. Combinatorial Pattern Matching addresses issues of searching and matching strings and more complicated patterns such as trees, regular expressions, graphs, point sets, and arrays.The goal is to derive non-trivial combinatorial properties of such structures and to exploit these properties in order to either achieve superior performance for the corresponding computational problems or pinpoint conditions under which searches cannot be performed eficiently.
Combinatorial optimization and applications ; 14th International Conference, COCOA 2020, Dallas, TX, USA, December 11–13, 2020, Proceedings
This volume constitutes the proceedings of the 14th International Conference on Combinatorial Optimization and Applications, COCOA 2020, held in Dallas, TX, USA, in December 2020. The 55 full papers presented in this volume were carefully reviewed and selected from 104 submissions. The papers are grouped into the following topics: Approximation Algorithms; Scheduling; Network Optimization; Complexity and Logic; Search, Facility and Graphs; Geometric Problem; Sensors, Vehicles and Graphs; and Graph Problems.
Cloud Computing, Smart Grid and Innovative Frontiers in Telecommunications ; 9th EAI International Conference, CloudComp 2019, and 4th EAI International Conference, SmartGIFT 2019, Beijing, China, December 4-5, 2019, and December 21-22, 2019
Constitutes the refereed proceedings of the 9thInternational Conference on Cloud Computing, CloudComp 2019, and the 4th International Conference on Smart Grid and Innovative Frontiers in Telecommunications, SmartGIFT 2019, both held in Beijing, China, in December 2019. The55 full papers of both conferences were selected from 113 submissions. CloudComp 2019 presents recent advances and experiences in clouds, cloud computing and related ecosystems and business support. The papers are grouped thematically in tracks on cloud architecture and scheduling; cloud-based data analytics; cloud applications; and cloud security and privacy. SmartGIFT 2019 focus on all aspects of smart grids and telecommunications, broadly understood as the renewable generation and distributed energy resources integration, computational intelligence applications, information and communication technologies.
Knowledge science, engineering and management ; 2nd International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings
Constitutes the refereed proceedings of the Second International Conference on Knowledge Science, Engineering and Management, KSEM 2007, held in Melbourne, Australia, in November 2007. The papers provide new ideas and report research results in the broad areas of knowledge science, knowledge engineering, and knowledge management.
Computational and Statistical Approaches to Genomics
Computational and Statistical Approaches to Genomics, 2nd Edition, aims to help researchers deal with current genomic challenges. During the three years after the publication of the first edition of this book, the computational and statistical research in genomics have become increasingly more important and indispensable for understanding cellular behavior under a variety of environmental conditions and for tackling challenging clinical problems. In the first edition, the organizational structure was: data à analysis à synthesis à application. In the second edition, the same structure remains, but the chapters that primarily focused on applications have been deleted.
Computational and Information Science ; 1st International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004, Proceedings
this book present the proceedings of The 2004 International Symposium on Computational and Information Sciences (CIS 2004) aimed at bringing researchers in the area of computational and - formation sciences together to exchange new ideas and to explore new ground. The goal of the conference was to push the application of modern computing technologies to science, engineering, and information technologies to a new level of sophistication and understanding.
Chinese Computational Linguistics ; 19th China National Conference, CCL 2020, Hainan, China, October 30 – November 1, 2020, Proceedings
This book constitutes the proceedings of the 19th China National Conference on Computational Linguistics, CCL 2020, held in Hainan, China, in October/November 2020. The 32 full and 2 short papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: fundamental theory and methods of computational linguistics; information retrieval, dialogue and question answering; text generation and summarization; knowledge graph and information extraction; machine translation and multilingual information processing; minority language information processing; language resource and evaluation; social computing and sentiment analysis; and NLP applications.
Cerebral vasospasm : New strategies in research and treatment
More than 90 papers give a summary of clinical and basic studies on cerebral vasospasm, including reviews by leading researchers in this field. Several new frontiers are proposed for future research directions that will not only promote research from neurosurgery and neurology but also from other interconnecting fields of emergency medicine, electrophysiology, molecular biology, and vascular biology.
Average-Cost Control of Stochastic Manufacturing Systems
This book is concerned with hierarchical control of manufacturing systems under uncertainty. It focuses on system performance measured in long-run average cost criteria, exploring the relationship between control problems with a discounted cost and that with a long-run average cost in connection with hierarchical control. A new theory is articulated that shows that hierarchical decision making in the context of a goal-seeking manufacturing system can lead to a near optimization of its objective. The approach in the book considers manufacturing systems in which events occur at different time scales.



















