Search results for "FOS"
showing 10 items of 15075 documents
The Syllogistic with Unity
2011
We extend the language of the classical syllogisms with the sentence-forms “At most 1 p is a q” and “More than 1 p is a q”. We show that the resulting logic does not admit a finite set of syllogism-like rules whose associated derivation relation is sound and complete, even when reductio ad absurdum is allowed.
Biology of the sauropod dinosaurs: the evolution of gigantism
2010
The herbivorous sauropod dinosaurs of the Jurassic and Cretaceous periods were the largest terrestrial animals ever, surpassing the largest herbivorous mammals by an order of magnitude in body mass. Several evolutionary lineages among Sauropoda produced giants with body masses in excess of 50 metric tonnes by conservative estimates. With body mass increase driven by the selective advantages of large body size, animal lineages will increase in body size until they reach the limit determined by the interplay of bauplan, biology, and resource availability. There is no evidence, however, that resource availability and global physicochemical parameters were different enough in the Mesozoic to ha…
Evaluation of the efficacy of a new insecticide paint against malaria vectors
2015
La malaria continúa siendo un problema de salud pública global. Se calcula que en el mundo hay 3.300 millones de personas en 97 países y territorios que corren el riesgo de padecer el paludismo, y que para 1.200 millones ese riesgo es elevado (WHO, 2014). El control de la malaria a gran escala está altamente basado en al control del vector, principalmente mediante el uso de mosquiteras tratadas con insecticidas de larga duración (LLINs), y en menor medida, el Rociamiento Residual Intradomiciliario. Todos los tratamientos recomendados de LLINs y la mayoría del Rociamiento Residual Intradomiciliario se basan en el uso de piretroides. La creciente resistencia de los vectores de malaria a los p…
Separation of atomic and molecular ions by ion mobility with an RF carpet
2021
Gas-filled stopping cells are used at accelerator laboratories for the thermalization of high-energy radioactive ion beams. Common challenges of many stopping cells are a high molecular background of extracted ions and limitations of extraction efficiency due to space-charge effects. At the FRS Ion Catcher at GSI, a new technique for removal of ionized molecules prior to their extraction out of the stopping cell has been developed. This technique utilizes the RF carpet for the separation of atomic ions from molecular contaminant ions through their difference in ion mobility. Results from the successful implementation and test during an experiment with a 600~MeV/u $^{124}$Xe primary beam are…
On several notions of complexity of polynomial progressions
2021
For a polynomial progression $$(x,\; x+P_1(y),\; \ldots,\; x+P_{t}(y)),$$ we define four notions of complexity: Host-Kra complexity, Weyl complexity, true complexity and algebraic complexity. The first two describe the smallest characteristic factor of the progression, the third one refers to the smallest-degree Gowers norm controlling the progression, and the fourth one concerns algebraic relations between terms of the progressions. We conjecture that these four notions are equivalent, which would give a purely algebraic criterion for determining the smallest Host-Kra factor or the smallest Gowers norm controlling a given progression. We prove this conjecture for all progressions whose ter…
Fosforiscējošu pārklājumu iegūšana ar plazmas elektrolītiskās oksidācijas metodi
2018
Darbā pētīta fosforiscējošu oksīda pārklājumu iegūšana izmantojot plazmas elektrolītiskās oksidācijas (PEO) metodi. Pētījuma rezultātā ieguva luminiscējošus alumīnija oksīda pārklājumus ar ilgu pēcspīdēšanas laiku (vairāk kā 10 sekundes). Darba gaitā tika meklēti veidi kā optimizēt luminiscējošo PEO pārklājumu iegūšanu veicot elektrolīta sastāva izmaiņas un procesa ilguma izpēti. Darba galvenais mērķis bija uzlabot pārklājumu pēcspīdēšanas ilgumu un intensitāti, kā arī padarīt procesu efektīvāku un ekonomiskāku. Iegūtajiem pārklājumiem pētītas to luminiscences īpašības, virsmas morfoloģija un sastāvs. Pētījumu rezultāti liecina, ka pārklājumu luminiscences intensitāte un pēcspīdēšanas ilgum…
Euclid preparation. XII. Optimizing the photometric sample of the Euclid survey for galaxy clustering and galaxy-galaxy lensing analyses
2021
Pocino, A., et al. (Euclid Collaboration)
Discovery of Retinoic Acid-Related Orphan Receptor γt Inverse Agonists via Docking and Negative Image-Based Screening
2018
Retinoic acid-related orphan receptor γt (RORγt) has a vital role in the differentiation of T-helper 17 (TH17) cells. Potent and specific RORγt inverse agonists are sought for treating TH17-related diseases such as psoriasis, rheumatoid arthritis, and type 1 diabetes. Here, the aim was to discover novel RORγt ligands using both standard molecular docking and negative image-based screening. Interestingly, both of these in silico techniques put forward mostly the same compounds for experimental testing. In total, 11 of the 34 molecules purchased for testing were verified as RORγt inverse agonists, thus making the effective hit rate 32%. The pIC50 values for the compounds varied from 4.9 (11 μ…
Host filtering, not competitive exclusion, may be the main driver of arbuscular mycorrhizal fungal community assembly under high phosphorus
2023
A major goal in ecology is understanding the factors which determine the diversity and distribution of organisms. The outcome of the symbiotic relationship between plants and arbuscular mycorrhizal (AM) fungi is strongly influenced by soil phosphorus (P) availability. Despite this knowledge, there is still much to uncover about how soil P status can shape the taxonomic and phylogenetic assembly of root-colonising AM fungi. Additionally, there is a paucity of understanding about the implications of these changes for the outcome of the AM symbiosis in terms of plant growth, nutrient status and defence traits. We conducted a factorial pot experiment where sorghum (Sorghum bicolor) was grown un…
Rurange-lès-Thionville (Lorraine, Moselle) : évolution architecturale, production et consommation végétale sur un petit établissement rural médiomatr…
2016
Archaeological surveys by test trenching and two preventive excavations of the Institut national de recherches archéologiques préventives (Inrap) in 2001 and 2008 preceding the construction of a housing area in Rurange-lès-Thionville (Lorraine, Moselle) allowed documenting and investigating a Gallo-Roman farmstead of modest size. This farmstead, covering a total surface of more than 7000 m², was composed of different buildings typical for a Gallo-Roman agricultural exploitation. The study of this building complex has allowed gaining remarkable results demonstrating the evolution of a Gallo-Roman farmstead from the Augustan-Tiberian period until its abandonment during the 4th century AD. The…