Academic literature on the topic 'TIMOOD'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'TIMOOD.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "TIMOOD"
Roullet, Pascal, and Susan Sara. "Consolidation of Memory After its Reactivation: Involvement of ß Noradrenergic Receptors in the Late Phase." Neural Plasticity 6, no. 3 (1998): 63–68. http://dx.doi.org/10.1155/np.1998.63.
Full textGragnani, Andrea, Giulia Paradisi, and Francesco Mancini. "Un modello cognitivo del disturbo di panico e dell'agorafobia. Aspetti psicopatologici e trattamento." PSICOBIETTIVO, no. 3 (November 2011): 36–54. http://dx.doi.org/10.3280/psob2011-003003.
Full textKlimašauskienė, A., and R. Bunevičiūtė. "Miastenija ir Lambert-Eaton miasteninis sindromas, jų gydymo rekomendacijos ir ypatumai COVID-19 pandemijos metu." Neurologijos seminarai 24, no. 84 (July 1, 2020): 138–44. http://dx.doi.org/10.29014/ns.2020.20.
Full textAptel, Florent, Michel Cucherat, and Philippe Denis. "Efficacy and Tolerability of Prostaglandin-Timolol Fixed Combinations: A Meta-Analysis of Randomized Clinical Trials." European Journal of Ophthalmology 22, no. 1 (May 19, 2011): 5–18. http://dx.doi.org/10.5301/ejo.5000009.
Full textBabic, Nikola, Veljko Andreic, Aleksandar Miljkovic, Desanka Grkovic, and 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, no. 7-8 (2013): 441–46. http://dx.doi.org/10.2298/sarh1308441b.
Full textParameswaran, Rashmi, Satyanarayana V, and 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, no. 2 (June 15, 2021): 151–55. http://dx.doi.org/10.18231/j.ijpp.2021.024.
Full textBourne, Rupert Richard Alexander, Kai Kaarniranta, Katrin Lorenz, Carlo Enrico Traverso, Jouni Vuorinen, and 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, no. 4 (April 2019): e024129. http://dx.doi.org/10.1136/bmjopen-2018-024129.
Full textArrieta, Anita. "Tipología morfosintáctica del Timote." Revista de Filología y Lingüística de la Universidad de Costa Rica 19, no. 2 (August 30, 2015): 99. http://dx.doi.org/10.15517/rfl.v19i2.20221.
Full textIgarashi, Haruyoshi, Yasunaga Katsuta, Yoshiharu Nakazato, and 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, no. 2 (April 1991): 263–70. http://dx.doi.org/10.1177/026119299101900220.
Full textPratt, Nicole L., Emmae N. Ramsay, Lisa M. Kalisch Ellett, Tuan A. Nguyen, and 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.
Full textDissertations / Theses on the topic "TIMOOD"
Lekander, Kalle, and 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.
Full textExamensarbetet är utfört vid Institutionen för teknik och naturvetenskap (ITN) vid Tekniska fakulteten, Linköpings universitet
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.
Full textA 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.
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.
Full textComputer 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
Perucca, David. "Divided Timed and Continuous Timed Assessment Protocols and Academic Performance." Thesis, Walden University, 2013. http://pqdtopen.proquest.com/#viewpdf?dispub=3566589.
Full textChildren 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.
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.
Full textEmbedded 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.
Perucca, David. "Divided Timed and Continuous Timed Assessment Protocols and Academic Performance." ScholarWorks, 2011. https://scholarworks.waldenu.edu/dissertations/1067.
Full textPadmanabhan, 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.
Full textKolimon, 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.
Full textLópez, Cano Manuel. "Miastenia gravis y Timoma. Factores pronóstico." Doctoral thesis, Universitat Autònoma de Barcelona, 2002. http://hdl.handle.net/10803/4245.
Full textChao, 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.
Full textBooks on the topic "TIMOOD"
Henry Timrod: A biography. Madison: Fairleigh Dickinson University Press, 2004.
Find full textMaria, Boiardo Matteo. Timone. Reggio Emilia: Edizioni Diabasis, 1994.
Find full textShakespeare, William. Timone d'Atene. Milano: Rizzoli, 2002.
Find full textVasileiadēs, Nikos. Agēma timōn. Athēna: Nephelē, 1990.
Find full textMariantonietta, Acocella, Tissoni Benvenuti Antonia, and Boiardo, Matteo Maria, 1440 or 41-1494., eds. Timone ; Orphei tragoedia. Scandiano (Reggio Emilia): Centro studi Matteo Maria Boiardo, 2009.
Find full textTerzi, Lodovico. L' imperatore timido. Parma: U. Guanda, 1988.
Find full textDvopređene čarape Timoka. Knjaževac: Zavičajni muzej Knjaževac, 1985.
Find full textAston, Dianna Hutts. Il timido seme. Milino: Mottajunior, 2007.
Find full textRosa, Sonia. A lenda do Timbó. Rio de Janeiro: Pallas, 2007.
Find full textTimone, o, Il misantropo. New York: De Gruyter, 2011.
Find full textBook chapters on the topic "TIMOOD"
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.
Full textMehlhorn, 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.
Full textSoares, Anthony. "Timor." In The Political Economy of Divided Islands, 79–101. London: Palgrave Macmillan UK, 2013. http://dx.doi.org/10.1057/9781137023131_5.
Full textKingsbury, Damien. "Introduction." In East Timor, 1–5. New York: Palgrave Macmillan US, 2009. http://dx.doi.org/10.1057/9780230621718_1.
Full textKingsbury, Damien. "Epilogue." In East Timor, 213–18. New York: Palgrave Macmillan US, 2009. http://dx.doi.org/10.1057/9780230621718_10.
Full textKingsbury, Damien. "Conceptual Considerations." In East Timor, 7–23. New York: Palgrave Macmillan US, 2009. http://dx.doi.org/10.1057/9780230621718_2.
Full textKingsbury, Damien. "Distant and Regional Colonialism." In East Timor, 25–50. New York: Palgrave Macmillan US, 2009. http://dx.doi.org/10.1057/9780230621718_3.
Full textKingsbury, 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.
Full textKingsbury, 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.
Full textKingsbury, Damien. "Transition to Independence." In East Timor, 105–30. New York: Palgrave Macmillan US, 2009. http://dx.doi.org/10.1057/9780230621718_6.
Full textConference papers on the topic "TIMOOD"
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.
Full textCiobanu, Gabriel, Thai Son Hoang, and 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.
Full textZhou, Xiaoyan, Ulrich Zanke, Yixin Yan, and 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.
Full textWei, Kun, Jim Woodcock, and 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.
Full textMyers, Chris J., Wendy Belluomini, Kip Kallpack, Eric Peskin, and Hao Zheng. "Timed circuits." In the 2001 conference. New York, New York, USA: ACM Press, 2001. http://dx.doi.org/10.1145/370155.370379.
Full textLicoppe, Christian, and 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.
Full textOsaba, Eneko, Pedro López-Garcia, Antonio D. Masegosa, Enrique Onieva, Hugo Landaluce, and 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.
Full textTomanek, Katrin, and 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.
Full textPriesterjahn, Claudia, Christian Heinzemann, and 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.
Full textPastore, Fabrizio, Daniela Micucci, and 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.
Full textReports on the topic "TIMOOD"
Nerkar, Rajesh. Self-Timed DRAM Data Interface. Portland State University Library, January 2000. http://dx.doi.org/10.15760/etd.1442.
Full textCowan, Christopher. Drafting in Self-Timed Circuits. Portland State University Library, January 2000. http://dx.doi.org/10.15760/etd.6975.
Full textBhattacharyya, S. S., N. Bambha, M. Khandelia, and 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.
Full textNewman, Richard E., Vipan R. Nalla, and Ira S. Moskowitz. Covert Channels and Simple Timed Mix-Firewalls. Fort Belvoir, VA: Defense Technical Information Center, July 2004. http://dx.doi.org/10.21236/ada426203.
Full textGó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.
Full textSmith, Anthony L. Australia-Indonesia Relations: Getting Beyond East Timor. Fort Belvoir, VA: Defense Technical Information Center, October 2004. http://dx.doi.org/10.21236/ada627512.
Full textSundaram, Baskaran, Luke Wallace, and 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.
Full textBurns, Steven M., and Alain J. Martin. Synthesis of Self-Timed Circuits by Program Transformation. Fort Belvoir, VA: Defense Technical Information Center, January 2006. http://dx.doi.org/10.21236/ada443297.
Full textMartin, Alain J. A Synthesis Method for Self-Timed VLSI Circuits. Fort Belvoir, VA: Defense Technical Information Center, January 1987. http://dx.doi.org/10.21236/ada444293.
Full textFries, S., and H. Tschofenig. Bootstrapping Timed Efficient Stream Loss-Tolerant Authentication (TESLA). RFC Editor, March 2006. http://dx.doi.org/10.17487/rfc4442.
Full text