Techniques to Improve the word alignments in Statistical Machine Translation from English to Malayalam

In Statistical Machine Translation from English to Malayalam, an unseen English sentence is translated into its equivalent Malayalam translation using statistical models like translation model, language model and a decoder. A parallel corpus of English-Malayalam is used in the training phase. Word to word alignments has to be set up among the sentence pairs of the source and target language before subjecting them for training. This paper is deals with the techniques which can be adopted for improving the alignment model of SMT. Incorporating the parts of speech information into the bilingual corpus has eliminated many of the insignificant alignments. Also identifying the name entities and cognates present in the sentence pairs has proved to be advantageous while setting up the alignments. Moreover, reduction of the unwanted alignments has brought in better training results. Experiments conducted on a sample corpus have generated reasonably good Malayalam translations and the results are verified with F measure, BLEU and WER evaluation metrics

Lipid Droplets in Dictyostelium discoideum

Lipid Droplets dienen zur Speicherung von Neutrallipiden wie z. B. Triglyceriden und Sterolestern. Im ersten Teil der vorliegenden Arbeit wurde die Bildung dieser zellulären Fettspeicher in D. discoideum untersucht. Es konnte herausgefunden werden, dass Lipid Droplets entstehen, wenn die Zellen entweder in einer Suspension von Bakterien oder in Gegenwart von Palmitinsäure kultiviert werden. Die Bildung der Lipidtröpfchen wird dabei von einem schnelleren Zellwachstum, einem Anstieg des Triglyceridgehalts, einer Reduktion der Phagozytoserate und einer Abnahme des Zellvolumens begleitet. Wurde die Lipid Droplet-Bildung durch Kultivierung der Zellen mit Palmitinsäure angeregt, entsteht neben Triglyceriden noch eine weitere Verbindung, bei der es sich entweder um Fettsäureethylester oder Wachsester handelt. Eine weitere Eigenschaft von Zellen, die in Gegenwart der Palmitinsäure inkubiert wurden, ist die Fähigkeit exogene Fettsäuren schneller aufzunehmen, als normal kultivierte Zellen. Aus der vorliegenden Arbeit wurde gefolgert, dass dies durch eine zusätzliche Aufnahme der Fettsäuren über die Plasmamembran hervorgerufen wird. In Zellen, die ohne Fettsäuren inkubiert wurden, findet hingegen der Fettsäureimport über die Endosomen statt. Ein Protein, das nicht direkt am Prozess der Fettsäureaufnahme beteiligt ist, aber importierte Fettsäuren mit CoA aktiviert, ist die LC-FACS1. Aus Versuchen mit der Knockout-Mutante ging hervor, dass die aktivierten Fettsäuren, in Zellen, die zuvor mit Palmitinsäure oder Bakterien inkubiert wurden, in Triglyceride eingebaut werden. Der reduzierte Triglyceridgehalt im Knockout rief eine Erhöhung der Phagozytoserate hervor. Im zweiten Teil dieser Arbeit wurden die Lipidtröpfchen mit einem Saccharosegradienten aufgereinigt. Mit Hilfe der Massenspektrometrie konnten 281 Proteine in der Lipid Droplet-Fraktion identifiziert werden. Ein Teil dieser Proteine könnte durch die Interaktion der Lipidtröpfchen mit anderen Organellen in die Lipid Droplet-Fraktion gelangt sein und ist ebenso wenig Teil des Lipid Droplet-Proteoms wie die zytoplasmatischen Proteine, die eine Verunreinigung darstellen. Vier der zehn Proteine aus der Lipid Droplet-Fraktion, die in der vorliegenden Arbeit untersucht wurden, konnten nach Kultivierung in palmitinsäurehaltigem Medium tatsächlich auf der Oberfläche der Lipidtröpfchen beobachtet werden. Eines dieser Proteine ist LSD1. Es stellt das einzige PAT-Protein in D. discoideum dar und gehört der Kategorie der CPATs an. Analog zu Perilipin/PLIN1 und Adipophilin/PLIN2 könnte LSD1 eine Schutzfunktion der Lipid Droplets vor zytoplasmatischen Lipasen haben. Neben DdLSD1 konnten auch die Proteine ADH und ALI auf den Lipidtröpfchen lokalisiert werden. Bei beiden handelt es sich um 17beta-Hydroxysteroid-Dehydrogenasen - Proteine, die eine Funktion im Lipid- oder Fettsäuremetabolismus besitzen können. Das Protein SMT katalysiert die C24-Methylierung des Sterolgerüsts in D. discoideum und war nach Inkubation der Zellen mit exogenen Fettsäuren ebenfalls auf den Lipid Droplets zu beobachten.

Multivariable cluster analysis for high-speed industrial machinery

The overall operation and internal complexity of a particular production machinery can be depicted in terms of clusters of multidimensional points which describe the process states, the value in each point dimension representing a measured variable from the machinery. The paper describes a new cluster analysis technique for use with manufacturing processes, to illustrate how machine behaviour can be categorised and how regions of good and poor machine behaviour can be identified. The cluster algorithm presented is the novel mean-tracking algorithm, capable of locating N-dimensional clusters in a large data space in which a considerable amount of noise is present. Implementation of the algorithm on a real-world high-speed machinery application is described, with clusters being formed from machinery data to indicate machinery error regions and error-free regions. This analysis is seen to provide a promising step ahead in the field of multivariable control of manufacturing systems.

Human versus animal: contrasting decomposition dynamics of mammalian analogues in experimental taphonomy

Taphonomic studies regularly employ animal analogues for human decomposition due to ethical restrictions relating to the use of human tissue. However, the validity of using animal analogues in soil decomposition studies is still questioned. This study compared the decomposition of skeletal muscle tissues (SMTs) from human (Homo sapiens), pork (Sus scrofa), beef (Bos taurus), and lamb (Ovis aries) interred in soil microcosms. Fixed interval samples were collected from the SMT for microbial activity and mass tissue loss determination; samples were also taken from the underlying soil for pH, electrical conductivity, and nutrient (potassium, phosphate, ammonium, and nitrate) analysis. The overall patterns of nutrient fluxes and chemical changes in nonhuman SMT and the underlying soil followed that of human SMT. Ovine tissue was the most similar to human tissue in many of the measured parameters. Although no single analogue was a precise predictor of human decomposition in soil, all models offered close approximations in decomposition dynamics.

Soils of contrasting pH affect the decomposition of buried mammalian (Ovis aries) skeletal muscle tissue

Little is known about the effect of edaphic conditions on the decomposition of buried mammalian tissues. To address this, we set up a replicated incubation study with three fresh soils of contrasting pH: a Podsol (acidic), a Cambisol (neutral), and a Rendzina (alkaline), in which skeletal muscle tissue (SMT) of known mass was allowed to decompose. Our results clearly demonstrated that soil type had a considerable effect on the decomposition of SMT buried in soil. Differences in the rate of decomposition were up to three times greater in the Podsol compared with the Rendzina. The rate of microbial respiration was correlated to the rate of soft tissue loss, which suggests that the decomposition of SMT is dependent on the microbial community present in the soil. Decompositional by-products caused the pH of the immediate soil environment to change, becoming more alkaline at first, before acidifying. Our results demonstrate the need for greater consideration of soil type in future taphonomic studies.

Development of an intelligent system for the solder paste printing process

A neurogenetic-based hybrid framework is developed where the main components within the framework are artificial neural networks (ANNs) and genetic algorithms (GAs). The investigation covers a mode of combination or hybridisation between the two components that is called task hybridisation. The combination between ANNs and GAs using task hybridisation leads to the development of a hybrid multilayer feedforward network, trained using supervised learning. This paper discusses the GA method used to optimize the process parameters, using the ANN developed as the process mode, in a solder paste printing process, which is part of the process in the surface mount technology (SMT) method. The results obtained showed that the GA-based optimization method works well under various optimization criteria

Previsão de desvios em arquiteturas multitarefas simultâneas

A exploração do paralelismo no nível de instrução (ILP) em arquiteturas superescalares é limitada fortemente pelas dependências de controle, as quais são ocasionadas pelas instruções de desvio, e pelas dependências de dados. As arquiteturas SMT (Simultaneous MultiThreaded) buscam explorar um novo nível de paralelismo, denominado paralelismo no nível de tarefa (TLP), para buscar e executar instruções de diversas tarefas ao mesmo tempo. Com isso, enquanto uma tarefa está bloqueada por dependências de controle e de dados, outras tarefas podem continuar executando, mascarando assim as latências de previsões incorretas e de acessos à memória, usando mais eficientemente as unidades funcionais e demais recursos disponíveis. Contudo, o projeto dessas arquiteturas continua a esbarrar nos mesmos problemas associados ao uso de técnicas utilizadas para a exploração de ILP, como a previsão de devios. Além disso, essas arquiteturas trazem novos desafios, como a determinação da maneira mais eficiente de distribuição/compartilhamento de recursos entre as tarefas. Nesse trabalho será apresentada uma topologia para as tabelas de previsão de desvios em arquiteturas multitarefas simultâneas. Além disso, serão desenvolvidas duas análises complementares acerca de previsão de desvios: o impacto da taxa de acertos da previsão de desvios em arquiteturas com pipelines profundos e o impacto da taxa de acerto na previsão do alvo de um desvio. Entre as principais contribuições do trabalho pode-se citar a definição de uma estrutura particionada para as tabelas de previsão em arquiteturas SMT, aliando desempenho a um menor custo de implementação em uma arquitetura real. Além disso, é mostrado que a taxa de acerto da previsão de desvios tem um grande impacto no desempenho das arquiteturas SMT com pipelines profundos, bem como nas causas de bloqueio do estágio de busca quando utiliza-se cache de instruções bloqueantes.

Prova automática de satisfatibilidade módulo teoria aplicada ao método B

Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B

Deciding difference logic in a Nelson-Oppen combination framework

O método de combinação de Nelson-Oppen permite que vários procedimentos de decisão, cada um projetado para uma teoria específica, possam ser combinados para inferir sobre teorias mais abrangentes, através do princípio de propagação de igualdades. Provadores de teorema baseados neste modelo são beneficiados por sua característica modular e podem evoluir mais facilmente, incrementalmente. Difference logic é uma subteoria da aritmética linear. Ela é formada por constraints do tipo x − y ≤ c, onde x e y são variáveis e c é uma constante. Difference logic é muito comum em vários problemas, como circuitos digitais, agendamento, sistemas temporais, etc. e se apresenta predominante em vários outros casos. Difference logic ainda se caracteriza por ser modelada usando teoria dos grafos. Isto permite que vários algoritmos eficientes e conhecidos da teoria de grafos possam ser utilizados. Um procedimento de decisão para difference logic é capaz de induzir sobre milhares de constraints. Um procedimento de decisão para a teoria de difference logic tem como objetivo principal informar se um conjunto de constraints de difference logic é satisfatível (as variáveis podem assumir valores que tornam o conjunto consistente) ou não. Além disso, para funcionar em um modelo de combinação baseado em Nelson-Oppen, o procedimento de decisão precisa ter outras funcionalidades, como geração de igualdade de variáveis, prova de inconsistência, premissas, etc. Este trabalho apresenta um procedimento de decisão para a teoria de difference logic dentro de uma arquitetura baseada no método de combinação de Nelson-Oppen. O trabalho foi realizado integrando-se ao provador haRVey, de onde foi possível observar o seu funcionamento. Detalhes de implementação e testes experimentais são relatados

Search for the flavor-changing neutral current decay Bs 0 → μ+ μ- pp̄ Collisions at √s = 1.96 TeV with the DO Detector

We present the results of a search for the flavor-changing neutral current decay Bs 0 → μ+ μ-. using a data set with integrated luminosity of 240 pb-1 of pp̄ collisions at √s = 1.96 TeV collected with the D0 detector in run II of the Fermilab Tevatron collider. We find the upper limit on the branching fraction to be B(Bs 0 → μ+ π-) ≤ 5.0 × 10-7 at the 95% C.L. assuming no contributions from the decay Bd 0 → μ+ μ- in the signal region. This limit is the most stringent upper bound on the branching fraction Bs 0 → μ+ μ- to date. © 2005 The American Physical Society.

Simplified computational routine to correct the modal decoupling in transmission lines and power systems modelling

Modal analysis is widely approached in the classic theory of power systems modelling. This technique is also applied to model multiconductor transmission lines and their self and mutual electrical parameters. However, this methodology has some particularities and inaccuracies for specific applications, which are not clearly described in the technical literature. This study provides a brief review on modal decoupling applied in transmission line digital models and thereafter a novel and simplified computational routine is proposed to overcome the possible errors embedded by the modal decoupling in the simulation/ modelling computational algorithm. © The Institution of Engineering and Technology 2013.

Propriedades analíticas de materiais a base de sílica e óxido de titânio modificados

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Simplified skin-effect formulation for power transmission lines

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Effects of melatonin on ovarian follicles

Objective: To evaluate the histomorphometry and expression of Ki-67 and c-kit in ovarian follicles of pinealectomized or melatonin-treated pinealectomized rats. Study design: Forty adult rats were randomly divided into four groups of 10 animals: Group I – control; Group II – sham-pinealectomized; Group III – pinealectomized (Px), and Group IV – Px treated with melatonin (10 mg/night, per animal). After two months’ treatment, on the night of proestrous, the animals were placed in metabolic cages for night urine collection and subsequent measurement of 6-sulfatoxymelatonin (6-SMT). The rats were anesthetized, blood samples were taken for estrogen and progesterone determinations, and they were then euthanized. The ovaries were dissected out for further histological and immunohistochemical analyses. Data were first submitted to analysis of variance (ANOVA) complemented with the Tukey–Kramer test for multiple comparisons (P < 0.05). Results: The urinary levels of 6-SMT and serum progesterone were lower in the Px group (GIII). Exogenous melatonin treatment restored both blood melatonin and 6-SMT urinary levels. The histomorphometric data in Group III revealed a significant increase of degenerating antral and nonantral follicles with regard to the other groups. In addition no corpora lutea were observed in this group. No significant differences were noticed regarding the number of corpora lutea among the other groups (I, II and IV), but the number of cells and the thickness of the theca interna of Px animals (Group III) were higher than in the other groups. Conversely, the density of progesterone receptors (fmol/g) in the ovaries of Group III was significantly lower than in the other groups. Conclusion: Our data indicate that melatonin exerts a role on the maintenance of a proper follicular function, and is thus important for ovulation and progesterone production.

Impiego della spettrometria di massa nell'analisi di fumonisine in alimenti e matrici di origine animale

Mycotoxins are heterogeneous chemical compounds characterized by a low molecular weight and synthesized by the secondary metabolism of different molds. Fumonisins are water-soluble mycotoxins produced by Fusarium species spoiling corn and derived produc ts. These mycotoxins can be a health hazard when consuming contaminated cereals, but they can reach humans also indirectly through the consumption of food products derived from animals fed with contaminated feed. Fumonisins have been associated with several animal and human diseases: they are suspected risk factors for esophageal and liver cancers, neural tube defects and cardiovascular problems. Improved methods are needed to accurately assess fumonisins concentrations in food of vegetable and animal origin, in order to prevent acute and chronic human exposure. The aim of the present work was to evaluate the versatility and the performances of mass spectrometry, coupled with liquid chromatography, in fumonisins analysis from foods and matrices of animal origin. Different methods for the identification and quantification of fumonisins and related products have been developed and validated to determine fumonisin B1 in milk, fumonisin B1, fumonisin B2 and their complete hydrolyzed products (HFB1 and HFB2) in pig liver and fumonisins B1 and B2 in complete and complementary dry dog food. The experimental procedures have been carefully studied, considering matrices features, number and type of molecules to detect. Therefore, several extraction, clean up and separation techniques were tested in order to obtain the better conditions of sample processing. The fit for purpose sample preparation, matched with high mass spectrometry sensibility and specificity, have allowed to achieve good results in any tested animal matrices. Hence, the developed methods were validated and have shown a high accuracy, sensibility and precision, fulfilling performance requirements of Decision 2002/657/EC and of European Project Standard, Measuring and Testing (SMT). In any developed method, the analytes were identified and quantified even at very low concentrations : the limits of quantification resulted lower than other similar works, performed with different detectors. These methods were applied to some commercial samples and to some samples collected for research projects in the Department of Veterinary Public Health and Animal Pathology (DVPHAP) of University of Bologna. Although the disclosed data must be considered completely preliminary and without statistical significance, they emphasize the presence of mycotoxins in animal products. The outcomes obtained from the processed samples (bovine milk, pig liver and dry dog food) suggest the efficacy of these methods also on other food matrices, confirming the versatility and the performances of mass spectrometry, coupled with liquid chromatography, in fumonisins analysis. Moreover the results underline the need to set up a large scale monitoring in order to evaluate the presence of fumonisins in food of animal origin for human consumption.