Letteratura scientifica selezionata sul tema "Static and functional occlusion"
Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili
Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Static and functional occlusion".
Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.
Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.
Articoli di riviste sul tema "Static and functional occlusion"
Al-Nimri, Kazem S., Anwar B. Bataineh e Sawsan Abo-Farha. "Functional Occlusal Patterns and Their Relationship to Static Occlusion". Angle Orthodontist 80, n. 1 (gennaio 2010): 65–71. http://dx.doi.org/10.2319/021209-98.1.
Testo completoOltramari, Paula Vanessa Pedron, Ana Cláudia de Castro Ferreira Conti, Ricardo de Lima Navarro, Márcio Rodrigues de Almeida, Renata Rodrigues de Almeida-Pedrin e Fernando Pedrin Carvalho Ferreira. "Importance of occlusion aspects in the completion of orthodontic treatment". Brazilian Dental Journal 18, n. 1 (2007): 78–82. http://dx.doi.org/10.1590/s0103-64402007000100017.
Testo completoThirumagal K, Revathi Duraisamy e Ravindra Kumar Jain. "Comparison of group function occlusion and canine guided occlusion among partially edentulous patient – A retrospective study". International Journal of Research in Pharmaceutical Sciences 11, SPL3 (10 settembre 2020): 186–91. http://dx.doi.org/10.26452/ijrps.v11ispl3.2911.
Testo completoLykhota, K. M. "EVALUATION OF THE DYNAMICS OF OCCLUSION RATIO DURING ORTHODONTIC TREATMENT OF PATIENTS WITH PERMANENT BITE." Ukrainian Dental Almanac, n. 4 (12 dicembre 2018): 50–54. http://dx.doi.org/10.31718/2409-0255.4.2018.09.
Testo completoSullivan, T. Y., E. L. DeWeese, P. L. Yu e G. R. Aronoff. "Lung mechanics and neuromuscular output during CO2 inhalation after airway anesthesia". Journal of Applied Physiology 63, n. 6 (1 dicembre 1987): 2542–48. http://dx.doi.org/10.1152/jappl.1987.63.6.2542.
Testo completoStick, S., D. Turner e P. LeSouef. "Transmission of pressure across the chest wall during the rapid thoracic compression technique in infants". Journal of Applied Physiology 76, n. 4 (1 aprile 1994): 1411–16. http://dx.doi.org/10.1152/jappl.1994.76.4.1411.
Testo completoButton, David J., Paul M. Barrett e Emily J. Rayfield. "Craniodental functional evolution in sauropodomorph dinosaurs". Paleobiology 43, n. 3 (22 maggio 2017): 435–62. http://dx.doi.org/10.1017/pab.2017.4.
Testo completoGAUCH, Lurdete Maria Rocha, Fabíola SILVEIRA-GOMES, Simone Soares PEDROSA, Renata Antunes ESTEVES e Silvia Helena MARQUES-DA-SILVA. "Relationship among local and functional factors in the development of denture stomatitis in denture wearers in northern Brazil". Revista de Odontologia da UNESP 43, n. 5 (ottobre 2014): 314–18. http://dx.doi.org/10.1590/rou.2014.050.
Testo completoKhan, Lubna, Hemant Kumar Halwai, Rajiv Yadav e Ourvind Jeet Singh Birring. "Orthodontic Camouflage Treatment of Class II Malocclusion in Non-growing Patient - A Case Report". Orthodontic Journal of Nepal 5, n. 1 (7 febbraio 2015): 46–49. http://dx.doi.org/10.3126/ojn.v5i1.14501.
Testo completoAlvarado Sánchez, Jorge Iván, William Fernando Amaya Zúñiga e Manuel Ignacio Monge García. "Predictors to Intravenous Fluid Responsiveness". Journal of Intensive Care Medicine 33, n. 4 (16 maggio 2017): 227–40. http://dx.doi.org/10.1177/0885066617709434.
Testo completoTesi sul tema "Static and functional occlusion"
Hattingh, Johannes. "The stability of the curve of spee and the overbite after orthodontic treatment". Diss., Pretoria : [s.n.], 2003. http://upetd.up.ac.za/thesis/available/etd-10132003-123929.
Testo completoMountjoy, Jon-Dean. "Static analysis of functional languages". Thesis, Rhodes University, 1994. http://hdl.handle.net/10962/d1006690.
Testo completoKMBT_223
Chu, Megan Tze-Mei. "The Impacts of Arterial Occlusion, Sex, and Exercise on Arteriogenesis and Functional Vasodilation". DigitalCommons@CalPoly, 2016. https://digitalcommons.calpoly.edu/theses/1673.
Testo completoDodd, Wayne. "Instrumentation and functional analysis of the patient-adjusted static elbow splint". Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1996. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/MQ45447.pdf.
Testo completoUrban, Caterina. "Static analysis by abstract interpretation of functional temporal properties of programs". Thesis, Paris, Ecole normale supérieure, 2015. http://www.theses.fr/2015ENSU0017/document.
Testo completoThe overall aim of this thesis is the development of mathematically sound and practically efficient methods for automatically proving the correctness of computer software. More specifically, this thesis is grounded in the theory of abstract interpretation, a powerful mathematical framework for approximating the behavior of programs. In particular, this thesis focuses on provingprogram liveness properties, which represent requirements that must be eventually or repeatedly realized during program execution. Program termination is the most prominent liveness property. This thesis designs new program approximations, in order to automatically infer sufficient preconditions for program termination and synthesize so called piecewisedefined ranking functions, which provide upper bounds on the waiting time before termination. The approximations are parametric in the choice between the expressivity and the cost of the underlying approximations, which maintain information about the set of possible values of the program variables along with the possible numerical relationships between them. This thesis also contributes an abstract interpretation framework for proving liveness properties, which comes as a generalization of the framework proposedfor termination. In particular, the framework is dedicated to liveness properties expressed in temporal logic, which are used to ensure that some desirable event happens once or infinitely many times during program execution. As for program termination, piecewise-defined ranking functions are used to infer sufficient preconditions for these properties, and to provide upper boundson the waiting time before a desirable event. The results presented in this thesis have been implemented into a prototype analyzer. Experimental results show that it performs well on a wide variety of benchmarks, it is competitive with the state of the art, and is able to analyze programs that are out of the reach of existing methods
Iida, Yuto. "Morphological and Functional Retinal Vessel Changes in Branch Retinal Vein Occlusion: An Optical Coherence Tomography Angiography Study". Kyoto University, 2018. http://hdl.handle.net/2433/232104.
Testo completoLy, Kien Trung. "The Effects of Kinesiology Tape on Static Postural Control in Individuals with Functional Ankle Instability". Thesis, Université d'Ottawa / University of Ottawa, 2020. http://hdl.handle.net/10393/40930.
Testo completoUneyama, Takashi. "Static and dynamic density functional theory and simulations for micellar structures in block copolymer systems". 京都大学 (Kyoto University), 2008. http://hdl.handle.net/2433/136858.
Testo completoKim, Kang. "Static and dynamic properties of simple liquids and glasses : Molecular dynamics and density functional theory". 京都大学 (Kyoto University), 2003. http://hdl.handle.net/2433/148781.
Testo completoAndreescu, Oana Fabiana. "Static analysis of functional programs with an application to the frame problem in deductive verification". Thesis, Rennes 1, 2017. http://www.theses.fr/2017REN1S047/document.
Testo completoIn the field of software verification, the frame problem refers to establishing the boundaries within which program elements operate. It has notoriously tedious consequences on the specification of frame properties, which indicate the parts of the program state that an operation is allowed to modify, as well as on their verification, i.e. proving that operations modify only what is specified by their frame properties. In the context of interactive formal verification of complex systems, such as operating systems, much effort is spent addressing these consequences and proving the preservation of the systems' invariants. However, most operations have a localized effect on the system and impact only a limited number of invariants at the same time. In this thesis we address the issue of identifying those invariants that are unaffected by an operation and we present a solution for automatically inferring their preservation. Our solution is meant to ease the proof burden for the programmer. It is based on static analysis and does not require any additional frame annotations. Our strategy consists in combining a dependency analysis and a correlation analysis. We have designed and implemented both static analyses for a strongly-typed, functional language that handles structures, variants and arrays. The dependency analysis computes a conservative approximation of the input fragments on which functional properties and operations depend. The correlation analysis computes a safe approximation of the parts of an input state to a function that are copied to the output state. It summarizes not only what is modified but also how it is modified and to what extent. By employing these two static analyses and by subsequently reasoning based on their combined results, an interactive theorem prover can automate the discharching of proof obligations for unmodified parts of the state. We have applied both of our static analyses to a functional specification of a micro-kernel and the obtained results demonstrate both their precision and their scalability
Libri sul tema "Static and functional occlusion"
Functional occlusion: From TMJ to smile design. St. Louis, Mo: Mosby, 2007.
Cerca il testo completoLang, Niklaus Peter. Wax-up for functional occlusion: According to the principles of freedom in centric. Chicago: Quintessence Pub. Co., 1989.
Cerca il testo completoDodd, Wayne. Instrumentation and functional analysis of the patient-adjusted static elbow splint. Ottawa: National Library of Canada, 1996.
Cerca il testo completoMadassery, Sreekumar, e Bulent Arslan. Recanalization of Chronic Central Venous Occlusions: Techniques to Cross Difficult Venous Occlusions. A cura di S. Lowell Kahn, Bulent Arslan e Abdulrahman Masrani. Oxford University Press, 2018. http://dx.doi.org/10.1093/med/9780199986071.003.0033.
Testo completoKlineberg, Iven, e Steven Eckert. Functional Occlusion in Restorative Dentistry and Prosthodontics. Mosby, 2015.
Cerca il testo completoDawson, Peter E. Functional Occlusion: From TMJ to Smile Design. Mosby, 2006.
Cerca il testo completoFunctional Occlusion in Restorative Dentistry and Prosthodontics. Elsevier, 2016. http://dx.doi.org/10.1016/c2012-0-07298-5.
Testo completoAbramowicz, A. Elisabeth. Endovascular Thrombectomy in Acute Ischemic Stroke. A cura di David E. Traul e Irene P. Osborn. Oxford University Press, 2018. http://dx.doi.org/10.1093/med/9780190850036.003.0009.
Testo completoDjeffal, Christian. Static and Evolutive Treaty Interpretation: A Functional Reconstruction. Cambridge University Press, 2018.
Cerca il testo completoDjeffal, Christian. Static and Evolutive Treaty Interpretation: A Functional Reconstruction. Cambridge University Press, 2015.
Cerca il testo completoCapitoli di libri sul tema "Static and functional occlusion"
Khanna, Neeraj. "Functional Occlusion: Understanding and Thinking". In Functional Aesthetic Dentistry, 23–34. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-39115-7_2.
Testo completoCorrenson, Loïc, Etienne Duris, Didier Parigot e Gilles Roussel. "Attribute grammars and functional programming deforestation". In Static Analysis, 365. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/bfb0032755.
Testo completoHanus, Michael, e Frank Zartmann. "Mode analysis of functional logic programs". In Static Analysis, 26–42. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58485-4_31.
Testo completoZartmann, Frank. "Denotational abstract interpretation of functional logic programs". In Static Analysis, 141–56. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/bfb0032739.
Testo completoTofte, Mads. "Region inference for higher-order functional languages". In Static Analysis, 19–20. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60360-3_29.
Testo completoFaxén, Karl Filip. "Optimizing lazy functional programs using flow inference". In Static Analysis, 136–53. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60360-3_37.
Testo completoAlbert, E., M. Alpuente, M. Falaschi, P. Julián e G. Vidal. "Improving Control in Functional Logic Program Specialization". In Static Analysis, 262–77. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-49727-7_16.
Testo completoOkuyama, Yuya, Takeshi Tsukada e Naoki Kobayashi. "A Temporal Logic for Higher-Order Functional Programs". In Static Analysis, 437–58. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-32304-2_21.
Testo completoLedesma-Garza, Ruslán, e Andrey Rybalchenko. "Binary Reachability Analysis of Higher Order Functional Programs". In Static Analysis, 388–404. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-33125-1_26.
Testo completoGiesl, Jürgen. "Termination analysis for functional programs using term orderings". In Static Analysis, 154–71. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60360-3_38.
Testo completoAtti di convegni sul tema "Static and functional occlusion"
Su, Hang, Jun Zhu, Yinpeng Dong e Bo Zhang. "Forecast the Plausible Paths in Crowd Scenes". In Twenty-Sixth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/386.
Testo completoMiller, Grant, Stefan Atev e Nikolaos Papanikolopoulos. "Detecting static occlusion edges using foreground patterns". In 2009 17th Mediterranean Conference on Control and Automation (MED). IEEE, 2009. http://dx.doi.org/10.1109/med.2009.5164668.
Testo completoShreve, Matthew, Edgar A. Bernal, Qun Li e Robert P. Loce. "Static Occlusion Detection and Handling in Transportation Videos". In 2015 IEEE 18th International Conference on Intelligent Transportation Systems - (ITSC 2015). IEEE, 2015. http://dx.doi.org/10.1109/itsc.2015.110.
Testo completoUchiyama, T., M. Matsumoto, N. Narahara, H. Tanaka, N. Kobayashi e T. Maekawa. "EFFECT OF VENOUS STASIS ON THE RELEASE OF VON WILLEERAND FACTOR ANTIGEN (VWF:AG) AND PLASMINOGEN ACTIVATOR (PA) IN PATIENTS WITH THROMBOEMBOLISM". In XIth International Congress on Thrombosis and Haemostasis. Schattauer GmbH, 1987. http://dx.doi.org/10.1055/s-0038-1644432.
Testo completoLindstrom, Gary. "Static evaluation of functional programs". In the 1986 SIGPLAN symposium. New York, New York, USA: ACM Press, 1986. http://dx.doi.org/10.1145/12276.13331.
Testo completoFischer, Jan, Holger Regenbrecht e Gregory Baratoff. "Detecting dynamic occlusion in front of static backgrounds for AR scenes". In the workshop. New York, New York, USA: ACM Press, 2003. http://dx.doi.org/10.1145/769953.769971.
Testo completoHolzer, M., e M. Rupp. "Static code analysis of functional descriptions in SystemC". In Third IEEE International Workshop on Electronic Design, Test and Applications (DELTA'06). IEEE, 2006. http://dx.doi.org/10.1109/delta.2006.80.
Testo completoChen, C. Q., Z. H. Mai, G. B. Ang, B. H. Liu, P. T. Ng, K. H. Yip, D. Khalid e J. Lam. "Static Fault Isolation on the Functional Failure Analysis". In ISTFA 2014. ASM International, 2014. http://dx.doi.org/10.31399/asm.cp.istfa2014p0388.
Testo completoKaloper-Meršinjak, David, e Jeremy Yallop. "Generic partially-static data (extended abstract)". In ICFP'16: ACM SIGPLAN International Conference on Functional Programming. New York, NY, USA: ACM, 2016. http://dx.doi.org/10.1145/2976022.2976028.
Testo completoAkhtar, M. Wasy. "Advanced Thermal Measures of Vascular Reactivity". In ASME 2017 Heat Transfer Summer Conference. American Society of Mechanical Engineers, 2017. http://dx.doi.org/10.1115/ht2017-4887.
Testo completoRapporti di organizzazioni sul tema "Static and functional occlusion"
Dimova-Gabrovska, Mariana. Algorithm for Computerized Analysis of Static, Dynamic and Functional Occlusion in Patients with Bruxism and Bruxomania. "Prof. Marin Drinov" Publishing House of Bulgarian Academy of Sciences, febbraio 2019. http://dx.doi.org/10.7546/crabs.2019.02.16.
Testo completo