Graphical user interfaces (GUIs) encode, as event sequences, potentially unbounded ways to interact with software. During testing it becomes necessary to effectively sample the GUI’s event space. Ideally, for increasing the efficiency and effectiveness of GUI testing, one would like to sample the GUI’s event space by only generating sequences that (1) are allowed by the GUI’s structure, and (2)...

Abstract We present high (> 2 T) magnetic field β NMR measurements of 8 Li + implanted in single crystals sapphire, a commonly used backing material for other samples. From the well-resolved quadrupolar splitting, we extract electric gradient (EFG) at site. Comparison with supercell density functional theory calculations EFG allows us to identify octahedral interstitial site as most likely c...

BACKGROUND The utility of metabolic syndrome (MetS) for predicting mortality among older adults, the highest-risk population, is not well established. In addition, few studies have compared the predictive utility of MetS to that of its individual risk factors. METHODS We evaluated relationships of MetS (as defined by the National Cholesterol Education Program Expert Panel on Detection, Evalua...

A Graphical User Interface (GUI) is the most widely used method whereby information systems interact with users. According to ACM Computing Surveys, on average, more than 45% of software code in a software application is dedicated to the GUI. However, GUI testing is extremely expensive. In unit testing, 10,000 cases can often be automatically tested within a minute whereas, in GUI testing, 10,0...

BACKGROUND Previous studies of patients after the Fontan operation have reported IQ scores lower than population norms. In the past decade, changes have occurred both in surgical methods used and in the patient population undergoing Fontan palliation. The present study examined the impact of these changes on neurodevelopmental outcomes after Fontan. METHODS AND RESULTS Neuropsychological test...

Ribosome recycling factor (RRF), coded for by the frr locus, is involved in the disassembly of post-termination complexes and recycling of the ribosomes for a fresh round of initiation in bacteria and in eukaryotic organelles. In a cross-species-complementation experiment, it was shown that the Thermus thermophilus RRF protein lacking five amino acids from its C-terminal end (deltaC5TthRRF) but...

We investigate the magnitude and interplay of relativistic and electron correlation effects on the electric field gradient (EFG) at the position of Hg in linear and bent HgL(2) (L = CH(3), Cl, Br, I) and trigonal planar [HgCl(3)](-) compounds using four-component relativistic Dirac-Coulomb (DC) and non-relativistic (NR) calculations at the Hartree-Fock (HF), DFT, MP2 and coupled cluster (CC) le...

Multiagent decision-making in partially observable environments is usually modelled as either an extensive-form game (EFG) theory or a stochastic (POSG) multiagent reinforcement learning (MARL). One issue with the current situation that while most practical problems can be both formalisms, relationship of two models unclear, which hinders transfer ideas between communities. A second EFGs have r...

This report shows how a string of linear code may be converted into a data ow graph (DFG), then to an event ow graph (EFG), and nally into a temporal speciication (TS).