Prolog

Popular movies grab and hold our attention. One reason for this is that storytelling is culturally important to us, but another is that general narrative formulae have been honed over millennia and that a derived but specific filmic form has developed and has been perfected over the last century. The result is a highly effective format that allows rapid processing of complex narratives. Using a corpus analysis I explore a physical narratology of popular movies-narrational structure and how it impacts us-to promote a theory of popular movie form...

It has been shown recently that significant number (to 40% from total population) of macrophage foam cells (MFC) is formed during early time (24 h) of zymosan-induced peritonitis resolution and agonists of peroxisome proliferation activated receptors-α, -γ (PPAR-α, -γ) exert anti-inflammatory action, protecting their formation (Dushkin et al., 2007). The work is devoted to investigate of the influence of cholesterol-containing liposomes (CHL) on dinamic of zimozan-induced peritonitis in C57Bl/6 mice. The accumulation of cholesterol, the change of cytokine production, PPAR-γ activity and cholesterol efflux in macrophages of C57Bl/6 mice has been investigated...

OBJECTIVE: To find the characteristic parameters from electrocardiogram (ECG) which is most related to pathological progress, surface ECG was performed in mice at 2, 5, 9 and 13 week post surgery. METHODS: Electrocardiogram recordings: The mice were anaesthetized with tribromoethanol (250 mg/kg, i.p.). Lead II surface ECG were acquired by using the Biopac System MP150 at a rate of 5 kHz. RESULTS: (1) No arrhythmia was observed in Sham and 2-week Band mice...

BACKGROUND: An in vitro procedure based on a microarray containing many different allergen components has recently been introduced for use in allergy diagnosis. Recombinant and highly purified allergens belonging to different allergenic sources (inhalants, food, latex and hymenoptera) are present in the array. These components can either be genuine or cross-reactive, resistant or susceptible to heat and low pH, and innocuous or potentially dangerous. A large number of complex and heterogeneous relationships among these components has emerged, such that sometimes these interactions cannot be effectively managed by the allergist...

Depressive symptoms are unspecific and occur in several psychiatric disorders. Sleep disturbances are also frequently present in depressed patients. As a consequence, it has been established that a number of modulations of the sleep-wake cycle can have an antidepressive effect. Total sleep deprivation or deprivation in the second half of the night have proven successful. The main limitation of the otherwise well tolerated treatment is the short duration of the antidepressive effect, which is mostly reversed in nearly all patients after the following night's sleep...

BACKGROUND: We present a way to compute the minimal semi-positive invariants of a Petri net representing a biological reaction system, as resolution of a Constraint Satisfaction Problem. The use of Petri nets to manipulate Systems Biology models and make available a variety of tools is quite old, and recently analyses based on invariant computation for biological models have become more and more frequent, for instance in the context of module decomposition. RESULTS: In our case, this analysis brings both qualitative and quantitative information on the models, in the form of conservation laws, consistency checking, etc...

Recent years have seen the emergence of an important new fundamental theory of brain function. This theory brings information-theoretic, Bayesian, neuroscientific, and machine learning approaches into a single framework whose overarching principle is the minimization of surprise (or, equivalently, the maximization of expectation). The most comprehensive such treatment is the "free-energy minimization" formulation due to Karl Friston (see e.g., Friston and Stephan, 2007; Friston, 2010a,b - see also Fiorillo, 2010; Thornton, 2010)...

The present study reveals that the process of aging was elaborately described in Ayurveda. In order to prology the life span and to promote longevity a separate discipline called Rasayana Tantra was also developed. The sailent feature of this discipline are described in this article.

Ontology and associated generic tools are appropriate for knowledge modeling and reasoning, but most of the time, disease definitions in existing description logic (DL) ontology are not sufficient to classify patient's characteristics under a particular disease because they do not formalize operational definitions of diseases (association of signs and symptoms=diagnostic criteria). The main objective of this study is to propose an ontological representation which takes into account the diagnostic criteria on which specific patient conditions may be classified under a specific disease...

MOTIVATION: Probabilistic logic programming offers a powerful way to describe and evaluate structured statistical models. To investigate the practicality of probabilistic logic programming for structure learning in bioinformatics, we undertook a simplified bacterial gene-finding benchmark in PRISM, a probabilistic dialect of Prolog. RESULTS: We evaluate Hidden Markov Model structures for bacterial protein-coding gene potential, including a simple null model structure, three structures based on existing bacterial gene finders and two novel model structures...

The use of structured knowledge representations-ontologies and terminologies-has become standard in biomedicine. Definitions of ontologies vary widely, as do the values and philosophies that underlie them. In seeking to make these views explicit, we conducted and summarized interviews with a dozen leading ontologists. Their views clustered into three broad perspectives that we summarize as mathematics, computer code, and Esperanto. Ontology as mathematics puts the ultimate premium on rigor and logic, symmetry and consistency of representation across scientific subfields, and the inclusion of only established, non-contradictory knowledge...

PURPOSE: To compare the demands of a 6-d stage race using field measures of power output and HR in male (n=8) and female (n=10) competitive cyclists. METHODS: HR and power output were monitored in males and females competing in separate races on identical courses including a prolog (4 km), four circuit/road races (mean ± SD: 118 ± 23 km), and a criterium (47 km). All subjects participated in laboratory-based exercise testing within 2 wk of the race. RESULTS: Compared with females, males took 10%, 22%, and 10% less time to complete the prolog, circuit/road races, and criterium, respectively...

This article reports on the lessons learned while teaching an 8-week-long online course about the principles of clinical research design in Japan. Student activity data and how it relates to performance in the course are presented. As prolog, this article focuses on the barriers and solutions to creating and delivering a web-based course and it lists and discusses the most common concerns that educators often have about this process, namely, cost of the system and time requirement of the faculty. Options that must be considered when selecting the support software and hardware needed to conduct live streaming lecture, online video-based conference course are presented...

This paper describes an expert system paradigm based on matrix algebra. The knowledge base of the expert system is stored in binary matrices, while the learning and inference processes are done by matrix algebra operations. This method is highly parallel and can take full advantage of the inherent parallelism and connectivity of optics. An optoelectronic architecture that implements this system is presented. In addition, the method is compared with the sequential search methods written in the programming language PROLOG to illustrate their differences and commonalities...

A prototype expert system for automated interpretation of wavelength dispersive X-ray fluorescence spectra is described. The system consists of two main components: a pre-processor (PREXRF) written in BASIC and a knowledge handling part (INFERXRF) that contains the knowledge base and the inference engine implemented in PROLOG. Both systems rely heavily on the theory of fuzzy sets in an attempt to deal with incomplete and uncertain information. The performance of the interpretation system for automated analysis of simulated and measured samples is demonstrated...

BACKGROUND: Metabolic networks present a complex interconnected structure, whose understanding is in general a non-trivial task. Several formal approaches have been developed to support the investigation of such networks. One of the relevant problems in this context is the comprehension of causality dependencies amongst the molecules involved in the metabolic process. RESULTS: We apply techniques from formal methods and computational logic to develop an abstract qualitative model of metabolic networks in order to determine possible causal dependencies...

Carbon monoxide (CO)poisoning is a rare cause of QT prolongation, and is therefore easily missed. The case of a patient with unexplained syncope and QT prologation on the electrocardiogram that turned out to be related to CO poisoning is reported here. In patients with QT prolongation, uncommon causes also should be looked for.

OBJECTIVE: To avoid the interference of ABCD1 pseudogenes, the amplification refractory mutation system (ARMS) was used to analyze the mutation of ABCD1 gene in the molecular diagnosis of X-linked adrenoleukodystrophy (ALD). METHODS: The upstream primers (wild primer and mutation primer) were designed according to the principle of primer-design in ARMS. In addition, a common downstream primer was designed in the same way to discriminate ABCD1 gene from its prologous pseudogenes...

OBJECTIVES: The main objective is to create a knowledge-intensive coding support tool for the International Classification of Diseases (ICD10), which is based on formal representation of ICD10 categories. Beyond this task the resulting ontology could be reused in various ways. Decidability is an important issue for computer-assisted coding; consequently the ontology should be represented in description logic. METHODS: The meaning of the ICD10 categories is represented using the GALEN Core Reference Model...

The authors present a formal representation of ICD10 based on GALEN CRM. The goal of the work is to create a coding support tool for coding clinical diagnoses to ICD10. The formal representation of the first two chapters of ICD10 has been almost completed. The paper presents the main aspects of the modelling, and the experienced problems. The constructed ontology has been converted to OWL, and a test system has been implemented in Prolog to verify the feasibility of the approach. The system successfully identified diseases in medical records from gastrointestinal oncology...