We describe the experimental apparatus and the methods to achieve Bose-Einstein condensation in 87Rb atoms. Atoms are first laser cooled in a standard double magneto-optical trap setup and then transferred into a QUIC trap. The system is brought to quantum degeneracy selectively removing the hottest atoms from the trap by radio-frequency radiation. We also present the main theoretical aspects o...

To assess prospects for early diagnosis of prion disease based on prion seeding activity in cerebrospinal fluid (CSF), we measured the activity over time in scrapie-infected hamsters by real-time quaking-induced conversion (RT-QuIC). After intracerebral inoculation, activity appeared in CSF within 1 day and plateaued weeks before the onset of clinical signs. However, after intratongue inoculati...

We will motivate the problem of simultaneously handling incompleteness and imprecision in autonomous databases. We will argue that effectively tackling this problem requires solutions to density and relevance estimation, query rewriting and result explanation. We will show that solving these problems requires tools from decision theory, utility elicitation, statistical learning, as well as core...

Human familial prion diseases are associated with mutations at 34 different prion protein (PrP) amino acid residues. However, it is unclear whether infectious prions are found in all cases. Mutant PrP itself may be neurotoxic, or alternatively, PrP mutation might predispose to spontaneous formation of infectious PrP isoforms. Previous reports demonstrated transmission to animal models by human ...

To the Editor—Our article “A Practical Approach to Avoiding Iatrogenic Creutzfeldt-Jakob Disease (CJD) from Invasive Instruments” included the recommendation that all patients with either cerebellar or mental abnormalites be tested for elevated levels of 14-3-3 protein in spinal fluid. Although this test has proved invaluable as a diagnostic aid for nearly 2 decades, the protein was from the st...

Programs written in modern languages perform intricate manipulations of containers such as arrays, lists, dictionaries, and sets. We present an abstract interpretation-based framework for automatically inferring relations between the set of values stored in these containers. Relations include inclusion relations over unions and intersections, as well as quantified relationships with scalar vari...

With a standardization process that attracted much interest, QUIC can been seen as the next general-purpose transport protocol. Still, it does not provide true multipath support yet, missing some use cases Multipath TCP addresses. To fill gap, IETF recently adopted proposal merging several proposed designs. While focuses on its core components, there still remains one major design issue: amount...

Packet losses are common events in today’s networks. They usually result longer delivery times for application data since retransmissions the de facto technique to recover from such losses. Retransmissions is a good strategy many applications but it may lead poor performance with latency-sensitive compared network coding. Although different types of coding techniques have been proposed reduce i...