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.
Filters
Formalizing Implementation Strategies for First-Class Continuations
[chapter]
2000
Lecture Notes in Computer Science
Preserved Fulltext
We present the first formalization of implementation strategies for first-class continuations. ...
The formalization hinges on abstract machines for continuation-passing style (CPS) programs with a special treatment for the current continuation, accounting for the essence of first-class continuations ...
Finally, thanks are due to the anonymous referees for stressing the issue of retention vs. deletion. ...
doi:10.1007/3-540-46425-5_6
fatcat:ylg7yerh55a7peamsexn5xuwke
Formalizing Implementation Strategies for First-Class Continuations
1999
BRICS Report Series
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.
We present the first formalization of implementation strategies<br /> for first-class continuations. ...
The formalization hinges on abstract<br />machines for continuation-passing style (CPS) programs with a special<br />treatment for the current continuation, accounting for the essence of<br />first-class ...
Finally, thanks are due to the anonymous referees for stressing the issue of retention vs. deletion. ...
doi:10.7146/brics.v6i51.20121
fatcat:ag75vf6uojdnfmay4frk3naazq
Designing Machine Learning Toolboxes: Concepts, Principles and Patterns
[article]
2021
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 2021; you can also visit the original URL.
The file type is application/pdf.
potentially, the first steps towards a higher-level programming paradigm for constructing AI. ...
In this paper, we attempt to provide an overview of key patterns in the design of AI modeling toolboxes, taking inspiration, in equal parts, from the field of software engineering, implementation patterns ...
Acknowledgments We would like to thank Viktor Kazakov for his feedback and discussions on a first draft of the paper. ...
arXiv:2101.04938v1
fatcat:5sthfoc3prbmlcejnfahdgiesy
Verification-Centric Realization of Electronic Vote Counting
2007
USENIX Security Symposium
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 2011; you can also visit the original URL.
The file type is application/pdf.
This paper discusses a methodology and a set of tools we have used to implement a vote counting plugin, for an experimental computer-based voting system using applied formal methods. ...
Activist computer scientists, including some of the authors of this paper, have been working against the adoption by governments of commercial, proprietary, insecure, poorly designed and implemented voting ...
Our implementation strategy is, generally, to implement the constructors, factories, and initializers first, as these features let one focus on invariants and the initial state of objects. ...
dblp:conf/uss/KiniryCT07
fatcat:afjea4cylvco7hovn77f2q52dq
Proper tail recursion and space efficiency
1998
SIGPLAN notices
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 2019; you can also visit the original URL.
The file type is application/pdf.
This paper offers a formal and implementation-independent definition of proper tail recursion for Scheme. ...
The IEEE/ANSI standard for Scheme requires implementations to be properly tail recursive. ...
Proper tail recursion affects every rule shown in Figure 5 except for the first three reduction rules and the first two continuation rules. ...
doi:10.1145/277652.277719
fatcat:cbim23hobff3nnjrilcsgfiy7u
Simplification of Abstract Machine for Functional Language and Its Theoretical Investigation
2015
Journal of Software
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.
In Simple Abstract Machine, we can formalize first-class continuations more simply and intelligibly than SECD machine. ...
For example, Landin's SECD machine and Curien's Categorical Abstract Machine are proposed for functional programming languages and useful not only for theoretical studies but also implementation of practical ...
This work was supported by Grants-in-Aid for Scientific Research (C) (23400009). ...
doi:10.17706//jsw.10.10.1148-1159
fatcat:vqhwrvrm5rc3fjmyc5fa2mvtdu
Simplification of Abstract Machine for Functional Language and Its Theoretical Investigation
2015
Journal of Software
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.
In Simple Abstract Machine, we can formalize first-class continuations more simply and intelligibly than SECD machine. ...
For example, Landin's SECD machine and Curien's Categorical Abstract Machine are proposed for functional programming languages and useful not only for theoretical studies but also implementation of practical ...
This work was supported by Grants-in-Aid for Scientific Research (C) (23400009). ...
doi:10.17706/jsw.10.10.1148-1159
fatcat:msoso6g3kzcbjhthuxyuumdsya
Joint action between child health care nurses and midwives leads to continuity of care for expectant and new mothers
2012
International Journal of Qualitative Studies on Health & Well-Being
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 2019; you can also visit the original URL.
The file type is application/pdf.
In addition, mothers benefited from the joint action and recognized continuity of care when strategies for continuity were implemented. ...
These strategies for continuity formed the basis of the core category, joint action. In all the strategies for continuity, midwives and child healthcare nurses worked together. ...
The first was that, when staff perceived that strategies for continuity were both present and implemented jointly by different departments, mothers experienced continuity in the chain of care. ...
doi:10.3402/qhw.v7i0.18183
pmid:22783367
pmcid:PMC3391663
fatcat:za567onqtfepxoru75v564duda
Integrity assurance in resource-bounded systems through stochastic message authentication
2015
Proceedings of the 2015 Symposium and Bootcamp on the Science of Security - HotSoS '15
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.
We propose a formal game-theoretic framework for optimal stochastic message authentication, providing provable integrity guarantees for resource-bounded systems based on an existing MAC scheme. ...
However, overhead costs associated with cryptographic primitives used towards this end introduce significant practical implementation challenges for resourcebounded systems, such as cyber-physical systems ...
Continuous Relaxation First, we study a continuous relaxation of the problem. ...
doi:10.1145/2746194.2746195
dblp:conf/hotsos/LaszkaVK15
fatcat:qoykg27krbgj3gm6my3yyb7tyy
Specific Effects of Language Transfer Promoting Teaching and Insights Into the Implementation in EFL-Teaching
2018
Orbis Scholae
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 2019; you can also visit the original URL.
The file type is application/pdf.
Results indicate the need for elaborated strategies of implementation of language transfer promoting teaching . ...
The analysis of selected videos revealed sequences that hint at an attempt to promoting language transfer actually take place in classes of teachers reporting high importance for language transfer promoting ...
Class 1: Transcript of the video sequence, first lesson, language-learning topic (time: 11.40−13.33 min.) … . . T More formal. What means more formal? Something is more formal. Clothes (!) ...
doi:10.14712/23363177.2018.279
fatcat:ln23haptr5e65a3ejizl2gxd64
An Integrated Strategy for Grassland Easement Acquisition in the Prairie Pothole Region, USA
2013
Journal of Fish and Wildlife Management
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.
implementation of this new strategy and will facilitate continued conservation success. ...
We observed strong evidence that easements were targeted to priority landscapes both before and after formalization of the USFWS conservation strategy in 2004. ...
Any use of trade, product, or firm names is for descriptive purposes only and does not imply endorsement by the U.S. Government. ...
doi:10.3996/052013-jfwm-035
fatcat:nhxqhixyn5hb5ntmrj2id47n64
Implementation Quality of a Positive Youth Development Program: Cross-Case Analyses Based on Seven Cases in Hong Kong
2008
The Scientific World Journal
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 2019; you can also visit the original URL.
The file type is application/pdf.
Fourth, although there were different arrangements for program implementation, incorporation of the Tier 1 Program into the formal curriculum was a sound and viable strategy. ...
First, several factors related to policy, people, program, process, and place (5 "P"s) were conducive to the successful implementation of the Tier 1 Program in the schools. ...
How will the quality of implementation be assessed? How well will the intervention work? How shall continuous quality improvement strategies be incorporated? ...
doi:10.1100/tsw.2008.130
pmid:18956123
pmcid:PMC5848722
fatcat:qifxzef52fglxo4ga5h6bzweta
The Conversion of a Practice-Based Lifestyle Enhancement Program into a Formalized, Testable Program: From Texercise Classic to Texercise Select
2015
Frontiers in Public Health
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.
It will: (1) discuss Texercise Classic's participant reach and adoption over time; (2) describe the rationale and processes employed to formalize Texercise Classic into a more structured program known ...
Preliminary results indicate that Texercise Select is effective, yet its ability to sustain the same reach as Texercise Classic remains unknown and an area for future study. ...
are not
specifically addressed in the classic class
Physical activity and dietary logs are kept through the first
half of the sessions
Uses incentives for behavior change
Tracking and monitoring ...
doi:10.3389/fpubh.2014.00291
pmid:25964940
pmcid:PMC4410339
fatcat:2pf2z7axxjdktmc5ynbuv73x3u
The Implementation of Mobile Seamless Learning Strategy in Mastering Students' Concepts for Elementary School
2019
Journal for the Education of Gifted Young Scientists
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 2019; you can also visit the original URL.
The file type is application/pdf.
As a results of study, implementation of the mobile seamless learning strategy had a significant impact on students' concept mastery ability. ...
The participants were student IV class. Subject were selected by classing cluster random sampling. ...
dissertation submitted in fulfillment of a Doctor´s degree in Instructional Technology, State University of Malang, The corresponding author would like to thank the second, third, and fourth authors for ...
doi:10.17478/jegys.622416
fatcat:ojiatcil4zc5bmnxop4fxoodbu
A multiformalism and multiresolution modelling environment: application to the cardiovascular system and its regulation
2009
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
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 2019; you can also visit the original URL.
The file type is application/pdf.
A given model is represented as a set of coupled and atomic model components that may be based on different mathematical formalisms with heterogeneous structural and dynamical properties. ...
The pioneering model of the overall regulation of the cardiovascular system proposed by Guyton and co-workers in 1972 has been implemented under M2SL and a pulsatile ventricular model based on a time-varying ...
Concerning atomic simulators, a set of classes has been developed for discrete and continuous simulators. ...
doi:10.1098/rsta.2009.0163
pmid:19884187
pmcid:PMC3034733
fatcat:crdjw6rulbet3hizbxtgfi2day
« Previous
Showing results 1 — 15 out of 465,807 results