The processing and analysis of the Mizar library has been performed using the infrastructure of the University of Bialystok High Performance Computing Center. In the current Mizar language, direct linking to statements formulated as compound conditions is prohibited. This particular language feature has often been considered by the users as an unnecessary disruption of the natural course of pro...

Following several recent approaches, working memory is argued to consist of a subset of representations that are within the scope of active processing and a larger set of recently activated, but non-attended representations. A response-signal speed-accuracy tradeoff (SAT) and complementary reaction time variant of a probe recognition task were used to measure the retrieval of categorized materi...

At 24 hours after administration of a single dose of 3-4 mg. of l-hydroxy-2-acetylaminofluorene-1-C14 (1-hydroxy-AAF-l-C14) intraperitoneally to rats, 75 per cent of the dose had been excreted in the urine and feces. About 5 per cent of the injected radioactivity was present in the gastrointestinal contents, and only 1-2 per cent re mained in the tissues of the rat. Radioactivity equivalent to ...

Some philosophers, for example David Lewis, have argued for the need to introduce de se contents or centered contents, i.e. contents of thought and speech the correctness of believing which depends not only on the possible world one inhabits, but also on the location one occupies. Independently, philosophers like Robert Stalnaker (and also David Lewis) have developed the conversational score mo...

The goal of the present studies was to determine the exogenous and endogenous reserves of lead, cadmium, arsenic, copper, and zinc. Examinations were carried out in 2006 (N=19), 2007 (N=20), and 2008 (N=20). Hair samples were collected from the back part of the Limousine cattle pastured in the vicinity of the Glogow copper smelter. The cows, aged 4 to 5 years, were reared on green pastures. In ...

Two cases of botulism in horses are described in the article. In the first case two horses died, one survived and recovered after four weeks. Botulotoxin type B was detected using a mouse bioassay in the gastrointestinal content of both dead horses; Clostridium botulinum bacteria were cultivated from one of them. In the second case two horses were affected. One of them was euthanized because of...

2 Requirements for Ground Simulation 5 2.1 Similarity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.1.1 General Considerations . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.1.2 Blunt Body Flows . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.2 Power . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.3 Instrumentation...