Filters








171,460 Hits in 9.1 sec

Algorithmic Data Science (Invited Talk)

Petra Mutzel, Michael Wagner
2019 Symposium on Theoretical Aspects of Computer Science  
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)

Serge Abiteboul, Marc Herbstritt
2012 Annual Conference for Computer Science Logic  
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)

Karthikeyan Bhargavan, Prasad Naldurg, Michael Wagner
2019 Foundations of Software Technology and Theoretical Computer Science  
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)

Stéphanie Delaune, Michael Wagner
2018 International Conference on Rewriting Techniques and Applications  
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]

Vero Estrada-Galinanes, Racin Nygaard, Viktor Tron, Rodrigo Saramago, Leander Jehl, Hein Meling
2019 arXiv   pre-print
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

Kathleen Harris
2014 International Journal of Integrative Pediatrics and Environmental Medicine  
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)

Mitsuhiro Okada, Marc Herbstritt
2013 International Conference on Rewriting Techniques and Applications  
) 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)

Jasmin Christian Blanchette
2019 Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019  
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

Michael K. Tanenhaus, Michael J. Spivey-Knowlton, Kathleen M. Eberhard, Julie C. Sedivy, Paul D. Allopenna, James S. Magnuson
1996 Proceedings of the 34th annual meeting on Association for Computational Linguistics -   unpublished
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

Jean-Louis Massé, Doug Andrews
2006 Actuarial Research Conference   unpublished
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

Rogério de Lemos, Cristina Gacek, Alexander Romanovsky
2002 Proceedings of the 24th international conference on Software engineering - ICSE '02  
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

Rogério de Lemos, Cristina Gacek, Alexander Romanovsky
2002 Proceedings of the 24th international conference on Software engineering - ICSE '02  
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  
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)  
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

Dayna Cunningham
2021 Journal of Awareness-Based Systems Change  
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