Tags
Language
Tags
March 2024
Su Mo Tu We Th Fr Sa
25 26 27 28 29 1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31 1 2 3 4 5 6

Advances in Machine Learning and Cybernetics

Posted By: AvaxGenius
Advances in Machine Learning and Cybernetics

Advances in Machine Learning and Cybernetics by 4th International Conference, ICMLC 2005, Guangzhou, China, August 18-21, 2005, Revised Selected Papers by Daniel S. Yeung, Zhi-Qiang Liu, Xi-Zhao Wang, Hong Yan
English | PDF (True) | 2005 | 1129 Pages | ISBN : 3540335846 | 17 MB

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 of research and development activities in machine learning and cybernetics. To provide opportunities for researchers in these areas to share their ideas and foster collaborations, the International Conference on Machines and Cybernetics (ICMLC) has been held annually since 2002. The conference series has achieved a great success in attracting a large number of paper submissions and participants and enabling fruitful exchanges among academic and industrial researchers and postgraduate students. In 2005, the conference (ICMLC 2005) received 2461 full paper submissions and the Program Committee selected 1050 of them for presentation. It is especially encouraging that the conference is attracting more and more international attention. This year, there are contributions from 21 countries and 211 universities worldwide. Out of the 1050 papers presented at the conference, we selected 114 papers to be published in this volume of Lecture Notes in Computer Science.

Fast Software Encryption

Posted By: AvaxGenius
Fast Software Encryption

Fast Software Encryption: 13th International Workshop, FSE 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers by Matthew Robshaw
English | PDF | 2006 | 443 Pages | ISBN : 3540365974 | 4.3 MB

Fast Software Encryption (FSE) 2006 is the 13th in a series of workshops on symmetric cryptography. It has been sponsored for the last ?ve years by the International Association for Cryptologic Research (IACR), and previous FSE workshops have been held around the world: 1993 Cambridge, UK 1994 Leuven, Belgium 1996 Cambridge, UK 1997 Haifa, Israel 1998 Paris, France 1999 Rome, Italy 2000 New York, USA 2001 Yokohama, Japan 2002 Leuven, Belgium 2003 Lund, Sweden 2004 New Delhi, India 2005 Paris, France The FSE workshop is devoted to research on fast and secure primitives for symmetric cryptography, including the design and analysis of block ciphers, stream ciphers, encryption schemes, analysis and evaluation tools, hash fu- tions, and message authentication codes. This year more than 100 papers were submitted to FSE for the ?rst time. After an extensive review by the ProgramCommittee, 27 papers were presented at the workshop. Of course, the programwould not have been complete without the invited speaker, and the presentation by Eli Biham on the early history of di?erential cryptanalysis was particularly appreciated by workshop attendees.

Computational Geometry: An Introduction

Posted By: AvaxGenius
Computational Geometry: An Introduction

Computational Geometry: An Introduction by Franco P. Preparata , Michael Ian Shamos
English | PDF | 1985 | 413 Pages | ISBN : 0387961313 | 34.4 MB

From the reviews: "This book offers a coherent treatment, at the graduate textbook level, of the field that has come to be known in the last decade or so as computational geometry. … … The book is well organized and lucidly written; a timely contribution by two founders of the field. It clearly demonstrates that computational geometry in the plane is now a fairly well-understood branch of computer science and mathematics. It also points the way to the solution of the more challenging problems in dimensions higher than two." #Mathematical Reviews#1 "… This remarkable book is a comprehensive and systematic study on research results obtained especially in the last ten years. The very clear presentation concentrates on basic ideas, fundamental combinatorial structures, and crucial algorithmic techniques. The plenty of results is clever organized following these guidelines and within the framework of some detailed case studies. A large number of figures and examples also aid the understanding of the material. Therefore, it can be highly recommended as an early graduate text but it should prove also to be essential to researchers and professionals in applied fields of computer-aided design, computer graphics, and robotics." #Biometrical Journal#2

Algorithms and Data Structures in VLSI Design: OBDD - Foundations and Applications

Posted By: AvaxGenius
Algorithms and Data Structures in VLSI Design: OBDD - Foundations and Applications

Algorithms and Data Structures in VLSI Design: OBDD - Foundations and Applications by Christoph Meinel , Thorsten Theobald
English | PDF | 1998 | 271 Pages | ISBN : 3540644865 | 33 MB

One of the main problems in chip design is the huge number of possible combinations of individual chip elements, leading to a combinatorial explosion as chips become more complex. New key results in theoretical computer science and in the design of data structures and efficient algorithms, can be applied fruitfully here. The application of ordered binary decision diagrams (OBDDs) has led to dramatic performance improvements in many computer-aided design projects. This textbook provides an introduction to the foundations of this interdisciplinary research area with an emphasis on applications in computer-aided circuit design and formal verification.

Incentive Mechanism for Mobile Crowdsensing: A Game-theoretic Approach

Posted By: AvaxGenius
Incentive Mechanism for Mobile Crowdsensing: A Game-theoretic Approach

Incentive Mechanism for Mobile Crowdsensing: A Game-theoretic Approach by Youqi Li , Fan Li , Song Yang , Chuan Zhang
English | PDF EPUB (True) | 2024 | 137 Pages | ISBN : 9819969204 | 15.2 MB

Mobile crowdsensing (MCS) is emerging as a novel sensing paradigm in the Internet of Things (IoTs) due to the proliferation of smart devices (e.g., smartphones, wearable devices) in people’s daily lives. These ubiquitous devices provide an opportunity to harness the wisdom of crowds by recruiting mobile users to collectively perform sensing tasks, which largely collect data about a wide range of human activities and the surrounding environment. However, users suffer from resource consumption such as battery, processing power, and storage, which discourages users’ participation. To ensure the participation rate, it is necessary to employ an incentive mechanism to compensate users’ costs such that users are willing to take part in crowdsensing.

Bio-inspired Information and Communications Technologies

Posted By: AvaxGenius
Bio-inspired Information and Communications Technologies

Bio-inspired Information and Communications Technologies: 14th EAI International Conference, BICT 2023, Okinawa, Japan, April 11-12, 2023, Proceedings by Yifan Chen, Dezhong Yao, Tadashi Nakano
English | PDF (True) | 2023 | 305 Pages | ISBN : 3031431340 | 30.1 MB

This book constitutes the refereed conference proceedings of the 14th International Conference on Bio-inspired Information and Communications Technologies, held in Okinawa, Japan, during April 11-12, 2023.The 17 full papers were carefully reviewed and selected from 33 submissions. The papers focus on the latest research that leverages the understanding of key principles, processes, and mechanisms in biological systems for development of novel information and communications technologies (bio-inspired ICT). BICT 2023 will also highlight innovative research and technologies being developed for biomedicine that are inspired by ICT (ICT-inspired biomedicine).

Algorithm Theory -- SWAT 2012

Posted By: AvaxGenius
Algorithm Theory -- SWAT 2012

Algorithm Theory – SWAT 2012: 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012, Proceedings by Fedor V. Fomin, Petteri Kaski
English | PDF | 2012 | 413 Pages | ISBN : 3642311547 | 5.9 MB

This book constitutes the refereed proceedings of the 13th International Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2012, held in Helsinki, Finland, in July 2012, co-located with the 23rd Annual Symposium on Combinatorial Pattern Matching, CPM 2012. The 34 papers were carefully reviewed and selected from a total of 127 submissions. The papers present original research and cover a wide range of topics in the field of design and analysis of algorithms and data structures.

The Multivariate Algorithmic Revolution and Beyond

Posted By: AvaxGenius
The Multivariate Algorithmic Revolution and Beyond

The Multivariate Algorithmic Revolution and Beyond: Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday by Hans L. Bodlaender, Rod Downey, Fedor V. Fomin, Dániel Marx
English | PDF | 2012 | 522 Pages | ISBN : 3642308902 | 12.7 MB

Parameterized complexity is currently a thriving field in complexity theory and algorithm design. A significant part of the success of the field can be attributed to Michael R. Fellows.
This Festschrift has been published in honor of Mike Fellows on the occasion of his 60th birthday. It contains 20 papers that showcase the important scientific contributions of this remarkable man, describes the history of the field of parameterized complexity, and also reflects on other parts of Mike Fellows’s unique and broad range of interests, including his work on the popularization of discrete mathematics for young children.
The volume contains several surveys that introduce the reader to the field of parameterized complexity and discuss important notions, results, and developments in this field.

Abstract State Machines, Alloy, B, VDM, and Z

Posted By: AvaxGenius
Abstract State Machines, Alloy, B, VDM, and Z

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene
English | PDF | 2012 | 392 Pages | ISBN : 3642308848 | 8.6 MB

This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 submissions. The ABZ conference series is dedicated to the cross-fertilization of five related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, VDM, and Z. They share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The main goal of this conference series is to contribute to the integration of these formal methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation and mathematical verification of reliable high-quality hardware/software systems.

How the World Computes

Posted By: AvaxGenius
How the World Computes

How the World Computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings by S. Barry Cooper, Anuj Dawar, Benedikt Löwe
English | PDF | 2012 | 773 Pages | ISBN : 3642308694 | 14.7 MB

This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Conference on Computability in Europe, CiE 2012, held in Cambridge, UK, in June 2012.
The 53 revised papers presented together with 6 invited lectures were carefully reviewed and selected with an acceptance rate of under 29,8%. The CiE 2012 Turing Centenary Conference will be remembered as a historic event in the continuing development of the powerful explanatory role of computability across a wide spectrum of research areas. The papers presented at CiE 2012 represent the best of current research in the area, and forms a fitting tribute to the short but brilliant trajectory of Alan Mathison Turing. Both the conference series and the association promote the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences such as physics and biology, and also including the promotion of related non-scientific fields such as philosophy and history of computing.

Mathematical Optimization Theory and Operations Research: Recent Trends

Posted By: AvaxGenius
Mathematical Optimization Theory and Operations Research: Recent Trends

Mathematical Optimization Theory and Operations Research: Recent Trends: 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2–8, 2023, Revised Selected Papers by Michael Khachay, Yury Kochetov, Anton Eremeev, Oleg Khamisov, Vladimir Mazalov, Panos Pardalos
English | PDF (True) | 2023 | 412 Pages | ISBN : 3031432568 | 14.7 MB

This book constitutes refereed proceedings of the 22nd International Conference on Mathematical Optimization Theory and Operations Research: Recent Trends, MOTOR 2023, held in Ekaterinburg, Russia, during July 2–8, 2023. The 28 full papers and one invited paper presented in this volume were carefully reviewed and selected from a total of 61 submissions. The papers in the volume are organized according to the following topical headings: mathematical programming; stochastic optimization; discrete and combinatorial optimization; operations research; optimal control and mathematical economics; and optimization in machine learning.

Facing the Multicore-Challenge II: Aspects of New Paradigms and Technologies in Parallel Computing

Posted By: AvaxGenius
Facing the Multicore-Challenge II: Aspects of New Paradigms and Technologies in Parallel Computing

Facing the Multicore-Challenge II: Aspects of New Paradigms and Technologies in Parallel Computing by Rainer Keller, David Kramer, Jan-Philipp Weiss
English | PDF | 2012 | 182 Pages | ISBN : 364230396X | 5.2 MB

This state-of-the-art survey features topics related to the impact of multicore, manycore, and coprocessor technologies in science and for large-scale applications in an interdisciplinary environment. The papers cover issues of current research in mathematical modeling, design of parallel algorithms, aspects of microprocessor architecture, parallel programming languages, hardware-aware computing, heterogeneous platforms, manycore technologies, performance tuning, and requirements for large-scale applications. The contributions presented in this volume offer a survey on the state of the art, the concepts and perspectives for future developments. They are an outcome of an inspiring conference conceived and organized by the editors at the Karlsruhe Institute Technology (KIT) in September 2011. The twelve revised full papers presented together with two contributed papers focus on combination of new aspects of microprocessor technologies, parallel applications, numerical simulation, and software development; thus they clearly show the potential of emerging technologies in the area of multicore and manycore processors that are paving the way towards personal supercomputing and very likely towards exascale computing.

Fun with Algorithms

Posted By: AvaxGenius
Fun with Algorithms

Fun with Algorithms: 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012, Proceedings by Evangelos Kranakis, Danny Krizanc, Flaminia Luccio
English | PDF | 2012 | 402 Pages | ISBN : 3642303463 | 10.1 MB

This book constitutes the refereed proceedings of the 6th International Conference, FUN 2012, held in June 2012 in Venice, Italy. The 34 revised full papers were carefully reviewed and selected from 56 submissions. They feature a large variety of topics in the field of the use, design, and analysis of algorithms and data structures, focusing on results that provide amusing, witty but nonetheless original and scientifically profound contributions to the area.

Ubiquitous Knowledge Discovery: Challenges, Techniques, Applications

Posted By: AvaxGenius
Ubiquitous Knowledge Discovery: Challenges, Techniques, Applications

Ubiquitous Knowledge Discovery: Challenges, Techniques, Applications by Michael May, Lorenza Saitta
English | PDF | 2010 | 261 Pages | ISBN : 3642163912 | 4.8 MB

Knowledge discovery in ubiquitous environments is an emerging area of research at the intersection of the two major challenges of highly distributed and mobile systems and advanced knowledge discovery systems. It aims to provide a unifying framework for systematically investigating the mutual dependencies of otherwise quite unrelated technologies employed in building next-generation intelligent systems: machine learning, data mining, sensor networks, grids, peer-to-peer networks, data stream mining, activity recognition, Web 2.0, privacy, user modelling and others. This state-of-the-art survey is the outcome of a large number of workshops, summer schools, tutorials and dissemination events organized by KDubiq (Knowledge Discovery in Ubiquitous Environments), a networking project funded by the European Commission to bring together researchers and practitioners of this emerging community. It provides in its first part a conceptual foundation for the new field of ubiquitous knowledge discovery - highlighting challenges and problems, and proposing future directions in the area of 'smart', 'adaptive', and 'intelligent' learning. The second part of this volume contains selected approaches to ubiquitous knowledge discovery and treats specific aspects in detail. The contributions have been carefully selected to provide illustrations and in-depth discussions for some of the major findings of Part I.

Notes on Introductory Combinatorics (Repost)

Posted By: AvaxGenius
Notes on Introductory Combinatorics (Repost)

Notes on Introductory Combinatorics by George Pólya
English | PDF | 2010 | 202 Pages | ISBN : 0817631232 | 97.5 MB

Developed from the authors’ introductory combinatorics course, this book focuses on a branch of mathematics which plays a crucial role in computer science. Combinatorial methods provide many analytical tools used for determining the expected performance of computer algorithms. Elementary subjects such as combinations and permutations, and mathematical tools such as generating functions and Pólya’s Theory of Counting, are covered, as are analyses of specific problems such as Ramsey Theory, matchings, and Hamiltonian and Eulerian paths.