الصفحة 7
الصفحة 7
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences : A Reference Model Guided Approach for Common Challenges
Summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together more than 20 environmental and Earth science research infrastructures into a single community.
Towards a Service-Based Internet ; 1st European Conference, ServiceWave 2008, Madrid, Spain, December 10-13, 2008. Proceedings
This volume includes adaption/monitoring, model driven architecture, network services, service oriented architecture, business process management, deployment/invocation, security, workflow as well as SLA/QoS.
Toward Artificial Sapience : Principles and Methods for Wise Systems
This book presents computational paradigms describing lower- and higher-level cognitive functions, including mechanisms of concepts, instincts, emotions, situated behavior, language communication and social functioning. Hierarchical organization of the mind is considered, leading to explanations of the highest human capabilities for the beautiful and sublime. A diverse international set of authors discuss Artificial / Computational Sapience and Sapient Systems in this unique and useful volume.
Topics in cryptology - CT-RSA 2008 ; The cryptographers’ track at the RSA Conference 2008, San Francisco, CA, USA, April 8-11, 2008. Proceedings
This book includes : hash function cryptanalysis, cryptographic building blocks, fairness in secure computation, message authentication codes, improved aes implementations, public key encryption with special properties, side channel cryptanalysis, cryptography for limited devices, invited talk, key exchange, cryptanalysis, and cryptographic protocols.
Topics in cryptology -- CT-RSA 2006 ; The cryptographers' track at the RSA Conference 2006, San Jose, CA, USA, February 13-17, 2005, Proceedings
This book constitutes the refereed proceedings of the Cryptographers’ Track at the RSA Conference 2006,held in San Jose, CA, USA, February 13-17, 2005. The RSA R Conference, with over 15,000attendees, as well as over 225 sponsors and exhibitors, is the largest computer security event of the year. The Cr- tographers’ Track is one of the many parallel tracks. These proceedings contain the papers presented during the sixth edition. The tradition indeed started in 2001, and is by now well established: the Cryptographers’ Track at the RSA Conference is among the major events in cryptography. There were 72 submitted contributions, of which 22 were selected for p- sentation. They cover all aspects of cryptography (symmetric and asymmetric cryptography, constructions and attacks, new trends).
Topics in Acoustic Echo and Noise Control : Selected Methods for the Cancellation of Acoustical Echoes, the Reduction of Background Noise, and Speech Processing
In this book, an international team of highly qualified experts treats important topics in acoustic echo and noise control and reports the latest developments. Methods for enhancing the quality of speech signals are gaining growing attention in universities and in industrial development laboratories.
Topic and Focus : Cross-Linguistic Perspectives on Meaning and Intonation
This book contains a collection of papers exploring the cross-linguistic expression of topic and focus. A diverse set of perspectives from some of the leading scholars in the areas of semantics and intonation are represented in the collection.
Tools for High Performance Computing ; Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart
To support application developers in the various tasks involved in this process, several different tools need to be at his or her disposal. This workshop will give the users an overview of the existing tools in the area of integrated development environments for clusters, various parallel debuggers, and new-style performance analysis tools, as well as an update on the state of the art of long-term research tools, which have advanced to an industrial level. The proceedings of the 2nd Parallel Tools Workshop guide participants by providing a technical overview to help them decide upon which tool suits the requirements for the development task at hand. Additionally, through the hands-on sessions, the workshop will enable the user to immediately deploy the tools.
Tools and Algorithms for the Construction and Analysis of Systems ; 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.
Tools and algorithms for the construction and analysis of systems ; 28th International Conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, part I
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.
Tools and algorithms for the construction and analysis of systems ; 27th International conference, TACAS 2021, Held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II
This two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021.
Tools and Algorithms for the Construction and Analysis of Systems ; 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I
This two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.
Tools and Algorithms for the Construction and Analysis of Systems ; 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation.
Time-Varying Network Optimization
Network flow optimization analyzes optimization problems on networks; hence, network optimization is reflected in many application fields including transportation, telecommunication, computer networking, financial planning, logistics and supply chain management, energy systems, etc. However, to date, most network optimization problems that have been studied are static network optimization problems. But "real world networks" are time-varying in essence, and therefore any flow within a network must take a certain amount of time to traverse an arc. Moreover, the parameters of "real world networks" may change over time.
Time--Frequency and Time--Scale Methods : Adaptive Decompositions, Uncertainty Principles, and Sampling
Developed in this book are several deep connections between time--frequency (Fourier/Gabor) analysis and time--scale (wavelet) analysis, emphasizing the powerful adaptive methods that emerge when separate techniques from each area are properly assembled in a larger context. While researchers at the forefront of developments in time--frequency and time--scale analysis are well aware of the benefits of such a unified approach, there remains a knowledge gap in the larger community of practitioners about the precise strengths and limitations of Fourier/Gabor analysis versus wavelets. This book fills that gap by presenting the interface of time--frequency and time--scale methods as a rich area of work.
Three-Dimensional Television : Capture, Transmission, Display
3DTV require the integration of a diversity of key technologies from computing to graphics, imaging to display, and signal processing to communications. The scope of this book reflects this diversity: different chapters deal with different stages of an end-to-end 3DTV system such as capture, representation, coding, transmission, and display. Both autostereoscopic techniques which eliminate the need for special glasses and allow viewer movement, and holographic approaches which have the potential to provide the truest three-dimensional images, are covered. Some chapters discuss current research trends in 3DTV technology, while others address underlying topics.
Theory of Quantum Computation, Communication, and Cryptography ; 3rd Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers
This book focus on theoretical aspects of quantum computation, quantum communication, and quantum cryptography, which are part of a larger interdisciplinary field that casts information science in a quantum mechanical
Theory of Cryptography ; 5th Theory of Cryptography Conference, TCC 2008, New York, USA, March 19-21, 2008. Proceedings
The papers are organized in 16 sessions dealing with the paradigms, approaches and techniques used to conceptualize, define and provide solutions to natural cryptographic problems.
Theory of Cryptography ; 18th International Conference, TCC 2020, Durham, NC, USA, November 16–19, 2020, Proceedings, Part III
This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference on Theory of Cryptography, TCCC 2020, held in Durham, NC, USA, in November 2020. The total of 71 full papers presented in this three-volume set was carefully reviewed and selected from 167 submissions. Amongst others they cover the following topics: study of known paradigms, approaches, and techniques, directed towards their better understanding and utilization; discovery of new paradigms, approaches and techniques that overcome limitations of the existing ones, formulation and treatment of new cryptographic problems; study of notions of security and relations among them; modeling and analysis of cryptographic algorithms; and study of the complexity assumptions used in cryptography.
Theory of Cryptography ; 18th International Conference, TCC 2020, Durham, NC, USA, November 16–19, 2020, Proceedings, Part II
This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference on Theory of Cryptography, TCCC 2020, held in Durham, NC, USA, in November 2020. The total of 71 full papers presented in this three-volume set was carefully reviewed and selected from 167 submissions. Amongst others they cover the following topics: study of known paradigms, approaches, and techniques, directed towards their better understanding and utilization; discovery of new paradigms, approaches and techniques that overcome limitations of the existing ones, formulation and treatment of new cryptographic problems; study of notions of security and relations among them; modeling and analysis of cryptographic algorithms; and study of the complexity assumptions used in cryptography.
