Relevant bibliographies by topics / SMTr

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'SMTr'

Author: Grafiati
Published: 4 June 2021
Last updated: 18 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'SMTr.'

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 "SMTr"

1

da Silva, Tânia Regina Marques, Juliana Ribeiro de Freitas, Queilan Chagas Silva, et al. "Virulent Mycobacterium fortuitum Restricts NO Production by a Gamma Interferon-Activated J774 Cell Line and Phagosome-Lysosome Fusion." Infection and Immunity 70, no. 10 (2002): 5628–34. http://dx.doi.org/10.1128/iai.70.10.5628-5634.2002.

Full text
Abstract:
ABSTRACT The virulence of different isolates of Mycobacterium has been associated with two morphologically distinguishable colonial variants: opaque (SmOp) and transparent (SmTr). In this report we used an in vitro assay to compare macrophage (Mφ) responses to SmOp and SmTr Mycobacterium fortuitum variants, taking advantage of the fact that these variants were derived from the same isolate. Cells preactivated or not with gamma interferon (IFN-γ) were infected with SmOp or SmTr M. fortuitum. We showed that SmOp and SmTr induced different levels of nitric oxide (NO) production by IFN-γ-stimulate
APA, Harvard, Vancouver, ISO, and other styles
2

Parent, Mélissandre, and Isabelle Blanchette. "La stimulation magnétique transcrânienne répétitive est-elle efficace pour traiter les troubles anxieux?" Neuropsychologie clinique et appliquée 1, Fall 2017 (2017): 56–73. http://dx.doi.org/10.46278/j.ncacn.20170813.

Full text
Abstract:
Un tiers des personnes souffrant d’un trouble anxieux ne répond pas aux traitements conventionnels. La stimulation magnétique transcrânienne répétitive (SMTr) pourrait être un traitement complémentaire ou alternatif pour tenter de soigner ces personnes. Dans cet article, nous décrivons l’état des connaissances actuelles dans ce domaine de recherche émergeant concernant l’efficacité du traitement de la SMTr pour traiter certains troubles anxieux (selon le DSM-IV-TR). Le trouble de stress post-traumatique, le trouble obsessionnel-compulsif et le trouble panique sont les troubles anxieux les plus
APA, Harvard, Vancouver, ISO, and other styles
3

Durand, F., C. Gaudeau-Bosma, V. Moulier, et al. "Effet de la stimulation magnétique transcrânienne répétitive (rTMS) sur une tâche de N-back avec leurre : étude randomisée en double insu." European Psychiatry 29, S3 (2014): 545. http://dx.doi.org/10.1016/j.eurpsy.2014.09.329.

Full text
Abstract:
ContexteLa stimulation magnétique transcrânienne répétitive (SMTr) appliquée sur le cortex préfrontal dorso-latéral (CPFDL) a prouvé son efficacité dans le traitement de la dépression résistante [1]. En plus d’une amélioration sur la symptomatologie, des études rapportent des effets positifs sur le fonctionnement cognitif [2], dont la mémoire de travail. Cependant, cet effet ne semble pas être retrouvé chez des sujets sains [3] lors d’une tâche de N-back sans leurre. L’objectif de notre étude est donc d’évaluer l’impact de la SMTr sur le CPFDL, région plus sensible à une tâche de N-back avec l
APA, Harvard, Vancouver, ISO, and other styles
4

Pal, Rajinder, Gulshan Mahajan, Virender Sardana, Bavita Asthir, and Bhagirath Singh Chauhan. "Performance of Dry-Seeded Rice Genotypes under Varied Soil Moisture Regimes and Foliar-Applied Hormones." Plants 9, no. 4 (2020): 539. http://dx.doi.org/10.3390/plants9040539.

Full text
Abstract:
Plant hormones influence various physiological processes during the growth and development of plants, but their critical roles in influencing yield and antioxidant activities in dry-seeded rice (DSR) have not been adequately explored. This study aims to analyze the performance and antioxidant activity of contrasting genotypes of DSR in response to soil moisture regimes and foliar-applied hormones. The study comprised sixteen treatments that were evaluated under field conditions as per split-plot design in three replications. Treatments comprised combinations of two soil moisture tension regime
APA, Harvard, Vancouver, ISO, and other styles
5

Young, Adam M. H., Mathew R. Guilfoyle, Helen Fernandes, Matthew R. Garnett, Shruti Agrawal, and Peter J. Hutchinson. "The application of adult traumatic brain injury models in a pediatric cohort." Journal of Neurosurgery: Pediatrics 18, no. 5 (2016): 558–64. http://dx.doi.org/10.3171/2016.5.peds15427.

Full text
Abstract:
OBJECTIVE There is increasing interest in the use of predictive models of outcome in adult head injury. Two international models have been identified to be reliable modalities for predicting outcome: the Corticosteroid Randomisation After Significant Head Injury (CRASH) model, and the International Mission on Prognosis and Analysis of randomized Controlled Trials in TBI (IMPACT) model. However, these models are designed only to identify outcomes in adult populations. METHODS A retrospective analysis was performed on pediatric patients with severe traumatic brain injury (TBI) admitted to the pe
APA, Harvard, Vancouver, ISO, and other styles
6

Carland, Francine, Shozo Fujioka, and Timothy Nelson. "The Sterol Methyltransferases SMT1, SMT2, and SMT3 Influence Arabidopsis Development through Nonbrassinosteroid Products." Plant Physiology 153, no. 2 (2010): 741–56. http://dx.doi.org/10.1104/pp.109.152587.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Pérocheau, Dominique, Françoise Laroche, and Serge Perrot. "Traitement de la douleur en rhumatologie : la stimulation magnétique transcrânienne répétitive (SMTr), une nouvelle approche en développement." Revue du Rhumatisme 80, no. 6 (2013): 559–63. http://dx.doi.org/10.1016/j.rhum.2013.04.006.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Hodaj, Hasan, Jean-Pierre Alibeu, Caroline Maindet Dominici, David Szekely, and Claude Jacquot. "Traitement des douleurs réfractaires de la face par la stimulation magnétique transcrânienne répétitive (SMTr) : étude ouverte sur une année." Douleurs : Evaluation - Diagnostic - Traitement 11, no. 6 (2010): 280–87. http://dx.doi.org/10.1016/j.douler.2010.09.001.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Eraiah, B. "Optical Properties of Erbium doped Molybdenum Tellurite Glasses." Mapana - Journal of Sciences 15, no. 1 (2016): 17–27. http://dx.doi.org/10.12723/mjs.36.2.

Full text
Abstract:
The glasses with the composition of xEr 2 O 3 -5AgCl- 15MoO 3 -(80-x) TeO 2 (x = 0, 0.5 and 1 mol%, named as SMT0, SMT1 and SMT2, respectively) were synthesized using conventional melt quenching method and their optical properties were investigated through UV-Visible spectrophotometer. Density and molar volume values of the glass samples were estimated, their values were found in the range from 5.52 to 5.64 g/cm 3 and 27.737 to 28.689 cm 3 , respectively. The UV absorption spectra were recorded at room temperature in the wavelength range 200-1100nm. From the absorption edge data, it is found t
APA, Harvard, Vancouver, ISO, and other styles
10

Hodaj, H., J. M. Pellat, D. Szekely, J. P. Alibeu, T. Bougerol, and C. Jacquot. "CC03 Utilisation de la stimulation magnétique transcranienne répétitive (SMTR) dans le traitement de la douleur neuropathique chronique résistante aux thérapeutiques conventionnelles." Douleurs : Evaluation - Diagnostic - Traitement 8 (October 2007): 62–63. http://dx.doi.org/10.1016/s1624-5687(07)73135-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "SMTr"

1

Mhalla, Alaa. "Evaluation des effets analgésiques et mécanismes d’action de la stimulation magnétique transcrânienne répétitive (rTMS)." Paris 6, 2012. http://www.theses.fr/2012PA066036.

Full text
Abstract:
La sitmulation magnétique transcrânienne répétitive (SMTr) est une technique de stimulation cérébrale non-invasive. Notre travail a porté sur les effets analgésiques de la SMTr. Nos travaux chez le volontaire sain, nous ont permis de montrer que les stimulations unilatérales du cortex moteur primaire ou du cortex préfrontal dorsolatéral induisaient des effets analgésiques diffus (réduction de l’intensité d’une douleur thermique). Ces effets n’étaient pas associés à des modifications du réflexe nociceptif RIII, suggérant qu’ils ne dépendent pas de l’activation des contôles descendants inhibiteu
APA, Harvard, Vancouver, ISO, and other styles
2

Gaudeau-Bosma, Christian. "Effets neurocognitifs de la stimulation magnétique transcrânienne pour le trouble obsessionnel compulsif : études expérimentales en IRMf et essai thérapeutique." Thesis, Paris 6, 2015. http://www.theses.fr/2015PA066544/document.

Full text
Abstract:
Les Troubles Obsessionnels Compulsifs (TOC) sont composés de compulsions, qui sont des comportements répétés, et d'obsessions, qui sont des pensées intrusives. Leurs impacts sur le fonctionnement socio-professionnel handicapent et isolent considérablement les patients. Les traitements efficaces pour ces patients sont médicamenteux ou les thérapies cognitives et comportementales. Néanmoins, un nombre élevé de patients ne voient pas leurs symptômes diminuer suffisamment avec l'un ou l'autre des traitements ou en les combinant. Il est donc nécessaire de développer des traitements intermédiaires a
APA, Harvard, Vancouver, ISO, and other styles
3

Hartemann, Jean-Marc. "Activité pédiatrique du SMUR polyvalent de CHG : bilan de 5 ans de SMUR de Vienne (Isère)." Lyon 1, 1991. http://www.theses.fr/1991LYO1M090.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

LAXENAIRE, GERARD. "Bilan d'activite d'un smur reunionnais : le smur du centre hospitalier general alfred isautier de 1982 a 1986." Aix-Marseille 2, 1988. http://www.theses.fr/1988AIX20276.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Svensén, Tobias. "Förpackning av smör : Från vardag till exklusivitet." Thesis, University of Kalmar, School of Communication and Design, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:hik:diva-1704.

Full text
Abstract:
<p><p>Målet med mitt examensarbete har varit att formge en smörförpackning åt Emåmejeriet, där huvudanvändarna är restaurangpersonal och restauranggäster, som jobbar respektive besöker de mest exklusiva krogarna i Sverige. Syftet med uppsatsen är att beskriva ett uppdrag som har genomförts i samarbete med Emåmejeriet samt att återge min designprocess och mina ställnings-taganden under denna process.</p><p>Observationer, användarstudier, intervjuer och studier av tidigare forskning inom produktdesign samt marknadsföring har legat till grund för detta arbete. Ingående litteraturstudier inom förp
APA, Harvard, Vancouver, ISO, and other styles
6

Rais, Ing-Marie. "S.O.S : Smör ost och sill eller hjälp." Thesis, Linnéuniversitetet, Institutionen för fysik och elektroteknik (IFE), 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-35472.

Full text
Abstract:
Essän består av berättelser och fakta som berör restaurangbranschens olika yrkeskategorier och deras arbete. Den beskriver yrkeskunnande, språket på restaurang samt värdet av manualer och riktlinjer. Språket som används på restaurang belyses även i en del av arbetet.
APA, Harvard, Vancouver, ISO, and other styles
7

Glands, Paul David. "Zinc sensing by the cyanobacterial SmtB protein." Thesis, University of Newcastle Upon Tyne, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.388662.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Chapman, Kaye E. "SmtB/ArsR proteins with unknown sensory motifs." Thesis, University of Newcastle Upon Tyne, 2007. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.442316.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Stanya, Kristopher J. "Phosphorylation-Dependent Regulation of the Corepressor SMRT." Case Western Reserve University School of Graduate Studies / OhioLINK, 2009. http://rave.ohiolink.edu/etdc/view?acc_num=case1220559727.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Kralertová, Jana. "Výstavní cyklus SMRT v objektech Národního muzea." Master's thesis, Vysoká škola ekonomická v Praze, 2015. http://www.nusl.cz/ntk/nusl-264346.

Full text
Abstract:
The thesis focuses on a field of museum marketing, particularly on a marketing mix issue. The marketing mix is described on an example of an exhibition cycle named DEATH which took place in five object of the National museum during a period from 18 June 2014 until 31 March 2016. The DEATH was the last from a row of exhibition cycles which prevailed during the closing of the Historical building for the reason of its complex reconstruction. A descriptive analysis of the marketing mix of the DEATH exhibition cycle is conducted in the thesis. Application of marketing tools is subsequently evaluate
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "SMTr"

1

Hasil Rapat Kerja Penyusunan Perangkat Lunak Penataran P 4 bagi Siswa SMTP/SMTA. Departemen Pendidikan dan Kebudayaan, Direktorat Jenderal Pendidikan Dasar dan Menengah, Tim Nasional Penataran P 4 bagi Siswa SMTP dan SMTA, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Indonesia. Direktorat Jenderal Pendidikan Dasar dan Menengah. Kurikulum/garis-garis besar program pengajaran pendidikan moral Pancasila SD, SMTP, SMTA, 1982. Direktorat Jenderal Pendidikan Dasar dan Menengah, Departemen Pendidikan dan Kebudayaan, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Euripidova smrt. "Filip Višnjiʹc", 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Šamforova smrt. Nar. knj., 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Merc, Dušan. Dantejeva smrt. Litera, 2007.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Georgievski, Hristo. Staklena smrt. Makedonska kniga, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Vučković, Radovan. Smrt, buđenje. Svet knjige, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Váhala, Rastislav. Smrt generála. Melantrich, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Drakul, Simon. Ili smrt. Goce Delčev, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Putnikova smrt. Fraktura, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "SMTr"

1

Rhodes, Brandon, and John Goerzen. "SMTP." In Foundations of Python Network Programming. Apress, 2014. http://dx.doi.org/10.1007/978-1-4302-5855-1_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Wang, Tanping, Christos D. Antonopoulos, and Dimitrios S. Nikolopoulos. "smt-SPRINTS: Software Precomputation with Intelligent Streaming for Resource-Constrained SMTs." In Euro-Par 2005 Parallel Processing. Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11549468_78.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Martin, Eric, Samuel Kaski, Fei Zheng, et al. "SMT." In Encyclopedia of Machine Learning. Springer US, 2011. http://dx.doi.org/10.1007/978-0-387-30164-8_763.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Rhodes, Brandon, and John Goerzen. "CHAPTER 14 SMTP." In Foundations of Python Network Programming. Apress, 2010. http://dx.doi.org/10.1007/978-1-4302-3004-5_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Brown, Don, Contributing Editor, James Bracken, Anthony Manna, John Brasch, and D. Brown. "SMT Growth." In The Electronics Assembly Handbook. Springer Berlin Heidelberg, 1988. http://dx.doi.org/10.1007/978-3-662-13161-9_23.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Markstein, Howard W. "SMT Advantages." In The Electronics Assembly Handbook. Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/978-3-662-13161-9_28.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Baier, Daniel, Dirk Beyer, and Karlheinz Friedberger. "JavaSMT 3: Interacting with SMT Solvers in Java." In Computer Aided Verification. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81688-9_9.

Full text
Abstract:
AbstractSatisfiability Modulo Theories (SMT) is an enabling technology with many applications, especially in computer-aided verification. Due to advances in research and strong demand for solvers, there are many SMT solvers available. Since different implementations have different strengths, it is often desirable to be able to substitute one solver by another. Unfortunately, the solvers have vastly different APIs and it is not easy to switch to a different solver (lock-in effect). To tackle this problem, we developed JavaSMT, which is a solver-independent framework that unifies the API for using a set of SMT solvers. This paper describes version 3 of JavaSMT, which now supports eight SMT solvers and offers a simpler build and update process. Our feature comparisons and experiments show that different SMT solvers significantly differ in terms of feature support and performance characteristics. A unifying Java API for SMT solvers is important to make the SMT technology accessible for software developers. Similar APIs exist for other programming languages.
APA, Harvard, Vancouver, ISO, and other styles
8

Shi, Xiaomu, Yu-Fu Fu, Jiaxiang Liu, Ming-Hsien Tsai, Bow-Yaw Wang, and Bo-Yin Yang. "CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver." In Computer Aided Verification. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81688-9_7.

Full text
Abstract:
AbstractWe present a certified SMT QF_BV solver CoqQFBV built from a verified bit blasting algorithm, Kissat, and the verified SAT certificate checker GratChk in this paper. Our verified bit blasting algorithm supports the full QF_BV logic of SMT-LIB; it is specified and formally verified in the proof assistant Coq . We compare CoqQFBV with CVC4, Bitwuzla, and Boolector on benchmarks from the QF_BV division of the single query track in the 2020 SMT Competition, and real-world cryptographic program verification problems. CoqQFBV surprisingly solves more program verification problems with certification than the 2020 SMT QF_BV division winner Bitwuzla without certification.
APA, Harvard, Vancouver, ISO, and other styles
9

Luhalima, Takalani Rhoda, and Shonisani Agnes Mulovhedzi. "The Role of School Management Teams in Managing Curriculum Delivery During and After COVID-19." In Advances in Educational Marketing, Administration, and Leadership. IGI Global, 2021. http://dx.doi.org/10.4018/978-1-7998-7168-2.ch002.

Full text
Abstract:
A curriculum is a guiding strength behind any educational system, and its successful implementation defines the actualization of every country's education goals. School management team (SMT) success depends on their readiness to be dynamic in changing times and serving their duties as curriculum leaders. The purpose of this chapter is to investigate the roles of SMTs in managing curriculum delivery during and after the COVID-19 pandemic. The desktop research method was used. The content of this chapter focuses on the management of teaching and learning during the COVID-19 crisis. To ensure the quality of education, schools should be actively involved in curriculum implementation. Various factors supporting school management teams and strategies used in effective management curriculum delivery are highlighted. In addition, the factors that act as barriers in managing curriculum delivery and conflict of interests will be discussed. Finally, the authors recommend that SMTs, teachers, students, and all stakeholders should embrace the transition of curriculum delivery.
APA, Harvard, Vancouver, ISO, and other styles
10

Mensah, Joseph Frank, Sakyiwaa Boateng, and Alex Boateng. "Reimagining the Role of School Management Teams in Curriculum Delivery in the COVID-19 Pandemic." In Advances in Educational Marketing, Administration, and Leadership. IGI Global, 2021. http://dx.doi.org/10.4018/978-1-7998-7168-2.ch012.

Full text
Abstract:
This chapter explored the role of SMT in curriculum delivery in the midst of the pandemic, the impact of the pandemic on curriculum delivery, and support systems most useful during the coronavirus outbreak. The objectives were examined under the lens of the transformational leadership theory. The study was positioned in the interpretivist paradigm and informed by an exploratory case study design. Fifteen SMT members from six schools were conveniently sampled and interviewed to understand their experiences, perceptions, and expectations of curriculum delivery during the pandemic. The findings largely showed good practices in curriculum management during the pandemic, knowledge of curriculum delivery roles, and expanded support structures. On the other hand, challenges, such as increased absenteeism and weak student accountability resulting from recurring community transmissions, were noted. This chapter, therefore, calls for enhancing the role of SMTs in schools to make them better prepared for and responsive to interconnected global challenges such as this pandemic.
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "SMTr"

1

Rieger, Ralf, Patrick Schuh, and Martin Oppermann. "SMTR® module - Evolution towards airborne applications." In 2014 International Radar Conference (Radar). IEEE, 2014. http://dx.doi.org/10.1109/radar.2014.7060400.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Cutting, Fred. "Dynamic and Thermal Elastic Problems for STM Flatpack Hardware." In ASME 2005 Pacific Rim Technical Conference and Exhibition on Integration and Packaging of MEMS, NEMS, and Electronic Systems collocated with the ASME 2005 Heat Transfer Summer Conference. ASMEDC, 2005. http://dx.doi.org/10.1115/ipack2005-73015.

Full text
Abstract:
A common problem with SMT flatpack components relates to the package resonant frequencies being within the dynamic range of the random vibration Power Spectral Density (PSD). The body of the package provides both the mass and the rotational inertia while the leads, as a group, provide the linear and torsional springs to create several mass-spring resonances with the associated natural frequencies. Please note that the quad SMTs have higher resonances because the leads at the “ends” provide sufficient stiffness to drive the rotational and linear modes above our PSD limiting frequency usually at
APA, Harvard, Vancouver, ISO, and other styles
3

Dutra, Rafael, Jonathan Bachrach, and Koushik Sen. "SMTS ampler." In ICCAD '18: IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN. ACM, 2018. http://dx.doi.org/10.1145/3240765.3240848.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Kgothule, Rantsie, June Palmer, Gregg Alexander, and Edwin De Klerk. "TRANSFORMATIVE LEADERSHIP IN MULTICULTURAL SCHOOLING CONTEXTS: A CRITICAL REFLECTION OF IN-SERVICE TEACHERS’ PRACTICES AND SCHOOL MANAGERS’ ROLES." In International Conference on Education and New Developments. inScience Press, 2021. http://dx.doi.org/10.36315/2021end131.

Full text
Abstract:
In exercising their power and authority, School Management Teams (SMTs) should engage in transformative leadership which commences with interrogations regarding social justice, democracy and social responsibility. According to Freire’s philosophy of education it is further expected of SMT members to support and shape the belief that autonomy is a condition arising from the responsible engagement with decision-making; that we are ‘unfinished’ in our development as human beings; and that we are responsible for the development of a critical consciousness as a necessary condition of freedom and th
APA, Harvard, Vancouver, ISO, and other styles
5

Kolb, Samuel, Stefano Teso, Andrea Passerini, and Luc De Raedt. "Learning SMT(LRA) Constraints using SMT Solvers." In Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}. International Joint Conferences on Artificial Intelligence Organization, 2018. http://dx.doi.org/10.24963/ijcai.2018/323.

Full text
Abstract:
We introduce the problem of learning SMT(LRA) constraints from data. SMT(LRA) extends propositional logic with (in)equalities between numerical variables. Many relevant formal verification problems can be cast as SMT(LRA) instances and SMT(LRA) has supported recent developments in optimization and counting for hybrid Boolean and numerical domains. We introduce SMT(LRA) learning, the task of learning SMT(LRA) formulas from examples of feasible and infeasible instances, and we contribute INCAL, an exact non-greedy algorithm for this setting. Our approach encodes the learning task itself as an SM
APA, Harvard, Vancouver, ISO, and other styles
6

Muftić, Edin. "„Smrt je kalež, a čovjek je kušač“: smrt u starijoj arapskoj poeziji." In Desničini susreti 2017. Filozofski fakultet u Zagrebu, FF Press, 2018. http://dx.doi.org/10.17234/desnicini_susreti2017.20.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Bang, Kap S., and Huizhu Lu. "SMR-tree." In the 1995 ACM symposium. ACM Press, 1995. http://dx.doi.org/10.1145/315891.315902.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Sheini, Hossein M., and Karem A. Sakallah. "SMT(CLU)." In the 2006 IEEE/ACM international conference. ACM Press, 2006. http://dx.doi.org/10.1145/1233501.1233680.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Stakenborghs, Robert, and Gregory Kramer. "A Combined Small Modular Reactor and Gas Turbine Cycle With Reheat." In 2018 26th International Conference on Nuclear Engineering. American Society of Mechanical Engineers, 2018. http://dx.doi.org/10.1115/icone26-81002.

Full text
Abstract:
A novel combined small modular reactor (SMR) and gas turbine cycle is presented. This SMR-GT cycle is modeled using fundamental thermodynamic relationships and compared to existing state-of-the-art power generation cycles. The SMR-GT cycle includes an 82 MWe SMR cycle that is combined with a 54 MWe gas turbine cycle. A heat exchanger is used to extract energy from the gas turbine exhaust to create superheated main steam and provide reheat downstream of the LP turbine. This results in a 32 MWe increase in the SMR cycle for total unit output of 136 MWe. Comparisons of thermal efficiency, heat ra
APA, Harvard, Vancouver, ISO, and other styles
10

Wang, Y., B. Jetter, M. C. Messner, and T. L. Sham. "Development of Simplified Model Test Methods for Creep-Fatigue Evaluation." In ASME 2019 Pressure Vessels & Piping Conference. American Society of Mechanical Engineers, 2019. http://dx.doi.org/10.1115/pvp2019-93648.

Full text
Abstract:
Abstract The Simplified Model Test (SMT) approach is an alternative creep-fatigue evaluation method that no longer requires the use of the damage interaction diagram, or D-diagram. The reason is that the combined effects of creep and fatigue are accounted for in the test data by means of a SMT specimen that is designed to replicate or bound the stress and strain redistribution that occurs in actual components when loaded in the creep regime. However, creep-fatigue experiments on SMT key feature articles are specialized and difficult to perform by the general research community. In this paper,
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "SMTr"

1

Hoffman, P. SMTP Service Extension for Secure SMTP over TLS. RFC Editor, 1999. http://dx.doi.org/10.17487/rfc2487.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Klensin, J., N. Freed, M. Rose, E. Stefferud, and D. Crocker. SMTP Service Extensions. RFC Editor, 1995. http://dx.doi.org/10.17487/rfc1869.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Rose, M., E. Stefferud, and D. Crocker. SMTP Service Extensions. Edited by N. Freed. Chair J. Klensin. RFC Editor, 1993. http://dx.doi.org/10.17487/rfc1425.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Klensin, J., N. Freed, M. Rose, E. Stefferud, and D. Crocker. SMTP Service Extensions. RFC Editor, 1994. http://dx.doi.org/10.17487/rfc1651.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Margolis, D., A. Brotman, B. Ramakrishnan, J. Jones, and M. Risher. SMTP TLS Reporting. RFC Editor, 2018. http://dx.doi.org/10.17487/rfc8460.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Hoffman, P. SMTP Service Extension for Secure SMTP over Transport Layer Security. RFC Editor, 2002. http://dx.doi.org/10.17487/rfc3207.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Durand, A., and F. Dupont. SMTP 521 Reply Code. RFC Editor, 1995. http://dx.doi.org/10.17487/rfc1846.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Ullmann, R. SMTP on X.25. RFC Editor, 1989. http://dx.doi.org/10.17487/rfc1090.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Partridge, C. Duplicate messages and SMTP. RFC Editor, 1988. http://dx.doi.org/10.17487/rfc1047.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Fenton, J. SMTP Require TLS Option. RFC Editor, 2019. http://dx.doi.org/10.17487/rfc8689.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'SMTr' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography