New technologies are transforming academic publishing, including surgical research. The author considers a variety of the new systems, platforms and search engines that are fuelling this information revolution, as well as the bibliometrics and citation analysis necessary for filtering quality material for the increasingly inundated researcher.

We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checking linear temporal formulas with timing constraints. In particular, we nd that a great deal of real-time veri cation can be performed in polynomial space, but also that considerable care must be exercised in order to keep the real-t...

Progress in the study of infantile autism over the past 10 years was reviewed in terms of classification and diagnosis, relation to other disorders, demographics, parental characteristics, genetics, intelligence, language, perceptual processes, behavioral characteristics, neurobiological, biochemical and pharmacological aspects, behavioral/educational treatment methodologies, prognosis, and the...