104,952 research outputs found
From ACT-ONE to Miranda, a Translation Experiment
No full textIt is now almost universally acknowledged that the data language ACT-ONE associated with the formal description technique LOTOS is inappropriate for the purpose of OSI formal description. In response to this the LOTOS restandardisation activity plans to replace ACT-ONE with a functional language. Thus, compatibility between ACT-ONE and the replacement data language becomes an issue. In response to this, we present an experimental investigation of backward compatibility between ACT-ONE and the new LOTOS data language. Specifically, we investigate translating ACT-ONE data types into the functional language Miranda. Miranda has been chosen as it is a widely used functional programming language and it is close in form to the anticipated new data language. This work serves as a ``verification of concept'' for translating ACT-ONE to the E-LOTOS data language. It identifies the bounds on embedding ACT-ONE in a functional data language. In particular, it indicates what can be translated and what cannot be translated. In addition, the paper reveals pertinent issues which can inform the E-LOTOS work. For example, which constructs are needed in E-LOTOS in order to support the class of data type specifications typically made in the LOTOS setting? We conclude with a number of specific recommendations for the E-LOTOS data language
Trapianti giuridici, circolazione dei modelli e persistenza della norma: l’insegnamento di Alan Watson
No full textSi ricostruisce attraverso l'analisi dell'opera di Aslan Watson la teoria dei trapianti giuridici evidenziando limiti e novità della teoria in questione
Avaliação de sistemas adesivos em dentina decídua: influência do envelhecimento na microtração e na nanoinfiltração
No full textTese (doutorado) - Universidade Federal de Santa Catarina, Centro de Ciências da Saúde. Programa de Pós-Graduação em Odontologia.Este estudo in vitro foi realizado com o objetivo de avaliar a resistência à microtração, e a nanoinfiltração de sistemas adesivos em dentina decídua, imediatamente (IM) e após seis meses (6M) do procedimento adesivo. Coroas de molares decíduos, hígidos e extraídos, foram desgastadas com papel de carbeto de silício até a granulação 600, obtendo-se superfícies oclusais planas, distribuídas em quatro grupos: Scotchbond Multi-Purpose (SMP), Single Bond (SB), Clearfil SE Bond (CSB) e Adper Prompt L-Pop (APL). Baseado nos dados obtidos pôde-se concluir que a resistência adesiva e a nanoinfiltração não foram influenciadas pelo envelhecimento e que a expressão da nanoinfiltração foi diferente entre os adesivos de condicionamento ácido total e autocondicionantes
Incidencia del financiamiento de Mi Banco en la mejora del capital de trabajo de la Mype Comercial Negocios e Inversiones Miranda S.A.C. - Chepén año 2014.
No full textThis research pursues the following objectives: To determine the incidence of My Bank financing in improving the working capital of commercial microenterprises Miranda SAC business and investment in the city of Chepén in 2014. Whereas funding is a factor important in the growth and development of businesses by the many benefits it provides to entrepreneurs looking to continue growing by the day. The study was based on theoretical foundations drawn primarily from the literature survey. The research was developed in 7 chapters, which include: Introduction, research design, results, discussion, conclusions, recommendations and References. Character descriptive method was used applied using the methods and techniques of interview and documentary analysis, concluding that the funding falls My Bank significantly improved working capital from commercial microenterprises businesses to achieve this purpose E Miranda Inversiones SAC.El presente trabajo de investigación persigue como objetivo: Determinar la incidencia del financiamiento de Mi Banco en la mejora del capital de trabajo de la Mype Comercial Negocios E Inversiones Miranda S.A.C en la ciudad de Chepén en el año 2014. El financiamiento constituye un factor relevante en cuanto al crecimiento y desarrollo de las empresas por los múltiples beneficios que éste otorga a los empresarios que buscan seguir creciendo día a día. El estudio se basó en fundamentos teóricos tomados principalmente de las consultas bibliográficas. La investigación se ha desarrollado en 7 capítulos, los cuales comprenden: Introducción, diseño de investigación, resultados, discusión, conclusiones, recomendaciones y referencias bibliográficas. Para alcanzar éste propósito se utilizó el método descriptivo de carácter aplicado, utilizando los métodos y técnicas de entrevista y análisis documental, llegando a la conclusión de que el financiamiento de Mi Banco incide de manera significativa en la mejora del capital de trabajo de la Mype Comercial Negocios E Inversiones Miranda S.A.C
Peixes insetívoros e zooplanctófagos da planície inundável do Rio Miranda, Pantanal, Mato Grosso do Sul, Brasil.
No full textEstudou-se a alimentacao de peixes insetivoros e zooplanctofagos de quatro ambientes da planicie de inundacao do rio Miranda (dois bracos mortos, uma vazante e uma lagoa). Cinco especies sao insetivoras (T. stellatus, R. hahni, P. mucosa, P. striatulus e B. splendens), seis zooplanctofagas (P. kennedyi, E. benjamini, H. littorale, C. callichthys, B. britski e S. pappaterra) e tres, zooplanctofagas, insetivoras ou ambas, dependendo da disponibilidade desses alimentos no ambiente (M. dichroura, P. paraguayensis e E. trilineata). Estas especies, juntamente com as detritivoras, compoem a base da cadeia alimentar aquatica no Pantanal
Segmentação e classificação de imagens Landsat-TM para o mapeamento do uso das terras.
No full textEste trabalho, realizado com apoio do Núcleo de Monitoramento Ambiental, da Empresa Brasileira de Pesquisa Agropecuária (Embrapa-NMA), apresenta e discute o potencial e as limitações da utilização de um método de segmentação e classificação supervisionada de imagens do satélite Landsat-TM para o mapeamento do uso das terras. A área piloto escolhida para sua execução, localizada no Município de Campinas, SP., com aproximadamente 100Km2, possui um mosaico de formas de uso da terra bastante complexo e fragmentado. O desenvolvimento das etapas metodológicas envolveu manipulações automatizadas de imagens de satélite e duas etapas de campo, uma para coleta de dados e outra para verificação do mapeamento efetuado. Após a segmentação da imagem, algumas das 906 regiões definidas e delimitadas neste processo, foram visitadas durante a etapa preliminar de campo, para a observação do tipo de cobertura apresentada, fornecendo subsídios para o processo de classificação da imagem fragmentada e sua cartografia digital. O mapa de uso das terras estabelecido no final da classificação, contendo 306 polígonos distribuídos entre as oito classes temáticas definidas, foi verificado através de levantamentos de campo para amostragem de 20% dos polígonos de cada classe temática. O mapeamento efetuado demonstrou possuir uma exatidão de aproximadamente 80%
Estudos limnológicos para o monitoramento da bacia hidrográfica do Rio Miranda, Pantanal Sul.
No full textNeste estudo foi monitorada a qualidade d?água da bacia hidrográfica do rio Miranda, interpretada quanto a parâmetros bióticos e abióticos, objetivando fornecer dados sobre as normais ambientais que ali prevalecem para determinar os fatores relevantes para as populações de peixes, para determinar épocas ou períodos sazonais críticos quanto à atuação desses fatores a fim de estabelecer bases e subsídios para a implantação de alerta e controle de acidentes ambientais. Foram amostrados o rio Miranda, de Guia Lopes da Laguna até o rio Salobra, e os rios Santo Antonio, Nioaque, Prata, Formoso, Aquidauana, Salobra, Vermelho e Abobral, no período de junho de 1987 a fevereiro de 1989. A variação espacial na bacia define 6 fácies hidrogeoquímicas: rio Aquidauana, rios Taquaruçu e Nioaque, rio Santo Antônio e rio Miranda (à montante da cidade de Guia Lopes da Laguna), rios Formoso e da Prata, rios Vermelho e Abobral. A variação temporal dos dados mostrou que a entrada de material alóctone é maior no período chuvoso, e nas áreas de maior uso para atividades agropastoris. Os níveis obtidos para os parâmetros medidos foram aceitáveis para a classe 2 (CONAMA), embora no rio Santo Antônio houve evidência de alteração da qualidade da água, evidenciada por baixos teores de oxigênio dissolvido e por concentrações mais elevadas de nitrato e nitrogêniokjedhal
Life after Death: gli atti di disposizione del corpo nei sistemi di Common Law
No full textLo studio raffronta le regole in materia di atti di disposizione sul proprio corpo comparando le soluzioni adottate nell''ordinamento italiano ed in quello inglese. In particolare viene anche affrontato il tema della "proprietà" delle parti staccate dal proprio corpo e dei "pre-embrioni". Lo studio suggeroisce la rivisitazione delle categorie conosciute in materia di proprietà e la loro possibile attualizzazione in funzione delle nuove possibilità determinate dai progressi della genetica e della medicina
Ancestral polymorphisms in Drosophila pseudoobscura and Drosophila miranda
No full textAncestral polymorphisms are defined as variants that arose by mutation prior to the speciation event that generated the species in which they segregate. Their presence may complicate the interpretation of molecular data and lead to incorrect phylogenetic inferences. They may also be used to identify regions of the genome that are under balancing selection. It is thus important to take into account the contribution of ancestral polymorphisms to variability within species and divergence between species. Here, we extend and improve a method for estimation of the proportion of ancestral polymorphisms within a species, and apply it to a dataset of 33 X-linked and 34 autosomal protein-coding genes for which sequence polymorphism data are available in both Drosophila pseudoobscura and Drosophila miranda, using Drosophila affinis as an outgroup. We show that a substantial proportion of both X-linked and autosomal synonymous variants in these two species are ancestral, and that a small number of additional genes with unusually high sequence diversity seem to have an excess of ancestral polymorphisms, suggestive of balancing selection
- …
