Filters








75,926 Hits in 4.3 sec

Mechanized Reasoning for Continuous Problem Domains (Invited Talk)

Rob Arthan
2008 Conference on Automated Deduction  
Specification and verification in continuous problem domains are key topics for the practical application of formal methods and mechanized reasoning.  ...  I discuss one approach to linear continuous control systems and consider the challenges and opportunities raised for mechanized reasoning.  ...  The approach to reasoning about linear systems is joint work with Ursula Martin, Erik Arne Mathiesen and Paulo Oliva and was supported by EPSRC grants GR/M98340 and GR/L48256.  ... 
dblp:conf/cade/Arthan08 fatcat:crgpwhu5ovabrfaizerkszgf3e

Sharing Distributed Knowledge on the Web (Invited Talk)

Serge Abiteboul, Marc Herbstritt
2012 Annual Conference for Computer Science Logic  
For this, we introduce Webdamlog, a Datalog-style language with rule delegation.  ...  Our objective is to help Web users finding information, as well as controlling their own, using automated reasoning over this knowledge base towards improving the quality of service and of data.  ...  Finally, a critical dimension of the problem is the imprecise, uncertain, noisy, possibly contradicting nature of data in this setting.  ... 
doi:10.4230/lipics.csl.2012.6 dblp:conf/csl/Abiteboul12 fatcat:gieppk4ej5g2zlxo7eop6hkgwu

A Fresh Look at the lambda-Calculus (Invited Talk)

Beniamino Accattoli, Michael Wagner
2019 International Conference on Rewriting Techniques and Applications  
Roughly, it would be a model whose hidden computational mechanism uses sharing as it is needed to obtain reasonable implementations.  ...  In the talk, the speaker was comparing weak strategies, of which we have various reasonable examples, together with a strong strategy that is not known to be reasonable.  ... 
doi:10.4230/lipics.fscd.2019.1 dblp:conf/rta/Accattoli19 fatcat:75swok72vvb6fdfl3fx5lu5sey

Invited talk - Communities of Practice: Never Knowingly Undersold

Chris Kimble
2006 European Conference on Technology Enhanced Learning  
Lewis' famous tag-line "Never Knowingly Undersold", the term "Communities of Practice" has proved to be both durable and capable of holding many levels of meaning and seems like an appropriate metaphor for  ...  For a variety of reasons, the 1990s were a period when Big Business was looking for Big Ideas.  ...  A Community of Practice is seen as a mechanism for the reproduction of existing knowledge through active engagement with others in some form of 'practice'.  ... 
dblp:conf/ectel/Kimble06 fatcat:qsjkpe3kbjd65itr33cyp4lbs4

Analysing Privacy-Type Properties in Cryptographic Protocols (Invited Talk)

Stéphanie Delaune, Michael Wagner
2018 International Conference on Rewriting Techniques and Applications  
For example, passports are no more pure paper documents. Instead, they contain a chip that stores additional information such as pictures and fingerprints of their holder.  ...  In order to ensure privacy, these chips include a mechanism, i.e. a cryptographic protocol, that does not let the passport disclose private information to external users except the intended terminal.  ...  For example, Alice's identity remains private if an attacker cannot distinguish a session where Alice is talking from a session where Bob is talking.  ... 
doi:10.4230/lipics.fscd.2018.1 dblp:conf/rta/Delaune18 fatcat:mbzxlhqg5bdoxcjzxegydzpsba

The Gremlin graph traversal machine and language (invited talk)

Marko A. Rodriguez
2015 Proceedings of the 15th Symposium on Database Programming Languages - DBPL 2015  
These properties enable Gremlin to naturally support imperative and declarative querying, host language agnosticism, user-defined domain specific languages, an extensible compiler/optimizer, single- and  ...  As it stands, the Turing machine is the minimal abstract machine required for general-purpose computing. A Turning machine can do any known "mechanical" (algorithmic) computation.  ...  In these domains, the concept of vertices and edges may be understood as people and social relationships, for example.  ... 
doi:10.1145/2815072.2815073 dblp:conf/dbpl/Rodriguez15 fatcat:iuhgtnevone3nhphtqk4w3w6bu

[Invited talk] Building a Disaster-resilient Storage Layer for Next Generation Networks: The Role of Redundancy [article]

Vero Estrada-Galinanes, Racin Nygaard, Viktor Tron, Rodrigo Saramago, Leander Jehl, Hein Meling
2019 arXiv   pre-print
Swarm, a native layer of the Ethereum web3 stack, aims at providing redundant storage for dapp code, data, as well as, blockchain and state data.  ...  Solutions for off-chain, decentralized storage are under intense development, e.g., IPFS , Filecoin , StorJ and Swarm , and more 1 https://ipfs.io/ services continue to emerge.  ...  However, due to the high degree of replication and often costly consensus mechanism [2] , a blockchain would not be sustainable for long-term storage of diplomas.  ... 
arXiv:1912.04269v1 fatcat:n7wcqat3zzdihdsjovsotbxicy

Efficient certification of complexity proofs: formalizing the Perron–Frobenius theorem (invited talk paper)

Jose Divasón, Sebastiaan Joosten, Ondřej Kunčar, René Thiemann, Akihisa Yamada
2018 Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018  
This connection crucially relies on the transfer mechanism in combination with local type definitions, being a non-trivial case study for these Isabelle tools.  ...  Certifying such analyses boils down to determining the growth rate of A n for a fixed non-negative rational matrix A.  ...  We thank Fabian Immler for his explanations on how to perform continuity proofs in the HMA library.  ... 
doi:10.1145/3176245.3167103 fatcat:dbeagv66k5gttinzjqhw6xnzbu

Efficient certification of complexity proofs: formalizing the Perron–Frobenius theorem (invited talk paper)

Jose Divasón, Sebastiaan Joosten, Ondřej Kunčar, René Thiemann, Akihisa Yamada
2018 Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018  
This connection crucially relies on the transfer mechanism in combination with local type definitions, being a non-trivial case study for these Isabelle tools.  ...  Certifying such analyses boils down to determining the growth rate of A n for a fixed non-negative rational matrix A.  ...  We thank Fabian Immler for his explanations on how to perform continuity proofs in the HMA library.  ... 
doi:10.1145/3167103 dblp:conf/cpp/DivasonJKT018 fatcat:niku3pjyhvdhfchc6p2ikanrua

Duality in Action (Invited Talk)

Paul Downen, Zena M. Ariola, Naoki Kobayashi
2021
Starting from a foundation of constructive logic as dialogues, we illustrate how it describes a symmetric language for computation, and survey several applications of the dualities found therein.  ...  evidence (a general algorithm for generating evidence based on any object in the domain).  ...  So they cannot be represented in Java without added support for juggling multiple continuations.  ... 
doi:10.4230/lipics.fscd.2021.1 fatcat:orleuqoeefcm5mjs5m5mrlpifu

How to Develop an Intuition for Risk... and Other Invisible Phenomena (Invited Talk)

Natasha Fernandes, Annabelle McIver, Carroll Morgan, Florin Manea, Alex Simpson
2022
We describe a faithful geometrical setting for the channel model of quantitative information flow (QIF) and demonstrate how it can facilitate "proofs without words" for problems in the QIF setting.  ...  This paper describes the use of geometrical representation and reasoning as a way to share ideas using the minimum of notation so as to build intuition about what kinds of properties might or might not  ...  Introduction The analysis of security-and privacy vulnerabilities continues to be a challenging and important problem.  ... 
doi:10.4230/lipics.csl.2022.2 fatcat:g27dj7kt4bcg7dwnysjqjekxby

AAAI 2002 Workshops

M. Brian Blake, Karen Zita Haigh, Henry Hexmoor, Rino Falcone, Leen-Kiat Soh, Chitta Baral, Sheila A. McIlraith, Piotr J. Gmytrasiewicz, Simon Parsons, Rainer Malaka, Antonio Krüger, Paolo Bouquet (+19 others)
2002 The AI Magazine  
A second invited talk by Michael Horsch dealt with finegrained control of reasoning in constraint-satisfaction problems, and a third by Sven Koenig presented new real-time heuristic search techniques for  ...  The workshop program included an invited talk by Michael P.  ...  reasoning about arbitrary angular directions), and new problems were addressed (such as representing various notions of "containment" for reasoning about object access).  ... 
doi:10.1609/aimag.v23i4.1678 dblp:journals/aim/BlakeHHFSBMGPMKBSKPBdJDDRSGWGHIWAGL02 fatcat:b3lkuxmpj5ezbddwbysfuk4yhi

Solving the bracketing paradox: an analysis of the morphology of German particle verbs I have given talks about the morphology of German particle verbs in Tbingen at the Seminar fr Sprachwissenschaft, in Stuttgart at the Institut fr maschinelle Sprachverarbeitung (IMS), in Potsdam at the Institut fr LinguistikAllgemeine Sprachwissenschaft and at the HPSG 2001 conference in Trondheim. I thank Tbingen, Stuttgart and Potsdam for the invitation and the audiences of all four talks for discussion. Thanks to Berth ...

STEFAN MLLER
2003 Journal of Linguistics  
With such an approach no special mechanisms for the analysis of particle verbs are necessary. 1 Stiebels (1996, p. 40)  ...  Therefore it is reasonable to assume that the inflectional material is combined with both the verbal stem of simplex verbs and the verbal stem of particle verbs.  ...  Mechanisms for liberation of domain elements that can explain all data that have been discussed so far would have to be devised. As yet no such analysis exists.  ... 
doi:10.1017/s0022226703002032 fatcat:oqn6ztsm6fbwhamp52zo6gotpa

INVITED TALK-CONFÉRENCECONF´CONFÉRENCE INVITÉEINVIT´INVITÉE On a Global Education and Examination System CONTRIBUTED TALKS-CONFÉRENCESCONF´CONFÉRENCES CONTRIBUÉESCONTRIBU´CONTRIBUÉES Assessing Alternative Financing Methods for the Canadian Health Care System in View of Population Aging

Jean-Louis Massé, Doug Andrews
2006 Actuarial Research Conference   unpublished
The president of the IAA will talk about the great challenges of this amitious and promising project.  ...  and hence for the GDP.  ...  Thomann Oregon State University, Corvallis, USA Abstract: This talk considers one of the classical problems in the actuarial mathematics literature, the collective risk model.  ... 
fatcat:ypsxrbhozza4jiivrjxcbxwvsm

ECAI 2008 Workshops on Configuration and Recommender Systems: Two Converging Research Fields

Markus Zanker, Juha Ttiihonen
2008 The IEEE intelligent informatics bulletin  
Research must continue in the future if languages capable of modeling general reconfiguration problems in commercial environments and inference systems based on general purpose reasoning mechanisms are  ...  Its program consisted of nine technical papers and three invited talks.  ...  His main interest is product and service configuration in its various forms, including modeling and operations management aspects of business processes and design for configuration.  ... 
dblp:journals/cib/ZankerT08 fatcat:auuh3xe6cfhwjjbbysucrfavly
« Previous Showing results 1 — 15 out of 75,926 results