You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Mathematics and Computer Science III contains invited and contributed papers on combinatorics, random graphs and networks, algorithms analysis and trees, branching processes, constituting the Proceedings of the Third International Colloquium on Mathematics and Computer Science, held in Vienna in September 2004. It addresses a large public in applied mathematics, discrete mathematics and computer science, including researchers, teachers, graduate students and engineers.
This book focuses on Abelard’s logical-grammatical analysis of natural language. Tools of modern categorial grammar are employed to clarify many of the problems raised by historiography. The book’s ample analysis of grammatical sources and critical literature allows one to evaluate the progress which is at the basis of the forthcoming terministic logic. The book is aimed at scholars of medieval philosophy and historians of logic and linguistics.
Digestive-disease-associated mortality accounts for a major part of all deaths in Western societies and inflammatory diseases such as GI infections, viral hepatitis, GERD or cancers due to chronic inflammation have a tangible economic and social impact. What further aggravates the situation is the fact that complex immunological disorders have surfaced where anti-infective treatments are not effective. Fortunately, due to breakthroughs in basic research that are being successfully translated into clinical practice, new treatment strategies are constantly evolving. In addition to the development of new therapeutic measures, however, it is also mandatory to review and periodically refine established treatment regimens to reflect current knowledge and ensure up-to-date medical care.Combining outstanding basic research reviews with cutting-edge treatment guidelines on inflammatory disorders of the GI tract, this book presents newly identified treatment targets and provides clinicians and practitioners in the field with a most useful account of the state of the art.
This book contains the extended abstracts presented at the 12th International Conference on Power Series and Algebraic Combinatorics (FPSAC '00) that took place at Moscow State University, June 26-30, 2000. These proceedings cover the most recent trends in algebraic and bijective combinatorics, including classical combinatorics, combinatorial computer algebra, combinatorial identities, combinatorics of classical groups, Lie algebra and quantum groups, enumeration, symmetric functions, young tableaux etc...
A One-Stop Source of Known Results, a Bibliography of Papers on the Subject, and Novel Research Directions Focusing on a very active area of research in the last decade, Combinatorics of Compositions and Words provides an introduction to the methods used in the combinatorics of pattern avoidance and pattern enumeration in compositions and words. It
This is the first book where mathematics and computer science are directly confronted and joined to tackle intricate problems in computer science with deep mathematical approaches. It contains a collection of refereed papers presented at the Colloquium on Mathematics and Computer Science held at the University of Versailles-St-Quentin on September 18-20, 2000. The colloquium was a meeting place for researchers in mathematics and computer science and thus an important opportunity to exchange ideas and points of view, and to present new approaches and new results in the common areas such as algorithms analysis, trees, combinatorics, optimization, performance evaluation and probabilities. The book is intended for a large public in applied mathematics, discrete mathematics and computer science, including researchers, teachers, graduate students and engineers. It provides an overview of the current questions in computer science and related modern mathematical methods. The range of applications is very wide and reaches beyond computer science.
The first book on digital geometry by the leaders in the field.
This is the second volume in a series of innovative proceedings entirely devoted to the connections between mathematics and computer science. Here mathematics and computer science are directly confronted and joined to tackle intricate problems in computer science with deep and innovative mathematical approaches. The book serves as an outstanding tool and a main information source for a large public in applied mathematics, discrete mathematics and computer science, including researchers, teachers, graduate students and engineers. It provides an overview of the current questions in computer science and the related modern and powerful mathematical methods. The range of applications is very wide and reaches beyond computer science.
This book serves as a source of information to facilitate the reading of the literature and the planning of trials. Supplies in one place all the information on this active and complex research topic and may stimulate more research that can lead to more exchanges between the laboratory, the clinical ward and the operating room. Fills the need of surgeons to understand the molecular mechanisms in hepatology. Provides a quick and comprehensive overview.
Many researchers from different countries converged at the 10th Italian Conference on Theoretical Computer Science (ICTCS 2007) to discuss recent developments in theoretical computer science. The volume contains all contributed papers selected for presentation with the invited lectures delivered. The subjects of this book range from logical and mathematical aspects of computing, design and analysis of algorithms, to semantics of programming languages. Sample Chapter(s). Part A: Invited Talks: Clairvoyance and Laziness for on Line Travelling Agents (27 KB). Contents: Clairvoyance and Laziness for on Line Travelling Agents (G Ausiello); Symmetries in Foundations (G Longo); On the Approximability of Dense Steiner Tree Problems (M Hauptmann); Analyzing Non-Inteference with Respect to Classes (D Zanardini); Modeling Fuzzy Behaviours in Concurrent Systems (L D''Errico & M Loreti); Sorting Streamed Multisets (T Gagie); Dichotomy Results for Fixed Point Counting in Boolean Dynamical Systems (S Kosub & C M Homan); Definable Sets in Weak Presburger Arithmetic (C Choffrut & A Frigeri); and other papers. Readership: Theoretical computer scientists.