Journal of Algorithms
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Deduction Systems Based on Resolution, We Limit the Following Considerations to Transition Systems Based on Analytic Calculi
Author’s Address Norbert Eisinger European Computer–Industry Research Centre, ECRC Arabellastr. 17 D-8000 M¨unchen 81 F. R. Germany [email protected] and Hans J¨urgen Ohlbach Max–Planck–Institut f¨ur Informatik Im Stadtwald D-6600 Saarbr¨ucken 11 F. R. Germany [email protected] Publication Notes This report appears as chapter 4 in Dov Gabbay (ed.): ‘Handbook of Logic in Artificial Intelligence and Logic Programming, Volume I: Logical Foundations’. It will be published by Oxford University Press, 1992. Fragments of the material already appeared in chapter two of Bl¨asis & B¨urckert: Deduction Systems in Artificial Intelligence, Ellis Horwood Series in Artificial Intelligence, 1989. A draft version has been published as SEKI Report SR-90-12. The report is also published as an internal technical report of ECRC, Munich. Acknowledgements The writing of the chapters for the handbook has been a highly coordinated effort of all the people involved. We want to express our gratitude for their many helpful contributions, which unfortunately are impossible to list exhaustively. Special thanks for reading earlier drafts and giving us detailed feedback, go to our second reader, Bob Kowalski, and to Wolfgang Bibel, Elmar Eder, Melvin Fitting, Donald W. Loveland, David Plaisted, and J¨org Siekmann. Work on this chapter started when both of us were members of the Markgraf Karl group at the Universit¨at Kaiserslautern, Germany. With our former colleagues there we had countless fruitful discus- sions, which, again, cannot be credited in detail. During that time this research was supported by the “Sonderforschungsbereich 314, K¨unstliche Intelligenz” of the Deutsche Forschungsgemeinschaft (DFG). -
DESIGN and CRYPTANALYSIS of POST QUANTUM CRYPTOSYSTEMS Olive Chakraborty
DESIGN AND CRYPTANALYSIS OF POST QUANTUM CRYPTOSYSTEMS Olive Chakraborty To cite this version: Olive Chakraborty. DESIGN AND CRYPTANALYSIS OF POST QUANTUM CRYPTOSYSTEMS. Cryptography and Security [cs.CR]. Sorbonne Université, 2020. English. tel-03135217 HAL Id: tel-03135217 https://tel.archives-ouvertes.fr/tel-03135217 Submitted on 12 Feb 2021 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. THÈSE DE DOCTORANT DE SORBONNE UNIVERSITÉ Spécialité Informatique École Doctorale Informatique, Télécommunications et Électronique (Paris) Présentée par OLIVE CHAKRABORTY Pur obtenir le grade de DOCTEUR DE SORBONNE UNIVERSITÈ DESIGN AND CRYPTANALYSIS OF POST QUANTUM CRYPTOSYSTEMS Thèse dirigée par JEAN-CHARLES FAUGÈRE et LUDOVIC PERRET après avis des rapporteurs: Mme. Delaram KAHROBAEI Professeur, University of York, U.K M. Jacques PATARIN Professeur, Université de Versailles devant le jury composé de : M. Jean-Charles FAUGÈRE Directeur de recherche, INRIA Paris M. Stef GRAILLAT Professeur, Sorbonne Université, LIP6 Mme. Delaram KAHROBAEI Professeur, University of York, U.K M. Jacques PATARIN Professeur, Université de Versailles M. Ludovic PERRET Maître de Conférences, Sorbonne Université, LIP6 M. Mohab SAFEY EL DIN Professeur, Sorbonne Université, LIP6 Date de soutenance : 16-12-2020 Résumé La résolution de systèmes polynomiaux est l’un des problèmes les plus anciens et des plus importants en Calcul Formel et a de nombreuses applications. -
Organization of the American Association for Artificial Intelligence
Organization of the American Association for Artificial Intelligence Officers President Tom M. Mitchell, Carnegie Mellon University President–Elect Ron Brachman, Corporation for National Research Initiatives Past President Bruce Buchanan, University of Pittsburgh Secretary–Treasurer Ted Senator Councilors (through 2003) Craig Boutilier, University of Toronto Rina Dechter, University of California, Irvine Richard Doyle, Jet Propulsion Laboratory, California Institute of Technology David Poole, University of British Columbia (through 2004) Marie desJardins, University of Maryland Baltimore County Craig Knoblock, University of Southern California / Institute for Scientific Information (USC/ISI) Daphne Koller, Stanford University Peter Norvig, Google, Inc. (through 2005) Carla Gomes, Cornell University Michael Littman, Rutgers University Maja Mataric, University of Southern California Yoav Shoham, Stanford University Standing Committees Conference Chair James A. Hendler, University of Maryland ix Fellows and Nominating Chair Bruce G. Buchanan, University of Pittsburgh Finance Chair Ted Senator Grants Chair Manuela Veloso, Carnegie Mellon University Membership Chair Reid Simmons, Carnegie Mellon University Publications Chair David Leake, Indiana University Symposium Chair Holly Yanco, University of Massachusetts Lowell Symposium Associate Chair Marie desJardins, University of Maryland Baltimore County AI Magazine Editor David Leake, Indiana University Reports Editor Robert A. Morris, NASA Ames Research Center Book Review Editor Michael Wellman, -
Introduction
Introduction IJCAI-01 Conference Committee IJCAI-01 Program Committee: Contents: CONFERENCE CHAIR: Elisabeth André, DFKI GmbH (Germany) Introduction 2 Hector J. Levesque, University of Toronto (Canada) Minoru Asada, Osaka University (Japan) Sponsors & Committees 2-3 Franz Baader, RWTH Aachen (Germany) PROGRAM CHAIR: IJCAI-01 Awards 4 Craig Boutilier, University of Toronto (Canada) Bernhard Nebel,Albert-Ludwigs-Universität, Freiburg Didier Dubois, IRIT-CNRS (France) Conference at a Glance 5 (Germany) Maria Fox, University of Durham (United Kingdom) Workshop Program 6-7 LOCAL ARRANGEMENTS CHAIR: Hector Geffner, Universidad Simón Bolívar Doctoral Consortium 8 James Hoard, The Boeing Company, Seattle (USA) (Venezuela) Tutorial Program 8 SECRETARY-TREASURER: Georg Gottlob,Vienna University of Technology (Austria) Conference Program Highlights 9 Ronald J. Brachman,AT&T Labs – Research (USA) Invited Speakers 10 Haym Hirsh, Rutgers University (USA) IAAI-01 Conference 11 Eduard Hovy, Information Sciences Institute (USA) Advisory Committee: Joxan Jaffar, National University of Singapore Technical Program 12-19 Bruce Buchanan, University of Pittsburgh (USA) (Singapore) Exhibit Program 20-23 Silvia Coradeschi, Örebro University (Sweden) Daphne Koller, Stanford University (USA) RoboCup 2001 24 Olivier Faugeras, INRIA (France) Fangzhen Lin, Hong Kong University of Science and Registration Information 25 Cheng Hu, Chinese Academy of Sciences (China) Technolog y (Hong Kong) General Information 25-27 Nicholas Jennings, University of London (England) Heikki Mannila, Nokia Research Center (Finland) Conference Maps 28-30 Henry Kautz, University of Washington (USA) Robert Milne, Intelligent Applications (United Kingdom) IJCAI-03 Conference 31 Robert Mercer, University of Western Ontario (Canada) Daniele Nardi, Università di Roma “La Sapienza” Special Meetings 31 Silvia Miksch,Vienna University of Technology (Italy) (Austria) Dana Nau, University of Maryland (USA) Devika Subramanian, Rice University (USA) Patrick Prosser, University of Glasgow (UK) Welcome to IJCAI-01 L. -
The Combined KEAPPA - IWIL Workshops Proceedings
The Combined KEAPPA - IWIL Workshops Proceedings Proceedings of the workshops Knowledge Exchange: Automated Provers and Proof Assistants and The 7th International Workshop on the Implementation of Logics held at The 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning November 23-27, 2008, Doha, Qatar Knowledge Exchange: Automated Provers and Proof Assistants (KEAPPA) Existing automated provers and proof assistants are complementary, to the point that their cooperative integration would benefit all efforts in automating reasoning. Indeed, a number of specialized tools incorporating such integration have been built. The issue is, however, wider, as we can envisage cooper- ation among various automated provers as well as among various proof assistants. This workshop brings together practitioners and researchers who have experimented with knowledge exchange among tools supporting automated reasoning. Organizers: Piotr Rudnicki, Geoff Sutcliffe The 7th International Workshop on the Implementation of Logics (IWIL) IWIL has been unusually sucessful in bringing together many talented developers, and thus in sharing information about successful implementation techniques for automated reasoning systems and similar programs. The workshop includes contributions describing implementation techniques for and imple- mentations of automated reasoning programs, theorem provers for various logics, logic programming systems, and related technologies. Organizers: Boris Konev, Renate Schmidt, Stephan Schulz Copyright c 2008 for the individual papers by the papers’ authors. Copying permitted for private and academic purposes. Re-publication of material from this volume requires permission by the copyright owners. Automated Reasoning for Mizar: Artificial Intelligence through Knowledge Exchange Josef Urban∗ Charles University in Prague Abstract This paper gives an overview of the existing link between the Mizar project for formalization of mathematics and Automated Reasoning tools (mainly the Automated Theorem Provers (ATPs)). -
0000 Titelnl ENGLISH Layout 1
NEWSLETTER GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE 2/2011 RESEARCH LABS KNOWLEDGE MANAGEMENT ROBOTICS INNOVATION CENTER SAFE AND SECURE COGNITIVE SYSTEMS INNOVATIVE RETAIL LABORATORY INSTITUTE FOR INFORMATION SYSTEMS EMBEDDED INTELLIGENCE AGENTS AND SIMULATED REALITY AUGMENTED VISION LANGUAGE TECHNOLOGY INTELLIGENT USER INTERFACES INNOVATIVE FACTORY SYSTEMS New DFKI Branch in Osnabrück New Research Department „Embedded Intelligence” RES-COM – Resource-Efficient Production for Industry 4.0 © 2011 DFKI I ISSN - 1615 - 5769 I 28th edition 365 Selected Landmarks in the Land of Ideas Germany How does the Software-Cluster Land of Ideas turn ideas into innovations that are used worldwide and in all sectors while strengthening the German software industry? That is the theme of the evening event and presentation ceremony for the Selected Landmark in the Land of Ideas 2011 award on November 14, 2011 at the Software-Cluster Coordination Office in Darmstadt. l.-r.: Prof. Lutz Heuser, Spokesman Software-Cluster; Prof. Wolfgang Wahlster; MinDir Prof. Wolf-Dieter Lukas, BMBF In the Software-Cluster, the European Silicon Valley connecting the cities of Darmstadt, Kaiserslautern, Karlsruhe, and Saarbrücken, there exists a research and development alliance of leading companies and research facilities – including DFKI – that is building the next genera- tion of enterprise software as an "operating system" Prof. Johannes Buchmann, member of the Software-Cluster strategy board November 14, 2011 Mornewegstr. 32 D-62493 Darmstadt www.software-cluster.org Software-Cluster strategy workshop, March 2011 for every company, whether a supplier or master craftsman, a small business owner or a global leader. The digital upgrade of business processes creates alternative business models and im- proves the economic performance of the com- pany. -
Invited Speakers
Invited Speakers In addition to six paper presentations, which will be accompanied by discussions, the work- shop features two keynote speakers: Anthony Cohn (University of Leeds, UK) and Henry Kautz (University of Rochester, USA). Anthony Cohn holds a Personal Chair at the University of Leeds, where he is professor of automated reasoning and served a term as head of the School of Computing, from August 1999 to July 2004. He is presently director of the Institute for Artificial Intelligence and Biological Systems. He holds BSc and PhD degrees from the University of Essex, where he studied under Pat Hayes. He spent 10 years at the University of Warwick before moving to Leeds in 1990. He now leads a research group working on knowledge representation and reasoning with a particular focus on qualitative spatial/spatio-temporal reasoning, the best known being the well cited Region Connection Calculus (RCC). His current research inter- ests range from theoretical work on spatial calculi and spatial ontologies, to cognitive vision, modeling spatial information in the hippocampus, and integrating utility data recording the location of underground assets. He has received substantial funding from a variety of sources, including EPSRC, the DTI, DARPA, the European Union and various industrial sources. Work from the Cogvis project won the British Computer Society Machine Intelligence prize in 2004. Henry Kautz is chair of the Department of Computer Science at the University of Rochester. He performs research in knowledge representation, machine learning, pervasive computing, and assistive technology. His academic degrees include an A.B. in mathematics from Cornell University, an M.A. -
Recent Progress in Propositional Reasoning and Search
Ten Challenges Redux: Recent Progress in Propositional Reasoning and Search Henry Kautz1 and Bart Selman2 1 Department of Computer Science & Engineering University of Washington Seattle, WA 98195 USA [email protected] 2 Department of Computer Science Cornell University Ithaca, NY 14853 USA [email protected] Abstract. In 1997 we presented ten challenges for research on satisfia- bility testing [1]. In this paper we review recent progress towards each of these challenges, including our own work on the power of clause learning and randomized restart policies. 1 Introduction The past few years have seen enormous progress in the performance of Boolean satisfiability (SAT) solvers. Despite the worst-case exponential run time of all known algorithms, SAT solvers are now in routine use for applications such as hardware verification [2] that involve solving hard structured problems with up to a million variables [3, 4]. Each year the International Conference on Theory and Applications of Satisfiability Testing hosts a SAT competition that highlights a new group of “world’s fastest” SAT solvers, and presents detailed performance results on a wide range of solvers [5, 6]. In the the 2003 competition, over 30 solvers competed on instances selected from thousands of benchmark problems. In 1997, we presented ten challenges for research on satisfiability testing [1], on topics that at the time appeared to be ripe for progress. In this paper we revisit these challenges, review progess, and offer some suggestions for future research. A full review of the literature related to the original challenges, let alone satisfiability testing as a whole, is beyond the scope of this paper. -
Guide: Towards Understanding Daily Life Via Auto- Identification and Statistical Analysis
Guide: Towards Understanding Daily Life via Auto- Identification and Statistical Analysis Kenneth P. Fishkin1, Henry Kautz2, Donald Patterson2, Mike Perkowitz2, Matthai Philipose1 1 Intel Research Seattle, 1100 NE 45th St, 6th floor Seattle, WA 98105, USA {kenneth.p.fishkin, matthai.philipose}@intel.com 2 Department of Computer Science and Engineering University of Washington Seattle, WA 98195-2350, USA {kautz, djp3, mikep}@cs.washington.edu http://seattleweb.intel-research.net/projects/guide Abstract. Many recent studies have underscored the applicability to health- care of a system able to observe and understand day-to-day human activities. The Guide project is aimed at building just such a system. The project com- bines novel sensing technology, expressive but scalable learners and unsuper- vised mining of activity models from the web to address the problem. An early prototype, Carnac, has shown considerable promise. This paper provides a high-level overview of the Guide approach, briefly discusses Carnac, and de- tails our expectations of the workshop. 1 Introduction Understanding the day-to-day activities of individuals (such as eating, cleaning, cooking, watching television, exercising, shaving, and playing) has been recognized as a capability with a wide range of applications to healthcare. Applications include reminders to perform missed activities, prompts to help in completing activities, monitoring to assess the ability to live independently, notifications to caregivers as a response to anomalous or undesirable patterns of activity and logs to help understand a patient’s current state based on recent activity [2, 5, 6, 7, 9, 10, 12]. Many systems address the problem of activity recognition, but all the ones we are aware of are se- verely limited in the variety of activities they recognize, the robustness and speed with which they recognize them, and/or the ease of adding new activities for the system to detect. -
Cognitive Technologies
Cognitive Technologies Managing Editors: D. M. Gabbay J. Siekmann Editorial Board: A. Bundy J. G. Carbonell M. Pinkal H. Uszkoreit M. Veloso W. Wahlster M. J. Wooldridge Advisory Board: Luigia Carlucci Aiello Alan Mackworth Franz Baader Mark Maybury Wolfgang Bibel Tom Mitchell Leonard Bolc Johanna D. Moore Craig Boutilier Stephen H. Muggleton Ron Brachman Bernhard Nebel Bruce G. Buchanan Sharon Oviatt Anthony Cohn Luis Pereira Luis Farinas˜ del Cerro Lu Ruqian Koichi Furukawa Stuart Russell Artur d’Avila Garcez Erik Sandewall Georg Gottlob Luc Steels Patrick J. Hayes Oliviero Stock James A. Hendler Peter Stone Anthony Jameson Gerhard Strube Nick Jennings Katia Sycara Aravind K. Joshi Milind Tambe Hans Kamp Hidehiko Tanaka Martin Kay Sebastian Thrun Hiroaki Kitano Junichi Tsujii Robert Kowalski Kurt VanLehn Sarit Kraus Andrei Voronkov Maurizio Lenzerini Toby Walsh Hector Levesque Bonnie Webber John Lloyd For further volumes: http://www.springer.com/series/5216 Matthew W. Crocker · Jorg¨ Siekmann (Eds.) Resource-Adaptive Cognitive Processes With 148 Figures and 14 Tables 123 Editors Managing Editors Prof. Dr. Matthew W. Crocker Prof. Dov M. Gabbay Dept. of Computational Linguistics Augustus De Morgan Professor of Logic Saarland University Department of Computer Science Saarbrucken,¨ Germany King’s College London [email protected] Strand, London WC2R 2LS, UK [email protected] Prof. Dr. Jorg¨ Siekmann Prof. Dr. Jorg¨ Siekmann Deutsches Forschungszentrum Deutsches Forschungszentrum fur¨ Kunstliche¨ Intelligenz (DFKI) fur¨ Kunstliche¨ -
Embedded Surface Attack on Multivariate Public Key Cryptosystems from Diophantine Equation
Embedded Surface Attack on Multivariate Public Key Cryptosystems from Diophantine Equation A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy Department of Mathematical Sciences College of Arts and Sciences University of Cincinnati Author: Ai Ren Chair: Professor Jintai Ding Degrees: B.S. Mathematics, 2004, University of Science and Technology of China M.S. Information Systems, 2008, Benedictine University ii Abstract In 2011, Gao and Heindl proposed a family of Multivariate Public Key Cryp- tosystems by combining the triangular scheme and the oil-vinegar scheme. The new design was claimed to be secured under known attacks. Besides that, they also used the Medium-Field Multivariate Public Key Cryptosystem as an ex- ample of their general frame and explained how it works. Later, by introducing several Diophantine equations into their design, they presented the Diophan- tine Equations Multivariate Public Key Cryptosystem (DEMPKC) with three sets of suggested parameters and the claimed security level were high. In this paper, we present our cryptanalysis on DEMPKC. Our cryptanalysis uses embedded surfaces associated with the DEMPKC and shows the attack can break the system efficiently. Our work provides an example of more general embedded surfaces other than linearization type of equations can be very useful to attack cryptosystems. iii c by Ai Ren. All rights reserved. Acknowledgments Firstly, I want to thank Dr. Jintai Ding for his endless support, his patience, and immense knowledge. Jintai is very famous in the area of cryptography. He and his remarkable work provide us the opportunity of doing the important research. To me, he is not just an advisor but my family member. -
Conference Brochure
Registration Brochure August 19-25, 1995 C1 IJCAI-95 REGISTRATION BROCHURE IJCAI-95 14th International Joint Conference on Artificial Intelligence Olga Stepankova, Czech Technical University (Czech Republic) Introduction Oliviero Stock, IRST (Italy) John K. Tsostos, University of Toronto (Canada) IJCAI-95, the Fourteenth International Joint Conference on Artificial Intelligence, is Dinxing Wang, Tsingghua University (China) sponsored by the International Joint Conferences on Artificial Intelligence, Inc. (IJCAII), the American Association for Artificial Intelligence (AAAI), and the Canadian Society for Computational Studies of Intelligence/Société Canadienne pour l’Étude de Intelligence Program Committee: par Ordinateur (CSCSI/SCEIO). Joseph Bates, Carnegie Mellon University (USA) IJCAII sponsors biennial conferences on artificial intelligence, which are the main Niels Ole Bernsen, University of Roskilde (Denmark) forums for presenting AI research results to the international AI community. Previous Chris Brown, University of Rochester (USA) conference sites were Washington D.C., USA (1969), London, England (1971), Stanford, Maurice Bruynooghe, Catholic University of Leuven (Belgium) California, USA (1973), Tbilisi, Georgia, USSR (1975), Cambridge, Massachusetts, USA Rina Dechter, University of California, Irvine (USA) (1977), Tokyo, Japan (1979), Vancouver, British Columbia, Canada (1981), Karlsruhe, Didier Dubois, IRIT, Université Paul Sabatier (France) Germany (1983), Los Angeles, California, USA (1985), Milan, Italy (1987), Detroit,