Search results for "formal"
showing 10 items of 1654 documents
Determination of DNA single strand breaks and selective DNA amplification by N-nitrodimethylamine and analogs, and estimation of the indicator cells'…
1986
N-nitrodimethylamine is metabolized oxidatively to N-nitrohydroxymethylmethylamine, which decomposes to yield formaldehyde and N-nitromethylamine. All four compounds and N-nitromethylamine were tested for their ability to induce DNA single strand breaks in hepatocytes and in SV 40-transformed Chinese hamster embryo cell lines. Only the two monoalkylnitramines were positive. They induced single strand breaks in hepatocytes, but were not effective in the other cells. Formaldehyde and N-nitrohydroxymethylmethylamine were toxic to the cells. None of the compounds tested was able to induce selective DNA amplification in the two transformed cell lines. Enzymes involved in drug metabolism were ass…
Draft genome of a novel methanotrophic Methylobacter sp. from the volcanic soils of Pantelleria Island
2021
AbstractThe genus Methylobacter is considered an important and often dominant group of aerobic methane-oxidizing bacteria in many oxic ecosystems, where members of this genus contribute to the reduction of CH4 emissions. Metagenomic studies of the upper oxic layers of geothermal soils of the Favara Grande, Pantelleria, Italy, revealed the presence of various methane-oxidizing bacteria, and resulted in a near complete metagenome assembled genome (MAG) of an aerobic methanotroph, which was classified as a Methylobacter species. In this study, the Methylobacter sp. B2 MAG was used to investigate its metabolic potential and phylogenetic affiliation. The MAG has a size of 4,086,539 bp, consists …
Comparison of two PCR methods for detection of Leptospira interrogans in formalin-fixed and paraffin-embedded tissues
2012
In this study we compared two polymerase chain reaction (PCR) methods using either 16S ribosomal RNA (rRNA) or 23S rRNA gene primers for the detection of different Leptospira interrogans serovars. The performance of these two methods was assessed using DNA extracted from bovine tissues previously inoculated with several bacterial suspensions. PCR was performed on the same tissues before and after the formalin-fixed, paraffin-embedding procedure (FFPE tissues). The 23S rDNA PCR detected all fresh and FFPE positive tissues while the 16S rDNA-based protocol detected primarily the positive fresh tissues. Both methods are specific for pathogenic L. interrogans. The 23S-based PCR method successfu…
Rotational Raman spectroscopy of ethylene using a femtosecond time-resolved pump-probe technique.
2005
154309; Femtosecond Raman-induced polarization spectroscopy (RIPS) was conducted at low pressure (250 mb at 295 K and 400 mb at 373 K) in ethylene. The temporal signal, resulting from the beating between pure rotational coherences, was measured with a heterodyne detection. The temporal traces were converted to the frequency domain using a Fourier transformation and then analyzed thanks to the D2hTDS software (http://www.u-bourgogne.fr/LPUB/shTDS.html) dedicated to X2Y4 molecules with D2h symmetry. The effective Hamiltonian was expanded up to order 2, allowing the determination of five parameters with an rms of 0.017 cm(-1). Special care was taken in the precise modeling of intensities, taki…
FO^2 with one transitive relation is decidable
2013
We show that the satisfiability problem for the two-variable first-order logic, FO^2, over transitive structures when only one relation is required to be transitive, is decidable. The result is optimal, as FO^2 over structures with two transitive relations, or with one transitive and one equivalence relation, are known to be undecidable, so in fact, our result completes the classification of FO^2-logics over transitive structures with respect to decidability. We show that the satisfiability problem is in 2-NExpTime. Decidability of the finite satisfiability problem remains open.
Extending a Metamodel for Formalization of Data Warehouse Requirements
2014
In performance measurement systems that are built on top of a data warehouse, the information requirements in natural language are different performance indicators that should be stored and analyzed. We use the requirement formalization metamodel to create a formal requirement repository out of information requirements in natural language. In the course of this research we tested the compatibility of the existing requirement formalization metamodel applying it to a set of over 150 requirements for the currently operating data warehouse project. As a result, we extended the formal specification of information requirements with some additional classes like themes, grouping, and requirement pr…
Ar fakultāti saistītu faktu uzskaites formalizēšana
2018
Ontoloģija ir veids, kā aprakstīt kādu konkrētu zināšanu apgabalu un ļauj definēt to saistības un likumus. Pašreizējā situācija ir tāda, ka veidojot, piemēram, akreditācijas dokumentus, nākas saskarties ar to, ka daļa informācijas netiek norādīta pēc vienota principa, tā tika secināts veidojot faktu grupas, kur vienas grupas ietvaros uzskaitītie fakti saturēja atšķirīgu informāciju. Darbā tika pētīts jēdzienu tīkls, ontoloģija un tās veidošanas metodoloģijas un ontoloģiju veidošanas atbalstoša programmatūra. Tika veikta faktu uzskaite, izveidota ontoloģija, kura tiek piedāvāta kā iespējamais faktu formalizēšanas, tāpat tika izvirzīti vairāki iespējamie nākotnes uzdevumi, lai izstrādāto onto…
Prasību vadīta metode datu noliktavas modeļa izveidei
2016
Maģistra darbā „Prasību vadīta metode datu noliktavas modeļa izveidei” ir apskatīta konkrēta datu noliktavas prasību vadīta metode. Šī metode paredz datu noliktavas prasības formalizēt. Autors ir aplūkojis pastāvošos paņēmienus prasību formalizēšanā un līdzīgas datu noliktavas izstrādes metodes. Autors izvērtējis iespēju maģistra darbā aplūkoto datu noliktavas izstrādes metodi pilnveidot, piedāvājot rekomendācijas. Maģistra darbam pastāv praktiskā daļa, kur autors ir izstrādājis rīku, kas nodrošina praktiski lietot maģistra darbā aplūkoto metodi.
Contributions from Informal Geography to Close the Gap in Geographic Information Communication in a Digital World
2019
Contemporary challenges and problems of society demand decision support systems that use geographic information. Even though geography since its origins has been a science with a strong transversal character, society has now made it become the focus of its agenda. Novel and other already established actors are involved in this rediscovery and popularization of geography. Both groups are promoting known and unknown geographical tasks thanks to technology, which is revealing new landscapes of our old territories and showing us the agency capacity of Geography Science. In this chapter, the authors review the offers and demands of communication on geographic information from the informal geogra…
The double cone: a mechanical paradox or a geometrical constraint?
2011
In the framework of the Italian National Plan ‘Lauree Scientifiche’ (PLS) in collaboration with secondary schools, we have investigated the mechanical paradox of the double cone. We have calculated the geometric condition for obtaining an upward movement. Based on this result, we have built a mechanical model with a double cone made of aluminum and a couple of wooden rails.