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...

OBJECTIVE To investigate the current state of genetics education at the Fourth Military Medical University (FMMU) and compare it with other dental schools of China. METHODS Detailed information about the history and current education status of Oral Genetics in the FMMU were collected and questionnaires were completed to acquire the feedback of twenty-seven students on the course. In the other...

The sharable content object reference model (SCORM) includes a representation of distance learning contents and a behavior definition of how users should interact with the contents. Generally, SCORMcompliant systems were based on multimedia and Web technologies on PCs. We further build a pervasive learning environment, which allows users to read SCORM-compliant textbooks with multimodal learnin...

This paper describes the objectives, contents learning methodology and results of an on-line course about History of Algorithms for engineering students of the Polytechnic University of Madrid. This course is conducted in a virtual environment based on Moodle, with an educational model centered at student which includes a detailed planning of learning activities. Our experience indicates that t...

These lecture notes are based on my course from the summer semester 2011 though there are some minor changes in the contents and the numbering. Since this course had only two hours per week, some of the following proofs were not given in the lectures. For these and previous lecture notes, I have received detailed comments and corrections from the students of my classes. I am glad to thank them ...