Simple approach to the mesoscopic open electron resonator: Quantum current oscillations

The open electron resonator, described by Duncan et.al, is a mesoscopic device that has attracted considerable attention due to its remarkable behaviour (conductance oscillations), which has been explained by detailed theories based on the behaviour of electrons at the top of the Fermi sea. In this work, we study the resonator using the simple quantum quantum electrical circuit approach, developed recently by Li and Chen. With this approach, and considering a very simple capacitor-like model of the system, we are able to theoretically reproduce the observed conductance oscillations. A very remarkable feature of the simple theory developed here is the fact that the predictions depend mostly on very general facts, namely, the discrete nature of electric charge and quantum mechanics; other detailed features of the systems described enter as parameters of the system, such as capacities and inductances

An alternative to Presuppositional Exhaustification: Supervaluationist RSA

It has been recently argued that exhaustification (the mechanism responsible for deriving scalar implicatures and other exhaustivity effects) should be viewed as generating trivalent meanings, with the effect that scalar implicatures are, in some sense, presupposed (Bassi et al. 2021; Wehbe and Doron 2024). In this paper, I argue that (a) presuppositional exhaustification fails to derive correct felicity conditions in certain cases, and (b) one can replace presuppositional exhaustification with a probabilistic pragmatics account that includes a bivalent exhaustivity operator. Strong Kleene-like behavior is derived on the basis of general principles of rational communication, and adequate felicity conditions are predicted – I call this account, following Cremers et al. (2023), the Supervaluationist RSA account

Testing noninterference, quickly

Information-flow control mechanisms are difficult to design and labor intensive to prove correct. To reduce the time wasted on proof attempts doomed to fail due to broken definitions, we advocate modern random testing techniques for finding counterexamples during the design process. We show how to use QuickCheck, a property-based random-testing tool, to guide the design of a simple information-flow abstract machine. We find that both sophisticated strategies for generating well-distributed random programs and readily falsifiable formulations of noninterference properties are critically important. We propose several approaches and evaluate their effectiveness on a collection of injected bugs of varying subtlety. We also present an effective technique for shrinking large counterexamples to minimal, easily comprehensible ones. Taken together, our best methods enable us to quickly and automatically generate simple counterexamples for all these bugs

Conditional testing of multiple variants associated with bone mineral density in the FLNB gene region suggests that they represent a single association signal

Background: Low bone mineral density (BMD) is a primary risk factor for osteoporosis and is a highly heritable trait, but appears to be influenced by many genes. Genome-wide linkage studies have highlighted the chromosomal region 3p14-p22 as a quantitative trait locus for BMD (LOD 1.1 - 3.5). The FLNB gene, which is thought to have a role in cytoskeletal actin dynamics, is located within this chromosomal region and presents as a strong candidate for BMD regulation. We have previously identified significant associations between four SNPs in the FLNB gene and BMD in women. We have also previously identified associations between five SNPs located 5' of the transcription start site (TSS) and in intron 1 of the FLNB gene and expression of FLNB mRNA in osteoblasts in vitro. The latter five SNPs were genotyped in this study to test for association with BMD parameters in a family-based population of 769 Caucasian women.Results: Using FBAT, significant associations were seen for femoral neck BMD Z-score with the SNPs rs11720285, rs11130605 and rs9809315 (P = 0.004 - 0.043). These three SNPs were also found to be significantly associated with total hip BMD Z-score (P = 0.014 - 0.026). We then combined the genotype data for these three SNPs with the four SNPs we previously identified as associated with BMD and performed a conditional analysis to determine whether they represent multiple independent associations with BMD. The results from this analysis suggested that these variants represent a single association signal.Conclusions: The SNPs identified in our studies as associated with BMD appear to be part of a single association signal between the FLNB gene and BMD in our data. FLNB is one of several genes located in 3p14-p22 that has been identified as significantly associated with BMD in Caucasian women.</p

Micro-Policies: Formally Verified, Tag-Based Security Monitors

Recent advances in hardware design have demonstrated mechanisms allowing a wide range of low-level security policies (or micro-policies) to be expressed using rules on metadata tags. We propose a methodology for defining and reasoning about such tag-based reference monitors in terms of a high-level “symbolic machine,” and we use this methodology to define and formally verify micro-policies for dynamic sealing, compartmentalization, control-flow integrity, and memory safety; in addition, we show how to use the tagging mechanism to protect its own integrity. For each micro-policy, we prove by refinement that the symbolic machine instantiated with the policy’s rules embodies a high-level specification characterizing a useful security property. Last, we show how the symbolic machine itself can be implemented in terms of a hardware rule cache and a software controller

Readings of pronouns across connectives are sensitive to monotonicity

Kanazawa (1994) proposed a generalization connecting the monotonicity properties of quantifiers and the preferred reading (existential or universal) of donkey sentences. We show through two experimental studies that his generalization extends to cross-conjunction anaphora.In a nutshell, we find that simple cross-conjunction anaphora like there is a circle and it is blue are read existentially (there is a blue circle) but adding negation to the second conjunct (there is a circle and it is not blue) makes an additional universal reading accessible (there is a circle and no circle is blue). These results provide a challenge to Egli’s principle, a principle validated by most existing dynamic theories, according to which only an existential reading should be found in these constructions, regardless of the presence of negation