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.
Filters
Algorithmic Data Science (Invited Talk)
2019
Symposium on Theoretical Aspects of Computer Science
Preserved Fulltext
The area of algorithmic data science provides new opportunities for researchers in the algorithmic community. ...
Now we have the opportunity to shape this new emerging field. ...
Algorithmic Data Science Skiena [45] wrote a great book that gives a nice introduction into data science focusing on the skills and principles needed for the whole process including data integration, ...
doi:10.4230/lipics.stacs.2019.3
dblp:conf/stacs/Mutzel19
fatcat:4sq6azx2snb2tkhr4n5wchaoyq
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.
We mention the implementation of a system to support this language as well as standard communications and security protocols. ...
To share information, we propose to see the Web as a knowledge base consisting of distributed logical facts and rules. ...
A more detailed presentations of the results of the project may be found on the Webdam Web site at http://webdam.inria.fr/. ...
doi:10.4230/lipics.csl.2012.6
dblp:conf/csl/Abiteboul12
fatcat:gieppk4ej5g2zlxo7eop6hkgwu
Practical Formal Methods for Real World Cryptography (Invited Talk)
2019
Foundations of Software Technology and Theoretical Computer Science
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.
We describe a tool chain and framework based on the F * programming language to formally specify, verify and compile high-performance cryptographic software that is secure by design. ...
This tool chain has been used to build a verified cryptographic library called HACL * , and provably secure implementations of sophisticated secure communication protocols like Signal and TLS. ...
We believe that this methodology offers a template for many more future applications. ...
doi:10.4230/lipics.fsttcs.2019.1
dblp:conf/fsttcs/BhargavanN19
fatcat:uyj2x66q5rcr5ns6zidmsto7yi
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.
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. ...
Instead, they contain a chip that stores additional information such as pictures and fingerprints of their holder. ...
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
[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.
Blockchain is the driving force behind a myriad of decentralized applications (dapps) that promise to transform the Internet. ...
Based on a diploma verification dapp use case, we share insights on the role of redundancy strategies in designing a reliable storage layer. ...
We believe that this is due to the prototype implementation issues a large number of requests for data in parallel, whilst the concurrency of the Swarm baseline is controlled by the gateway. ...
arXiv:1912.04269v1
fatcat:n7wcqat3zzdihdsjovsotbxicy
Embracing Make Believe Play and Theories of Early Childhood: Understanding Children's Spirituality and the Spiritual Essence of a Young Child
2014
International Journal of Integrative Pediatrics and Environmental Medicine
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 2015; you can also visit the original URL.
The file type is application/pdf.
Spirituality, together with the ability to make-believe allows young children to be awakened with an awareness of community and purpose for the world around them. ...
Spiritual moments experienced by young children are often direct, personal, and have the effect, if only for a moment, of uplifting the child by capturing the essence of spirituality through playful moments ...
Furthermore, inviting children to express their thoughts, and involving all children in establishing rules for community building and respectful listening and talking are important during the early childhood ...
doi:10.6000/ijipem/2014/2
fatcat:z3oy2edh6bbcdfvacyzdloi7wm
Husserl and Hilbert on Completeness and Husserl's Term Rewrite-based Theory of Multiplicity (Invited Talk)
2013
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 2017; you can also visit the original URL.
The file type is application/pdf.
) structure, the core part of which is a "convergent" term rewrite proof structure. ...
We examine how Husserl introduced his term rewrite theory in 1901 in the context of a controversy with Hilbert on the notion of completeness, and in the context of solving the justification problem of ...
This version of the paper is prepared for an invited talk at the 24th International Conference on Rewriting Techniques and its Applications (RTA2013). ...
doi:10.4230/lipics.rta.2013.4
dblp:conf/rta/Okada13
fatcat:tmsq4cs23zformwqgmoipb3rr4
Formalizing the metatheory of logical calculi and automatic provers in Isabelle/HOL (invited talk)
2019
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019
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.
At the heart of the project is the conviction that proof assistants have become mature enough to actually help researchers in automated reasoning when they develop new calculi and tools. ...
IsaFoL (Isabelle Formalization of Logic) is an undertaking that aims at developing formal theories about logics, proof systems, and automatic provers, using Isabelle/HOL. ...
In his invited SAS 2018 paper [73] , Peter O'Hearn put forward the notion that in most research papers one gets a description of where a project got to, but not how it got there. ...
doi:10.1145/3293880.3294087
dblp:conf/cpp/Blanchette19
fatcat:n7delklh2nejvh4zspbcljamwy
Invited talk
1996
Proceedings of the 34th annual meeting on Association for Computational Linguistics -
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 2017; you can also visit the original URL.
The file type is application/pdf.
Thus the eye-movements provide a window into the rapid mental processes that underlie spoken language comprehension. ...
We present an overview of recent work in which eye movements are monitored as people follow spoken instructions to move objects or pictures in a visual workspace. ...
Acknowledgments * This paper summarizes work that the invited talk by the first author (MKT) was based upon. ...
doi:10.3115/981863.981870
fatcat:rhsw64un2ndejcpr7uobtgh7hi
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 IAA hopes to take a decision soon on this matter. The president of the IAA will talk about the great challenges of this amitious and promising project. ...
The International Actuarial Association is studying the possibility of creating a global education and examination system, ideally with the help of universities, to accelerate the growth of the profession ...
process first hits a barrier without ruin occuring can be expressed in term of the solution of the above mentioned system of integro-differential equations. ...
fatcat:ypsxrbhozza4jiivrjxcbxwvsm
ICSE 2002 workshop on architecting dependable systems
2002
Proceedings of the 24th international conference on Software engineering - ICSE '02
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 2008; you can also visit the original URL.
The file type is application/pdf.
This workshop summary gives a brief overview of a one-day Workshop on "Architecting Dependable Systems" held in conjunction with ICSE 2002. ...
Scherlis have accepted our invitation to give talks during the Workshop on their personal views on architecting dependable systems. ...
Last but not least, we believe that the high level of participation and interactions among the participants during the workshop were the most important factor contributing towards the workshop success, ...
doi:10.1145/581427.581438
fatcat:nknpzdpwn5achpznf2kfmo2fxm
ICSE 2002 workshop on architecting dependable systems
2002
Proceedings of the 24th international conference on Software engineering - ICSE '02
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 2008; you can also visit the original URL.
The file type is application/pdf.
This workshop summary gives a brief overview of a one-day Workshop on "Architecting Dependable Systems" held in conjunction with ICSE 2002. ...
Scherlis have accepted our invitation to give talks during the Workshop on their personal views on architecting dependable systems. ...
Last but not least, we believe that the high level of participation and interactions among the participants during the workshop were the most important factor contributing towards the workshop success, ...
doi:10.1145/581339.581438
dblp:conf/icse/LemosGR02
fatcat:yiq355jkdrajjl52xhpmolo7nu
Computational intelligence in emotional or affective systems
2012
Journal of Ambient Intelligence and Smart Environments
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 2017; you can also visit the original URL.
The file type is application/pdf.
Invited speaker As in the previous WIRN editions there will be distinguished speakers for keynote talks. For this special sessions the invited speaker is Prof. ...
The session organizers believe to find in WIRN2012 a fruitful scientific scenario to deepen such issues. ...
doi:10.3233/ais-2011-0135
fatcat:acalnrpporeshdhycqfofea65e
[INERTIAL 2020 Front Matter]
2020
2020 IEEE International Symposium on Inertial Sensors and Systems (INERTIAL)
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.
Invited Speakers
I2: Invited Talk "Frequency Modulated and Rate Integrating Gyroscope Based on Mode Separation" Speaker: Takashiro Tsukamoto, Tohoku University, Japan Abstract: A FM and rate integrating ...
I will bring the biology if you bring the engineering! Invited Speakers I1: Invited Talk "So, you want to start an inertial navigation company?" ...
doi:10.1109/inertial48129.2020.9090060
fatcat:v7k5rpbs2bfxnmnlk7iyilyqaa
Awareness Based Systems Change and Racial Justice
2021
Journal of Awareness-Based Systems Change
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.
If structural violence is a series of societal agreements to not pay attention to a set of people we deem less human than ourselves, as I believe it is, then what does it mean to cultivate a quality of ...
In this piece I describe the ways in which this approach can serve as a powerful tool in the transformation of systemic and structural violence through its core movement of turning the beam of observation ...
Second, awareness-based systems change invites us to look with an open heart. Elsewhere I have spoken of anger and, in the case of racial injustice, anger plays a role. ...
doi:10.47061/jabsc.v1i2.1590
fatcat:iz5vyc7cfrg2jiuujx5pbqdkiu
« Previous
Showing results 1 — 15 out of 171,460 results