Volumetric Comparisons of Brain Structures in Bats (An Attempt at a Phylogenetic Interpretation)

[Psychology and politics. Attempt at a psychopathologic interpretation of terrorism].

[A volumetric study of brain structures in subtypes of depression].

The aim of this study is to compare the volumes of hippocampus, amygdala and subgenual prefrontal cortex among patients with melancholic depression, patients with psychotic depression and normal controls. Thirty nine patients with a diagnosis of major depression (22 with melancholic and 17 with psychotic subtype) and 18 normal controls were included in the study. Hippocampal, amygdala, anterior...

Algebraic structures in Axiom and Isabelle: attempt at a comparison

The hierarchic structures of abstract algebra pose challenges to the module systems of both programming and specification languages. We relate two existing module systems that are designed for this purpose: the type system of the computer algebra system Axiom, and the module system of the theorem prover Isabelle. Abstract algebra has been developed at the beginning of the 20th century and has e...

Preventive Medicine: an Attempt at a Definition.

Preventive Medicine: An Attempt at a Definition: GEDDES SMITH and DR. LESTER J. EVANS. Obituary: William. Spencer Carter: DR. CHAUNCEY D. LEAKE and OTHERS. Losses in Personnel of Soviet Botany during the War: VLADIMIR C. Asmous. Recent Deaths ................................................................................................................ Scientific Events: Recent Contributions o...

Algorithm Engineering - An Attempt at a Definition

This paper defines algorithm engineering as a general methodology for algorithmic research. The main process in this methodology is a cycle consisting of algorithm design, analysis, implementation and experimental evaluation that resembles Popper’s scientific method. Important additional issues are realistic models, algorithm libraries, benchmarks with real-world problem instances, and a strong...