Thematische Bibliographien / TIMOOD

Inhaltsverzeichnis

  1. Zeitschriftenartikel
  2. Dissertationen
  3. Bücher
  4. Buchteile
  5. Konferenzberichte
  6. Berichte der Organisationen

Auswahl der wissenschaftlichen Literatur zum Thema „TIMOOD“

Autor: Grafiati
Veröffentlicht am 29. Juni 2021
Zuletzt aktualisiert am 14. Februar 2022

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "TIMOOD" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Zeitschriftenartikel zum Thema "TIMOOD"

1

Roullet, Pascal, und Susan Sara. „Consolidation of Memory After its Reactivation: Involvement of ß Noradrenergic Receptors in the Late Phase“. Neural Plasticity 6, Nr. 3 (1998): 63–68. http://dx.doi.org/10.1155/np.1998.63.

Der volle Inhalt der Quelle
Annotation:
Evidence is growing that the cAMP pathway through the cAMP responsive element binding protein (CREB) transcription factor plays an important role in long-term memory formation (LTM). To study the role of ß-noradrenergic receptors, positively linked to the cAMP secondmessenger system, in the dynamics of LTM processes, we used a memory-reactivation paradigm because recent studies in our laboratory confirmed that reactivated memory is labile and undergoes an extended reconsolidation process. In an eight-arm maze, rats were trained to choose the same three baited arms; 24 hr later, memory was reactivated and then the rats were injected intracerebroventricularly at 5 min, 30 min, 60 min, or 5 hr later with the ß-antagonist timolol or with saline. The results showed that injection of timolol induced amnesia only at the 60 min post-reactivation interval, whereas all control groups and groups that were timolol-injected at other post-reactivation intervals displayed optimal retention. The delayed amnesic action of timoloi suggests that ß noradrenergic receptors and the cAMP cascade are implicated in the late phase of reprocessing of a remembered event.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

Gragnani, Andrea, Giulia Paradisi und Francesco Mancini. „Un modello cognitivo del disturbo di panico e dell'agorafobia. Aspetti psicopatologici e trattamento“. PSICOBIETTIVO, Nr. 3 (November 2011): 36–54. http://dx.doi.org/10.3280/psob2011-003003.

Der volle Inhalt der Quelle
Annotation:
Lo scopo di questo articolo risiede nel presentare un perfezionamento del modello cognitivista del disturbo di panico, in particolare quello di Clark, che nonostante abbia conseguito negli anni robuste prove empiriche e cliniche a supporto, considera l'agorafobia esclusivamente come una sottoclasse di evitamenti del disturbo di panico. Il nostro modello si propone di superare i limiti esplicativi del modello classico e prevede la presenza di una specifica classe di sensazioni temute dall'agorafobico, quelle legateed una peculiare valutazione catastrofica delle stesse. Essa si manifesta apparentemente sotto forma di timori di morte ed impazzimento, ma sarebbe riconducibile al timore relativo alla perdita di controllo percepita comedefinitivo e irrecuperabile del.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

Klimašauskienė, A., und R. Bunevičiūtė. „Miastenija ir Lambert-Eaton miasteninis sindromas, jų gydymo rekomendacijos ir ypatumai COVID-19 pandemijos metu“. Neurologijos seminarai 24, Nr. 84 (01.07.2020): 138–44. http://dx.doi.org/10.29014/ns.2020.20.

Der volle Inhalt der Quelle
Annotation:
Miastenija ir Lambert-Eaton (LEMS) miasteninis sindromas yra autoimuninės neurologinės ligos, kurios pasireiškia raumenų silpnumu ir patologiniu nuovargiu. Miastenija yra dažniausia neuroraumeninė liga, o LEMS – labai retas susirgimas. Abi ligos simptomiškai gydomos acetilcholinesterazės inhibitoriais, LEMS – dar ir 3,4 diaminopiridinu ir amifampiridinu, o ilgalaikiam gydymui skiriami imunosupresiniai vaistai: gliukokortikoidai, azatioprinas, kiti imunosupresantai. Timektomija pacientams su timoma ir atrinktai grupei be timomos yra esminis gydymo metodas, taikomas sergant miastenija. Abiejų ligų paūmėjimai gydomi intraveniniais imunoglobulinais ar gydomosiomis aferezėmis. Miastenijos ir LEMS gydymą pandemijos metu rekomenduojama pradėti ir tęsti pagal bendras rekomendacijas. Jei pacientams skirta imunosupresantų, šis gydymas turėtų būti tęsiamas, nes nauda yra didesnė už galimą žalą. Gydymas imunosupresantais nutraukiamas tik išsivysčius sunkiai infekcijai.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
4

Aptel, Florent, Michel Cucherat und Philippe Denis. „Efficacy and Tolerability of Prostaglandin-Timolol Fixed Combinations: A Meta-Analysis of Randomized Clinical Trials“. European Journal of Ophthalmology 22, Nr. 1 (19.05.2011): 5–18. http://dx.doi.org/10.5301/ejo.5000009.

Der volle Inhalt der Quelle
Annotation:
Purpose To evaluate the intraocular pressure (IOP)-lowering effects and tolerability of the 3 prostaglandin-timolol fixed combinations (PG-timolol FCs). Methods Clinical trials comparing directly the PG-timolol FCs or comparing the PG-timolol FCs to their individual components were thoroughly searched. The main outcome measures were efficacy assessed by IOP (taken at 9 AM, noon, 4 PM, and over the mean diurnal curve) change at 3 months (or after 1 to 6 months of treatment if no data were available at month 3) from baseline and tolerability assessed by the incidence of conjunctival hyperemia. Results Twenty trials were identified (n=4684 patients). Intraocular pressure reduction was usually greater with the 3 PG-timolol FCs than the individual PG (mean difference [MD] 0.00 mmHg to 2.59 mmHg; p>0.1 to p<0.001). The incidence of hyperemia was significantly less with latanoprost- and bimatoprost-timolol FCs than with the individual PG (relative risk = 0.66 and 0.61; p=0.05 and p<0.001). From direct comparisons, IOP reduction was significantly greatest with bimatoprost-timolol FC, at 9 AM, 4 PM, and over the mean diurnal curve compared to latanoprost-timolol FC (MD = 0.90 mmHg to 1.48 mmHg; p<0.001) and at all time points compared to travoprost-timolol FC (MD = 0.66 mmHg to 0.90 mmHg; p<0.001). The incidence of hyperemia was not significantly less with latanoprost-timolol FC than with bimatoprost-timolol FC (relative risk = 1.32; p>0.1). Conclusions The 3 PG-timolol FCs provide a greater IOP reduction and lower incidence of hyperemia than the 3 PGs alone. The direct comparisons suggest a greater efficacy of the bimatoprost-timolol FC compared with latanoprost- and travoprost-timolol FCs.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

Babic, Nikola, Veljko Andreic, Aleksandar Miljkovic, Desanka Grkovic und Predrag Jovanovic. „Comparison of the efficacy and safety of fixed combination travoprost/timolol and dorzolamide/timolol in patients with primary open-angle glaucoma and ocular hypertension“. Srpski arhiv za celokupno lekarstvo 141, Nr. 7-8 (2013): 441–46. http://dx.doi.org/10.2298/sarh1308441b.

Der volle Inhalt der Quelle
Annotation:
Introduction. Combining two medications in one bottle may improve compliance by reducing the time required to administer drops and the frequency of the total number of medication bottles. Objective. To compare the efficacy of reduced intraocular pressure (IOP) and safety of fixed combination travoprost 0.004%/timolol 0.5% vs. fixed combination dorzolamide 2%/timolol 0.5% in patients with primary open-angle glaucoma or ocular hypertension. Methods. Prospective randomized clinical study included 60 patients divided into 2 groups. Follow-up was done at day 14 and 45 and month 3. IOP measurements were taken at each follow-up examination at 8 am, 10 am and 4 pm. Results. Both fixed combinations reduced IOP significantly compared to initial values at all follow-ups (p<0.001). Mean pooled IOP at all visits and time points was slightly lower in the travoprost/timolol group compared with the dorzolamide/timolol group (16.13 mmHg vs. 16.15 mmHg). Mean IOP reduction from baseline ranged from -7.46 mmHg to -9.92 mmHg in the travoprost/timolol group and from -6.93 mmHg to -8.93 mmHg for the dorzolamide/timolol group. Mean (?standard error of the mean) reduction in diurnal IOP from baseline to 3rd month was 8.96?2.79 in the travoprost/timolol group versus 8.07?2.91 in patients receiving dorzolamide/timolol fixed combination (p=0.196). The most frequent treatment-related adverse events were conjunctival hyperemia in the travoprost/timolol group, and dry eye and foreign body sensation in the dorzolamide/timolol group. Conclusion. Travoprost/timolol fixed combination was slightly more effective than dorzolamide/timolol fixed combination in reducing mean diurnal IOP. Travoprost/timolol group resulted in an IOP reduction for up to 1.07 mmHg higher than dorzolamide/timolol group. Both fixed combinations were well tolerated and safe.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

Parameswaran, Rashmi, Satyanarayana V und Nithisha T M. „Comparative study between timolol maleate and timolol - brimonidine combination in treatment of open-angle glaucoma of moderate intraocular pressure in a tertiary care hospital“. Indian Journal of Pharmacy and Pharmacology 8, Nr. 2 (15.06.2021): 151–55. http://dx.doi.org/10.18231/j.ijpp.2021.024.

Der volle Inhalt der Quelle
Annotation:
To study the efficacy of Timolol Maleate Vs Timolol-Brimonidine combination in lowering the intraocular pressure (IOP) in primary open angle glaucoma (POAG) at a tertiary care hospital. To study any adverse effects of both drug therapies in treatment of POAG. Computerized simple randomization was followed in allocating the patients for the two groups. In each group, n=20, is the total number of patients, and N=30, is the total number of eyes tested, since both eyes were involved in some patients. The concentration of the monotherapy was 0.5% w/v Timolol Maleate and concentration of the combination therapy was 0.2% w/v Brimonidine Tartrate and 0.5% w/v Timolol Maleate. Both drugs were administered twice daily and IOP was recorded every 3 days, for a period of 4 weeks. Monotherapy of Timolol is seen to lower the IOP at 25% in 3 days, whereas the Timolol-Brimonidine combination therapy lowers the IOP at twice the rate that is 50% in 3 days. After reaching a IOP of 12mmHg, which is the normal IOP, both the drugs are used for maintenance therapy. Adverse effects were reported with both groups. Timolol monotherapy is also priced lower, when compared to Timolol-Brimonidine combination therapy. Timolol monotherapy provides the same result as the Timolol-Brimonidine combination therapy and is also comparatively cheaper. Hence, Timolol monotherapy is better suited for the treatment of POAG.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

Bourne, Rupert Richard Alexander, Kai Kaarniranta, Katrin Lorenz, Carlo Enrico Traverso, Jouni Vuorinen und Auli Ropo. „Changes in ocular signs and symptoms in patients switching from bimatoprost–timolol to tafluprost–timolol eye drops: an open-label phase IV study“. BMJ Open 9, Nr. 4 (April 2019): e024129. http://dx.doi.org/10.1136/bmjopen-2018-024129.

Der volle Inhalt der Quelle
Annotation:
ObjectivesBimatoprost–timolol (bimatoprost 0.03%–timolol 0.5% fixed-dose combination [FDC]) and tafluprost–timolol (tafluprost 0.0015%–timolol 0.5% FDC) eye drops are currently the only topical intraocular pressure (IOP)-reducing therapies available as preservative-free (PF) prostaglandin and timolol FDC. The aim of this study was to investigate changes to ocular signs and symptoms when patients with ocular hypertension (OH) or open-angle glaucoma (OAG) switched from PF or benzalkonium chloride (BAK)-preserved bimatoprost–timolol to PF tafluprost–timolol eye drops.DesignThis was a 12-week, open-label, phase IV study.SettingSixteen centres in Finland, Germany, Italy and the UK.ParticipantsPatients with OH or OAG (IOP on medication ≤21 mm Hg), treated with PF or BAK-preserved bimatoprost–timolol for ≥4 weeks before screening, and presenting with conjunctival hyperaemia and ≥1 ocular symptom.InterventionsPatients were switched to PF tafluprost–timolol once daily in the treated eye(s).Primary and secondary outcome measuresThe primary endpoints were change from screening to week 12 in conjunctival hyperaemia and worst ocular symptom. The secondary outcome measures were changes from screening in ocular signs (other than conjunctival hyperaemia) and symptoms at week 12.ResultsOf 123 enrolled patients, 121 were included in the intention-to-treat dataset, of which all were Caucasian and 54.5% were female; 76 patients used BAK-preserved bimatoprost–timolol and 45 used PF drops. Conjunctival hyperaemia and severity of worst ocular symptom following switch to PF tafluprost–timolol significantly reduced from screening to week 12 in all patients (p<0.001). The percentage of patients with ocular signs and symptoms was significantly reduced at week 12 compared with screening (p<0.001). IOP was not affected by the change of treatment.ConclusionsSwitching from BAK-preserved or PF bimatoprost–timolol to tafluprost–timolol reduced both signs and symptoms of ocular surface disease with no clinically relevant effect on IOP.Trial registration numberEudraCT2014-005273-37; Results.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

Arrieta, Anita. „Tipología morfosintáctica del Timote“. Revista de Filología y Lingüística de la Universidad de Costa Rica 19, Nr. 2 (30.08.2015): 99. http://dx.doi.org/10.15517/rfl.v19i2.20221.

Der volle Inhalt der Quelle
Annotation:
Esta investigación se ocupa de la lengua Timote. Los materiales compilados por A. Jahn y P. Rivet, compuestos de elementos léxicos que muestran variación extrema, son el corpus básico. Los datos disponibles son analizados para tratar de precisar el lugar de Timote desde una perspectiva superficial.This research deals with the Timote language. The materials compiled by A. Jahn and P. Rivet, made up of TImote lexical items that show extreme variation, are the basic corpus. The data available are analyzed to try to specify the place of Timote from an areal perspective.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

Igarashi, Haruyoshi, Yasunaga Katsuta, Yoshiharu Nakazato und Tohru Kawasaki. „The Use of an Opacitometer to Compare the In Vitro Cornea Opacifying Effects of Timolol With and Without Benzalkonium Chloride“. Alternatives to Laboratory Animals 19, Nr. 2 (April 1991): 263–70. http://dx.doi.org/10.1177/026119299101900220.

Der volle Inhalt der Quelle
Annotation:
We have evaluated a new in vitro opacitometer method as an alternative to the in vivo Draize test for ocular irritancy. Several concentrations of timolol maleate (timolol) with or without 0.005% benzalkonium chloride were applied to porcine isolated corneas which were either intact or with the epithelium, endothelium, or both epithelium and endothelium removed. Corneal opacities were measured using an opacitometer. In general, timolol with benzalkonium chloride caused a greater degree of opacity to develop in the cornea than did timolol alone. At the lower concentrations of timolol, the increased opacity probably represented additive effects of the two compounds. However, at the highest concentration of timolol (5 x 10 2M), there was an enhanced opacification in the presence of benzalkonium chloride, which may have been due to an increase in penetration, particularly through the epithelium. Timolol caused a greater degree of opacity to develop in the isolated intact porcine corneas when the drug was applied to the endothelial surface, than when applied to the epithelial surface or to both the epithelial and endothelial surfaces. However, timolol with benzalkonium chloride caused a greater degree of opacity in the intact cornea, when the drug was applied to both surfaces than when it was applied only to the epithelial or the endothelial surface.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

Pratt, Nicole L., Emmae N. Ramsay, Lisa M. Kalisch Ellett, Tuan A. Nguyen und Elizabeth E. Roughead. „Association between Ophthalmic Timolol and Hospitalisation for Bradycardia“. Journal of Ophthalmology 2015 (2015): 1–6. http://dx.doi.org/10.1155/2015/567387.

Der volle Inhalt der Quelle
Annotation:
Introduction. Ophthalmic timolol, a topical nonselective beta-blocker, has the potential to be absorbed systemically which may cause adverse cardiovascular effects. This study was conducted to determine whether initiation of ophthalmic timolol was associated with an increased risk of hospitalisation for bradycardia.Materials and Methods. A self-controlled case-series study was undertaken in patients who were hospitalised for bradycardia and were exposed to timolol. Person-time after timolol initiation was partitioned into risk periods: 1–30 days, 31–180 days, and >180 days. A 30-day risk period prior to initiating timolol was also included. All remaining time was considered unexposed.Results. There were 6,373 patients with at least one hospitalisation for bradycardia during the study period; 267 were exposed to timolol. Risk of bradycardia was significantly increased in the 31–180 days after timolol initiation (incidence rate ratio (IRR) = 1.93; 95% confidence interval (CI) 1.00–1.87). No increased risk was observed in the first 30 days or beyond 180 days of continuous exposure (IRR = 1.40; 95% CI 0.87–2.26 and IRR = 1.21; 95% CI 0.64–2.31, resp.).Conclusion. Bradycardia is a potential adverse event following timolol initiation. Practitioners should consider patient history before choosing a glaucoma regime and closely monitor patients after treatment initiation with topical nonselective beta-blocker eye drops.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Mehr Quellen

Dissertationen zum Thema "TIMOOD"

1

Lekander, Kalle, und Johan Sandberg. „Process improvements using lean - A case study at the Port of Norrköping“. Thesis, Linköpings universitet, Kommunikations- och transportsystem, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-177393.

Der volle Inhalt der Quelle
Annotation:
En fallstudie som med hjälp av lean identifierat slöseri och gett för slag på processförbättringar hos Norrköpings Hamn

Examensarbetet är utfört vid Institutionen för teknik och naturvetenskap (ITN) vid Tekniska fakulteten, Linköpings universitet

APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

Cabral, Imaculada Soares. „Os desafios do processo de adesão de Timor-Leste à ASEAN“. Master's thesis, Universidade de Aveiro, 2017. http://hdl.handle.net/10773/23184.

Der volle Inhalt der Quelle
Annotation:
Mestrado em Ciência Política
A formação de blocos regionais e os processos de integração regional ou o regionalismo são um fenómeno crescente da atualidade internacional após a Segunda Guerra Mundial. Trata-se de processos multidimensionais, que envolvem fatores económicos, políticos, sociais, culturais e de segurança. Nesta dissertação pretende-se avaliar o processo de adesão de Timor-Leste à ASEAN, a partir do referencial teórico que caracteriza os fundamentos do regionalismo e da integração económica. A ASEAN é uma das organizações mais importantes do contexto asiático e de grande importância para o futuro de Timor-Leste. Em concreto, pretende-se verificar e interpretar a capacidade, as condições, os trâmites e os desafios deste país no processo de adesão à ASEAN, formalizado em 2011 e ainda em curso (2016). Inclui-se um diagnóstico à situação do processo de adesão através de uma análise SWOT, onde se constata que as dinâmicas políticas da organização regional prejudicam o processo de adesão, embora este processo parece irreversível, estando a organização regional a oferecer colaboração técnica para o efeito, numa sociedade civil recetiva a esta integração.
The growing formation of regional blocs and the processes of regional integration or regionalism are phenomenon of the international post-World War II era. Characterized as multidimensional processes, involving economic, political, social, and cultural and security factors. This dissertation intends to evaluate the process of Timor-Leste's integration to ASEAN, based on the theoretical framework that characterizes the foundations of regionalism and economic integration. The ASEAN is one of the most important organizations in the Asian context and of great importance for the future of Timor-Leste. In particular, this dissertation intends to verify and interpret the capacity, conditions, procedures and challenges of this country in the process of accession to ASEAN, formalized in 2011 and still in progress (2016). It includes a diagnosis of the status of the accession process through a SWOT analysis, where it can be seen that the political dynamics of the regional organization undermine the accession process, even though the process seems at the present point to be irreversible. The regional organization offers technical cooperation to that end. Civil society is receptive to the integration.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

De, Wulf Martin. „From timed models to timed implementations“. Doctoral thesis, Universite Libre de Bruxelles, 2006. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/210797.

Der volle Inhalt der Quelle
Annotation:

Computer Science is currently facing a grand challenge :finding good design practices for embedded systems. Embedded systems are essentially computers interacting with some physical process. You could find one in a braking systems or in a nuclear power plant for example. They present several design difficulties :first they are reactive systems, interacting indefinitely with their environment. Second,they must satisfy real-time constraints specifying when they should respond, and not only how. Finally, their environment is often deeply continuous, presenting complex dynamics. The formal models of choice for specifying such systems are timed and hybrid automata for which model checking is pretty well studied.

In a first part of this thesis, we study a complete design approach, including verification and code generation, for timed automata. We have to define a new semantics for timed automata, the AASAP semantics, that preserves the decidability properties for model checking and at the same time is implementable. Our notion of implementability is completely novel, and relies on the simulation of a semantics that is obviously implementable on a real platform. We wrote tools for the analysis and code generation and exemplify them on a case study about the well known Philips Audio Control Protocol.

In a second part of this thesis, we study the problem of controller synthesis for an environment specified as a hybrid automaton. We give a new solution for discrete controllers having only an imperfect information about the state of the system. In the process, we defined a new algorithm, based on the monotonicity of the controllable predecessors operator, for efficiently finding a controller and we show some promising applications on a classical problem :the universality test for finite automata.
Doctorat en sciences, Spécialisation Informatique
info:eu-repo/semantics/nonPublished

APA, Harvard, Vancouver, ISO und andere Zitierweisen
4

Perucca, David. „Divided Timed and Continuous Timed Assessment Protocols and Academic Performance“. Thesis, Walden University, 2013. http://pqdtopen.proquest.com/#viewpdf?dispub=3566589.

Der volle Inhalt der Quelle
Annotation:

Children from a low socioeconomic status (SES) are exposed to numerous stress factors that are negatively associated with sustained attention and academic performance. This association suggests that the timed component of lengthy assessments may be unfair for students from such backgrounds, as they may have an inability to sustain attention during lengthy tests. Research has also found academic disparities between gender. The purpose of this quasi-experimental study was to investigate the relationship between continuous and divided timed tests in terms of student test scores, with additional assessments incorporating gender. Two charter schools from a suburban Idaho school district were the sources of the convenience sample. Fifth grade students were tested in groups of approximately 30. The research questions for the study concerned the relationship between continuous and divided assessment protocols and Texas Assessment of Knowledge and Skills (TAKS) test scores for low- versus non-low-SES students and among gender. The hypothesis was that there would be a statistically significant difference in TAKS scores between continuous and divided assessments. An ANOVA was used to determine whether a statistical relationship existed between test scores and test protocol by gender. ANOVA results indicated no significant differences in math test scores between test protocols and among gender, suggesting that increased collaborative efforts between families and schools may mitigate factors associated with attentional and academic deficits among students from low-SES environments. The results of this study may be helpful for communities as they develop curricula that may close the academic gap among students of all SES backgrounds.

APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

Hagman, Mikael. „Instrumentation of timed automata for formal verification of timed properties“. Thesis, Linköping University, Department of Computer and Information Science, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-9861.

Der volle Inhalt der Quelle
Annotation:

Embedded systems are used in many technical products of today. The tendency also points to the fact that they are in many ways becoming more and more complex as technology advances. Systems like advanced avionics, air bags, ABS brakes or any real-time embedded system requires reliability, correctness and timeliness. This puts hard pressure on designers, analyzers and developers. The need for high performance and non failing systems has therefore led to a growing interest in modeling and verification of component-based embedded systems in order to reduce costs and simplify design and development. The solution proposed by the Embedded Systems Lab at Linköping University is the modeling language PRES+, Petri Net based Representation for Embedded Systems.

PRES+ models are then translated into timed automata, TA, which is used by the UPPAAL verification tool. To be able to verify timing properties the translated TA model must be instrumented with certain timers, called clocks. These clocks must be reset in a manner reflected by the property to be verified.

This thesis will provide a solution to the problem and also give the reader necessary information in order to understand the theoretical background needed. The thesis will also show the reader the importance of modeling and time verification in the development of embedded systems. A simple example is used to describe and visualize the benefit regarding real-time embedded systems as well as the importance of the ability to verify these systems.

The conclusion drawn stresses the fact that high development costs, possible gain of human lives and the problems in developing complex systems only emphasize the need for easy to handle and intuitive verification methods.

APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

Perucca, David. „Divided Timed and Continuous Timed Assessment Protocols and Academic Performance“. ScholarWorks, 2011. https://scholarworks.waldenu.edu/dissertations/1067.

Der volle Inhalt der Quelle
Annotation:
Children from a low socioeconomic status (SES) are exposed to numerous stress factors that are negatively associated with sustained attention and academic performance. This association suggests that the timed component of lengthy assessments may be unfair for students from such backgrounds, as they may have an inability to sustain attention during lengthy tests. Research has also found academic disparities between gender. The purpose of this quasi-experimental study was to investigate the relationship between continuous and divided timed tests in terms of student test scores, with additional assessments incorporating gender. Two charter schools from a suburban Idaho school district were the sources of the convenience sample. Fifth grade students were tested in groups of approximately 30. The research questions for the study concerned the relationship between continuous and divided assessment protocols and Texas Assessment of Knowledge and Skills (TAKS) test scores for low- versus non-low-SES students and among gender. The hypothesis was that there would be a statistically significant difference in TAKS scores between continuous and divided assessments. An ANOVA was used to determine whether a statistical relationship existed between test scores and test protocol by gender. ANOVA results indicated no significant differences in math test scores between test protocols and among gender, suggesting that increased collaborative efforts between families and schools may mitigate factors associated with attentional and academic deficits among students from low-SES environments. The results of this study may be helpful for communities as they develop curricula that may close the academic gap among students of all SES backgrounds.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

Padmanabhan, Balasubramanian. „Self-Timed Logic and the Design of Self-Timed Adders“. Thesis, University of Manchester, 2010. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.516354.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

Kolimon, Mery. „A theology of empowerment : reflections from a west Timorese feminist perspective /“. Wien ;Zürich ;Berlin ;Münster : Lit, 2008. http://d-nb.info/987524151/04.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

López, Cano Manuel. „Miastenia gravis y Timoma. Factores pronóstico“. Doctoral thesis, Universitat Autònoma de Barcelona, 2002. http://hdl.handle.net/10803/4245.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

Chao, Chin-yung. „A microregional approach to the social dynamics in the late prehistoric Manatuto, East Timor, eleventh - eighteenth century /“. Thesis, Connect to this title online; UW restricted, 2008. http://hdl.handle.net/1773/6471.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Mehr Quellen

Bücher zum Thema "TIMOOD"

1

Henry Timrod: A biography. Madison: Fairleigh Dickinson University Press, 2004.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

Maria, Boiardo Matteo. Timone. Reggio Emilia: Edizioni Diabasis, 1994.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

Shakespeare, William. Timone d'Atene. Milano: Rizzoli, 2002.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
4

Vasileiadēs, Nikos. Agēma timōn. Athēna: Nephelē, 1990.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

Mariantonietta, Acocella, Tissoni Benvenuti Antonia und Boiardo, Matteo Maria, 1440 or 41-1494., Hrsg. Timone ; Orphei tragoedia. Scandiano (Reggio Emilia): Centro studi Matteo Maria Boiardo, 2009.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

Terzi, Lodovico. L' imperatore timido. Parma: U. Guanda, 1988.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

Dvopređene čarape Timoka. Knjaževac: Zavičajni muzej Knjaževac, 1985.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

Aston, Dianna Hutts. Il timido seme. Milino: Mottajunior, 2007.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

Rosa, Sonia. A lenda do Timbó. Rio de Janeiro: Pallas, 2007.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

Timone, o, Il misantropo. New York: De Gruyter, 2011.

Den vollen Inhalt der Quelle finden
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Mehr Quellen

Buchteile zum Thema "TIMOOD"

1

Mehlhorn, Heinz. „Brugia timori“. In Encyclopedia of Parasitology, 375. Berlin, Heidelberg: Springer Berlin Heidelberg, 2016. http://dx.doi.org/10.1007/978-3-662-43978-4_3782.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

Mehlhorn, Heinz. „Brugia timori“. In Encyclopedia of Parasitology, 1. Berlin, Heidelberg: Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-642-27769-6_3782-1.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

Soares, Anthony. „Timor“. In The Political Economy of Divided Islands, 79–101. London: Palgrave Macmillan UK, 2013. http://dx.doi.org/10.1057/9781137023131_5.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
4

Kingsbury, Damien. „Introduction“. In East Timor, 1–5. New York: Palgrave Macmillan US, 2009. http://dx.doi.org/10.1057/9780230621718_1.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

Kingsbury, Damien. „Epilogue“. In East Timor, 213–18. New York: Palgrave Macmillan US, 2009. http://dx.doi.org/10.1057/9780230621718_10.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

Kingsbury, Damien. „Conceptual Considerations“. In East Timor, 7–23. New York: Palgrave Macmillan US, 2009. http://dx.doi.org/10.1057/9780230621718_2.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

Kingsbury, Damien. „Distant and Regional Colonialism“. In East Timor, 25–50. New York: Palgrave Macmillan US, 2009. http://dx.doi.org/10.1057/9780230621718_3.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

Kingsbury, Damien. „Critical Issues in the Independence Struggle“. In East Timor, 51–76. New York: Palgrave Macmillan US, 2009. http://dx.doi.org/10.1057/9780230621718_4.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

Kingsbury, Damien. „The UN’s Benign Colonialism“. In East Timor, 77–103. New York: Palgrave Macmillan US, 2009. http://dx.doi.org/10.1057/9780230621718_5.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

Kingsbury, Damien. „Transition to Independence“. In East Timor, 105–30. New York: Palgrave Macmillan US, 2009. http://dx.doi.org/10.1057/9780230621718_6.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen

Konferenzberichte zum Thema "TIMOOD"

1

Ciobanu, Gabriel. „TiMo: Timed Mobility in Distributed Systems“. In 2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). IEEE, 2013. http://dx.doi.org/10.1109/synasc.2013.8.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

Ciobanu, Gabriel, Thai Son Hoang und Alin Stefanescu. „From TiMo to Event-B: Event-Driven Timed Mobility“. In 2014 19th International Conference on Engineering of Complex Computer Systems (ICECCS). IEEE, 2014. http://dx.doi.org/10.1109/iceccs.2014.10.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

Zhou, Xiaoyan, Ulrich Zanke, Yixin Yan und Jinhai Zheng. „Morphodynamic Simulation at the South Branch of Yangtze Estuary“. In ASME 2009 28th International Conference on Ocean, Offshore and Arctic Engineering. ASMEDC, 2009. http://dx.doi.org/10.1115/omae2009-79418.

Der volle Inhalt der Quelle
Annotation:
In this paper a numerical morphodynamic model TIMOR3 has been introduced and applied to simulate the morphological response to the water and sediment changes in the Yangtze River Estuary. TIMOR3, coupled with Hydrodynamic Model and Wave Model, is used to simulate a long-term and huge area of the morphological changes in the Yangtze River Estuary. A detailed investigation was made to the south branch where the Deepwater Channel Navigation Project is under construction. The effect of the project in different phases with different water depth has been simulated and analyzed.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
4

Wei, Kun, Jim Woodcock und Alan Burns. „Timed Circus: Timed CSP with the Miracle“. In 2011 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS). IEEE, 2011. http://dx.doi.org/10.1109/iceccs.2011.13.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

Myers, Chris J., Wendy Belluomini, Kip Kallpack, Eric Peskin und Hao Zheng. „Timed circuits“. In the 2001 conference. New York, New York, USA: ACM Press, 2001. http://dx.doi.org/10.1145/370155.370379.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

Licoppe, Christian, und Yoriko Inada. „'Timid encounters'“. In the 2012 ACM annual conference. New York, New York, USA: ACM Press, 2012. http://dx.doi.org/10.1145/2207676.2208675.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

Osaba, Eneko, Pedro López-Garcia, Antonio D. Masegosa, Enrique Onieva, Hugo Landaluce und Asier Perallos. „TIMON Project“. In GECCO '16: Genetic and Evolutionary Computation Conference. New York, NY, USA: ACM, 2016. http://dx.doi.org/10.1145/2908961.2931635.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

Tomanek, Katrin, und Udo Hahn. „Timed annotations“. In the Third Linguistic Annotation Workshop. Morristown, NJ, USA: Association for Computational Linguistics, 2009. http://dx.doi.org/10.3115/1698381.1698399.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

Priesterjahn, Claudia, Christian Heinzemann und Wilhelm Schafer. „From timed automata to timed failure propagation graphs“. In 2013 IEEE 16th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC). IEEE, 2013. http://dx.doi.org/10.1109/isorc.2013.6913236.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

Pastore, Fabrizio, Daniela Micucci und Leonardo Mariani. „Timed k-Tail: Automatic Inference of Timed Automata“. In 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). IEEE, 2017. http://dx.doi.org/10.1109/icst.2017.43.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen

Berichte der Organisationen zum Thema "TIMOOD"

1

Nerkar, Rajesh. Self-Timed DRAM Data Interface. Portland State University Library, Januar 2000. http://dx.doi.org/10.15760/etd.1442.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

Cowan, Christopher. Drafting in Self-Timed Circuits. Portland State University Library, Januar 2000. http://dx.doi.org/10.15760/etd.6975.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

Bhattacharyya, S. S., N. Bambha, M. Khandelia und V. Kianzad. Mapping DSP Applications onto Self-timed Multiprocessors. Fort Belvoir, VA: Defense Technical Information Center, November 2001. http://dx.doi.org/10.21236/ada456793.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
4

Newman, Richard E., Vipan R. Nalla und Ira S. Moskowitz. Covert Channels and Simple Timed Mix-Firewalls. Fort Belvoir, VA: Defense Technical Information Center, Juli 2004. http://dx.doi.org/10.21236/ada426203.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

Gómez-Pineda, Javier Guillermo. A well-timed raise in inflation targets. Bogotá, Colombia: Banco de la República, April 2018. http://dx.doi.org/10.32468/be.1042.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

Smith, Anthony L. Australia-Indonesia Relations: Getting Beyond East Timor. Fort Belvoir, VA: Defense Technical Information Center, Oktober 2004. http://dx.doi.org/10.21236/ada627512.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

Sundaram, Baskaran, Luke Wallace und Lindsay Furness. National groundwater monitoring guide for Timor-Leste: vulnerability assessment of climate change impacts on groundwater resources in Timor-Leste. Geoscience Australia, 2012. http://dx.doi.org/10.11636/record.2012.058.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

Burns, Steven M., und Alain J. Martin. Synthesis of Self-Timed Circuits by Program Transformation. Fort Belvoir, VA: Defense Technical Information Center, Januar 2006. http://dx.doi.org/10.21236/ada443297.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

Martin, Alain J. A Synthesis Method for Self-Timed VLSI Circuits. Fort Belvoir, VA: Defense Technical Information Center, Januar 1987. http://dx.doi.org/10.21236/ada444293.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

Fries, S., und H. Tschofenig. Bootstrapping Timed Efficient Stream Loss-Tolerant Authentication (TESLA). RFC Editor, März 2006. http://dx.doi.org/10.17487/rfc4442.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Die Auswahlen zum Thema "TIMOOD" für konkrete Quellenarten können Sie auch interessieren:
Zeitschriftenartikel Dissertationen Bücher
Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!

Zur Bibliographie