- Table View
- List View
Computational Issues in High Performance Software for Nonlinear Optimization
by Almerico Murli Gerardo ToraldoComputational Issues in High Performance Software for Nonlinear Research brings together in one place important contributions and up-to-date research results in this important area. Computational Issues in High Performance Software for Nonlinear Research serves as an excellent reference, providing insight into some of the most important research issues in the field.
Computational Kinematics ’95: Proceedings of the Second Workshop on Computational Kinematics, held in Sophia Antipolis, France, September 4–6, 1995 (Solid Mechanics and Its Applications #40)
by J. P. Merlet Bahram RavaniThe aim of this book is to provide an account of the state of the art in Com putational Kinematics. We understand here under this term that branch of kinematics research involving intensive computations not only of the nu merical type, but also of symbolic as well as geometric nature. Research in kinematics over the last decade has been remarkably ori ented towards the computational aspects of kinematics problems. In fact, this work has been prompted by the need to answer fundamental questions such as the number of solutions, whether real or complex, that a given problem can admit as well as computational algorithms to support geo metric analysis. Problems of the first kind occur frequently in the analysis and synthesis of kinematic chains, when fine displacements are considered. The associated models, that are derived from kinematic relations known as closure equations, lead to systems of nonlinear algebraic equations in the variables or parameters sought. The algebraic equations at hand can take the form of multivariate polynomials or may involve trigonometric functions of unknown angles.
Computational Learning Theory: 4th European Conference, EuroCOLT'99 Nordkirchen, Germany, March 29-31, 1999 Proceedings (Lecture Notes in Computer Science #1572)
by Paul Fischer Hans U. Simon
Computational Learning Theory: 14th Annual Conference on Computational Learning Theory, COLT 2001 and 5th European Conference on Computational Learning Theory, EuroCOLT 2001, Amsterdam, The Netherlands, July 16-19, 2001, Proceedings (Lecture Notes in Computer Science #2111)
by David Helmbold Bob Williamson
Computational Learning Theory: 15th Annual Conference on Computational Learning Theory, COLT 2002, Sydney, Australia, July 8-10, 2002. Proceedings (Lecture Notes in Computer Science #2375)
by Jyrki Kivinen Robert H. Sloan
Computational Line Geometry (Mathematics and Visualization)
by Helmut Pottmann Johannes WallnerFrom the reviews: " A unique and fascinating blend, which is shown to be useful for a variety of applications, including robotics, geometrical optics, computer animation, and geometric design. The contents of the book are visualized by a wealth of carefully chosen illustrations, making the book a shear pleasure to read, or even to just browse in." Mathematical Reviews
Computational Linear Algebra: with Applications and MATLAB® Computations (Textbooks in Mathematics)
by Robert E. WhiteCourses on linear algebra and numerical analysis need each other. Often NA courses have some linear algebra topics, and LA courses mention some topics from numerical analysis/scientific computing. This text merges these two areas into one introductory undergraduate course. It assumes students have had multivariable calculus. A second goal of this text is to demonstrate the intimate relationship of linear algebra to applications/computations.A rigorous presentation has been maintained. A third reason for writing this text is to present, in the first half of the course, the very important topic on singular value decomposition, SVD. This is done by first restricting consideration to real matrices and vector spaces. The general inner product vector spaces are considered starting in the middle of the text.The text has a number of applications. These are to motivate the student to study the linear algebra topics. Also, the text has a number of computations. MATLAB® is used, but one could modify these codes to other programming languages. These are either to simplify some linear algebra computation, or to model a particular application.
Computational Linear Algebra: with Applications and MATLAB® Computations (Textbooks in Mathematics)
by Robert E. WhiteCourses on linear algebra and numerical analysis need each other. Often NA courses have some linear algebra topics, and LA courses mention some topics from numerical analysis/scientific computing. This text merges these two areas into one introductory undergraduate course. It assumes students have had multivariable calculus. A second goal of this text is to demonstrate the intimate relationship of linear algebra to applications/computations.A rigorous presentation has been maintained. A third reason for writing this text is to present, in the first half of the course, the very important topic on singular value decomposition, SVD. This is done by first restricting consideration to real matrices and vector spaces. The general inner product vector spaces are considered starting in the middle of the text.The text has a number of applications. These are to motivate the student to study the linear algebra topics. Also, the text has a number of computations. MATLAB® is used, but one could modify these codes to other programming languages. These are either to simplify some linear algebra computation, or to model a particular application.
Computational Linear and Commutative Algebra
by Martin Kreuzer Lorenzo RobbianoThis book combines, in a novel and general way, an extensive development of the theory of families of commuting matrices with applications to zero-dimensional commutative rings, primary decompositions and polynomial system solving. It integrates the Linear Algebra of the Third Millennium, developed exclusively here, with classical algorithmic and algebraic techniques. Even the experienced reader will be pleasantly surprised to discover new and unexpected aspects in a variety of subjects including eigenvalues and eigenspaces of linear maps, joint eigenspaces of commuting families of endomorphisms, multiplication maps of zero-dimensional affine algebras, computation of primary decompositions and maximal ideals, and solution of polynomial systems. This book completes a trilogy initiated by the uncharacteristically witty books Computational Commutative Algebra 1 and 2 by the same authors. The material treated here is not available in book form, and much of it is not available at all. The authors continue to present it in their lively and humorous style, interspersing core content with funny quotations and tongue-in-cheek explanations.
Computational Linguistics and Intelligent Text Processing: Second International Conference, CICLing 2001, Mexico-City, Mexico, February 18-24, 2001. Proceedings (Lecture Notes in Computer Science #2004)
by Alexander GelbukhCICLing 2001 is the second annual Conference on Intelligent text processing and Computational Linguistics (hence the name CICLing), see www.CICLing.org. It is intended to provide a balanced view of the cutting edge developments in both theoretical foundations of computational linguistics and practice of natural language text processing with its numerous applications. A feature of the CICLing conferences is their wide scope that covers nearly all areas of computational linguistics and all aspects of natural language processing applications. The conference is a forum for dialogue between the specialists working in these two areas. This year our invited speakers were Graeme Hirst (U. Toronto, Canada), Sylvain Kahane (U. Paris 7, France), and Ruslan Mitkov (U. Wolverhampton, UK). They delivered excellent extended lectures and organized vivid discussions. A total of 72 submissions were received, all but very few of surprisingly high quality. After careful reviewing, the Program Committee selected for presentation 53 of them, 41 as full papers and 12 as short papers, by 98 authors from 19 countries: Spain (19 authors), Japan (15), USA (12), France, Mexico (9 each), Sweden (6), Canada, China, Germany, Italy, Malaysia, Russia, United Arab Emirates (3 each), Argentina (2), Bulgaria, The Netherlands, Ukraine, UK, and Uruguay (1 each).
Computational Linguistics and Intelligent Text Processing: 5th International Conference, CICLing 2004, Seoul, Korea, February 15-21, 2004, Proceedings (Lecture Notes in Computer Science #2945)
by Alexander GelbukhCICLing 2004 was the 5th Annual Conference on Intelligent Text Processing and Computational Linguistics; see www.CICLing.org. CICLing conferences are intended to provide a balanced view of the cutting-edge developments in both theoretical foundations of computational linguistics and the practice of natural language text processing with its numerous applications. A feature of CICLing conferences is their wide scope that covers nearly all areas of computational linguistics and all aspects of natural language processing applications. These conferences are a forum for dialogue between the specialists working in the two areas. This year we were honored by the presence of our invited speakers Martin KayofStanfordUniversity,PhilipResnikoftheUniversityofMaryland,Ricardo Baeza-Yates of the University of Chile, and Nick Campbell of the ATR Spoken Language Translation Research Laboratories. They delivered excellent extended lectures and organized vivid discussions. Of129submissionsreceived(74fullpapersand44shortpapers),aftercareful international reviewing 74 papers were selected for presentation (40 full papers and35shortpapers),writtenby176authorsfrom21countries:Korea(37),Spain (34), Japan (22), Mexico (15), China (11), Germany (10), Ireland (10), UK (10), Singapore (6), Canada (3), Czech Rep. (3), France (3), Brazil (2), Sweden (2), Taiwan (2), Turkey (2), USA (2), Chile (1), Romania (1), Thailand (1), and The Netherlands (1); the ?gures in parentheses stand for the number of authors from the corresponding country.
Computational Linguistics and Intelligent Text Processing: 4th International Conference, CICLing 2003, Mexico City, Mexico, February 16-22, 2003. Proceedings (Lecture Notes in Computer Science #2588)
by Alexander GelbukhCICLing 2003 (www.CICLing.org) was the 4th annual Conference on Intelligent Text Processing and Computational Linguistics. It was intended to provide a balanced view of the cutting-edge developments in both the theoretical foundations of computational linguistics and the practice of natural language text processing with its numerous applications. A feature of CICLing conferences is their wide scope that covers nearly all areas of computational linguistics and all aspects of natural language processing applications. The conference is a forum for dialogue between the specialists working in these two areas. This year we were honored by the presence of our keynote speakers Eric Brill (Microsoft Research, USA), Aravind Joshi (U. Pennsylvania, USA), Adam Kilgarriff (Brighton U., UK), and Ted Pedersen (U. Minnesota, USA), who delivered excellent extended lectures and organized vivid discussions. Of 92 submissions received, after careful reviewing 67 were selected for presentation; 43 as full papers and 24 as short papers, by 150 authors from 23 countries: Spain (23 authors), China (20), USA (16), Mexico (13), Japan (12), UK (11), Czech Republic (8), Korea and Sweden (7 each), Canada and Ireland (5 each), Hungary (4), Brazil (3), Belgium, Germany, Italy, Romania, Russia and Tunisia (2 each), Cuba, Denmark, Finland and France (1 each).
Computational Linguistics and Intelligent Text Processing: 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005, Proceedings (Lecture Notes in Computer Science #3406)
by Alexander GelbukhCICLing 2005 (www.CICLing.org) was the 6th Annual Conference on Intelligent Text Processing and Computational Linguistics. It was intended to provide a balanced view of the cutting-edge developments in both the theoretical foundations of computational linguistics and the practice of natural-language text processing with its numerous applications. A feature of CICLing conferences is their wide scope that covers nearly all areas of computational linguistics and all aspects of natural language processing applications. This year we were honored by the presence of our keynote speakers Christian Boitet (CLIPS-IMAG, Grenoble), Kevin Knight (ISI), Daniel Marcu (ISI), and Ellen Riloff (University of Utah), who delivered excellent extended lectures and organized vivid discussions and encouraging tutorials; their invited papers are published in this volume. Of 151 submissions received, 88 were selected for presentation; 53 as full papers and 35 as short papers, by exactly 200 authors from 26 countries: USA (15 papers); Mexico (12); China (9.5); Spain (7.5); South Korea (5.5); Singapore (5); Germany (4.8); Japan (4); UK (3.5); France (3.3); India (3); Italy (3); Czech Republic (2.5); Romania (2.3); Brazil, Canada, Greece, Ireland, Israel, the Netherlands, Norway, Portugal, Sweden, Switzerland (1 each); Hong Kong (0.5); and Russia (0.5) including the invited papers. Internationally co-authored papers are counted in equal fractions.
Computational Linguistics and Intelligent Text Processing: 7th International Conference, CICLing 2006, Mexico City, Mexico, February 19-25, 2006, Proceedings (Lecture Notes in Computer Science #3878)
by Alexander GelbukhThis book constitutes the refereed proceedings of the 7th International Conference on Computational Linguistics and Intelligent Text Processing, held in February 2006. The 43 revised full papers and 16 revised short papers presented together with three invited papers were carefully reviewed and selected from 176 submissions. The papers are structured into two parts and organized in topical sections on computational linguistics research.
Computational Linguistics and Intelligent Text Processing: 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008, Proceedings (Lecture Notes in Computer Science #4919)
by Alexander GelbukhCICLing 2008 (www. CICLing. org) was the 9th Annual Conference on Intel- gent Text Processing and Computational Linguistics. The CICLing conferences are intended to provide a wide-scope forum for the discussion of both the art and craft of natural language processing research and the best practices in its applications. This volume contains the papers accepted for oral presentation at the c- ference, as well as several of the best papers accepted for poster presentation. Other papers accepted for poster presentationwerepublished in specialissues of other journals(seethe informationonthe website). Since 2001the CICLing p- ceedings have been published in Springer’s Lecture Notes in Computer Science series, as volumes 2004, 2276, 2588, 2945, 3406, 3878, and 4394. The book consists of 12 sections, representative of the main tasks and app- cations of Natural Language Processing: – Language resources – Morphology and syntax – Semantics and discourse – Word sense disambiguation and named entity recognition – Anaphora and co-reference – Machine translation and parallel corpora – Natural language generation – Speech recognition – Information retrieval and question answering – Text classi?cation – Text summarization – Spell checking and authoring aid A total of 204 papers by 438 authors from 39 countries were submitted for evaluation (see Tables 1 and 2). Each submission was reviewed by at least two independent Program Committee members. This volume contains revised v- sions of 52 papers by 129 authors from 24 countries selected for inclusion in the conference program (the acceptance rate was 25. 5%).
Computational Linguistics and Intelligent Text Processing: Third International Conference, CICLing 2002, Mexico City, Mexico, February 17-23, 2002 Proceedings (Lecture Notes in Computer Science #2276)
by Alexander Gelbukh
Computational Linguistics and Intelligent Text Processing: 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007, Proceedings (Lecture Notes in Computer Science #4394)
by Alexander GelbukhThis book constitutes the refereed proceedings of the 8th International Conference on Computational Linguistics and Intelligent Text Processing, CICLing 2007, held in Mexico City, Mexico in February 2007. The 53 revised full papers presented together with 3 invited papers cover all current issues in computational linguistics research and present intelligent text processing applications.
Computational Logic (NATO ASI Subseries F: #165)
by Ulrich Berger Helmut SchwichtenbergRecent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field.Topics covered include: proof theory and specification of computation (J.-Y. Girard, D. Miller), complexity of proofs and programs (S. R. Buss, S. S. Wainer), computational content of proofs (H. Schwichtenberg), constructive type theory (P. Aczel, H. Barendregt, R. L. Constable), computational mathematics, (U. Martin), rewriting logic (J. Meseguer), and game semantics (S. Abramski).
Computational Logic: Essays in Honour of Robert A. Kowalski, Part I (Lecture Notes in Computer Science #2407)
by A. C. Kakas F. SadriAlan Robinson This set of essays pays tribute to Bob Kowalski on his 60th birthday, an anniversary which gives his friends and colleagues an excuse to celebrate his career as an original thinker, a charismatic communicator, and a forceful intellectual leader. The logic programming community hereby and herein conveys its respect and thanks to him for his pivotal role in creating and fostering the conceptual paradigm which is its raison d’Œtre. The diversity of interests covered here reflects the variety of Bob’s concerns. Read on. It is an intellectual feast. Before you begin, permit me to send him a brief personal, but public, message: Bob, how right you were, and how wrong I was. I should explain. When Bob arrived in Edinburgh in 1967 resolution was as yet fairly new, having taken several years to become at all widely known. Research groups to investigate various aspects of resolution sprang up at several institutions, the one organized by Bernard Meltzer at Edinburgh University being among the first. For the half-dozen years that Bob was a leading member of Bernard’s group, I was a frequent visitor to it, and I saw a lot of him. We had many discussions about logic, computation, and language.
Computational Logic: Essays in Honour of Robert A. Kowalski, Part II (Lecture Notes in Computer Science #2408)
by Antonis C. Kakas Fariba SadriAlan Robinson This set of essays pays tribute to Bob Kowalski on his 60th birthday, an anniversary which gives his friends and colleagues an excuse to celebrate his career as an original thinker, a charismatic communicator, and a forceful intellectual leader. The logic programming community hereby and herein conveys its respect and thanks to him for his pivotal role in creating and fostering the conceptual paradigm which is its raison d’Œtre. The diversity of interests covered here reflects the variety of Bob’s concerns. Read on. It is an intellectual feast. Before you begin, permit me to send him a brief personal, but public, message: Bob, how right you were, and how wrong I was. I should explain. When Bob arrived in Edinburgh in 1967 resolution was as yet fairly new, having taken several years to become at all widely known. Research groups to investigate various aspects of resolution sprang up at several institutions, the one organized by Bernard Meltzer at Edinburgh University being among the first. For the half-dozen years that Bob was a leading member of Bernard’s group, I was a frequent visitor to it, and I saw a lot of him. We had many discussions about logic, computation, and language.
Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 (ESPRIT Basic Research Series)
by J. W. LloydThis volume has a dual significance to the ESPRIT Basic Research efforts towards forging strong links between European academic and industrial teams carrying out research, often interdisciplinary, at the forefront of Information Technology. Firstly, it consists of the proceedings of the "Symposium on Computational Logic" - held on the occasion of the 7th ESPRIT Conference Week in November 1990 - whose organisation was inspired by the work of Basic Research Action 3012 (COMPULOG). This is a consortium which has attracted world-wide interest, with requests for collaboration throughout Europe, the US and Japan. The work of COMPULOG acts as a focal point in this symposium which is broadened to cover the work of other eminent researchers in the field, thus providing a review of the state of the art in computational logic, new and important contributions in the field, but also a vision of the future. Secondly, this volume is the first of an ESPRIT Basic Research Series of publications of research results. It is expected that the quality of content and broad distribution of this series will have a major impact in making the advances achieved accessible to the world of academic and industrial research alike. At this time, all ESPRIT Basic Research Actions have completed their first year and it is most encouraging and stimulating to see the flow of results such as the fine examples presented in this symposium.
Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings (Lecture Notes in Computer Science #1861)
by John Lloyd Veronica Dahl Ulrich Furbach Manfred Kerber Kung-Kiu Lau Catuscia Palamidessi Luis M. Pereira Yehoshua Sagiv Peter J. StuckeyThese are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on Rules and Objects in Databases (DOOD 2000) { 10th International Workshop on Logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th International Conference on Inductive Logic Programming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { Logic Programming: Theory and Extensions { Constraints { Automated Deduction: Putting Theory into Practice { Knowledge Representation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { Logic Programming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. The acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream.
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
by Jacob T. Schwartz Domenico Cantone Eugenio G. OmodeoThis must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Topics and features: describes in depth how a specific first-order theory can be exploited to model and carry out reasoning in branches of computer science and mathematics; presents an unique system for automated proof verification in large-scale software systems; integrates important proof-engineering issues, reflecting the goals of large-scale verifiers; includes an appendix showing formalized proofs of ordinals, of various properties of the transitive closure operation, of finite and transfinite induction principles, and of Zorn’s lemma.
Computational Logic in Multi-Agent Systems: 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings (Lecture Notes in Computer Science #6814)
by Guido Boella Leon Van Der Torre Joao Leite Paolo Torroni Thomas AgotnesThis book constitutes the proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, held in Barcelona, Spain, in July 2011. The 22 papers presented were carefully reviewed and selected from 43 submissions. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. This volume features five thematic special sessions: secrets and trust, knowledge and beliefs, logics for games and social choice, cooperation, logic and languages, and norms and normative multi-agent systems.
Computational Logic in Multi-Agent Systems: 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings (Lecture Notes in Computer Science #8624)
by Nils Bulling Leon Van Der Torre Serena Villata Wojtek Jamroga Wamberto VasconcelosThis book constitutes the proceedings of the 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XV, held in Prague, Czech Republic, in August 2014.The 12 regular papers were carefully reviewed and selected from 20 submissions. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. This edition will feature two special sessions: logics for agreement technologies and logics for games, strategic reasoning, and social choice.