Filters








13,834 Hits in 2.1 sec

Program Repair without Regret [chapter]

Christian von Essen, Barbara Jobstmann
2013 Lecture Notes in Computer Science  
We provide an algorithm to decide if a program is repairable with respect to our new notion, and synthesize a repair if one exists.  ...  Like in previous approaches, we aim for a repaired program that satisfies the specification and is syntactically close to the faulty program.  ...  Therefore, a user of a repair procedure may later regret having applied a fix to a program because it introduced new bugs by modifying behaviors that are not explicitly specified or for which no test case  ... 
doi:10.1007/978-3-642-39799-8_64 fatcat:ypv2ijzxbvfq7deeixvq6j5oxe

Program repair without regret

Christian von Essen, Barbara Jobstmann
2015 Formal methods in system design  
We provide an algorithm to decide if a program is repairable with respect to our new notion, and synthesize a repair if one exists.  ...  Like in previous approaches, we aim for a repaired program that satisfies the specification and is syntactically close to the faulty program.  ...  Therefore, a user of a repair procedure may later regret having applied a fix to a program because it introduced new bugs by modifying behaviors that are not explicitly specified or for which no test case  ... 
doi:10.1007/s10703-015-0223-6 fatcat:2osbgjsctjb7lal5b2do3ezqfm

Exploring the Relations between Regret, Self-agency, and the Tendency to Repair Using Experimental Methods and Structural Equation Modeling

Evelien Bossuyt, Agnes Moors, Jan De Houwer
2014 The Psychological Record  
Both studies provide support for a relation between self-agency and feelings of regret, but not between self-agency and the tendency to repair, nor between the tendency to repair and feelings of regret  ...  The tendency to repair was measured via behavior and selfreports. Self-agency increased feelings of regret but not the tendency to repair.  ...  without actually co-occurring.  ... 
doi:10.1007/s40732-014-0065-4 fatcat:yxtumppssnbktn6khrgftwj5by

Trust repair in human-agent teams: the effectiveness of explanations and expressing regret

E. S. Kox, J. H. Kerstholt, T. F. Hueting, P. W. de Vries
2021 Autonomous Agents and Multi-Agent Systems  
Our results indicated that expressing regret was crucial for effective trust repair.  ...  After this, the agent offered one of four trust repair strategies, composed of the apology components explanation and expression of regret (either one alone, both or neither).  ...  Offering an explanation without an expression of regret had no effect on trust repair.  ... 
doi:10.1007/s10458-021-09515-9 fatcat:3ahzdqvxk5cd7eayah6s2nosoi

Page 1117 of American Water Works Association. Journal Vol. 31, Issue 7 [page]

1939 American Water Works Association. Journal  
average length of time that a meter remained in service without re- moval was slightly over two years.  ...  It has been my privilege to examine and test meters taken from systems throughout the United States, and I regret to be compelled  ... 

Selection of Welding Process for Repairing Shredder Hammer by Integrated Data Envelopment Analysis (DEA) and P-robust Technique

Rahmad Wisnu Wardana, Eakkachai Warinsiriruk, Sutep Joy-A-Ka, M. Anis, B. Munir
2019 MATEC Web of Conferences  
Furthermore, the sensitivity analysis of regret value (p) is investigated in three cases proposed.  ...  In order to determine the best welding process among competitive welding processes for repairing of shredder hammer, ten parameters are used, namely the availability of consumable, welding process type  ...  First of all, we solve model (1) to get the ideal efficiency score ( ℎ * ) from 10 experts without considering p-robust constraint to control relative regret.  ... 
doi:10.1051/matecconf/201926904002 fatcat:h23qzvzbfzdvdcrkmqrw4svgo4

Autonomic Reactive Systems via Online Learning

Sanjit A. Seshia
2007 Fourth International Conference on Autonomic Computing (ICAC'07)  
We show how the system recovery and repair problem can be modeled as an instance of an online learning problem.  ...  The author acknowledges the support of the Gigascale Systems Research Focus Center, one of five research centers funded under the Focus Center Research Program, a Semiconductor Research Corporation program  ...  a predicate on the program counter.  ... 
doi:10.1109/icac.2007.10 dblp:conf/icac/Seshia07 fatcat:hqd4vztqhjbqrnfcjsqunrm5am

A parallel matheuristic for the technician routing and scheduling problem

V. Pillac, C. Guéret, A. L. Medaglia
2012 Optimization Letters  
From a methodological perspective, we describe a matheuristic composed of a constructive heuristic, a parallel Adaptive Large Neighborhood Search (pALNS), and a mathematical programming based post-optimization  ...  Our implementation is based on three repair heuristics: best insertion, regret-2, and regret-3.  ...  The procedure first checks for the best feasible insertion without considering trips to the depot.  ... 
doi:10.1007/s11590-012-0567-4 fatcat:bgxlep6rzjgrditutohzyh6gwq

Page 100 of Coordinated Investigation of Micronesian Anthropology. Reports Vol. 38, Issue 1 [page]

1949 Coordinated Investigation of Micronesian Anthropology. Reports  
In the first six months of 1947, court cases consisted of the following: a dispute about payment for repairs to an outrigger canoe; a dispute over payment for breadfruit trees allegedly cut down without  ...  A field officer who pushes programs too fast with a village council will find ready agreement on the part of the council, but the latter will make no co-ordinated move until the proposed program has been  ... 

Endovascular repair of abdominal aortic aneurysms: Eligibility rate and impact on the rate of open repair

Yehuda G. Wolf, Thomas J. Fogarty, Cornelius Olcott, Bradley B. Hill, E.John Harris, R.Scott Mitchell, D.Craig Miller, Ronald L. Dalman, Christopher K. Zarins
2000 Journal of Vascular Surgery  
of an endovascular program on the institutional pattern of AAA repair.  ...  We regret we cannot guarantee replacement of issues missed due to late notification. JOURNAL TITLE: Fill in the title of the journal here.  ...  the number and type of open abdominal aneurysm repairs before and after the initiation of this program.  ... 
doi:10.1067/mva.2000.107995 pmid:10957658 fatcat:4ztvdh7czja45mek7uzjjh6oia

Page 528 of American Spirit Vol. 91, Issue 4 [page]

1957 American Spirit  
In antici- pation of Congress, several tables used in the Pages Room have been repaired. Inci- dental electric, carpentering and plumbing repairs are handled by our one maintenance man.  ...  My thanks to all of the Buildings and Grounds staff without whose faithful work our build- ings could not be maintained. Erne. D. HarTMAn, Chairman. Mrs. Ray L.  ... 

To invest in the invisible: A case study of Manti Te'o's image repair strategies during the Katie Couric interview

Evan L. Frederick, Lauren M. Burch, Jimmy Sanderson, Marion E. Hambrick
2014 Public Relations Review  
A deductive thematic analysis was conducted on Te'o's responses utilizing Benoit's image repair typology and other recently identified image repair strategies as a guide.  ...  Results revealed that Te'o did not deviate from previously established strategies by employing defeasibility, victimization, good intentions, stonewalling, retrospective regret, bolstering, shifting blame  ...  In this instance, Te'o provided an answer without really answering the question.  ... 
doi:10.1016/j.pubrev.2014.05.003 fatcat:xi4ygzwlzjaffc4gcl4pu37bby

Replay-Guided Adversarial Environment Design [article]

Minqi Jiang, Michael Dennis, Jack Parker-Holder, Jakob Foerster, Edward Grefenstette, Tim Rocktäschel
2022 arXiv   pre-print
MJ is supported by the FAIR PhD program. This work was funded by Facebook.  ...  Estimating Regret In general, levels may differ in maximum achievable returns, making it impossible to know the true regret of a level without access to an oracle.  ...  For instance, PLR can be seen as curator with a prioritized sampling mechanism with a random generator, while PAIRED, as a regret-maximizing generator without a curator.  ... 
arXiv:2110.02439v2 fatcat:mdqyigkfwrd7dk5mhtzesxc3ba

Page 524 of Journal of Family and Consumer Sciences Vol. 34, Issue 8 [page]

1942 Journal of Family and Consumer Sciences  
They chose a gray color, but when it was on they regretted not having used white and said they would have to do the house over again.  ...  Some of the Home Improvement Associa- tions added consumer education to the or- ganization’s program.  ... 

Robust Optimization for Tree-Structured Stochastic Network Design [article]

Xiaojian Wu, Akshat Kumar, Daniel Sheldon, Shlomo Zilberstein
2016 arXiv   pre-print
We then develop a planning approach that computes the policies with either high robust ratio or low regret. Empirically, our approach scales well to large river networks.  ...  To address these challenges, we develop a dynamic programming and mixed-integer programming based approach that can optimize connectivity without using SAA.  ...  It denotes a connected set of stream segments among which fish can move freely without passing any barriers.  ... 
arXiv:1612.00104v1 fatcat:vrizmhsk5bgfldhhsqxyw7vdfa
« Previous Showing results 1 — 15 out of 13,834 results