A computational algorithm for the verification of tautologies in propositional calculus

A computational algorithm (based on Smullyan's analytic tableau method) that varifies whether a given well-formed formula in propositional calculus is a tautology or not has been implemented on a DEC system 10. The stepwise refinement approch of program development used for this implementation forms the subject matter of this paper. The top-down design has resulted in a modular and reliable program package. This computational algoritlhm compares favourably with the algorithm based on the well-known resolution principle used in theorem provers.

A new algorithm for parallel solution of linear equations

Abstract is not available.

An On-Line Algorithm for the Location of Cross Point Faults in Programmable Logic Arrays

An on-line algorithm is developed for the location of single cross point faults in a PLA (FPLA). The main feature of the valgorithm is the determination of a fault set corresponding to the response obtained for a failed test. For the apparently small number of faults in this set, all other tests are generated and a fault table is formed. Subsequently, an adaptive procedure is used to diagnose the fault. Functional equivalence test is carried out to determine the actual fault class if the adaptive testing results in a set of faults with identical tests. The large amount of computation time and storage required in the determination, a priori, of all the fault equivalence classes or in the construction of a fault dictionary are not needed here. A brief study of functional equivalence among the cross point faults is also made.

An (O)over-tilde(mn) Gomory-Hu Tree Construction Algorithm for Unweighted Graphs

We present a fast algorithm for computing a Gomory-Hu tree or cut tree for an unweighted undirected graph G = (V, E). The expected running time of our algorithm is (O) over tilde (mc) where vertical bar E vertical bar = m and c is the maximum u-v edge connectivity, where u, v is an element of V. When the input graph is also simple (i.e., it has no parallel edges), then the u-v edge connectivity for each pair of vertices u and v is at most n - 1; so the expected run-ning time of our algorithm for simple unweighted graphs is (O) over tilde (mn). All the algorithms currently known for constructing a Gomory-Hu tree [8, 9] use n - 1 minimum s-t cut (i.e., max flow) subroutines. This in conjunction with the current fastest (O) over tilde (n(20/9)) max flow algorithm due to Karger and Levine[11] yields the current best running time of (O) over tilde (n(20/9)n) for Gomory-Hu tree construction on simple unweighted graphs with m edges and n vertices. Thus we present the first (O) over tilde (mn) algorithm for constructing a Gomory-Hu tree for simple unweighted graphs. We do not use a max flow subroutine here; we present an efficient tree packing algorithm for computing Steiner edge connectivity and use this algorithm as our main subroutine. The advantage in using a tree packing algorithm for constructing a Gomory-Hu tree is that the work done in computing a minimum Steiner cut for a Steiner set S subset of V can be reused for computing a minimum Steiner cut for certain Steiner sets S' subset of S.

Mechanically Ventilated Broiler Sheds: a Possible Source of Aerosolized Salmonella, Campylobacter, and Escherichia coli.

This study assessed the levels of two key pathogens, Salmonella and Campylobacter, along with the indicator organism Escherichia coli in aerosols within and outside poultry sheds. The study ranged over a 3-year period on four poultry farms and consisted of six trials across the boiler production cycle of around 55 days. Weekly testing of litter and aerosols was carried out through the cycle. A key point that emerged is that the levels of airborne bacteria are linked to the levels of these bacteria in litter. This hypothesis was demonstrated by E. coli. The typical levels of E. coli in litter were similar to 10(8) CFU g(-1) and, as a consequence, were in the range of 10(2) to 10(4) CFU m(-3) in aerosols, both inside and outside the shed. The external levels were always lower than the internal levels. Salmonella was only present intermittently in litter and at lower levels (10(3) to 10(5) most probable number [MPN] g(-1)) and consequently present only intermittently and at low levels in air inside (range of 0.65 to 4.4 MPN m(-3)) and once outside (2.3 MPN m(-3)). The Salmonella serovars isolated in litter were generally also isolated from aerosols and dust, with the Salmonella serovars Chester and Sofia being the dominant serovars across these interfaces. Campylobacter was detected late in the production cycle, in litter at levels of around 107 MPN g(-1). Campylobacter was detected only once inside the shed and then at low levels of 2.2 MPN m(-3). Thus, the public health risk from these organisms in poultry environments via the aerosol pathway is minimal.

A coupled SPH-DEM approach to model the interactions between multiple red blood cells in motion in capillaries

Red blood cells (RBCs) are the most common type of blood cells in the blood and 99% of the blood cells are RBCs. During the circulation of blood in the cardiovascular network, RBCs squeeze through the tiny blood vessels (capillaries). They exhibit various types of motions and deformed shapes, when flowing through these capillaries with diameters varying between 5 10 µm. RBCs occupy about 45 % of the whole blood volume and the interaction between the RBCs directly influences on the motion and the deformation of the RBCs. However, most of the previous numerical studies have explored the motion and deformation of a single RBC when the interaction between RBCs has been neglected. In this study, motion and deformation of two 2D (two-dimensional) RBCs in capillaries are comprehensively explored using a coupled smoothed particle hydrodynamics (SPH) and discrete element method (DEM) model. In order to clearly model the interactions between RBCs, only two RBCs are considered in this study even though blood with RBCs is continuously flowing through the blood vessels. A spring network based on the DEM is employed to model the viscoelastic membrane of the RBC while the inside and outside fluid of RBC is modelled by SPH. The effect of the initial distance between two RBCs, membrane bending stiffness (Kb) of one RBC and undeformed diameter of one RBC on the motion and deformation of both RBCs in a uniform capillary is studied. Finally, the deformation behavior of two RBCs in a stenosed capillary is also examined. Simulation results reveal that the interaction between RBCs has significant influence on their motion and deformation.

General properties of electrochemical capacitors

The use of capacitors for electrical energy storage actually predates the invention of the battery. Alessandro Volta is attributed with the invention of the battery in 1800, where he first describes a battery as an assembly of plates of two different materials (such as copper and zinc) placed in an alternating stack and separated by paper soaked in brine or vinegar [1]. Accordingly, this device was referred to as Volta’s pile and formed the basis of subsequent revolutionary research and discoveries on the chemical origin of electricity. Before the advent of Volta’s pile, however, eighteenth century researchers relied on the use of Leyden jars as a source of electrical energy. Built in the mid-1700s at the University of Leyden in Holland, a Leyden jar is an early capacitor consisting of a glass jar coated inside and outside with a thin layer of silver foil [2, 3]. With the outer foil being grounded, the inner foil could be charged with an electrostatic generator, or a source of static electricity, and could produce a strong electrical discharge from a small and comparatively simple device.

Franz Matthiesen outdoors with his second wife Katherina Früh outside of Franz's Carton Hill home; London.

Digital Image

Portrait of the Beethoven Maennerchor (Men's Choir) outside castle; Heidelberg Portraits Groups

Handwritten caption

Performance Study of a Centralized Concurrency Control Algorithm for Distributed Database Systems using SIMULA

The stimulation technique has gained much importance in the performance studies of Concurrency Control (CC) algorithms for distributed database systems. However, details regarding the simulation methodology and implementation are seldom mentioned in the literature. One objective of this paper is to elaborate the simulation methodology using SIMULA. Detailed studies have been carried out on a centralised CC algorithm and its modified version. The results compare well with a previously reported study on these algorithms. Here, additional results concerning the update intensiveness of transactions and the degree of conflict are obtained. The degree of conflict is quantitatively measured and it is seen to be a useful performance index. Regression analysis has been carried out on the results, and an optimisation study using the regression model has been performed to minimise the response time. Such a study may prove useful for the design of distributed database systems.

Arthur Liebert, Albert Einstein, Franz Oppenheimer, Mrs. Kurt Goldstein, Fritz Medicus and Arthur Liebert's son walking outside the Grand Hotel Curhaus during the Davoser Hochschulkurse; Davos, Switzerland Portraits Groups

The Davoser Hochschulkurse took place for the first time in 1928. Mainly university teachers from Germany, France, Switzerland (perhaps elsewhere) offered lectures to students recovering from tuberculosis at the health resort in the Swiss mountains. The lecturers were accommodated at the Grand Hotel Curhaus, where the lectures also took place.

Lucien Levy-Bruehl, Albert Einstein, Franz Oppenheimer, Arthur Liebert and his son, Paul Tillich, unidentified woman and Mrs. Charles Blondel outside the Grand Hotel Curhaus during the Davoser Hochschulkurse; Davos, Switzerland Portraits Groups

The Davoser Hochschulkurse took place for the first time in 1928. Mainly university teachers from Germany, France, Switzerland (perhaps elsewhere) offered lectures to students recovering from tuberculosis at the health resort in the Swiss mountains. The lecturers were accommodated at the Grand Hotel Curhaus, where the lectures also took place.

Ruth Augusta Beatrice Goldschmidt outside the Richmond Park Hotel; Karlsbad Portraits Women

Born 1923?

Dorothea (Dola) Guttmann outside the Zur Stelliner Dampfbaeckerei building Portraits Women

Born April 27, 1922 in Tilsit, died June 8, 2003 Zurich

Ruth Augusta Beatrice Goldschmidt with her parents Paula Goldschmidt née Harmelin and Martin Goldschmidt, walking on the street outside the Richmond Park Hotel; Karlsbad Portraits Family

Paula Goldschmidt, née Harmelin, born 1880; Martin Goldschmidt, born circa 1879; Ruth Augusta Beatrice Goldschmidt, born 1923?