الصفحة 15
الصفحة 15
Advances in microwave and radio frequency processing ; Report from the 8th International conference on microwave and high-frequency heating held in Bayreuth, Germany, September 3-7, 2001
Recent applications of microwave and high-frequency radiation in the field of materials processing, chemical synthesis, food processing and in the biomedical area are presented. The book also covers fundamentals of matter radiation interaction, modeling of processes, hardware development, measurement techniques as well as current regulations for industrial applications of microwave and radio frequency heating.
Advances in Information and Computer Security ; 16th International Workshop on Security, IWSEC 2021, Virtual Event, September 8–10, 2021, Proceedings
Constitutes the refereed proceedings of the 16th International Workshop on Security, IWSEC 2021, held in Tokyo, Japan in September 2021. The conference was held virtually due to COVID-19 pandemic. The 14 regular papers and 3 short paper presented in this volume were carefully reviewed and selected from 37 submissions. They were organized in topical sections named: Lattice-Based Cryptography; System Security; Multiparty Computation; Machine Learning and Security; Post-quantum Cryptography; Symmetric-key Cryptography; Game Theory and Security.
Advances in informatics ; 10th Panhellenic Conference on informatics, PCI 2005, Volas, Greece, November 11-13, 2005, Proceedings
This volume contains a subset of the papers presented at the 10th Panhellenic Conference in Informatics (PCI 2005), which took place at the , Greece, Of the submitted papers, 81 were accepted for inclusion in this volume, papers are classi?ed into 17 thematic sections as follows: – data bases and data mining – algorithms and theoretical foundations – cultural and museum information systems – Internet-scale software/information systems – wearable and mobile computing – computer graphics, virtual reality and visualization – AI, machine learning and knowledge bases – languages, text and speech processing – bioinformatics – software engineering – educational technologies – e-business – computer and sensor hardware and architecture – computer security – image and video processing – signal processing and telecommunications – computer and sensor networks
Advances in image enhancement
In the era of the internet of things, images have played important roles in human–computer interactions, and with the arrival of big data technology, people have higher requirements regarding image quality, especially for images collected in dark light. This can be addressed through the development of camera hardware quality, i.e., the resolution and exposure time of cameras, which may require high computational costs. As an alternative, image enhancement techniques can exact salient features to improve the quality of captured images according to the differences in diverse features, although they suffer from some challenges, i.e., a low contrast, artifacts, and overexposure, thus making it decidedly necessary to determine how to use advanced image enhancement techniques.
Advances in Image and Video Technology ; 2nd Pacific Rim Symposium, PSIVT 2007 Santiago, Chile, December 17-19, 2007 Proceedings
The aim of the symposium was to promote and disseminate ongoing research on multi- dia hardware and image sensor technologies, graphics and visualization, image analysis, multiple view imaging and processing, computer vision applications, image and video coding, and multimedia processing. The volume is a realization of the ongoing success of the Pacific Rim Symposium on Video and Image Te- nology
Advances in Evolutionary Computing for System Design
Evolutionary computing paradigms offer robust and powerful adaptive search mechanisms for system design. This book includes thirteen chapters covering a wide area of topics in evolutionary computing and applications including: -Introduction to evolutionary computing in system design - Evolutionary neuro-fuzzy systems - Evolution of fuzzy controllers - Genetic algorithms for multi-classifier design -Evolutionary grooming of traffic -Evolutionary particle swarms -Fuzzy logic systems using genetic algorithms - Evolutionary algorithms and immune learning for neural network-based controller design - Distributed problem solving using evolutionary learning -Evolutionary computing within grid environment -Evolutionary game theory in wireless mesh networks - Hybrid multiobjective evolutionary algorithms for the sailor assignment problem - Evolutionary techniques in hardware optimization
Advances in Electronic Testing : Challenges and Methodologies
The book is a comprehensive elaboration on important topics which capture major research and development efforts today. The motivation and inspiration behind this book is to deliver a thorough text that focuses on the evolution of test technology, provides insight about the abiding importance of discussed topics, records today’s state of the art and industrial practices and trends, reveals the challenges for emerging testing methodologies, and envisages the future of this journey. The book consists of eleven edited chapters written by experts in Defect-Oriented Testing, Nanometer Technologies Failures and Testing, Silicon Debug, Delay Testing, High-Speed Test Interfaces, DFT-Oriented Low-Cost Testers, Embedded Cores and System-on-Chip Testing, Memory Testing, Mixed-Signal Testing, RF Testing and Loaded Board Testing.
Advances in databases and information systems ; 25th European Conference, ADBIS 2021, Tartu, Estonia, August 24–26, 2021, Proceedings
This book constitutes the proceedings of the 25th European Conference on Advances in Databases and Information Systems, ADBIS 2021, held in Tartu, Estonia, in August 2021. The 18 full papers presented together with 3 keynotes were carefully reviewed and selected from 70 submissions. The selected papers span a wide spectrum of topics in databases and related technologies, tackling challenging problems and presenting inventive and efficient solutions. They are organized in 5 sessions: patterns and events, social media and text mining, indexes, queries and constraints, high-dimensional data and data streams, and data integration.
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.
Advances in Building Information Modeling ; 1st Eurasian BIM Forum, EBF 2019, Istanbul, Turkey, May 31, 2019, Revised Selected Papers
Constitutes the refereed proceedings of the First Eurasian BIM Forum, EBF 2019, held in Istanbul, Turkey, in May 2019. The 16 full papers were carefully reviewed and selected from 44 submissions. The papers cover such topics as BIM adoption and implementation; BIM for project management; BIM for sustainability and performative design; BIM and facility management and infrastructural issues.
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 encryption standard - AES ; 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers
This volume comprises the proceedings of the 4th Conference on Advanced En-cryption Standard, ‘AES — State of the Crypto Analysis,’ which was held inBonn, Germany, 2004.The conference followed a series of events organized by the US National In-stitute of Standards and Technology (NIST) in order to hold an internationalcompetition to decide on an algorithm to serve as the Advanced EncryptionStandard (AES). In 1998, at the first AES conference (AES 1), 15 different algo-rithms were presented, discussed, reviewed and verified. After a further conferencedevoted to verification, testing and examination of the candidate algorithms inorder to prove their performance and security, one winning algorithm remained.The encryption scheme Rijndael, designed by the Belgian cryptographers JoanDaemen and Vincent Rijmen, was selected in 2000 to become the successor tothe famous DES (Data Encryption Standard) and it is now the Advanced En-cryption Standard.
Advanced Concepts for Intelligent Vision Systems ; Vol. 4179 ; 8th International Conference, ACIVS 2006, Antwerp, Belgium, September 18-21, 2006, Proceedings
This book constitutes the refereed proceedings of the 8th International Conference on Advanced Concepts for Intelligent Vision Systems, ACIVS 2006, held in Antwerp, Belgium in September 2006. The 45 revised full papers and 65 revised poster papers presented were carefully reviewed and selected from around 242 submissions. The papers are organized in topical sections on noise reduction and restoration, segmentation, motion estimation and tracking, video processing and coding, camera calibration, image registration and stereo matching, biometrics and security, medical imaging, image retrieval and image understanding, as well as classification and recognition.
Advanced Concepts for Intelligent Vision Systems ; 9th International Conference, ACIVS 2007, Delft, The Netherlands, August 28-31, 2007, Proceedings
This volume collects the papers accepted for presentation at the Ninth International Conference on “Advanced Concepts for Intelligent Vision Systems”The ACIVS conference was established in 1999 in Baden-Baden (Germany) as part of a large m ulticonference. Since then ACIVS has been developed as an independent scientific event and has maintained the tradition of being a single track event with oral presentations of 25 minutes each, even though the number of participants has been steadily growing every year. The conference currently attracts computer scientists from more than 20 countries, mostly from Europe, Australia and Japan, but also from the USA, Asia and the Middle East.
Adaptive Multi-Standard RF Front-Ends
Adaptive Multi-Standard RF Front-Ends investigates solutions, benefits, limitations and costs related to multi-standard operation of RF front-ends and their adaptivity to variable radio environments. Next, it highlights the optimization of RF front-ends that allow achieving of maximal performance with a certain power budget while targeting full integration. Also, it investigates possibilities for low-voltage low-power circuit topologies in CMOS technology.
Accelerator Programming Using Directives ; 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers
This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming Using Directives, WACCPD 2019, held in Denver, CO, USA, in November 2019. The 7 full papers presented have been carefully reviewed and selected from 13 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are organized in the following three sections: porting scientific applications to heterogeneous architectures using directives; directive-based programming for math libraries; and performance portability for heterogeneous architectures.
A Practical Introduction to PSL
Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. This book is also of interest to students of temporal logic. The formal semantics of PSL are included as an appendix, and bibliographical notes include pointers to some of the main theoretical works.
A Platform-Centric Approach to System-on-Chip (SOC) Design
The book proposes a new methodology for realizing platform-centric design of complex systems, and presents a detailed plan for its implementation. The proposed plan allows component vendors, system integrators and product developers to collaborate effectively and efficiently to create complex products within budget and schedule constraints.
25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Model checking is extensively used in the hardware industry and has also been applied to the verification of many types of software. Model checking has been introduced into computer science and electrical engineering curricula at universities worldwide and has become a universal tool for the analysis of systems.
