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
Your Proof Fails? Testing Helps to Find the Reason
[article]
2015
arXiv
pre-print
Preserved Fulltext
This work proposes a new methodology where test generation helps to identify the reason of a proof failure and to exhibit a counter-example clearly illustrating the issue. ...
Along with a non-compliance between the code and its specification (due to an error in at least one of them), possible reasons of a proof failure include a missing or too weak specification for a called ...
The authors thank the FRAMA-C and PATH-CRAWLER teams for providing the tools and support. ...
arXiv:1508.01691v1
fatcat:qbuj2jneefgrhbgc5z5edkzikq
Mind-proofing Your Phone: Navigating the Digital Minefield with GreaseTerminator
[article]
2022
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 2022; you can also visit the original URL.
The file type is application/pdf.
Other Versions
This work introduces GreaseTerminator to enable researchers to develop, deploy, and test interventions against these harms with end-users. ...
The last line of defense against a range of digital harms - including digital distraction, political polarisation through hate speech, and children being exposed to damaging material - is the user interface ...
GreaseTerminator aims to help researchers in finding better such models, with the help of end-users. ...
arXiv:2112.10699v3
fatcat:prfbs5ypd5a4tkhfrmz4hx5dia
Fail better: What formalized math can teach us about learning
[article]
2015
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 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
has to say, for instance, about: the importance of employing proof strategies; the fine control of automation in unraveling the structure of a certain proof object; reasoning forward from the givens and ...
As a proof of concept, a computerized proof assistant that makes use of several successful tools already freely available on the market and that takes into account some of the above findings about teaching ...
In my understanding, the whole process of writing proof scripts with the help of a proof assistant helps the students see proofs as instructions to be executed in order to dynamically explore a problem-solving ...
arXiv:1507.03673v2
fatcat:3rzl7tcquzavrpeigmcoqzlecy
How to fail a programming assignment
2007
ACM SIGCSE 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 2017; you can also visit the original URL.
The file type is application/pdf.
Each semester, for a variety of reasons, some students fail these programming assignments. ...
This paper uses humour to illuminate some of the unsuccessful approaches to programming assignments taken by some of the computing students whom the author has taught. ...
However, you can be reasonably confident that your program will also be run against some other test data that the course coordinator has kept hidden from you. ...
doi:10.1145/1272848.1272884
fatcat:ngbweuyfmjba5cl7qnbt6o4rgm
How children fail
1966
Journal of the Reading Specialist
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 were trying to find out what children understood so that we could help them understand better. But to them our tests of their understanding were just like any other kind of school tests. ...
When I began teaching I thought, naively, that the purpose of a test was to test, to find out what the students knew about the course. ...
doi:10.1080/19388076609556948
fatcat:ou5vcwmaczdtrmlksex4x5qe6a
How API Documentation Fails
2015
IEEE 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 2015; you can also visit the original URL.
The file type is application/pdf.
For this reason, it can sometimes be difficult to justify allocating resources to improve API documentation. ...
We concluded that the most pressing problems were related to content, as opposed to presentation. ...
IBM and NECSIS (Network for the Engineering of Complex Software-Intensive Systems for Automotive Systems) funded this research. ...
doi:10.1109/ms.2014.80
fatcat:ztje6cvdwjgalk42q77sqkhywu
Why cryptosystems fail
1993
Proceedings of the 1st ACM conference on Computer and communications security - CCS '93
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.
Designers of cryptographic systems are at a disadvantage to most other engineers, in that information on how their systems fail is hard to get: their major users have traditionally been government agencies ...
In this article, we present the results of a survey of the failure modes of retail banking systems, which constitute the next largest application of cryptology. ...
Acknowledgement: I owe a significant debt to Karen Sparck Jones, who went through the manuscript of this paper and ruthlessly struck out all the jargon. ...
doi:10.1145/168588.168615
dblp:conf/ccs/Anderson93
fatcat:uazfrxyjpzglxd6ez6c3avrms4
Don't turn your back on the symptoms of psychosis: a proof-of-principle, quasi-experimental public health trial to reduce the duration of untreated psychosis in Birmingham, UK
2013
BMC Psychiatry
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 intervention will focus on reducing two significant DUP component delays within the overall care pathway: delays within the mental health service and help-seeking delay. ...
Discussion: This pragmatic trial will be the first to target known delays within the care pathway for those with a first episode of psychosis. ...
Initial findings from the 'Precede' phase of our programme have helped us clarify the likely reasons for delay in care pathways and enabled comprehensive assessment, planning, piloting and target-setting ...
doi:10.1186/1471-244x-13-67
pmid:23432935
pmcid:PMC3599688
fatcat:z3f4jtilm5gyjpazocz7kr6sie
Why Standardization Efforts Fail
2011
Journal of Electronic Publishing
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.
We are also confident that you will find that all the presentations and posters, as well as the panels and workshops, will provide interesting user perspectives and opportunities for inspiring discussions ...
We would like to thank all those who submitted proposals to the conference and all the authors who produced full versions of accepted papers for the proceedings. ...
adapt HandyCAT to test some of the features we describe. ...
doi:10.3998/3336451.0014.103
fatcat:dmw2l6nx5vaola6zjohsfggg7m
The failings of NICE
2001
BMJ (Clinical Research Edition)
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.
Two were successful in obtaining places; the other three failed to reach the required academic standard. ...
Most of us would consider it unethical to enter a conspiracy to deprive patients of proved treatment without good reason. ...
The following extract from the doctor who replied sums up the problem, and the attitude of the medical profession to this problem. ...
doi:10.1136/bmj.322.7284.489
pmid:11222439
fatcat:2c6yrio5zbf3haod2f7b5ygvcm
Flourish or Fail?
2016
The Journal of human resources
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 2016; you can also visit the original URL.
The file type is application/pdf.
Using variation in school assignment generated by the allocation mechanism, we find that admission to a system of elite public high schools in Mexico City increases the probability of high school dropout ...
Accounting for the potential bias in estimated test score effects due to differential dropout, our lower bound estimate of the elite admission effect for those who eventually graduate is 0.12 standard ...
The survey asked "How often do your parents or adults with whom you live do the following activities?" for activities such as "help you with schoolwork" and "attend school events." ...
doi:10.3368/jhr.52.3.0215-6974r1
fatcat:vs6ieh4zmrdjjjqxrb4hsp4qpu
Science Satellite Fails
1996
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 2017; you can also visit the original URL.
The file type is application/pdf.
You'll find hidden patterns in vour data that you can't find with any other pointand-click graphing package. With Axum 5.0, presenting your graphs is easier than ever. ...
The successful candidate will also help advise students, be involved in extension activities that benefit Oman, and disseminate research findings through active publication. ...
/,itnploystrund (en-twutrap-s woimcn and millolitits to appI'-. POSTDOCTORAL POSITION a\sailablc to stiUid tile pattciniilg of the ininerl car. ...
doi:10.1126/science.274.5290.1071e
fatcat:um65xz73kbddrbwqvf2vhjozg4
How We're Predicting AI – or Failing to
[chapter]
2015
Topics in Intelligent Engineering and Informatics
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.
Predictions that AI lie 15 to 25 years in the future are the most common, from experts and non-experts alike. ...
Focusing specifically on timeline predictions (dates given by which we should expect the creation of AI), it will show that there are strong theoretical grounds to expect predictions to be quite poor in ...
Acknowledgments The authors wish to acknowledge the help and support of the Singularity Institute, the ...
doi:10.1007/978-3-319-09668-1_2
fatcat:zerjx6uuwndc5bx3rh6h664wr4
When Traditional Essentialism Fails
2007
Philosophical Topics
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.
to be included in the individuative clusters, as suggested by empirical findings. ...
Thanks to the editors for comments, and to
Jessica Moore for proof reading.
2
that most of the constructive ...
doi:10.5840/philtopics2007351/29
fatcat:h4ztvr2y5ngtthdnppordnswwe
Dyslexic children fail to comply with the rhythmic constraints of handwriting
2015
Human Movement 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 2021; you can also visit the original URL.
The file type is application/pdf.
List here those individuals who provided help during the research (e.g., providing language help, writing assistance or proof reading the article, etc.). ...
Follow the instructions here to find out about available data visualization options and how to include them with your article. ...
AUTHOR INQUIRIES Visit the Elsevier Support Center to find the answers you need. Here you will find everything from Frequently Asked Questions to ways to get in touch. ...
doi:10.1016/j.humov.2015.04.012
pmid:26037277
fatcat:ckobormuevgbdewemgckxyra7m
« Previous
Showing results 1 — 15 out of 94,711 results