Search results for "init"
showing 10 items of 6629 documents
Two-variable First-Order Logic with Counting in Forests
2018
We consider an extension of two-variable, first-order logic with counting quantifiers and arbitrarily many unary and binary predicates, in which one distinguished predicate is interpreted as the mother-daughter relation in an unranked forest. We show that both the finite satisfiability and the general satisfiability problems for the extended logic are decidable in NExpTime. We also show that the decision procedure for finite satisfiability can be extended to the logic where two distinguished predicates are interpreted as the mother-daughter relations in two independent forests.
One-dimensional nonlinear boundary value problems with variable exponent
2018
In this paper, a class of nonlinear differential boundary value problems with variable exponent is investigated. The existence of at least one non-zero solution is established, without assuming on the nonlinear term any condition either at zero or at infinity. The approach is developed within the framework of the Orlicz-Sobolev spaces with variable exponent and it is based on a local minimum theorem for differentiable functions.
Ellenberg-type indicator values for European vascular plant species
2022
This is a dataset of Ellenberg-type indicator values for European vascular plant species described in this article: Tichý L., Axmanová I., Dengler J., Guarino R., Jansen F., Midolo G., Nobis M.P., Van Meerbeek K., Aćić S., Attorre F., Bergmeier E., Biurrun I., Bonari G., Bruelheide H., Campos J.A., Čarni A., Chiarucci A., Ćuk M., Ćušterevska M., Didukh Y., Dítě D., Dítě Z., Dziuba T., Fanelli G., Fernández-Pascual E., Garbolino E., Gavilán R.G., Gégout J.-C., Graf U., Güler B., Hájek M., Hennekens S.M., Jandt U., Jašková A., Jiménez-Alfaro B., Julve P., Kambach S., Karger D.N., Karrer G., Kavgacı A., Knollová I., Kuzemko A., Küzmič F., Landucci F., Lengyel A., Lenoir J., Marcenò C., Moeslun…
Organic Nitrate Therapy, Nitrate Tolerance, and Nitrate-Induced Endothelial Dysfunction: Emphasis on Redox Biology and Oxidative Stress
2015
Abstract Organic nitrates, such as nitroglycerin (GTN), isosorbide-5-mononitrate and isosorbide dinitrate, and pentaerithrityl tetranitrate (PETN), when given acutely, have potent vasodilator effects improving symptoms in patients with acute and chronic congestive heart failure, stable coronary artery disease, acute coronary syndromes, or arterial hypertension. The mechanisms underlying vasodilation include the release of •NO or a related compound in response to intracellular bioactivation (for GTN, the mitochondrial aldehyde dehydrogenase [ALDH-2]) and activation of the enzyme, soluble guanylyl cyclase. Increasing cyclic guanosine-3′,-5′-monophosphate (cGMP) levels lead to an activation of…
Nonlocal Second Order Vehicular Traffic Flow Models And Lagrange-Remap Finite Volumes
2011
In this paper a second order vehicular macroscopic model is derived from a microscopic car–following type model and it is analyzed. The source term includes nonlocal anticipation terms. A Finite Volume Lagrange–remap scheme is proposed.
The discursive legitimation strategies of a nascent market
2017
Since the introduction of Gold&Green Foods Ltd’s Pulled Oats (Nyhtökaura) to the Finnish market in the spring 2016, the Finnish media has been increasingly reviewing different plant-based protein products. Gold&Green Ltd’s Pulled Oats has experienced extensive media coverage amongst other Finnish plant-based protein products which have been launched during 2016 such as VersoFood Ltd’s Härkis, Viipurilainen Kotileipomo’s Puhtikaura etc. It has yet to be seen whether the sudden inception of several plant-based protein product innovations will be defined as a pivotal era in the Finnish food industry or just a passing trend. Finnish media has aldo categorized MiFu as one of the up and coming fo…
The role of pedogenic overprinting in the obliteration of parent material in some polygenetic landscapes of Sicily (Italy)
2016
Abstract Many soils older than the Holocene have experienced several changes, and possess properties that may be due to the complex effect of several stages of soil development; these soils are called polygenetic. It is still rather unclear, however, if, as time elapses, pedogenic processes tend to diverge generating different soils, or converge towards increasingly similar soils. We studied five pedons (37°60′N, 13°90′E) exposed to present weathering simultaneously since the Holocene but located on Upper Miocene or Holocene parent material. Their XRD and FTIR clay mineralogy reveal an overall homogeneity; smectites, calcite and gypsum reach the thermodynamic equilibrium, a slight undersatu…
The effects of a 2-year physical activity and dietary intervention on plasma lipid concentrations in children: the PANIC Study
2020
Funder: Opetus- ja Kulttuuriministeriö; doi: http://dx.doi.org/10.13039/501100003126
“An Unpleasant Book about Unpleasant Boys at an Unpleasant School”: Kipling’s Reshaping of the Victorian School Story in “Stalky & Co.”
2022
“Slaves of the Lamp, Part One”—the first tale of Rudyard Kipling’s Stalky & Co.—was published in 1897, forty years after the publication of Thomas Hughes’s Tom Brown’s Schooldays, a book that created a pattern followed by other practitioners of the school-story genre. The aim of the following paper is to discuss the ways in which Kipling challenged the established conventions of the Victorian school story. In contrast to his predecessors, Kipling did not set his tales in an old, established public school; he questioned the importance of sports and games in developing manly character; and refused to idolize the school traditions. His protagonists rebel against authority and do not follow…
Augmented Reality of the Middle Ear Combining Otoendoscopy and Temporal Bone Computed Tomography
2018
International audience; HYPOTHESIS:Augmented reality (AR) may enhance otologic procedures by providing sub-millimetric accuracy and allowing the unification of information in a single screen.BACKGROUND:Several issues related to otologic procedures can be addressed through an AR system by providing sub-millimetric precision, supplying a global view of the middle ear cleft, and advantageously unifying the information in a single screen. The AR system is obtained by combining otoendoscopy with temporal bone computer tomography (CT).METHODS:Four human temporal bone specimens were explored by high-resolution CT-scan and dynamic otoendoscopy with video recordings. The initialization of the system…