The prevailing view of software development as the production of program systems is abandoned in favor of software development as theory building. This suggests that software development properly should be regarded as a deductive activity following the same methodology as is used in all deductive sciences. Programming is merely the description process in the activity of building theories about thi

Ultrashort, coherent x-ray pulses of a free-electron laser are used to holographically image the magnetization dynamics within a magnetic domain pattern after creation of a localized excitation via an optical standing wave. We observe a spatially confined reduction of the magnetization within a couple of hundred femtoseconds followed by its slower recovery. Additionally, the experimental results s

The full triaxial stress state within individual particles in a monodisperse spherical granular assembly has been measured. This was made possible by neutron imaging and computed tomography combined with neutron diffraction strain measurement techniques and associated stress reconstruction. The assembly in question consists of 549 precision steel ball bearings under an applied axial load of 85 MPa

The aim of this study was to describe changes over time in the indications and outcomes of cataract surgery and to discuss optimal timing for the surgery.

Conversion of agricultural residues, energy crops and forest residues into bioethanol requires hydrolysis of the biomass and fermentation of the released sugars. During the hydrolysis of the hemicellulose fraction, substantial amounts of pentose sugars, in particular xylose, are released. Fermentation of these pentose sugars to ethanol by engineered Saccharomyces cerevisiae under industrial proces

While it is known that there is progression to diabetes in

Background: Information about cost of multiple sclerosis (MS) is available from a number of European countries, but no data from the Czech Republic have been published so far. Objective: The objective of this study was to establish the cost of MS in the Czech Republic, overall and by level of disease severity. Methods: Data on demographics, disease history, resource consumption and production loss

Different classes of non-coding RNAs, including microRNAs, have recently been implicated in the process of tumourigenesis. In this study, we examined the expression and putative functions of a novel class of non-coding RNAs known as transcribed ultraconserved regions (T-UCRs) in neuroblastoma. Genome-wide expression pro. ling revealed correlations between specific T-UCR expression levels and impor

The proteinuria selectivity index (SI) describes changes of the glomerular permeability for macromolecules. In the present study, we examine the implications of SI as a diagnostic (199 patients) and a prognostic (49 patients) marker in glomerular diseases. Using SI based on alpha(2)-macroglobulin (alpha(2)-M-SI) or on IgM (IgM-SI) we found that minimal change nephropathy could be discriminated by

Collagens are extended trimeric proteins composed of the repetitive sequence glycine-X-Y. A (c) under bar ollagen- related (S) under bar tructural (m) under bar otif (CSM) containing glycine-X-Y repeats is also found in numerous proteins often referred to as collagen-like proteins. Little is known about CSMs in bacteria and viruses, but the occurrence of such motifs has recently been demonstrated.

In 2001, an increase of HIV-1 diagnoses among intravenous drug users (IVDU) was reported in Sweden. In nearby countries, Finland, Russia and the Baltic states, recent outbreaks had been described. Since there was a concern that these outbreaks would carry over to Sweden a study was initiated to determine the factors leading to the Swedish increase of HIV-1 diagnosed IVDUs. HIV-1 env V3 sequences w

Because of the continuous increases in lifetime expectancy, the incidence of age-related diseases will, unless counteracted, represent an increasing problem at both the individual and socioeconomic levels. Studies on the processes of blood cell formation have revealed several shortcomings as a consequence of chronological age. They include a reduced ability to mount adaptive immune responses and a

Purpose: The excess cardiovascular morbidity associated with schizophrenia is attributed to an interplay between behavioural (physical inactivity, unhealthy diet, substance abuse), genetic and illness related factors, as well as the effects of antipsychotic treatment. Patients have limited access to physical healthcare with less opportunity for cardiovascular risk prevention and treatment programm

Soil communities in landscapes that are rapidly changing due to a range of anthropogenic processes can be regarded as highly transient systems where interactions between competing species or trophic levels may be seriously disrupted. In disturbed communities dispersal in space and time has a role in ensuring continuity of community function. Stable communities, in undisturbed systems, are more dep

The free volume sizes and interstitial mesopore sizes in poly(l-trimethylsilyl-l-propyne) (PTMSP)/silica nanocomposites and the correlation between nitrogen permeability and cavity sizes were studied with positron annihilation lifetime spectroscopy (PALS) at filler concentrations between 0 and 50 wt %. A bimodal free volume distribution was observed for PTMSP, and the size of the larger free volum

Protein additives have a dramatic effect on the H2O2 oxidation of hyperforin, either protecting the enolized phloroglucinol core from oxidation (human albumin) or promoting (HRP and ovalbumin) reaction pathways derived from the intermediacy of the enollactone 4, a minor component of the oxidation mixture in the absence of protein additives. To rationalize the exquisite specificity of several steps

Hydrophobic interaction is generally considered to play an important role in the adherence of microorganisms to eukaryotic cells and also to certain inert surfaces. Using a microbe adhesion assay to hydrocarbons (n-hexadecane), 68 strains of Candida albicans and 30 non-albicans strains were studied. Influence of source of isolate, age of the culture, and percentage of germ tube formation on adhesi

A new method is described for the calculation of molecular vibrational partition functions and thermal effects on molecular properties including an explicit account of anharmonicity. The approach is based on the vibrational self-consistent-field method. Partition functions and thermal averages of the energies calculated with the new method are generally in good agreement with the result of more ac

As an approach to determining the aetiology of chronic lymphocytic leukaemia (CLL), we searched for a virus expressed in human CLL B-cells by combining high-throughput sequencing and digital subtraction. Pooled B-cell mRNA transcriptomes from five CLL patients and five healthy donors were sequenced with 454 Life Sciences technology. Human reads were excluded by BLAST (Basic Local Alignment Search