Automated synthesis of delay-reduced Reed-Muller universal logic module networks

This paper presents a new approach to implement Reed-Muller Universal Logic Module (RM-ULM) networks with reduced delay and hardware for synthesizing logic functions given in Reed-Muller (RM) form. Replication of single control line RM-ULM is used as the only design unit for defining any logic function. An algorithm is proposed that does exhaustive branching to reduce the number of levels and modules required to implement any logic function in RM form. This approach attains a reduction in delay, and power over other implementations of functions having large number of variables.

Automated Transcription System for Malayalam Language

Malayalam is one of the 22 scheduled languages in India with more than 130 million speakers. This paper presents a report on the development of a speaker independent, continuous transcription system for Malayalam. The system employs Hidden Markov Model (HMM) for acoustic modeling and Mel Frequency Cepstral Coefficient (MFCC) for feature extraction. It is trained with 21 male and female speakers in the age group ranging from 20 to 40 years. The system obtained a word recognition accuracy of 87.4% and a sentence recognition accuracy of 84%, when tested with a set of continuous speech data.

Effects of tubers of the Jerusalem artichoke (Helianthus tuberosus) and potatoes (Solanum tuberosum) on the intestinal microbiota of pigs and evaluation of a procedure for quantification of microbial mass in pig faeces

Die Mikrobiota im Gastrointestinaltrakt (GIT) spielt eine bedeutende Rolle beim Fermentationsprozess im Bezug auf die Nährstoffversorgung sowie die Gesundheit des Darms und des gesamten Organismus. Inulin und resistente Stärke (RS) konnten als präbiotisch wirksame Substanzen identifiziert werden und sind jeweils auch in den Knollen der Topinamburpflanze (Helianthus tuberosus) und in Kartoffeln (Solanum tuberosum) enthalten. Da sie ebenfalls energiereiche Futtermittel für Schweine sind, war es das Ziel der ersten beiden Studien, die Auswirkungen der Aufnahme von Topinamburknollen und Kartoffeln auf die intestinale Mikrobiota und Parameter des Immunsystems bei Endmastschweinen zu bestimmen. In der dritten Studie wurde die mikrobielle Biomasse quantitativ mit einem Verfahren zur Isolation von Bakterien in einer Flüssigkeit durch Hochgeschwindigkeits-Zentrifugation erfasst und der bakteriell gebundene Stickstoff (MP-N) mit dem bakteriellen und endogenem Kotstickstoff (BEDN) verglichen. Im ersten Versuch wurden 72 Endmastschweine in einem Freilandhaltungssystem in eine Kontroll- (CT), die mit Kraftfutter entsprechend des Bedarfs der Tiere für ein Leistungsniveau von 700 g täglichem Lebendmassezuwachs versorgt wurde, und eine Versuchsvariante (ET) aufgeteilt. In der Versuchsvariante erhielten die Tiere nur 70% der Kraftfuttermenge der Kontrollvariante, hatten aber Zugang zu einer abgeteilten Fläche, auf der Topinamburknollen angebaut waren. Die freie Aufnahme von Topinamburknollen wurde auf 1•24 kg Trockenmasse (TM)/Tag bestimmt, entsprechend einer Inulinaufnahme von durchschnittlich 800 g/Tag. Während sich die Wachstumsleistung in der Kontrollvariante auf 0•642 ± 0•014 kg/Tag belief, war sie in der Versuchsvariante mit 0•765 ± 0•015 kg/Tag (P=0•000) höher. Die freie Verfügbarkeit von Inulin und Fructo-oligosacchariden (FOS) im GIT der Schweine erhöhte die Keimzahlen der anaeroben Bakterien (P=0•000), Laktobazillen (P=0•046) und Hefen (P=0•000) signifikant und verringerte das Vorkommen von Clostridium perfringens im Schweinekot erheblich von lg 5•24 ± 0•17 kolonie-bildende Einheiten pro g Frischmasse (KbE/ g FM) in der Kontrollvariante auf lg 0•96 ± 0•20 KbE/ g FM in der Versuchsvariante (P=0•000). C-reaktives Protein (CRP) und Antikörper gegen Lipopolysaccharide (LPS) von Escherichia coli J5 ließen keine Unterschiede zwischen den Fütterungsvarianten erkennen. In der zweiten Untersuchung wurden 58 Endmastschweine einer Kontrollvariante (CT), die bedarfsgerecht mit einer Kraftfuttermischung für ein Leistungsniveau von 700 g Tageszunahmen gefüttert wurde, und zwei Versuchsvarianten zugeteilt. Die Versuchsvarianten erhielten eine Menge von 1•2 kg TM gedämpften Kartoffeln (potato treatment, PT) oder gedämpften und einsilierten Kartoffeln (silage treatment, ST) pro Tag und nur 46% bzw. 43% der Menge des Kraftfutters der Kontrollvariante. Die Wachstumsleistung und Schlachtkörperzusammensetzung ließen keine signifikanten Unterschiede zwischen den Varianten erkennen. Im PT und ST waren gegenüber dem CT im Kot der pH-Wert sowie die Gehalte von TM, Neutral-Detergenz-Faser (NDF), unverdautem Futterstickstoff (UDN) und teilweise von Säure-Detergenz-Faser (ADF) signifikant niedriger (P=0•000) und die von Ammonium (NH4) und Ammoniumstickstoff (NH4-N) signifikant höher (P=0•000). Das hohe Angebot von hitzebehandelten Kartoffeln führte zu einer erheblichen Verringerung von E. coli (P=0•000), C. perfringens (P=0•000) und Immunoglobulin A gegen LPS von E. coli J5 (P=0•001). Darüber hinaus waren in der ersten Versuchsperiode im ST die aeroben und anaeroben Gesamtkeimzahlen sowie die Laktobazillen und Hefen gegenüber dem PT signifikant erhöht. Die Unterschiede in der Mikrobiota zwischen der Kontroll- und Versuchsvarianten weisen auf die positiven Auswirkungen von Topinamburknollen und hitzebehandelten Kartoffeln auf die Mikrobiota im hinteren Darmabschnitt hin. Das Ziel der dritten Untersuchung war die Modifizierung des Verfahrens zur Isolation von Bakterien in einer Flüssigkeit mittels verschiedener Zentrifugationsschritte, um ein mikrobielles Pellet (MP) zu erhalten, welches die quantitative Abtrennung und Erfassung der Bakterien in Schweinekot ermöglicht. Zusätzlich wurde der BEDN Anteil sowie die Gehalte der Aminozucker Galactosamin, Glucosamin, Mannosamin und Muraminsäure im Kot und im MP bestimmt. Die untersuchten Kotproben stammten von Schweinen eines Phosphor (P) Stoffwechselversuch. Zehn männlich-kastrierte Schweine mit einem durchschnittlichen Lebendgewicht von 51•1 ± 8•5 kg wurden einzeln in Stoffwechselkäfigen gehalten. Die Tiere wurden fünf Fütterungsvarianten zugeteilt, die dem Bedarf der Tiere für ein Leistungsniveau von 700 g Tageszunahmen entsprachen, in den Rationen 2 bis 5 jedoch eine P-Gehalt unter dem Tagesbedarf der Tiere aufwiesen und in den Rationen 3 bis 5 mit abgestuften Gehalten von 50, 100 sowie 200 mg/kg einer experimentellen Phytase ergänz waren. Die Absenkung des P Gehaltes im Futter verringerte den Asche- (P=0•024) und Trockenmassegehalt im Kot (P=0•017) sowie die P Konzentration im MP (P=0•000) signifikant. Die mikrobielle Biomasse im Kot wurde durch die Wiegung des MP auf durchschnittlich 467 g/kg TM bestimmt. Der Stickstoffgehalt im Kot betrug im Mittel 46•1 g/kg TM und der in die Bakterienmasse eingebaute Stickstoffanteil 27•1 g/kg TM bzw. 58% vom Gesamtstickstoffgehalt im Kot. Die BEDN Fraktion wurde auf 73% am Kotstickstoff bestimmt. Der P-Gehalt im Kot sowie der N Gehalt im MP mit durchschnittlichen 10•4 und 57•9 g/kg TM lagen im Bereich von Literaturangaben. Die P Gehalte im MP schwankten in Abhängigkeit von der Zugabe von Phytase signifikant (P=0•000) von 1•8 bis 4•8 g/kg TM. Die Aminozucker wiesen keine signifikanten unterschiede zwischen Fütterungsvarianten auf und lagen im Bereich von Werten von Rinderkot. Ergebnisse weisen darauf hin, dass die angewandte Methode zur direkten Quantifizierung der mikrobiellen Biomasse geeignet ist.

A storage scheme for an automated archive

Presentation given at the Al-Azhar Engineering First Conference, AEC’89, Dec. 9-12 1989, Cairo, Egypt. The paper presented at AEC'89 suggests an infinite storage scheme divided into one volume which is online and an arbitrary number of off-line volumes arranged into a linear chain which hold records which haven't been accessed recently. The online volume holds the records in sorted order (e.g. as a B-tree) and contains shortest prefixes of keys of records already pushed offline. As new records enter, older ones are retired to the first volume which is going offline next. Statistical arguments are given for the rate at which an off-line volume needs to be fetched to reload a record which had been retired before. The rate depends on the distribution of access probabilities as a function of time. Applications are medical records, production records or other data which need to be kept for a long time for legal reasons.

Automated Reasoning About Classical Mechanics

In recent years, researchers in artificial intelligence have become interested in replicating human physical reasoning talents in computers. One of the most important skills in this area is predicting how physical systems will behave. This thesis discusses an implemented program that generates algebraic descriptions of how systems of rigid bodies evolve over time. Discussion about the design of this program identifies a physical reasoning paradigm and knowledge representation approach based on mathematical model construction and algebraic reasoning. This paradigm offers several advantages over methods that have become popular in the field, and seems promising for reasoning about a wide variety of classical mechanics problems.

SAGA: System for Automated Geographical Analysis [abstract]

SAGA (System for Automated Geographic Analysis) es un SIG libre con capacidades para el manejo y análisis de información tanto vectorial como ráster, con un especial enfoque en esta última. Asimismo, es su enfoque analítico el que constituye su característica más destacable, siendo una herramienta de primer orden para la extracción de información a partir de todo tipo de capas de datos georeferenciados. (...)

Automated Reasoning II

Resolution over FOPL

Quantification of the bond-angle dispersion by Raman spectroscopy and the strain energy of amorphous silicon

A thorough critical analysis of the theoretical relationships between the bond-angle dispersion in a-Si, Δθ, and the width of the transverse optical Raman peak, Γ, is presented. It is shown that the discrepancies between them are drastically reduced when unified definitions for Δθ and Γ are used. This reduced dispersion in the predicted values of Δθ together with the broad agreement with the scarce direct determinations of Δθ is then used to analyze the strain energy in partially relaxed pure a-Si. It is concluded that defect annihilation does not contribute appreciably to the reduction of the a-Si energy during structural relaxation. In contrast, it can account for half of the crystallization energy, which can be as low as 7 kJ/mol in defect-free a-Si

Development of molecular-based techniques for the detection, identification and quantification of food-borne pathogens

La presencia de microorganismos patógenos en alimentos es uno de los problemas esenciales en salud pública, y las enfermedades producidas por los mismos es una de las causas más importantes de enfermedad. Por tanto, la aplicación de controles microbiológicos dentro de los programas de aseguramiento de la calidad es una premisa para minimizar el riesgo de infección de los consumidores. Los métodos microbiológicos clásicos requieren, en general, el uso de pre-enriquecimientos no-selectivos, enriquecimientos selectivos, aislamiento en medios selectivos y la confirmación posterior usando pruebas basadas en la morfología, bioquímica y serología propias de cada uno de los microorganismos objeto de estudio. Por lo tanto, estos métodos son laboriosos, requieren un largo proceso para obtener resultados definitivos y, además, no siempre pueden realizarse. Para solucionar estos inconvenientes se han desarrollado diversas metodologías alternativas para la detección identificación y cuantificación de microorganismos patógenos de origen alimentario, entre las que destacan los métodos inmunológicos y moleculares. En esta última categoría, la técnica basada en la reacción en cadena de la polimerasa (PCR) se ha convertido en la técnica diagnóstica más popular en microbiología, y recientemente, la introducción de una mejora de ésta, la PCR a tiempo real, ha producido una segunda revolución en la metodología diagnóstica molecular, como pude observarse por el número creciente de publicaciones científicas y la aparición continua de nuevos kits comerciales. La PCR a tiempo real es una técnica altamente sensible -detección de hasta una molécula- que permite la cuantificación exacta de secuencias de ADN específicas de microorganismos patógenos de origen alimentario. Además, otras ventajas que favorecen su implantación potencial en laboratorios de análisis de alimentos son su rapidez, sencillez y el formato en tubo cerrado que puede evitar contaminaciones post-PCR y favorece la automatización y un alto rendimiento. En este trabajo se han desarrollado técnicas moleculares (PCR y NASBA) sensibles y fiables para la detección, identificación y cuantificación de bacterias patogénicas de origen alimentario (Listeria spp., Mycobacterium avium subsp. paratuberculosis y Salmonella spp.). En concreto, se han diseñado y optimizado métodos basados en la técnica de PCR a tiempo real para cada uno de estos agentes: L. monocytogenes, L. innocua, Listeria spp. M. avium subsp. paratuberculosis, y también se ha optimizado y evaluado en diferentes centros un método previamente desarrollado para Salmonella spp. Además, se ha diseñado y optimizado un método basado en la técnica NASBA para la detección específica de M. avium subsp. paratuberculosis. También se evaluó la aplicación potencial de la técnica NASBA para la detección específica de formas viables de este microorganismo. Todos los métodos presentaron una especificidad del 100 % con una sensibilidad adecuada para su aplicación potencial a muestras reales de alimentos. Además, se han desarrollado y evaluado procedimientos de preparación de las muestras en productos cárnicos, productos pesqueros, leche y agua. De esta manera se han desarrollado métodos basados en la PCR a tiempo real totalmente específicos y altamente sensibles para la determinación cuantitativa de L. monocytogenes en productos cárnicos y en salmón y productos derivados como el salmón ahumado y de M. avium subsp. paratuberculosis en muestras de agua y leche. Además este último método ha sido también aplicado para evaluar la presencia de este microorganismo en el intestino de pacientes con la enfermedad de Crohn's, a partir de biopsias obtenidas de colonoscopia de voluntarios afectados. En conclusión, este estudio presenta ensayos moleculares selectivos y sensibles para la detección de patógenos en alimentos (Listeria spp., Mycobacterium avium subsp. paratuberculosis) y para una rápida e inambigua identificación de Salmonella spp. La exactitud relativa de los ensayos ha sido excelente, si se comparan con los métodos microbiológicos de referencia y pueden serusados para la cuantificación de tanto ADN genómico como de suspensiones celulares. Por otro lado, la combinación con tratamientos de preamplificación ha resultado ser de gran eficiencia para el análisis de las bacterias objeto de estudio. Por tanto, pueden constituir una estrategia útil para la detección rápida y sensible de patógenos en alimentos y deberían ser una herramienta adicional al rango de herramientas diagnósticas disponibles para el estudio de patógenos de origen alimentario.

Validation of an automated algorithm for auditory brainstem response testing

This paper discusses the auditory brainstem response (ABR) testing for infants.

Quantification of the probability of containment failure caused by an in-vessel steam explosion for the Sizewell B PWR

AEA Technology has provided an assessment of the probability of α-mode containment failure for the Sizewell B PWR. After a preliminary review of the methodologies available it was decided to use the probabilistic approach described in the paper, based on an extension of the methodology developed by Theofanous et al. (Nucl. Sci. Eng. 97 (1987) 259–325). The input to the assessment is 12 probability distributions; the bases for the quantification of these distributions are discussed. The α-mode assessment performed for the Sizewell B PWR has demonstrated the practicality of the event-tree method with input data represented by probability distributions. The assessment itself has drawn attention to a number of topics, which may be plant and sequence dependent, and has indicated the importance of melt relocation scenarios. The α-mode failure probability following an accident that leads to core melt relocation to the lower head for the Sizewell B PWR has been assessed as a few parts in 10 000, on the basis of current information. This assessment has been the first to consider elevated pressures (6 MPa and 15 MPa) besides atmospheric pressure, but the results suggest only a modest sensitivity to system pressure.

The impact of a closed-loop electronic prescribing and automated dispensing system on the ward pharmacist’s time and activities

Objective To assess the impact of a closed-loop electronic prescribing and automated dispensing system on the time spent providing a ward pharmacy service and the activities carried out. Setting Surgical ward, London teaching hospital. Method All data were collected two months pre- and one year post-intervention. First, the ward pharmacist recorded the time taken each day for four weeks. Second, an observational study was conducted over 10 weekdays, using two-dimensional work sampling, to identify the ward pharmacist's activities. Finally, medication orders were examined to identify pharmacists' endorsements that should have been, and were actually, made. Key findings Mean time to provide a weekday ward pharmacy service increased from 1 h 8 min to 1 h 38 min per day (P = 0.001; unpaired t-test). There were significant increases in time spent prescription monitoring, recommending changes in therapy/monitoring, giving advice or information, and non-productive time. There were decreases for supply, looking for charts and checking patients' own drugs. There was an increase in the amount of time spent with medical and pharmacy staff, and with 'self'. Seventy-eight per cent of patients' medication records could be assessed for endorsements pre- and 100% post-intervention. Endorsements were required for 390 (50%) of 787 medication orders pre-intervention and 190 (21%) of 897 afterwards (P < 0.0001; chi-square test). Endorsements were made for 214 (55%) of endorsement opportunities pre-intervention and 57 (30%) afterwards (P < 0.0001; chi-square test). Conclusion The intervention increased the overall time required to provide a ward pharmacy service and changed the types of activity undertaken. Contact time with medical and pharmacy staff increased. There was no significant change in time spent with patients. Fewer pharmacy endorsements were required post-intervention, but a lower percentage were actually made. The findings have important implications for the design, introduction and use of similar systems.

Automated pre-processing strategies for species occurrence data used in biodiversity modelling

To construct Biodiversity richness maps from Environmental Niche Models (ENMs) of thousands of species is time consuming. A separate species occurrence data pre-processing phase enables the experimenter to control test AUC score variance due to species dataset size. Besides, removing duplicate occurrences and points with missing environmental data, we discuss the need for coordinate precision, wide dispersion, temporal and synonymity filters. After species data filtering, the final task of a pre-processing phase should be the automatic generation of species occurrence datasets which can then be directly ’plugged-in’ to the ENM. A software application capable of carrying out all these tasks will be a valuable time-saver particularly for large scale biodiversity studies.