Search results for "script"
showing 10 items of 5143 documents
A Problem Structuring Method
1991
Given a formal definition of problem and a formal definition of system, the equivalence between both concepts is studied. Considering a problem as a 3-tuple , where D is the set of possible data, R is the set of possible results, and P the set of conditions of the problem, classes of problems are constructed as combinations of types of data, types of results and types of conditions. For example, data can be either literal or numerical, either with uncertainty or not; conditions can be determined by rules, tables, equations, it may have uncertainty, etc. As a case of application it is outlined how some of the most common problems (knowledge representation, search, reasoning and planning, etc…
Ultrametric Finite Automata and Turing Machines
2013
We introduce a notion of ultrametric automata and Turing machines using p-adic numbers to describe random branching of the process of computation. These automata have properties similar to the properties of probabilistic automata but complexity of probabilistic automata and complexity of ultrametric automata can differ very much.
Quantum Real - Time Turing Machine
2001
The principles of quantum computation differ from the principles of classical computation very much. Quantum analogues to the basic constructions of the classical computation theory, such as Turing machine or finite 1-way and 2-ways automata, do not generalize deterministic ones. Their capabilities are incomparable. The aim of this paper is to introduce a quantum counterpart for real - time Turing machine. The recognition of a special kind of language, that can't be recognized by a deterministic real - time Turing machine, is shown.
Space-Efficient 1.5-Way Quantum Turing Machine
2001
1.5QTM is a sort of QTM (Quantum Turing Machine) where the head cannot move left (it can stay where it is and move right). For computations is used other - work tape. In this paper will be studied possibilities to economize work tape space more than the same deterministic Turing Machine can do (for some of the languages). As an example language (0i1i|i ≥ 0) is chosen, and is proved that this language could be recognized by deterministic Turing machine using log(i) cells on work tape , and 1.5QTM can recognize it using constant cells quantity.
The designer cytokine hyper-interleukin-6 is a potent activator of STAT3-dependent gene transcription in vivo and in vitro.
1999
Interleukin-6 (IL-6) triggers pivotal pathways in vivo. The designer protein hyper-IL-6 (H-IL-6) fuses the soluble IL-6 receptor (sIL-6R) through an intermediate linker with IL-6. The intracellular pathways that are triggered by H-IL-6 are not defined yet. Therefore, we studied the molecular mechanisms leading to H-IL-6-dependent gene activation. H-IL-6 stimulates haptoglobin mRNA expression in HepG2 cells, which is transcriptionally mediated as assessed by run-off experiments. The increase in haptoglobin gene transcription correlates with higher nuclear translocation of tyrosine-phosphorylated STAT3 and its DNA binding. As H-IL-6 stimulates STAT3-dependent gene transcription, we compared t…
Influence of the Preparation Method and Photo-Oxidation Treatment on the Thermal and Gas Transport Properties of Dense Films Based on a Poly(ether-bl…
2018
Dense films based on the hydrophobic Pebax®
Coordination Driven Capture of Nicotine Inside a Mesoporous MOF.
2017
Metal organic frameworks (MOFs) are a wide class of crystalline porous polymers studied in many fields, ranging from catalysis to gas storage. In the past few years, MOFs have been studied for the encapsulation of organic or organometallic molecules and for the development of potential drug carriers. Here, we report on the study of two structurally-related mesoporous Cu-MOFs, namely PCN-6 and PCN-6′ (PCN stands for Porous Coordination Network), for nicotine trapping. Nicotine is a well-known alkaloid liquid molecule at room temperature, whose crystalline structure is still unknown. In this work, the loading process was monitored by electron ionization mass spectrometry by using a direct ins…
Qualità della didattica universitaria e sviluppo della capacità decisionale. Il modello ADVP per garantire i passaggi da L-19 a LM-85bis.
2020
Il presente contributo intende offrire una riflessione sulle competenze attese individuate attraverso la formulazione dei descrittori di Dublino dei CdS in Scienze dell’Educazione (L-19) e Scienze della Formazione Primaria (LM-85bis) istituiti presso l’Ateneo di Palermo e nello stesso tempo proporre un modello per lo sviluppo della maturità professional e necessaria a garantire scelte consapevoli, mature e responsabili. L’analisi condotta ci ha permesso, in una seconda fase di individuare gli obiettivi formativi finali scelti seguendo il modello proposto dalle Linee Guida dell ’Anvur, e di scegliere il modello dell’Activaction du Developpement Vocationnel et Personnel quale strumento per lo…
Serine- and Threonine/Valine-Dependent Activation of PDK and Tor Orthologs Converge on Sch9 to Promote Aging
2014
Dietary restriction extends longevity in organisms ranging from bacteria to mice and protects primates from a variety of diseases, but the contribution of each dietary component to aging is poorly understood. Here we demonstrate that glucose and specific amino acids promote stress sensitization and aging through the differential activation of the Ras/cAMP/PKA, PKH1/2 and Tor/S6K pathways. Whereas glucose sensitized cells through a Ras-dependent mechanism, threonine and valine promoted cellular sensitization and aging primarily by activating the Tor/S6K pathway and serine promoted sensitization via PDK1 orthologs Pkh1/2. Serine, threonine and valine activated a signaling network in which Sch…
JNK phosphorylation relieves HDAC3-dependent suppression of the transcriptional activity of c-Jun
2003
The AP-1 transcription factor c-Jun is a prototypical nuclear effector of the JNK signal transduction pathway. The integrity of JNK phosphorylation sites at serines 63/73 and at threonines 91/93 in c-Jun is essential for signal-dependent target gene activation. We show that c-Jun phosphorylation mediates dissociation of an inhibitory complex, which is associated with histone deacetylase 3 (HDAC3). The subsequent events that ultimately cause increased mRNA synthesis are independent of c-Jun phosphorylation and its interaction with JNK. These findings provide an 'activation by de-repression' model as an explanation for the stimulatory function of JNK on c-Jun.