Search results for "ELM"
showing 10 items of 4807 documents
Code Contracts ja ComTest-yksikkötestausgenerointi .NET-kielissä
2015
Opetuksen tehostamiseen suunnattu työkalu ComTest osaa luoda yksikkötestejä koodin kommentteihin kirjoitettujen ohjeiden perusteella. Sopimuspohjaisessa suunnittelussa olion metodeille asetetaan ehtoja, joiden on oltava voimassa ennen operaation suorittamista tai sen jälkeen. Tällaiset ehdot voidaan automaattisesti kirjoittaa osaksi koodin kommentteja. Code Contracts on laajennos .NET-kieliin, jonka avulla sopimuspohjainen suunnittelu saadaan osaksi sovelluskehitystä. Tutkimuksessa selvitetään, miten ComTest ja Code Contracts liittyvät toisiinsa. ComTest, a tool mainly directed to make teaching more efficient, is able to create Unit Tests based on directions written in the code comments. In…
Inverse problems for $p$-Laplace type equations under monotonicity assumptions
2016
We consider inverse problems for $p$-Laplace type equations under monotonicity assumptions. In two dimensions, we show that any two conductivities satisfying $\sigma_1 \geq \sigma_2$ and having the same nonlinear Dirichlet-to-Neumann map must be identical. The proof is based on a monotonicity inequality and the unique continuation principle for $p$-Laplace type equations. In higher dimensions, where unique continuation is not known, we obtain a similar result for conductivities close to constant.
Melting temperature prediction by thermoelastic instability: An ab initio modelling, for periclase (MgO)
2021
Abstract Melting temperature (TM) is a crucial physical property of solids and plays an important role for the characterization of materials, allowing us to understand their behavior at non-ambient conditions. The present investigation aims i) to provide a physically sound basis to the estimation of TM through a “critical temperature” (TC), which signals the onset of thermodynamic instability due to a change of the isothermal bulk modulus from positive to negative at a given PC-VC-TC point, such that (∂P/∂V)VC,TC = -(∂2F/∂V2) VC,TC = 0; ii) to discuss the case of periclase (MgO), for which accurate melting temperature observations as a function of pressure are available. Using first princip…
Interferences in Locally Resonant Sonic Metamaterials Formed from Helmholtz Resonators
2019
[EN] The emergence of materials artificially designed to control the transmission of waves, generally called metamaterials, has been a hot topic in the field of acoustics for several years. The design of these metamaterials is usually carried out by overlapping different wave control mechanisms. An example of this trend is the so-called Locally Resonant Sonic Materials, being one of them the Phononic Crystals with a local resonant structure. These metamaterials are formed by sets of isolated resonators in such a way that the control of the waves is carried out by resonances and by the existence of Bragg bandgaps, which appear due to the ordered distribution of the resonators. Their use is b…
Survival and gene expression under different temperature and humidity regimes in ants
2017
Short term variation in environmental conditions requires individuals to adapt via changes in behavior and/or physiology. In particular variation in temperature and humidity are common, and the physiological adaptation to changes in temperature and humidity often involves alterations in gene expression, in particular that of heat-shock proteins. However, not only traits involved in the resistance to environmental stresses, but also other traits, such as immune defenses, may be influenced indirectly by changes in temperature and humidity. Here we investigated the response of the ant F. exsecta to two temperature regimes (20 degrees C & 25 degrees C), and two humidity regimes (50% & 75%), for…
Reproductive inequalities in the acanthocephalan Corynosoma cetaceum: looking beyond 'crowding' effects.
2018
Background: At present, much research effort has been devoted to investigate overall (average) responses of parasite populations to specific factors, e.g., density-dependence in fecundity or mortality. However, studies on parasite populations usually pay little attention to individual variation (inequality) in reproductive success. A previous study on the acanthocephalan Corynosoma cetaceum in franciscana dolphins, Pontoporia blainvillei, revealed no overall intensity-dependent, or microhabitat effects, on mass and fecundity of worms. In this study, we investigated whether the same factors could influence mass inequalities for this species of acanthocephalan.Methods: A total of 10,138 speci…
Long-Distance Travellers: Phylogeography of a Generalist Parasite, Pholeter gastrophilus, from Cetaceans
2017
We studied the phylogeography and historical demography of the most generalist digenean from cetaceans, Pholeter gastrophilus, exploring the effects of isolation by distance, ecological barriers and hosts' dispersal ability on the population structure of this parasite. The ITS2 rDNA, and the mitochondrial COI and ND1 from 68 individual parasites were analysed. Worms were collected from seven oceanic and coastal cetacean species from the south western Atlantic (SWA), central eastern Atlantic, north eastern Atlantic (NEA), and Mediterranean Sea. Pholeter gastrophilus was considered a single lineage because reciprocal monophyly was not detected in the ML cladogram of all individuals, and seque…
The intestinal helminth community of the spiny-tailed lizard Darevskia rudis (Squamata, Lacertidae) from northern Turkey
2015
AbstractPopulations of the lizard Darevskia rudis (Bedriaga, 1886) from northern Anatolia were examined for intestinal parasites in adult specimens. One cestode, Nematotaenia tarentolae López-Neyra, 1944 and four nematode species, Spauligodon saxicolae Sharpilo, 1962, Skrjabinelazia hoffmanni Li, 1934, Oswaldocruzia filiformis (Goeze, 1782) and Strongyloides darevskyi Sharpilo, 1976, were found. Three of these nematodes, S. saxicolae, S. hoffmanni and S. darevskyi are suggested to be part of a module in the network of Darevskia spp. and their parasites. Only one, S. darevskyi, was identified as a Darevskia spp. specialist. The very low infection and diversity parameters are indicative of th…
Invasive parasites are detectable by their abundance-occupancy relationships: the case of helminths from Liza haematocheilus (Teleostei: Mugilidae)
2018
Abstract The biogeographic patterns of abundance and prevalence of helminths from Liza haematocheilus were studied across its native (Sea of Japan) and introduced (Sea of Azov) distribution ranges. Abundance-occupancy relationships (AORs) were tested for the core-satellite and enemy release (ERH) species hypotheses in eight and 14 host samples from the native and introduced host ranges, respectively. The AOR model fitted parasite data extremely well, irrespective of whether the host or the parasite species were native or invasive. Except for co-introduced monogeneans, species were less abundant and prevalent in the introduced host population than in the native one, which agrees well with th…
Exposure to environmental radionuclides is associated with altered metabolic and immunity pathways in a wild rodent
2019
Wildlife inhabiting environments contaminated by radionuclides face putative detrimental effects of exposure to ionizing radiation, with biomarkers such as an increase in DNA damage and/or oxidative stress commonly associated with radiation exposure. To examine the effects of exposure to radiation on gene expression in wildlife, we conducted a de novo RNA sequencing study of liver and spleen tissues from a rodent, the bank vole Myodes glareolus. Bank voles were collected from the Chernobyl Exclusion Zone (CEZ), where animals were exposed to elevated levels of radionuclides, and from uncontaminated areas near Kyiv, Ukraine. Counter to expectations, we did not observe a strong DNA damage resp…