The condition under which a computation terminates, and the question of whether a computation terminates for a given initial state, have been the focus of much interest since the early days of computing. In this paper we argue that it is advantageous to study the property of termination in conjunction with the property of abort-freedom, i.e. the property of a program to execute without raising ...

BACKGROUND There is a need to elucidate what affects the implantation and early pregnancy course in pregnancies conceived with assisted reproductive technology (ART) so that pregnancy rates and outcomes can be improved. Our aim was to determine the role of maternal Helicobacter pylori infection. MATERIAL AND METHODS We did a prospective study of 187 infertile couples undergoing intracytoplasm...

Whenever distributed transaction processing in MANETs or other unreliable networks has to guarantee atomicity and isolation, a major challenge is how long-term blocking of resources can be avoided in case the mobile device looses connection to other participants of the transaction. We present a new technique for treating blocked data of transaction participants that wait for a coordinator’s com...

August 2015 Overview The Mullen Scales of Early Learning: AGS Edition (Mullen, 1995) is an individually administered, standardized measure of cognitive functioning designed to be used with children from birth through 68 months. This update is a revised version of the original Mullen Scales of Early Learning, combining the Infant MSEL with the Preschool MSEL. It consists of a GrossMotor Scale an...

Last-Level Cache (LLC) attacks typically exploit timing side channels in hardware, and thus rely heavily on timers for their operation. Many proposed defenses against such side-channel attacks capitalize on this reliance. This paper presents PRIME+ABORT, a new cache attack which bypasses these defenses by not depending on timers for its function. Instead of a timing side channel, PRIME+ABORT le...

abduction [661]. abort [422]. abort-aware [422]. ABS [455]. Abstract [435, 620, 132, 419, 481, 425, 131, 122, 551]. Abstraction [597, 182, 489, 621, 323, 382, 123, 429, 359, 205, 326, 234, 407, 385, 325, 510, 40, 426]. abstraction-based [326, 325]. Abstraction-guided [489]. abstraction-refinement [407]. abstraction/refinement [359]. abstractions [406, 217, 618, 664, 321]. ABZ [642]. acceleratio...

The use of elliptic curves in cryptography relies on the ability to count the number of points on a given curve. Before 1999, the SEA algorithm was the only efficient method known for random curves. Then Satoh proposed a new algorithm based on the canonical p-adic lift of the curve for p ≥ 5. In an earlier paper, the authors extended Satoh’s method to the case of characteristics two and three. ...