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
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
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
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
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
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 ...
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
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
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
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 ...
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
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. ...
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
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
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. ...
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