Page 9
Page 9
Combinatorial pattern matching ; Vol.4009) ; 17th Annual Symposium, CPM 2006, Barcelona, Spain, July 5-7, 2006, Proceedings
The book presents 33 revised full papers together with 3 invited talks, organized in topical sections on data structures, indexing data structures, probabilistic and algebraic techniques, applications in molecular biology, string matching, data compression, and dynamic programming
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 pattern matching ; 12th Annual Symposium, CPM 2001 Jerusalem, Israel, July 1-4, 2001 Proceedings
This book constitutes the refereed proceedings of the 12th Annual Symposium on Combinatorial Pattern Matching, CPM 2001, held in Jerusalem, Israel, in July 2001. The 21 revised papers presented together with one invited paper were carefully reviewed and selected from 35 submissions. The papers are devoted to current theoretical and algorithmic issues of searching and matching strings and more complicated patterns such as trees, regular expressions, graphs, point sets, and arrays as well as to advanced applications of CPM in areas such as the Internet, computational biology, multimedia systems, information retrieval, data compression, coding, computer vision, and pattern recognition.
Combinatorial optimization and applications ; 2nd International Conference, COCOA 2008, St. John’s, NL, Canada, August 21-24, 2008. Proceedings
This book constitutes the refereed proceedings of the Second International Conference on Combinatorial Optimization and Applications, COCOA 2008, held in St. John's, Canada, in August 2008.
Combinatorial optimization and applications ; 1st International Conference, COCOA 2007, Xi'an, China, August 14-16, 2007, Proceedings
This book presented feature original research in the areas of combinatorial optimization - both theoretical issues and and applications motivated by real-world problems thus showing convincingly the usefulness and efficiency of the algorithms discussed in a practical setting.
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.
Combinatorial Image Analysis ; 12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008. Proceedings
This volume contains the proceedings of the 12th International Workshop on Combinatorial Image Analysis. Coverage includes digital geometry, curves and surfaces, applications of computational geometry, as well as medical imaging and biometrics.
Combinatorial image analysis ; 10th International Workshop, IWCIA 2004, Auckland, New Zealand, December 1-3, 2004, Proceedings
This volume presents the proceedings of the 10th International Workshop on Combinatorial Image Analysis,held 2004, in Auckland, New Zealand. For this workshop we received 86 submitted papers from 23 countries. We selected 55 papers for the conference. completed the program. Conference papers are presented in this volume under the following topical part titles: discrete tomography (3 papers), combinatorics and computational models (6), combinatorial algorithms (6), combinatorial mathematics (4), d- ital topology (7), digital geometry (7), approximation of digital sets by curves and surfaces (5), algebraic approaches (5), fuzzy image analysis (2), image s- mentation (6), and matching and recognition (7). These subjects are dealt with in the context of digital image analysis or computer vision.
Combinatorial geometry and graph theory ; Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers
This volume consists of the refereed papers presented at the Indonesia-JapanJoint Conference on Combinatorial Geometry and Graph Theory (IJCCGGT2003), held on Indonesia. This confer-ence can also be considered as a series of the Japan Conference on Discrete andComputational Geometry (JCDCG), 2002.
Codici cifrati: Arne Beurling e la crittografia nella II guerra mondiale = Cipher codes : Arne Beurling and cryptography in world war II
The story of the German codebreaking is told in detail for the first time and has all the makings of a thriller, but with elements that make it an excellent introduction to the field of cryptography, as well as a vibrant and human portrait of the society of the time: a desperate wartime situation, political and espionage intrigue, the sometimes incomprehensible yet always fascinating genius of the main architect of its success — mathematician Arne Beurling—the difficulties and tricks of the trade, but also the systematic and obscure work of a crowd of codebreakers who treat their situation as if it were a normal job. The author, Bengt Beckman, was for years, after the war, head of the cryptanalysis department of the Swedish intelligence agency.
Codes et turbocodes = Codes and turbo codes
Devoted to one of the essential functions of modern telecommunications systems: channel coding, or error-correcting coding. At the crossroads of information theory, mathematics, and electronics, channel coding has undergone numerous developments since the foundational work of Claude Shannon. Algebraic codes, convolutional codes, and concatenated codes decoded iteratively form the core of the book, which also includes a presentation of digital modulations, to which channel coding is closely linked, forming the heart of the physical layer of telecommunications systems. The most important theoretical aspects are presented, and the construction of the codes is detailed and justified. Decoding algorithms are developed and, where possible, accompanied by simulation results that demonstrate their error-correcting capabilities and applications.
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.
Mathematical modeling of the human brain : From magnetic resonance images to finite element simulation
This book bridges common tools in medical imaging and neuroscience with the numerical solution of brain modelling PDEs. The connection between these areas is established through the use of two existing tools, FreeSurfer and FEniCS, and one novel tool, the SVM-Tk, developed for this book. The reader will learn the basics of magnetic resonance imaging and quickly proceed to generating their first FEniCS brain meshes from T1-weighted images.
Mathematical Methods in Computer Science : Essays in Memory of Thomas Beth
This Festschrift volume contains the proceedings of the conference Mathematical Methods in Computer Science, MMICS 2008, which was held during December 17-19, 2008, in Karlsruhe, Germany, in memory of Thomas Beth.The themes of the conference reflected the many interests of Thomas Beth. Although, these interests might seem diverse, mathematical methods and especially algebra as a language constituted the common denominator of all of his scientific achievements.
Mathematical Knowledge Management ; Vol. 4108 ; 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, MKM 2006, held in Wokingham, UK in August 2006 as official satellite event of the International Congress of Mathematicians, ICM 2006. The 22 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers in this volume cover the whole area of mathematical knowledge management in the intersection of mathematics, computer science, library science, and scientific publishing. The papers are organized in topical sections on proof representations, proof processing, knowledge extraction, knowledge representation, as well as systems and tools.
Mathematical Knowledge Management ; Vol. 3863 ; 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 held July 15–17, 2005 at - ternational University Bremen, Germany.
Mathematical Foundations of Computer Science 2008 ; 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings
Constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2008, held in Torun, Poland, in August 2008.The 45 revised full papers presented together with 5 invited lectures were carefully reviewed and selected from 119 submissions. All current aspects in theoretical computer science and its mathematical foundations are addressed, ranging from algorithmic game theory, algorithms and data structures, artificial intelligence, automata and formal languages, bioinformatics, complexity, concurrency and petrinets, cryptography and security, logic and formal specifications, models of computations, parallel and distributed computing, semantics and verification.
Mathematical Approaches to Software Quality
This book considers the potential and limitations of the various mathematical approaches and thereby aims to give a balanced view of the usability of each mathematical approach. Written with both student and professional in mind, this book assists the reader in applying mathematical methods to solve practical problems that are relevant to software engineers. It is suitable for coursework or self-study and there is helpful material on tools to support the various mathematical approaches.
Machine learning for cyber-physical systems: selected papers from the international conference ML4CPS 2023
Contains selected papers from the international conference ML4CPS – Machine Learning for Cyber-Physical Systems, which was held in Hamburg (Germany), from 29 to 31 March 2023. Cyber-physical systems are adaptive and learning: they analyze their environment and, based on observations, learn patterns, associations and predictive models. Typical applications are condition monitoring, predictive maintenance, image processing and diagnostics. Machine learning is the key technology for these developments.
Machine learning for cyber security ; 3rd International Conference, ML4CS 2020, Guangzhou, China, October 8–10, 2020, Proceedings, Part III
Constitutes the proceedings of the Third International Conference on Machine Learning for Cyber Security, ML4CS 2020, held in Xi’an, China in October 2020. The 118 full papers and 40 short papers presented were carefully reviewed and selected from 360 submissions. The papers offer a wide range of the following subjects: Machine learning, security, privacy-preserving, cyber security, Adversarial machine Learning, Malware detection and analysis, Data mining, and Artificial Intelligence.
