296 research outputs found
Cascading Geospatial Services for integration of authoritative national datasets - CASE: European Location Framework
Relationships between basin architecture, basin closure, and occurrence of sulphide-bearing schists: an example from Tampere Schist Belt, Finland
We present field observations from the Palaeoproterozoic volcano-sedimentary Tampere palaeobasin, where the primary structures have been exceptionally well preserved. We use the observations to construct a new tectonic model for the southeastern margin of the Tampere basin during its inversion and subsequent closure. The observed volcano-sedimentary and structural features suggest a change in the local structural style from thick-skinned inversion to thin-skinned thrusting, in order to accommodate the crustal shortening during basin closure. Furthermore, it is suggested that there is a genetic relationship between the interpreted palaeothrust and the sulphide-bearing schist horizons in the study area. On a more general note, the results infer that presently subvertical mineralised shear zones may have originally been gently dipping, further suggesting that the mineralised fluids may not necessarily have been sourced from great depths (i.e. from deep within the basement)
Syväaivostimulaatio Parkinsonin taudin hoitoon
Tiivistelmä. Syväaivostimulaatio on todettu hyväksi keinoksi hillitä Parkinsonin taudin oireita. Stimulaatio toimii säätelemällä basaaliganglioiden sisältämien hermopiirien toimintaa. Tällä säätelyllä pyritään korvaamaan Parkinsonin taudin aiheuttama patologinen toiminta. Säätely tapahtuu asettamalla elektrodi stimuloinnin kohdealueeseen, joka on useimmiten basaaliganglioissa sijaitseva tyvitumake, ja elektrodin luoman sähkökentän avulla aiheutetaan kohdealueen aksonien aktiopotentiaalien synty. Nämä aktiopotentiaalit aiheuttavat koko hermopiirissä aktiivisuutta, joka ajan myötä hillitsee taudin oireita
Feasibility of Active Ingredient (AI) development for new biocides in the EU
Biocides usage covers a vast industrial area and the history of biocide and other antimicrobial agent usage in various forms and applications dates back centuries. While the emerging EU regulations (BPD, REACH and others) strive to increase the safety and the eco-efficiency of chemical products and production processes, such changes may also create voids in the availability of current biocides due to outphasing. The present study evaluated the need for new Active Ingredient (AI) development. The feasibility of such development was explored, and the data of economic feasibility analysis shows that, contrary to general expectations, AI development can become profitable within certain economic boundaries
Kinetic Roughening in Slow Combustion of Paper
We present results from an experimental study on the kinetic roughening of slow combustion fronts in paper sheets. The sheets were positioned inside a combustion chamber and ignited from the top to minimize convection effects. The emerging fronts were videotaped and digitized to obtain their time-dependent heights. The data were analyzed by calculating two-point correlation functions in the saturated regime. Both the growth and roughening exponents were determined and found consistent with the Kardar-Parisi-Zhang equation, in agreement with recent theoretical work.Peer reviewe
Yhteistyö esi- ja alkuopetuksen nivelvaiheessa
Tiivistelmä. Tämä kandidaatin tutkielma toteutetaan kvalitatiivisena kirjallisuuskatsauksena, joka on piirteeltään yleiskatsauksen omainen. Tutkimuksen teoreettisena pohjana toimii Bronfenbrennerin ekologinen teoria ja bioekologinen malli, jotka antavat tutkimuksellemme teoreettisen pohjan kouluun siirtymisestä ekologisena jatkumona. Bronfenbrennerin teoria antaa myös teoreettisia käsitteitä nivelvaiheen teoreettisessa jäsentämisessä ja sen tarkastelussa. Tutkimuksemme teoreettisia lähtökohtia täydennämme Hujalan kontekstuaalisen kasvun mallilla, joka antaa tutkimuksellemme laajemman käsityksen lapsen toimijuudesta nivelvaiheessa.
Tutkimuksellamme pyrimme selvittämään, millaista yhteistyö on esi- ja alkuopetuksen nivelvaiheessa sekä ketkä ovat keskeisiä toimijoita esi- ja alkuopetuksen nivelvaiheen yhteistyössä. Tässä tutkimuksessa tarkastelemme nivelvaiheen yhteistyön eri muotoja kodin, koulun, esiopetuksen sekä sosiaali- ja terveyspalveluiden näkökulmasta.
Tutkimuksemme keskeisimpänä tavoitteena on tuoda esiin yhteistyön merkitys esi- ja alkuopetuksen nivelvaiheessa.
Tutkimuksessamme kuvaamme lapsen siirtymää esikoululaisesta koululaiseksi eri esiopetuskontekstien kautta yhteistyön näkökulmasta. Kuvaamme yhteistyötä esi-, alkuopetuksessa ja nivelvaiheessa sekä yhteistyön muutosta siirryttäessä esiopetuksesta alkuopetukseen. Käsittelemme tutkimuksessamme myös osallisuuden käsitettä yhteistyön näkökulmasta esi- ja alkuopetuksen nivelvaiheessa
Immunotherapies and Metastatic Cancers: Understanding Utility and Predictivity of Human Immune Cell Engrafted Mice in Preclinical Drug Development
Metastases cause high mortality in several cancers and immunotherapies are expected to be effective in the prevention and treatment of metastatic disease. However, only a minority of patients benefit from immunotherapies. This creates a need for novel therapies that are efficacious regardless of the cancer types and metastatic environments they are growing in. Preclinical immuno-oncology models for studying metastases have long been limited to syngeneic or carcinogenesis-inducible models that have murine cancer and immune cells. However, the translational power of these models has been questioned. Interactions between tumor and immune cells are often species-specific and regulated by different cytokines in mice and humans. For increased translational power, mice engrafted with functional parts of human immune system have been developed. These humanized mice are utilized to advance understanding the role of immune cells in the metastatic process, but increasingly also to study the efficacy and safety of novel immunotherapies. From these aspects, this review will discuss the role of immune cells in the metastatic process and the utility of humanized mouse models in immuno-oncology research for metastatic cancers, covering several models from the perspective of efficacy and safety of immunotherapies
Opettajien kokemuksia esi- ja alkuopetuksen nivelvaiheesta
Tiivistelmä. Tämän tutkimuksen tarkoituksena on selvittää, millaisia kokemuksia opettajilla on esi- ja alkuopetuksen nivelvaiheesta oppilaan kouluun siirtymisen näkökulmasta. Lisäksi tutkimuksessa tarkastelemme millaiset tekijät edistävät ja haittaavat oppilaan kouluun siirtymistä esi- ja alkuopetuksen nivelvaiheessa opettajan kokemana. Näitä kahta kysymystä tarkastelemme Bronfenbrennerin ekologisen teoriaan pohjaten. Tutkimus on laadultaan kvalitatiivinen ja otteeltaan, sekä aineiston analyysi menetelmältään fenomenologis-hermeneuttinen. Aineiston keruussa olemme käyttäneet sähköistä kyselyä, joka on toteutettu Webropolilla.
Aineistosta tehdyn analyysin pohjalta voidaan todeta, että Bronfenbrennerin ekologisen teorian systeemitasot ovat nähtävissä opettajien kokemuksissa esi- ja alkuopetuksen nivelvaiheessa, oppilaan kouluun siirtymisen näkökulmaa tarkastellessa. Ensimmäisen tutkimuskysymyksen kohdalla opettajien kokemuksiin vaikuttavat tekijät jakautuivat jokaiselle Bronfenbrennerin ekologisen teorian systeemitasoille. Opettajien vastauksissa toistui usein neljä nivelvaiheen yhteistyöhön vaikuttavaa teemaa, jotka olivat kasvatusorganisaation kasvatuskulttuurin tuki, yksilöllisen tuen tarve, huoltajat nivelvaiheessa sekä Covid 19-pandempia. Toisen tutkimuskysymyksen kohdalla aineistoa tulkittaessa lapsi ja hänen yksilöllisiin tarpeisiinsa liittyvät tekijät korostuivat vahvasti. Opettajien kuvaamissa kokemuksissa nivelvaihetta haittaavista tekijöistä lapsen kouluun siirtymisen näkökulmasta oli havaittavissa eniten lapseen ja tämän lähiympäristöön liittyviä tekijöitä. Saamamme aineiston ja tekemiemme tulkintojen pohjalta teimme johtopäätöksen, että oppilaan kouluun siirtymiseen esi- ja alkuopetuksen nivelvaiheessa vaikuttavat niin, yhteiskunta, kasvatusyhteisöjen kasvatuskulttuurit, esiopetus, alkuopetus kuin lapsi ja hänen lähiympäristönsäkin. Tulkintamme mukaan opettajien kokemuksista voimme todeta, että kaikki Bronfenbrennerin ekologisen teorian systeemitasot ovat vaikutuksessa nivelvaiheeseen, joko suoraan tai välillisesti. Alkuopetuksessa työskentelevien opettajien kokemukset ovat kuvaus työkentän todellisesta tilanteesta, joten tämä tutkimus antaa todellista kuvaa opettajien kokemuksista nivelvaiheessa
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
We describe a technique for systematic testing of multi-threaded programs. We
combine Quasi-Optimal Partial-Order Reduction, a state-of-the-art technique
that tackles path explosion due to interleaving non-determinism, with symbolic
execution to handle data non-determinism. Our technique iteratively and
exhaustively finds all executions of the program. It represents program
executions using partial orders and finds the next execution using an
underlying unfolding semantics. We avoid the exploration of redundant program
traces using cutoff events. We implemented our technique as an extension of
KLEE and evaluated it on a set of large multi-threaded C programs. Our
experiments found several previously undiscovered bugs and undefined behaviors
in memcached and GNU sort, showing that the new method is capable of finding
bugs in industrial-size benchmarks.Comment: Extended version of a paper presented at CAV'2
Adapting Component-based Systems at Runtime via Policies with Temporal Patterns
International audienceDynamic reconfiguration allows adding or removing components of component-based systems without incurring any system downtime. To satisfy specific requirements, adaptation policies provide the means to dynamically reconfigure the systems in relation to (events in) their environment. This paper extends event-based adaptation policies by integrating temporal requirements into them. The challenge is to reconfigure component-based systems at runtime while considering both their functional and non-functional requirements. We illustrate our theoretical contributions with an example of an autonomous vehicle location system. An implementation using the Fractal component model constitutes a practical contribution. It enables dynamic reconfigurations guided by either enforcement or reflection adaptation policies
- …