Do people incrementally incorporate the meaning of quantifier expressions to understand an unfolding sentence? Most previous studies concluded that quantifiers do not immediately influence how a sentence is understood based on the observation that online N400-effects differed from offline plausibility judgments. Those studies, however, used serial visual presentation (SVP), which involves unnat...

In this brief commentary, we address several of the points raised by Drs. First and Halon on the abuses of DSM diagnoses (APA, 2000) in civil commitment hearings of sex offenders. We discuss each of the elements in the three-step process proposed by First and Halon for reforming the diagnosis of paraphilias in SVP proceedings, paying particular attention to the role of volitional impairment. Bo...

Lattice sieving is asymptotically the fastest approach for solving the shortest vector problem (SVP) on Euclidean lattices. All known sieving algorithms for solving the SVP require space which (heuristically) grows as 2, where n is the lattice dimension. In high dimensions, the memory requirement becomes a limiting factor for running these algorithms, making them uncompetitive with enumeration ...

This paper presents a formal approach to the verification and evaluation of a programming/machine model being developed at the University of Amsterdam, called the SANE Virtual Processor (SVP). The model is being used as a basis for designing and programming chip multiprocessors and to support self-adaptive computation. This model can provide solutions for effectively programming distributed mul...

Last time we defined the minimum distance λ1(L) of a lattice L, and showed that it is upper bounded by √ n · det(L)1/n (Minkowski’s theorem), but this bound is often very loose. Some natural computational questions are: given a lattice (specified by some arbitrary basis), can we compute its minimum distance? Can we find a vector that achieves this distance? Can we find good approximations to th...

Although sex offender risk assessment has progressed greatly over the past decade and a half since most states implemented the sexually violent predator/sexually dangerous person (SVP/SDP) laws, there continues to be limited applicability of such models to intellectually disabled sex offenders because there has been no empirical validation. However, SVP/SDP civil commitment programs have report...

Uncoating of influenza virus (strain WSN) in MDCK cells was studied by following the fate of the virus labelled with radioactive precursors. The accumulation of subviral components of input virus was observed in nuclear-associated cytoplasm (NAC) obtained by treatment of the nuclei with citric acid. Two types of subviral components were found there, ribonucleoproteins (RNPs) and larger subviral...

Nineteen states and the federal government have statutes for the civil commitment of sexually violent predators (SVP). The American Psychiatric Association has vigorously opposed SVP laws, citing the abuse of both individual civil rights and of psychiatry in forwarding preventive detention. Those who support the laws underscore that the statutes target highly dangerous sex offenders. There are ...

We give a deterministic O(log n)-time and space algorithm for the Shortest Vector Problem (SVP) of a lattice under any norm, improving on the previous best deterministic n-time algorithms for general norms. This approaches the 2-time and space complexity of the randomized sieve based SVP algorithms (Arvind and Joglekar, FSTTCS 2008), first introduced by Ajtai, Kumar and Sivakumar (STOC 2001) fo...

Multiple factors, including the MADS-domain proteins AGAMOUS-LIKE15 (AGL15) and AGL18, contribute to the regulation of the transition from vegetative to reproductive growth. AGL15 and AGL18 were previously shown to act redundantly as floral repressors and upstream of FLOWERING LOCUS T (FT) in Arabidopsis (Arabidopsis thaliana). A series of genetic and molecular experiments, primarily focused on...