Enhancing POI Testing Approach through the Use of Additional Information

[EN] Recently, a new approach to perform regression testing has been defined: the point of interest (POI) testing. A POI, in this context, is any expression of a program. The approach receives as input a set of relations between POIs from a version of a program and POIs from another version, and also a sequence of entry points, i.e. test cases. Then, a program instrumentation, an input test case generation and different comparison functions are used to obtain the final report which indicates whether the alternative version of the program behaves as expected, e.g. it produces the same outputs or it uses less CPU/memory. In this paper, we present a method to improve POI testing by including additional context information for a certain type of POIs. Concretely, we use this method to obtain an enhanced tracing of calls. Additionally, it enables new comparison modes and a categorization of unexpected behaviours.This work has been partially supported by MINECO/AEI/FEDER (EU) under grant TIN2016-76843-C4-1-R, and by the Generalitat Valenciana under grant PROMETEOII/2015/013 (SmartLogic). Salvador Tamarit was partially supported by the Conselleria de Educación, Investigación, Cultura y Deporte de la Generalitat Valenciana under grant APOSTD/2016/036.Pérez-Rubio, S.; Tamarit Muñoz, S. (2019). Enhancing POI Testing Approach through the Use of Additional Information. Lecture Notes in Computer Science. 11285:74-90. https://doi.org/10.1007/978-3-030-16202-3_5S74901128

Modeling driver control behavior in both routine and near-accident driving

Building on ideas from contemporary neuroscience, a framework is proposed in which drivers’ steering and pedal behavior is modeled as a series of individual control adjustments, triggered after accumulation of sensory evidence for the need of an adjustment, or evidence that a previous or ongoing adjustment is not achieving the intended results. Example simulations are provided. Specifically, it is shown that evidence accumulation can account for previously unexplained variance in looming detection thresholds and brake onset timing. It is argued that the proposed framework resolves a discrepancy in the current driver modeling literature, by explaining not only the short-latency, well-tuned, closed-loop type of control of routine driving, but also the degradation into long-latency, ill-tuned open-loop control in more rare, unexpected, and urgent situations such as near-accidents

Vision and Foraging in Cormorants: More like Herons than Hawks?

Background Great cormorants (Phalacrocorax carbo L.) show the highest known foraging yield for a marine predator and they are often perceived to be in conflict with human economic interests. They are generally regarded as visually-guided, pursuit-dive foragers, so it would be expected that cormorants have excellent vision much like aerial predators, such as hawks which detect and pursue prey from a distance. Indeed cormorant eyes appear to show some specific adaptations to the amphibious life style. They are reported to have a highly pliable lens and powerful intraocular muscles which are thought to accommodate for the loss of corneal refractive power that accompanies immersion and ensures a well focussed image on the retina. However, nothing is known of the visual performance of these birds and how this might influence their prey capture technique. Methodology/Principal Findings We measured the aquatic visual acuity of great cormorants under a range of viewing conditions (illuminance, target contrast, viewing distance) and found it to be unexpectedly poor. Cormorant visual acuity under a range of viewing conditions is in fact comparable to unaided humans under water, and very inferior to that of aerial predators. We present a prey detectability model based upon the known acuity of cormorants at different illuminances, target contrasts and viewing distances. This shows that cormorants are able to detect individual prey only at close range (less than 1 m). Conclusions/Significance We conclude that cormorants are not the aquatic equivalent of hawks. Their efficient hunting involves the use of specialised foraging techniques which employ brief short-distance pursuit and/or rapid neck extension to capture prey that is visually detected or flushed only at short range. This technique appears to be driven proximately by the cormorant's limited visual capacities, and is analogous to the foraging techniques employed by herons

Charge-Fluctuation-Induced Non-analytic Bending Rigidity

In this Letter, we consider a neutral system of mobile positive and negative charges confined on the surface of curved films. This may be an appropriate model for: i) a highly charged membrane whose counterions are confined to a sheath near its surface; ii) a membrane composed of an equimolar mixture of anionic and cationic surfactants in aqueous solution. We find that the charge fluctuations contribute a non-analytic term to the bending rigidity that varies logarithmically with the radius of curvature. This may lead to spontaneous vesicle formation, which is indeed observed in similar systems.Comment: Revtex, 9 pages, no figures, submitted to PR

Measurement of the Two-Loop Lamb Shift in Lithiumlike U

Using the SuperEBIT electron beam ion trap we have measured the 2s{sub 1/2}-2p{sub 1/2} transitions in U{sup 88+} and U{sup 89+}. The value of 280.645 {+-} 0.015 eV for Li-like U{sup 89+} improves the available precision by nearly an order of magnitude and establishes a new benchmark for testing QED, including higher-order contributions, within a fractional accuracy of better than 3 x 10{sup -4}. From our measurement, we infer a value for both the 2s and 1s two-loop Lamb shift, yielding excellent agreement with recent calculations of the 1.26 eV 1s two-loop Lamb shift in U{sup 91+}

Genetic risk prediction of atrial fibrillation

Background—Atrial fibrillation (AF) has a substantial genetic basis. Identification of individuals at greatest AF risk could minimize the incidence of cardioembolic stroke. Methods—To determine whether genetic data can stratify risk for development of AF, we examined associations between AF genetic risk scores and incident AF in five prospective studies comprising 18,919 individuals of European ancestry. We examined associations between AF genetic risk scores and ischemic stroke in a separate study of 509 ischemic stroke cases (202 cardioembolic [40%]) and 3,028 referents. Scores were based on 11 to 719 common variants (≥5%) associated with AF at P-values ranging from <1x10-3 to <1x10-8 in a prior independent genetic association study. Results—Incident AF occurred in 1,032 (5.5%) individuals. AF genetic risk scores were associated with new-onset AF after adjusting for clinical risk factors. The pooled hazard ratio for incident AF for the highest versus lowest quartile of genetic risk scores ranged from 1.28 (719 variants; 95%CI, 1.13-1.46; P=1.5x10-4) to 1.67 (25 variants; 95%CI, 1.47-1.90; P=9.3x10-15). Discrimination of combined clinical and genetic risk scores varied across studies and scores (maximum C statistic, 0.629-0.811; maximum ΔC statistic from clinical score alone, 0.009-0.017). AF genetic risk was associated with stroke in age- and sex-adjusted models. For example, individuals in the highest versus lowest quartile of a 127-variant score had a 2.49-fold increased odds of cardioembolic stroke (95%CI, 1.39-4.58; P=2.7x10-3). The effect persisted after excluding individuals (n=70) with known AF (odds ratio, 2.25; 95%CI, 1.20-4.40; P=0.01). Conclusions—Comprehensive AF genetic risk scores were associated with incident AF beyond associations for clinical AF risk factors, though offered small improvements in discrimination. AF genetic risk was also associated with cardioembolic stroke in age- and sex-adjusted analyses. Efforts are warranted to determine whether AF genetic risk may improve identification of subclinical AF or help distinguish between stroke mechanisms

Double left ventricular pacing following accidental malpositioning of the right ventricular electrode during implantation of a cardiac resynchronization therapy device

Accidental malpositioning of a right ventricular (RV) electrode has not been previously reported in the context of cardiac resynchronization therapy (CRT). The case of a 75-year old male patient with dilative cardiomyopathy, left ventricular (LV) ejection fraction 23%, New York Heart Association functional heart failure status stage III, left bundle branch block (LBBB) with QRS width of 136 ms, and misplacement of the RV lead to the LV apex during implantation of a CRT defibrillator is described. Following unremarkable implantation, routine interrogation of the CRT device on the first day after the implantation revealed uneventful technical findings. The 12-lead surface electrocardiogram (ECG) showed biventricular stimulation featuring a narrow QRS complex with incomplete right bundle branch block (RBBB) and R>S in V1. The biplane postoperative chest X-ray was graded normal. On routine follow-up one month later, a transthoracic echocardiogram revealed an increased ejection fraction of 51% but the RV lead was placed in the LV apex. An additional transesophageal echocardiogram exhibited an Eustachian valve guiding the lead via the patent foramen ovale through the mitral valve into the LV apex. Operative revision was scheduled and the active fixation lead was uneventful removed from the LV. A new electrode was inserted and placed in the RV apex. Accidental malplacement of the RV electrode to the LV may be difficult to diagnose in the context of CRT patients as a stimulated biventricular ECG with incomplete RBBB appearance is expected in this situation. Careful analysis of lateral radiographic views during the operation is important to ensure correct lead positioning. As timely revision is the preferred procedure, early routine transthoracic echocardiography may be considered for detection of malplacement

Behavioural syndrome in a solitary predator is independent of body size and growth rate.

Models explaining behavioural syndromes often focus on state-dependency, linking behavioural variation to individual differences in other phenotypic features. Empirical studies are, however, rare. Here, we tested for a size and growth-dependent stable behavioural syndrome in the juvenile-stages of a solitary apex predator (pike, Esox lucius), shown as repeatable foraging behaviour across risk. Pike swimming activity, latency to prey attack, number of successful and unsuccessful prey attacks was measured during the presence/absence of visual contact with a competitor or predator. Foraging behaviour across risks was considered an appropriate indicator of boldness in this solitary predator where a trade-off between foraging behaviour and threat avoidance has been reported. Support was found for a behavioural syndrome, where the rank order differences in the foraging behaviour between individuals were maintained across time and risk situation. However, individual behaviour was independent of body size and growth in conditions of high food availability, showing no evidence to support the state-dependent personality hypothesis. The importance of a combination of spatial and temporal environmental variation for generating growth differences is highlighted

What do coaches orchestrate? Unravelling the 'quiddity' of practice

The general purpose of this article is threefold. Firstly, it is to further the notion of coaching as orchestration through developing insight into precisely how and what coaches orchestrate. Secondly, it is to firmly position coaching as a relational practice, whilst thirdly it is to better define coaching’s complex nature and how it can be somewhat ordered. Following an introduction where the purpose and value of the paper are outlined, we present the reflective method of critical companionship through which we explored and addressed the aforementioned purposes. The case for the quiddity, or the 'just whatness' (i.e., the inherent nature or essence) of coaching as involving complex, relational acts which can be somewhat explained through recourse to the developing theory of orchestration is subsequently made. In doing so, two precise examples of how we as coaches orchestrate sporting practice are presented. The paper concludes with both a summary of the principal argument(s) made, and some reflective considerations for future directions