A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Filters
Mechanized Reasoning for Continuous Problem Domains (Invited Talk)
2008
Conference on Automated Deduction
Preserved Fulltext
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)
2012
Annual Conference for Computer Science Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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)
2019
International Conference on Rewriting Techniques and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2006
European Conference on Technology Enhanced Learning
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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)
2018
International Conference on Rewriting Techniques and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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)
2015
Proceedings of the 15th Symposium on Database Programming Languages - DBPL 2015
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2015 pre-print arXiv:1508.03843v1 fatcat:fhyvyl766bcpnlh6rbdbpgogv4
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]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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)
2018
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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)
2018
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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)
2021
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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)
2022
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2002
The AI Magazine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
...
2003
Journal of Linguistics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2006
Actuarial Research Conference
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2008
The IEEE intelligent informatics bulletin
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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