الصفحة 2
الصفحة 2
img

Graph theory in Paris ; Proceedings of a Conference in Memory of Claude Berge

In July 2004, a conference on graph theory was held in Paris in memory of Claude Berge, one of the pioneers of the field. The event brought together many prominent specialists on topics, such as perfect graphs and matching theory, upon which Claude Berge's work has had a major impact. This volume includes contributions to these and other topics from many of the participants.

img

Graph theory and combinatorial optimization

Graph theory is very much tied to the geometric properties of optimization and combinatorial optimization. Moreover, graph theory's geometric properties are at the core of many research interests in operations research and applied mathematics. Its techniques have been used in solving many classical problems including maximum flow problems, independent set problems, and the traveling salesman problem. Graph Theory and Combinatorial Optimization explores the field's classical foundations and its developing theories, ideas and applications to new problems. The book examines the geometric properties of graph theory and its widening uses in combinatorial optimization theory and application.

img

Graph theory

Graph theory is a flourishing discipline containing a body of beautiful and powerful theorems of wide applicability. Its explosive growth in recent years is mainly due to its role as an essential structure underpinning modern applied mathematics – computer science, combinatorial optimization, and operations research in particular – but also to its increasing application in the more applied sciences. The versatility of graphs makes them indispensable tools in the design and analysis of communication networks, for instance. The primary aim of this book is to present a coherent introduction to the subject, suitable as a textbook for advanced undergraduate and beginning graduate students in mathematics and computer science. It provides a systematic treatment of the theory of graphs without sacrificing its intuitive and aesthetic appeal. Commonly used proof techniques are described and illustrated, and a wealth of exercises - of varying levels of difficulty - are provided to help the reader master the techniques and reinforce their grasp of the material.

img

Graph drawing ; Vol. 3843 ; 13 th International symposium, GD 2005, Limerick, Ireland, September 12-14, 2005, Revised Papers

The 13th International Symposium on Graph Drawing (GD 2005) was held in Limerick, Ireland, September 12-14, 2005. One hundred and ?fteen participants from 19 countries attended GD 2005. In response to the call for papers the Program Committee received 101 subm- sions, each detailing original research or a system demonstration. Each submission was reviewed by at least three Program Committee members; each referee’s c- ments were returned to the authors. Following extensive discussions, the comm- tee accepted 38 long papers, 3 short papers and 3 long system demos, each of which were presented during one of the conference’s 12 sessions. Eight posters were also accepted and were on display throughout the conference.

img

Graph drawing ; Vol. 3383 ; 12th International symposium, GD 2004, New York, NY, USA, September 29-October 2, 2004, Revised Selected Papers

This book constitutes the thoroughly refereed post-proceedings of the 12th International Symposium on Graph Drawing, GD 2004, held in New York, NY, USA in September/October 2004. The 39 revised full papers and 12 revised short papers presented together with 4 posters and a report on the graph drawing context were carefully selected during two rounds of reviewing and improvement. All current aspects in graph drawing are addressed ranging from foundational and methodological issues to applications for various classes of graphs in a variety of fields.

img

Graph drawing ; 15th International symposium, GD 2007, Sydney, Australia, September 24-26, 2007. Revised Papers

The 16th International Symposium on Graph Drawing (GD 2008) was held in Hersonissos, near Heraklion, Crete, Greece, September 21-24, 2008, and was attended by 91 participants from 19 countries. In response to the call for papers the Program Committee received 83 s- missions,eachdescribing originalresearchand/or a systemdemonstration.Tamassia showed how graph drawing techniques can be used as an e?ective tool in computer security and pointed to future research directions in this area. Following what is now a tradition, the 15th Annual Graph Drawing Contest was held during the conference, also including a Graph Drawing Challenge to the conference attendees.

img

Graph drawing ; 14th International symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006, Revised Papers

The 33 revised full papers and 5 revised short papers presented together with 2 invited talks, 1 system demo, 2 poster papers address all current aspects in graph drawing, ranging from foundational and methodological issues to applications for various classes of graphs in a variety of fields.

img

Fun with algorithms ; 4th International conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007, Proceedings

This book constitutes the refereed proceedings of the 4th International Conference on Fun with Algorithms, FUN 2007, held in Castiglioncello, Italy in June 2007.

img

Frontiers in Algorithmics ; 14th International Workshop, FAW 2020, Haikou, China, October 19-21, 2020, Proceedings

This book constitutes the proceedings of the 14th International Workshop on Frontiers in Algorithmics, FAW 2020, held in Haikou, China, in May 2020. The conference was held virtually due to the COVID-19 pandemic. The 12 full papers presented in this volume were carefully reviewed and selected from 15 submissions. The workshop provides a focused forum on current trends of research on algorithms, discrete structures, and their applications, and brings together international experts at the research frontiers in these areas to exchange ideas and to present significant new results. The papers detail graph theory, scheduling and algorithm and complexity.

img

Foundations of software science and computation structures ; 22nd International conference, FOSSACS 2019, Held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, proceedings

This book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science.

img

Foundations of software science and computation structures ; 21st International conference, FOSSACS 2018, Held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. proceedings

Contains the papers presented at the 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2018), which was held April 16–19, 2018, in Thessaloniki, Greece. The conference is dedicated to foundational research with a clear significance for software science and brings together research on theories and methods to support the analysis, integration, synthesis,transformation, and verification of programs and software systems.

img

Formal Techniques for Networked and Distributed Systems - FORTE 2008 ; 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2008, held in Tokyo, Japan, in June 2008 co-located with TestCom/FATES 2008.The 19 revised full papers and 1 revised short paper presented together with 1 invited talk were carefully reviewed and selected from 44 submissions. The papers cover new approaches, concepts and experience in the application of formal methods for the specification and verification of distributed systems and applications.

img

Fashion recommender systems

The impact of social networks and the influence that fashion influencers have on the choices people make for shopping is undeniable. For instance, many people use Instagram to learn about fashion trends from top influencers, which helps them to buy similar or even exact outfits from the tagged brands in the post. When traced, customers’ social behavior can be a very useful guide for online shopping websites, providing insights on the styles the customers are really interested in, and hence aiding the online shops in offering better recommendations and facilitating customers quest for outfits.

img

Factors Influencing Mammalian Kidney Development : Implications for Health in Adult Life

In this monograph the authors have emphasized a number of important concepts in mammalian kidney development. Emphasis has been put on methodology so that the reader can understand how certain results or conclusions were reached and what the optimal methods for reliable results to be obtained are.

img

Exponentially Dichotomous Operators and Applications

In this monograph the natural evolution operators of autonomous first-order differential equations with exponential dichotomy on an arbitrary Banach space are studied in detail. Characterizations of these so-called exponentially dichotomous operators in terms of their resolvents and additive and multiplicative perturbation results are given. The general theory of the first three chapters is then followed by applications to Wiener-Hopf factorization and Riccati equations, transport equations, diffusion equations of indefinite Sturm-Liouville type, noncausal infinite-dimensional linear continuous-time systems, and functional differential equations of mixed type.

img

Experimental Algorithms ; 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007, Proceedings

Fostering and disseminating high quality research results focused on the experimental analysis of algorithms the papers are devoted to the design, analysis, implementation, experimental evaluation, and engineering of efficient algorithms. Among the application areas addressed are most fields applying advanced algorithmic techniques, such as combinatorial optimization, approximation, graph theory, discrete mathematics, data mining, simulation, cryptography and security, scheduling, searching, sorting, string matching, coding, networking, etc.

img

Evolution Algebras and their Applications

Behind genetics and Markov chains, there is an intrinsic algebraic structure. It is defined as a type of new algebra: as evolution algebra. This concept lies between algebras and dynamical systems. Algebraically, evolution algebras are non-associative Banach algebras; dynamically, they represent discrete dynamical systems. Evolution algebras have many connections with other mathematical fields including graph theory, group theory, stochastic processes, dynamical systems, knot theory, 3-manifolds, and the study of the Ihara-Selberg zeta function. In this volume the foundation of evolution algebra theory and applications in non-Mendelian genetics and Markov chains is developed, with pointers to some further research topics.

img

Earthquake Source Asymmetry, Structural Media and Rotation Effects

This is the first book on rotational effects in earthquakes, a revolutionary concept in seismology. Existing models do no yet explain the significant rotational and twisting motions that occur during an earthquake and cause the failure of structures. This breakthrough monograph thoroughly investigates rotational waves, basing considerations on modern observations of strong rotational ground motions and detection of seismic rotational waves. To describe the propagation of such waves the authors consider structured elastic media that allow for rotational motions and rotational deformations of the ground, sometimes stronger than translational deformations. The rotation and twist effects are investigated and described and their consequences for designing tall buildings and other important structures are presented. The book will change the way the world views earthquakes and will interest scientists and researchers in the fields of Geophysics, Geology and Civil Engineering.

img

Dynamical Systems, Graphs, and Algorithms

Provides a taster for using symbolic analysis, graph theory, and set-oriented methods in a quest to understand the global structure of the dynamics in a continuous- or discrete-time system. In many ways, the techniques discussed here are complementary to more traditional ways of analysing a dynamical system and as such, this book can be viewed as a valuable entry into the theory and computational methods

عدد النتائج بكل صفحة