Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing

Property-based testing uses randomly generated inputs to validate high-level program specifications. It can be shockingly effective at finding bugs, but it often requires generating a very large number of inputs to do so. In this paper, we apply ideas from combinatorial testing, a powerful and widely studied testing methodology, to modify the distributions of our random generators so as to find bugs with fewer tests. The key concept is combinatorial coverage, which measures the degree to which a given set of tests exercises every possible choice of values for every small combination of input features. In its “classical” form, combinatorial coverage only applies to programs whose inputs have a very particular shape—essentially, a Cartesian product of finite sets. We generalize combinatorial coverage to the richer world of algebraic data types by formalizing a class of sparse test descriptions based on regular tree expressions. This new definition of coverage inspires a novel combinatorial thinning algorithm for improving the coverage of random test generators, requiring many fewer tests to catch bugs. We evaluate this algorithm on two case studies, a typed evaluator for System F terms and a Haskell compiler, showing significant improvements in both

Realization of random-field dipolar Ising ferromagnetism in a molecular magnet

The longitudinal magnetic susceptibility of single crystals of the molecular magnet Mn$_{12}$-acetate obeys a Curie-Weiss law, indicating a transition to a ferromagnetic phase due to dipolar interactions. With increasing magnetic field applied transverse to the easy axis, the transition temperature decreases considerably more rapidly than predicted by mean field theory to a T=0 quantum critical point. Our results are consistent with an effective Hamiltonian for a random-field Ising ferromagnet in a transverse field, where the randomness is induced by an external field applied to Mn$_{12}$-acetate crystals that are known to have an intrinsic distribution of locally tilted magnetic easy axes.Comment: 4 pages, 4 figure

Formalizing Stack Safety as a Security Property

The term stack safety is used to describe a variety of compiler, runtime, and hardware mechanisms for protecting stack memory. Unlike “the heap,” the ISA-level stack does not correspond to a single high-level language concept: different compilers use it in different ways to support procedural and functional abstraction mechanisms from a wide range of languages. This protean nature makes it difficult to nail down what it means to correctly enforce stack safety

Experimental determination of the Weiss temperature of Mn12_{12}-ac and Mn12_{12}-ac-MeOH

We report measurements of the susceptibility in the temperature range from $3.5$ K to $6.0$ K of a series of Mn$_{12}$-ac and Mn$_{12}$-ac-MeOH samples in the shape of rectangular prisms of length $l_c$ and square cross-section of side $l_a$. The susceptibility obeys a Curie-Weiss Law, $\chi=C/(T-\theta)$, where $\theta$ varies systematically with sample aspect ratio. Using published demagnetization factors, we obtain $\theta$ for an infinitely long sample corresponding to intrinsic ordering temperatures $T_c \approx 0.85$ K and $\approx 0.74$ K for Mn$_{12}$-ac and Mn$_{12}$-ac-MeOH, respectively. The difference in $T_c$ for two materials that have nearly identical unit cell volumes and lattice constant ratios suggests that, in addition to dipolar interactions, there is a non-dipolar (exchange) contribution to the Weiss temperature that differs in the two materials because of the difference in ligand molecules.Comment: 4.5 page

Crystal Lattice Desolvation Effects On The Magnetic Quantum Tunneling Of Single-Molecule Magnets

High-frequency electron paramagnetic resonance (HFEPR) and alternating current (ac) susceptibility measurements are reported for a new high-symmetry Mn12 complex, [Mn12O12(O2CCH3)16(CH3OH)4]⋅CH3OH. The results are compared to those of other high-symmetry spin S=10 Mn12 single-molecule magnets (SMMs), including the original acetate, [Mn12(O2CCH3)16(H2O)4]⋅2CH3CO2H⋅4H2O, and the [Mn12O12(O2CCH2Br)16(H2O)4]⋅4CH2Cl2 and [Mn12O12(O2CCH2But)16(CH3OH)4]⋅CH3OH complexes. These comparisons reveal important insights into the factors that influence the values of the effective barrier to magnetization reversal, Ueff, deduced on the basis of ac susceptibility measurements. In particular, we find that variations in Ueff can be correlated with the degree of disorder in a crystal which can be controlled by desolvating (drying) samples. This highlights the importance of careful sample handling when making measurements on SMM crystals containing volatile lattice solvents. The HFEPR data additionally provide spectroscopic evidence suggesting that the relatively weak disorder induced by desolvation influences the quantum tunneling interactions and that it is under-barrier tunneling that is responsible for a consistent reduction in Ueff that is found upon drying samples. Meanwhile, the axial anisotropy deduced from HFEPR is found to be virtually identical for all four Mn12 complexes, with no measurable reduction upon desolvation

Final results from the EU project AVATAR: aerodynamic modelling of 10 MW wind turbines

This paper presents final results from the EU project AVATAR in which aerodynamic models are improved and validated for wind turbines on a scale of 10 MW and more. Special attention is paid to the improvement of low fidelity engineering (BEM based) models with higher fidelity (CFD) models but also with intermediate fidelity free vortex wake (FVW) models. The latter methods were found to be a good basis for improvement of induction modelling in engineering methods amongst others for the prediction of yawed cases, which in AVATAR was found to be one of the most challenging subjects to model. FVW methods also helped to improve the prediction of tip losses. Aero-elastic calculations with BEM based and FVW based models showed that fatigue loads for normal production cases were over predicted with approximately 15% or even more. It should then be realised that the outcome of BEM based models does not only depend on the choice of engineering add-ons (as is often assumed) but it is also heavily dependent on the way the induced velocities are solved. To this end an annulus and element approach are discussed which are assessed with the aid of FVW methods. For the prediction of fatigue loads the so-called element approach is recommended but the derived yaw models rely on an annulus approach which pleads for a generalised solution method for the induced velocities

Early bare-metal stent thrombosis presenting with cardiogenic shock: a case report

<p>Abstract</p> <p>Introduction</p> <p>Although stents have improved the safety and efficacy of percutaneous coronary interventions, coronary stent thrombosis remains a serious complication.</p> <p>Case presentation</p> <p>We present the case of a 64-year-old Caucasian man from Greece, with symptoms and electrocardiographic findings suggestive of acute inferior myocardial infarction, who complained of chest pain and rapidly developed cardiogenic shock 48 hours after primary percutaneous coronary intervention.</p> <p>Conclusion</p> <p>The most common cause of early bare-metal stent thrombosis is stent malapposition. Intravascular ultrasound is the preferred method to recognize predictors of coronary events that are not detected by angiography.</p

Review of Serious Energy Games : Objectives, Approaches, Applications, Data Integration, and Performance Assessment

In recent years, serious energy games (SEGs) garnered increasing attention as an innovative and effective approach to tackling energy-related challenges. This review delves into the multifaceted landscape of SEG, specifically focusing on their wide-ranging applications in various contexts. The study investigates potential enhancements in user engagement achieved through integrating social connections, personalization, and data integration. Among the main challenges identified, previous studies overlooked the full potential of serious games in addressing emerging needs in energy systems, opting for oversimplified approaches. Further, these studies exhibit limited scalability and constrained generalizability, which poses challenges in applying their findings to larger energy systems and diverse scenarios. By incorporating lessons learned from prior experiences, this review aims to propel the development of SEG toward more innovative and impactful directions. It is firmly believed that positive behavior changes among individuals can be effectively encouraged by using SEG