Computers - Computer Science

The three-volume set LNCS 6675, 6676 and 6677 constitutes the refereed proceedings of the 8th International Symposium on Neural Networks, ISNN 2011, held in Guilin, China, in May/June 2011. The total of 215 papers presented in all three volumes were carefully reviewed and selected...

This two-volume set (CCIS 150 and CCIS 151) constitutes the refereed proceedings of the Second International Conference on Ubiquitous Computing and Multimedia Applications, UCMA 2011, held in Daejeon, Korea, in April 2011. The 86 revised full papers presented were carefully reviewed and selected from...

This book contains a selection of revised papers presented at the 19th International Workshop on Functional and Constraint Logic Programming, WFLP 2010, held in Madrid, Spain, in January 2010, as part of the ACM-SIGPLAN Principles of Programming Languages event, POPL 2010. From the 15...

The four-volume set LNCS 6492-6495 constitutes the thoroughly refereed post-proceedings of the 10th Asian Conference on Computer Vision, ACCV 2009, held in Queenstown, New Zealand in November 2010. All together the four volumes present 206 revised papers selected from a total of 739 Submissions....

The four-volume set LNCS 6492-6495 constitutes the thoroughly refereed post-proceedings of the 10th Asian Conference on Computer Vision, ACCV 2009, held in Queenstown, New Zealand in November 2010. All together the four volumes present 206 revised papers selected from a total of 739 Submissions....

Since 2002, FoLLI has awarded an annual prize for outstanding dissertations in the fields of Logic, Language and Information. This book is based on the PhD thesis of Marco Kuhlmann, joint winner of the E.W. Beth dissertation award in 2008. Kuhlmann's thesis lays new...

The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The focus of the journal...

This book constitutes the refereed proceedings of the 13th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2009, held in Bangkok, Thailand, in April 2009. The 39 revised full papers and 73 revised short papers presented together with 3 keynote talks were carefully...

Coding theory and cryptography allow secure and reliable data transmission, which is at the heart of modern communication. Nowadays, it is hard to find an electronic device without some code inside. Gröbner bases have emerged as the main tool in computational algebra, permitting numerous...

This book constitutes the refereed proceedings of the 34th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2008, held in Slovakia, in 2008. The 57 revised full papers, presented together with 10 invited contributions, were carefully reviewed and selected from...

Offering a complete overview of all econometric software packages available worldwide, this book describes the history of econometric computation from 1950. It is based on an interactive survey of the econometricians who have developed the software.Author: Charles G. RenfroISBN-10: 3540755705ISBN-13: 9783540755708Publisher: SpringerLanguage: EnglishPublished: 07/14/2009Pages:...

This three-volume set constitutes the refereed proceedings of the International Conference on Computational Science and its Applications. These volumes feature outstanding papers that present a wealth of original research results in the field of computational science, from foundational issues in computer science and mathematics...

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order...

This book constitutes the refereed proceedings of the International Conference on Rough Sets and Emerging Intelligent Systems Paradigms, held in Warsaw, Poland in June 2007. The conference was dedicated to the memory of Professor Zdzislaw Pawlak. Seventy-three full papers are presented, together with two...

This book constitutes the refereed proceedings of the 33rd Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2007, held in Harrachov, Czech Republic in January 2007. The 69 revised full papers, presented together with 11 invited contributions were carefully reviewed...

The first of a two-volume set, this book constitutes the refereed proceedings of the Second International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2007, held in La Manga del Mar Menor, Spain in June 2007. It includes all the contributions mainly...

This book constitutes, together with its compagnion LNCS 1606, the refereed proceedings of the International Work-Conference on Artificial and Neural Networks, IWANN'99, held in Alicante, Spain in June 1999.The 91 revised papers presented were carefully reviewed and selected for inclusion in the book. This...

During the past 25 years computers have been introduced in industry to perform technical tasks such as drafting, design, process planning, data acquisition, process control, and quality assurance. Computerized solutions nevertheless have normally been single, isolated devices within a manufacturing plant. Computer technology is...

This book constitutes the refereed proceedings of the 7th International Conference on Cryptology in India, INDOCRYPT 2006, held in Kolkata, India in December 2006. The 29 revised full papers and 2 invited papers cover such topics as symmetric cryptography, provable security, fast implementation of...

The second SKLOIS Conference on Information Security and Cryptology 2006 (Inscrypt, formerly CISC) was organized by the State Key Laboratory of Inf- mation Security of the Chinese Academy of Sciences. This international conf- ence was held in Beijing, China and was sponsored by the...

This book constitutes the refereed proceedings of the 12th International Conference on Principles and Practice of Constraint Programming, CP 2006, held in Nantes, France in September 2006. The 42 revised full papers and 21 revised short papers presented together with extended abstracts of four...

Euro-Par - the European Conference on Parallel Computing - is an international conference series dedicated to the promotion and advancement of all aspects of parallel computing. The major themes can be divided into the broad categories of hardware, software, algorithms, and applications for parallel...

The refereed proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN 2003, held in Eindhoven, The Netherlands, in June 2003. The 25 revised full papers presented together with 6 invited contributions were carefully reviewed and selected from 77 submissions....

For 20 years, the IFIP WG 11. 3 Working Conference on Data and Appli- tions Security (DBSEC) has been a major forum for presenting originalresearch results, practical experiences, and innovative ideas in data and applications - curity. Looking back, it is di?cult not to...

Machine learning and cybernetics play an important role in many modern electronic, computer and communications systems. Automated processing of information by these systems requires intelligent analysis of various types of data and optimal decision making. In recent years, we have witnessed a rapid expansion...

Digital technology determines today's world and will be one of the key technologies of the future. Successful technology development, introduction and management are not only a question of technical issues; due to their complexity a close cooperation between different scientific disciplines is required to...

Thesearetheproceedingsofthe7thWorkshoponCryptographic Hardwareand EmbeddedSystems(CHES2005)heldinEdinburgh, ScotlandfromAugust29to September1,2005.TheCHESworkshophasbeensponsoredbytheInternational Association for Cryptologic Research (IACR) for the last two years. We received a total of 108 paper submissions for CHES 2005. The doub- blindreviewprocessinvolveda27-memberprogramcommittee anda largen- ber of external sub-referees. The review process concluded with a two week d-...

We live in a noisy world! In all applications (telecommunications, hands-free communications, recording, human-machine interfaces, etc.) that require at least one microphone, the signal of interest is usually contaminated by noise and reverberation. As a result, the microphone signal has to be "cleaned" with...

This book constitutes the proceedings of the International Symposium on Neural N- works (ISNN 2004) held in Dalian, Liaoning, China duringAugust 19-21, 2004. ISNN 2004 received over 800 submissions from authors in ?ve continents (Asia, Europe, North America, South America, and Oceania), and 23...

Modern cryptology more and more employs mathematically rigorous concepts and methods from complexity theory. Conversely, current research topics in complexity theory often are motivated by questions and problems from cryptology. This book takes account of this situation and therefore its subject is what may...

Classical Sobolev spaces, based on Lebesgue spaces on an underlying domain with smooth boundary, are not only of considerable intrinsic interest but have for many years proved to be indispensible in the study of partial differential equations and variational problems. Many developments of the...

The 8th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2002, took place in Spain for the second time in 14 years; the first conference was organized in Barcelona in January 1988. The city of Seville hosted this 8th conference, giving the participants the opportunity of...

Author: Volker Simon,Bernhard Weigand,Hassan GomaaISBN-10: 3319848003ISBN-13: 9783319848006Publisher: SpringerLanguage: EnglishPublished: 07/13/2018Pages: 134Format: PaperbackWeight: 0.48lbsSize: 9.21h x 6.14w x 0.32d

This work provides a review of biological networks as a model for analysis, presenting and discussing a number of illuminating analyses. Biological networks are an effective model for providing insights about biological mechanisms. Networks with different characteristics are employed for representing different scenarios. This...

Author: Michael M. ReschISBN-10: 3319467344ISBN-13: 9783319467344Publisher: SpringerLanguage: EnglishPublished: 12/06/2016Pages: 193Format: HardcoverWeight: 1.02lbsSize: 9.21h x 6.14w x 0.50d

This accessible compendium examines a collection of significant technology firms that have helped to shape the field of computing and its impact on society. Each company is introduced with a brief account of its history, followed by a concise account of its key contributions....

The book opens with a short introduction to Indian music, in particular classical Hindustani music, followed by a chapter on the role of statistics in computational musicology. The authors then show how to analyze musical structure using Rubato, the music software package for statistical...

This volume collects selected papers presented at the Ninth International Workshop on Meshfree Methods held in Bonn, Germany in September 2017. They address various aspects of this very active research field and cover topics from applied mathematics, physics and engineering.The numerical treatment of partial...

Author: Thecla Schiphorst,Lian LokeISBN-10: 3030061965ISBN-13: 9783030061968Publisher: SpringerLanguage: EnglishPublished: 07/14/2026Format: Hardcover

This book brings together for the first time two important features of a computer system to be embedded in an organisational context: responsibility, meaning whether the computer system properly supports the organisational responsibilities that people are allocated; and dependability, which means whether it does...

The outsourcing of IT services over the past decade has triggered a need to reassess how IT governance and sourcing should be conducted. IT Governance in a Networked World: Multi-Sourcing Strategies and Social Capital for Corporate Computing provides theories concerning corporate social capital, intellectual...

In a time of constant technological and managerial advancement, firms of the 21st century are faced with an ongoing quest for implementing more effective strategies and methodologies to remain at the apex of the information resources management industry. This text provides information on technology...

Outsourcing is currently one of the hottest topics in business practices and in particular in the field of management information systems (MIS) education. Outsourcing Management Information Systems focuses on concepts, processes, and methodologies for firms who are planning to undertake, or are currently involved...

Skills for Managing Rapidly Changing IT Projects addresses management methodologies for projects that change rapidly in requirements and technology. These projects are most common among small to medium enterprises. This book addresses both the value and the skills that an IT project manager must...

Design and Usability of Digital Libraries: Case Studies in the Asia Pacific showcases some of the best digital library practices from organizations in the Asia Pacific. Particular emphasis has been placed on the design, use and usability of digital libraries. Not only are digital...

With the quantity and quality of available works in Information Systems (IS) research, it would seem advantageous to possess a concise list of exemplary works on IS research, in order to enable instructors of IS research courses to better prepare students to publish in...

As digitization continues to bring rapid changes to businesses, companies must remain agile in order to comply with changing regulations and maintain governance and compliance while achieving its business objectives. To achieve this agility, IT staff within these companies must be able to respond...

Identity Based Encryption (IBE) is a type of public key encryption and has been intensely researched in the past decade. Identity-Based Encryption summarizes the available research for IBE and the main ideas that would enable users to pursue further work in this area. This...

Privacy and security risks arising from the application of different data mining techniques to large institutional data repositories have been solely investigated by a new research domain, the so-called privacy preserving data mining. Association rule hiding is a new technique in data mining, which...

In a relatively short span of time, computers have evolved from huge mainframes to small and elegant desktop computers, and now to low-power, ultra-portable handheld devices. Witheachpassinggeneration, computersconsistingofprocessors, memoriesandperipherals becamesmallerandfaster.Forexample, the?rstcommercialcomputerUNIVACIcosted $1 million dollars, occupied 943 cubic feet space and could perform 1,905 operations...