Search results for "NTIME"

Henrik Wergeland's Bouquet: Fredrika Bremer, Sentimentality and Nationalism inJan van Huysum's Flower Piece

2015

Henrik Wergeland's poem Jan van Huysums Blomsterstykke (1840) is often characterized as a key work of Norwegian and Nordic romanticism. Where previous criticism has primarily focused on the poem's ekphrastic dimension, this reading will draw attention to how it employs many forms and genres, at the same time examining neglected thematic strands in the poem. A key lead to the poem's generic placement is provided by its oft-overlooked front-page, paratextual dedication to the Swedish novelist Fredrika Bremer. It will be argued that works by Bremer, such as Hemmet, not only provide some precedent for the ekphrastic dimension of Wergeland's poem, but more importantly reveal the latter text's un…

Gemcitabine sensitizes lung cancer cells to Fas/FasL system-mediated killing

2014

Gemcitabine is a chemotherapy agent commonly used in the treatment of non-small cell lung cancer (NSCLC) that has been demonstrated to induce apoptosis in NSCLC cells by increasing functionally active Fas expression. The aim of this study was to evaluate the Fas/Fas ligand (FasL) system involvement in gemcitabine-induced lung cancer cell killing. NSCLC H292 cells were cultured in the presence or absence of gemcitabine. FasL mRNA and protein were evaluated by real-time PCR, and by Western blot and flow cytometry, respectively. Apoptosis of FasL-expressing cells was evaluated by flow cytometry, and caspase-8 and caspase-3 activation by Western blot and a colorimetric assay. Cytotoxicity of ly…

Towards a meta-method for the engineering of situational evaluation methods for domain-specific modeling tools

2015

Sovellusaluemallinnus (Domain-Specific Modeling, DSM) on eräs ohjelmistotuotannon lähestymistavoista, jossa sovelluskehityksen abstraktiotasoa nostetaan ohjelmoinnista sovellusaluekeskeiseen mallinnukseen. DSM mahdollistaa sovelluskehityksen automatisoinnin erityisesti kapeilla ja vakiintuneilla sovellusalueilla, joiden käsitteet, säännöt ja merkitykset soveltuvat DSM-kielten konstruktioiksi. DSM-välineet tarjoavat työkaluja DSM-kielten määrittelyyn ja käyttöön sekä sovellusmallien transformaatioihin. Teollisuudessa DSM-välineiden arviointeja tehdään tyypillisesti välinehankintojen valmistelun yhteydessä. Arviointeja suoritetaan myös tieteellisen tutkimuksen näkökulmasta. Arviointitulosten …

Alla ricerca della natura umana. Alcune riflessioni su corpo, emozioni e e coscienza in Damasio

2009

Distributed Real-Time Sentiment Analysis for Big Data Social Streams

2014

Big data trend has enforced the data-centric systems to have continuous fast data streams. In recent years, real-time analytics on stream data has formed into a new research field, which aims to answer queries about "what-is-happening-now" with a negligible delay. The real challenge with real-time stream data processing is that it is impossible to store instances of data, and therefore online analytical algorithms are utilized. To perform real-time analytics, pre-processing of data should be performed in a way that only a short summary of stream is stored in main memory. In addition, due to high speed of arrival, average processing time for each instance of data should be in such a way that…

Optimization of sample preparation conditions for detecting trace amounts of β-tegafur in α- and β-tegafur mixture.

2012

We report a semiquantitative method for determining trace amounts (<1%) of thermodynamically stable forms in polymorphic mixtures, focusing on sample preparation ef- fects on solid phase transitions. Tegafur (5-fluoro-1-(oxolan-2-yl)-1,2,3,4-tetrahydropyrimidine- 2,4-dione) was used as a model material in this study. The amounts of the thermodynamically stable $ tegafur were increased to levels detectable by powder X-ray diffractometry by grind- ing the samples in a ball mill in the presence of water. The limit of detection for this method was as low as 0.0005% of $ tegafur in " and $ tegafur mixtures. The amount of $ tegafur after sample preparation was found to be proportional to the init…

Manuel Azaña et Madrid : le regard de l'homme d'Etat et de l'intellectuel

2015

International audience

Digitaalisesti kiinni nuorten luku- ja oikeinkirjoitustaidon arviointiin toisella asteella

2020

Luku- ja kirjoitustaitoa on seulontavaiheessa perinteisesti arvioitu paperisella arviointivälineellä. Arvioinnin työläys ja verkkopohjaisen lukemisen yleistyminen ovat digitaalisen arviointivälineen kehittämiseen johtaneita syitä. Niilo Mäki Instituutissa tutkimusperustaisesti kehitetty DigiLukiseula tehostaa arviointia toisella asteella, jolloin opiskelijoiden tukemiseen jää enemmän aikaa. Digitaalisuus tuo myös uusia ulottuvuuksia arviointityöhön. DigiLukiseulan käsikirja on luettavissa osoitteessa digilukiseula.nmi.fi. peerReviewed

A Logical Characterisation of Linear Time on Nondeterministic Turing Machines

1999

The paper gives a logical characterisation of the class NTIME(n) of problems that can be solved on a nondeterministic Turing machine in linear time. It is shown that a set L of strings is in this class if and only if there is a formula of the form ∃f1..∃fk∃R1..∃Rm∀xφv; that is true exactly for all strings in L. In this formula the fi are unary function symbols, the Ri are unary relation symbols and φv; is a quantifierfree formula. Furthermore, the quantification of functions is restricted to non-crossing, decreasing functions and in φv; no equations in which different functions occur are allowed. There are a number of variations of this statement, e.g., it holds also for k = 3. From these r…

Towards Data Quality Runtime Verification

2019

This paper discusses data quality checking during business process execution by using runtime verification. While runtime verification verifies the correctness of business process execution, data quality checks assure that particular process did not negatively impact the stored data. Both, runtime verification and data quality checks run in parallel with the base processes affecting them insignificantly. The proposed idea allows verifying (a) if the process was ended correctly as well as (b) whether the results of the correct process did not negatively impact the stored data in result of its modification caused by the specific process. The desired result will be achieved by use of domain sp…