Sublogarithmic uniform Boolean proof nets

Using a proofs-as-programs correspondence, Terui was able to compare two models of parallel computation: Boolean circuits and proof nets for multiplicative linear logic. Mogbil et. al. gave a logspace translation allowing us to compare their computational power as uniform complexity classes. This paper presents a novel translation in AC0 and focuses on a simpler restricted notion of uniform Boolean proof nets. We can then encode constant-depth circuits and compare complexity classes below logspace, which were out of reach with the previous translations.Comment: In Proceedings DICE 2011, arXiv:1201.034

Practice and Procedure

Covers cases on remedies for the failure to reveal information in pretrial discovery (Stinnette), on the trial court\u27s duty to give reasons for denying a new trial, on the failure to administer the oath to jurors prior to voir dire, on the appealability of a suspended sentence when a guilty plea precludes appeal (Gose), on changes in the rules for appellate briefs regarding assignment of error, and on other changes to the appellate rules (Gadbow)

Comparison of Methods to Capture Bobwhites During Summer (Poster Abstract)

Live-capturing northern bobwhites (Colinus virginianus) using baited funnel traps during summer often is inefficient. Previous methods to attract wild bobwhites to a trap site have included bait (typically cracked corn), or use of a pen-raised female bobwhite inside the trap. It has been suggested that playing electronic recordings of the bobwhite’s ‘‘koi-lee’’ call at the trap site may improve trap success, but this idea has never been tested. Therefore, in July 1999, we collected trapping data from farms in Wilson County, North Carolina and Tall Timbers Research Station (TTRS) in Leon County, Florida. Trap sites were randomly assigned each day with 1 of 4 treatments including bait only, bait with electronic calling (bait and call), pen-raised female bobwhite (hen), or a hen with electronic calling (hen and call). Traps were set starting at sunrise and were checked after sunset. We captured 87 males, 10 females, and 3 immature bobwhites in 500 trap nights. At TTRS, number of bobwhites caught per 10 trap nights was 0.5 for bait, 0.2 for bait and call, 4.2 for hen, and 4.4 for hen and call. At Wilson, number of bobwhites caught per 10 trap nights was 1.0 for bait, 0.4 for bait and call, 1.3 for hen, and 3.3 for hen and call. Trap success for the hen only and hen and call treatments varied between sites. At TTRS, use of hens greatly improved capture success compared to using bait, but little difference was observed between hen only and hen and call treatments. Conversely, at Wilson, hen only and bait only treatments had similar capture success, but the hen and call treatment was 2.5 times more successful over the other treatments. Electronic calling appeared to have attracted bobwhites to the trap vicinity and the hen appeared to encourage bobwhites to enter the trap. This circumstance was especially evident at Wilson where the overall bobwhite abundance was low and the distribution was unequal across the landscape. We recommend using pen-raised female bobwhite and electronic calling to maximize trap success during the bobwhite breeding season on areas with low to moderate bobwhite densities

Partial charge transfer and absence of induced magnetization in EuS(111)/Bi2Se3 heterostructures

Heterostructures made from topological and magnetic insulators promise to form excellent platforms for new electronic and spintronic functionalities mediated by interfacial effects. We report the results of a first-principles density functional theory study of the geometric, electronic structure, and magnetic properties of the EuS(111)/Bi2Se3 interface, including van der Waals and relativistic spin-orbit effects. In contrast to previous theoretical studies, we find no appreciable magnetic anisotropy in such a heterostructure. We also do not see additional induced magnetization at the interface or the magnetic proximity effect on the topological states. This is due to the localized nature of Eu moments and because of a partial charge transfer of ∼0.5 electron from Eu to Se. The formation of the surface dipole shifts the Dirac cone about 0.4 eV below the chemical potential, and the associated electrostatic screening moves the topological state from the first to the second quintuple layer of Bi2Se3

Detection of Provasopressin in Invasive and Non-invasive (DCIS) Human Breast Cancer Using a Monoclonal Antibody Directed Against the C-terminus (MAG1)

The provasopressin protein (proAVP) is expressed by invasive breast cancer and non-invasive breast cancer, or ductal carcinoma in situ (DCIS). Here we demonstrate the ability of the monoclonal antibody MAG1 directed against the C-terminal end of proAVP to identify proAVP in all cases examined of human invasive cancer and DCIS (35 and 26, respectively). Tissues were chosen to represent a relevant variation in tumor type, grade, patient age, and menopausal status. By comparison, there was 65% positive staining for estrogen receptor, 61% for progesterone receptor, 67% for nuclear p53, and 39% for c-Erb-B2 with the invasive breast cancer sections. Reaction with the normal tissue types examined (67) was restricted to the vasopressinergic magnocellular neurons of the hypothalamus, where provasopressin is normally produced, and the posterior pituitary, where these neurons terminate. The breast epithelial tissue sections on the tissue microarray did not react with MAG1. Previously, we demonstrated that polyclonal antibodies to proAVP detected that protein in all breast cancer samples examined, but there was no reaction with breast tissue containing fibrocystic disease. The results presented here not only expand upon those earlier results, but they also demonstrate the specificity and effectiveness of what may be considered a more clinically-relevant agent. Thus, proAVP appears to be an attractive target for the detection of invasive breast cancer and DCIS, and these results suggest that MAG1 may be a beneficial tool for use in the development of such strategies

A pilot study evaluating concordance between blood-based and patient-matched tumor molecular testing within pancreatic cancer patients participating in the Know Your Tumor (KYT) initiative

Recent improvements in next-generation sequencing (NGS) technology have enabled detection of biomarkers in cell-free DNA in blood and may ultimately replace invasive tissue biopsies. However, a better understanding of the performance of blood-based NGS assays is needed prior to routine clinical use. As part of an IRBapproved molecular profiling registry trial of pancreatic ductal adenocarcinoma (PDA) patients, we facilitated blood-based NGS testing of 34 patients from multiple community-based and high-volume academic oncology practices. 23 of these patients also underwent traditional tumor tissue-based NGS testing. cfDNA was not detected in 9/34 (26%) patients. Overall concordance between blood and tumor tissue NGS assays was low, with only 25% sensitivity of blood-based NGS for tumor tissue NGS. Mutations in KRAS, the major PDA oncogene, were only detected in 10/34 (29%) blood samples, compared to 20/23 (87%) tumor tissue biopsies. The presence of mutations in circulating DNA was associated with reduced overall survival (54% in mutation-positive versus 90% in mutation-negative). Our results suggest that in the setting of previously treated, advanced PDA, liquid biopsies are not yet an adequate substitute for tissue biopsies. Further refinement in defining the optimal patient population and timing of blood sampling may improve the value of a blood-based test. © Pishvaian et al

10101 Abstracts Collection -- Computational Foundations of Social Choice

From March 7 to March 12, 2010, the Dagstuhl Seminar 10101 ``Computational Foundations of Social Choice \u27\u27 was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available