Filters








94,711 Hits in 8.1 sec

Your Proof Fails? Testing Helps to Find the Reason [article]

Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand
2015 arXiv   pre-print
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]

Siddhartha Datta, Konrad Kollnig, Nigel Shadbolt
2022 arXiv   pre-print
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]

João Marcos
2015 arXiv   pre-print
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

Carol Edmondson
2007 ACM SIGCSE Bulletin  
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

John Holt
1966 Journal of the Reading Specialist  
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

Gias Uddin, Martin P. Robillard
2015 IEEE Software  
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

Ross Anderson
1993 Proceedings of the 1st ACM conference on Computer and communications security - CCS '93  
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

Charlotte Connor, Max Birchwood, Colin Palmer, Sunita Channa, Nick Freemantle, Helen Lester, Paul Patterson, Swaran Singh
2013 BMC Psychiatry  
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

Carl F. Cargill
2011 Journal of Electronic Publishing  
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

M. D Rawlins
2001 BMJ (Clinical Research Edition)  
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?

Andrew Dustan, Alain de Janvry, Elisabeth Sadoulet
2016 The Journal of human resources  
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  
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]

Stuart Armstrong, Kaj Sotala
2015 Topics in Intelligent Engineering and Informatics  
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

Robert A. Wilson, Matthew J. Barker, Ingo Brigandt
2007 Philosophical Topics  
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

Elena Pagliarini, Maria Teresa Guasti, Carlo Toneatto, Elisa Granocchio, Federica Riva, Daniela Sarti, Bruna Molteni, Natale Stucchi
2015 Human Movement Science  
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