Log in

Relevant bibliographies by topics / Static and functional occlusion

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Static and functional occlusion'

Author: Grafiati

Published: 4 June 2021

Last updated: 17 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 'Static and functional occlusion.'

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 "Static and functional occlusion"

1

Al-Nimri, Kazem S., Anwar B. Bataineh, and Sawsan Abo-Farha. "Functional Occlusal Patterns and Their Relationship to Static Occlusion." Angle Orthodontist 80, no. 1 (January 2010): 65–71. http://dx.doi.org/10.2319/021209-98.1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Oltramari, Paula Vanessa Pedron, Ana Cláudia de Castro Ferreira Conti, Ricardo de Lima Navarro, Márcio Rodrigues de Almeida, Renata Rodrigues de Almeida-Pedrin, and Fernando Pedrin Carvalho Ferreira. "Importance of occlusion aspects in the completion of orthodontic treatment." Brazilian Dental Journal 18, no. 1 (2007): 78–82. http://dx.doi.org/10.1590/s0103-64402007000100017.

Full text

Abstract:

The purpose of this study was to address the therapeutic goals regarding the static and functional occlusion in the completion of orthodontic treatment. For such purpose, a study population comprising 20 female treated Class II malocclusion subjects with an initial mean age of 11 years underwent a two-phase treatment (orthopedics and orthodontics). The patients were diagnosed in centric relation and were treated according to the six keys for normal occlusion and functional occlusal parameters (centric relation, vertical dimension, lateral and anterior guidances, occlusal contacts and direction of forces applied on the teeth). After removal of fixed mechanics, retainers were installed and maintained for two years. Five years after orthodontic completion, the occlusal stability of the patients was evaluated regarding molar relationship and overjet, measured in dental casts. All subjects maintained the normal molar relationship and correct overjet achieved at the end of treatment, indicating a fair level of occlusal stability. The importance of the criteria of the ideal functional occlusion to ensure a better stability after completion orthodontic treatment will be discussed in detail in this paper. In addition, some clinical situations in which localized adjustments are indicated for occlusal refinement will be described.

APA, Harvard, Vancouver, ISO, and other styles

3

Thirumagal K, Revathi Duraisamy, and 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 (September 10, 2020): 186–91. http://dx.doi.org/10.26452/ijrps.v11ispl3.2911.

Full text

Abstract:

Group function occlusion, as well as Canine guided occlusion, are important in the field of . The study about the occlusion includes not only the static relationship of teeth, but it also includes the functional interrelationship and all the components of the system. The aim of the study is to compare group function occlusion and canine guided occlusion among partially patients. The study was conducted in the outpatient of Dental College and Hospital. The data was reviewed and from the total number of 86000 patients between June 2020. The data includes both group function occlusion and canine guided occlusion patients with a partially condition. Then the data was manually verified by 1-2 reviewers and finally tabulated, and SPSS imported and got the results. 522 Data was included in that males are 55.7% and females are 44% and 0.1% transgender. In that majority of them belong to the age group (31-40) yrs. The group function occlusion is 59.5%, and canine guided occlusion is 40.42%, This shows that Male predominant is seen with group function occlusion. Overall, the results showed that in partially conditions, the canine guided occlusion is more prevalent in male gender when it is compared with group function occlusion.

APA, Harvard, Vancouver, ISO, and other styles

4

Lykhota, K. M. "EVALUATION OF THE DYNAMICS OF OCCLUSION RATIO DURING ORTHODONTIC TREATMENT OF PATIENTS WITH PERMANENT BITE." Ukrainian Dental Almanac, no. 4 (December 12, 2018): 50–54. http://dx.doi.org/10.31718/2409-0255.4.2018.09.

Full text

Abstract:

The unity of the tooth-jaw system is ensured by the close interaction of dental rows, jaws, chewing and facial muscles, temporomandibular joint. Surgical anomalies of bite are often accompanied by significant changes in occlusion ratio of the tooth-jaw system, which significantly affects the quality of life of patients [1, 2, 3]. Significant influence on occlusion ratio has orthodontic treatment. Introduction of high technologies into the practice of prevention and treatment of abnormalities of the zygomatic system contributes to the improvement of dental health, however, the problem of violation of occlusive ratio in dental anomalies and deformations persists in connection with the increase in the prevalence of bite pathology among the population of Ukraine [4, 5]. Investigation of violations of occlusion of dentitions is an integral part of the complex functional analysis of the dental maxillary apparatus. The most common clinical technique for the analysis of occlusive ratio is the technique of occlusion through articulation paper. However, this method does not meet current requirements, because it reflects neither such parameters as the strength and timeliness of tooth contacts, nor contains information about the nature of occlusive violations. Checking only the static parameters of occlusion is not a complete objective method of assessing the quality of treatment. With a sufficient number and correctly placed occlusal contacts, adequate interposition of the components of the temporomandibular joint, the formation of physiological occlusion will be the basis for the uniform distribution of functional loads. In order to solve the problems, a comprehensive study of the parameters of dynamic occlusion is necessary [6, 7]. Up to date, an objective criterion for evaluating occlusion is the use of computerized analysis of occlusion with the help of T-Scan. The results obtained during this study can be used to control the quality of performed orthodontic treatment [6, 7, 8, 9]. Purpose. Determination of the dynamics of occlusal ratio for 117 people of different age groups with sagittal malocclusions during orthodontic treatment generally and specific methods. Materials and methods of research. Occlusion contacts were assessed using a computerized occlusion analysis of T-Scan III (USA). Depending on the type of pathology of the occlusion, patients were divided into two groups: A (patients with distal occlusion) and B (patients with mesial occlusion), which depended on the method of orthodontic treatment, and were further divided into 2 subgroups. In the subgroups A1 (33 patients) and B1 (28 patients), the treatment was performed with the help of individual myofunctional apparatus - Elastoelainers, in group II patients of subgroup A2 (35 patients), and patients of subgroup B2 (21 patients) - treatment was carried out using fixed dentistry (bracket system). The control group consisted of 20 people of the same age with physiological bites and intact dentition. Results. Studies have shown that people with sagittal malocclusions expressed disturbances of occlusal ratio (presence premature occlusal contacts on the natural teeth, changes in the direction of the trajectory of the total vector occlusion load) experienced significant changes in the dynamics of the proposed orthodontic treatment, and closer to those of the control group immediately after treatment. Conclusions. The effectiveness of orthodontic treatment of patients with sagittal anomalies of occlusion with the help of individually myofunctional devices has been proved, which is confirmed by the data of the dynamics of indices of computer occlusion.

APA, Harvard, Vancouver, ISO, and other styles

5

Sullivan, T. Y., E. L. DeWeese, P. L. Yu, and G. R. Aronoff. "Lung mechanics and neuromuscular output during CO2 inhalation after airway anesthesia." Journal of Applied Physiology 63, no. 6 (December 1, 1987): 2542–48. http://dx.doi.org/10.1152/jappl.1987.63.6.2542.

Full text

Abstract:

Airway anesthesia with aerosolized lidocaine has been associated with an increase in minute ventilation (VE) during CO2 inhalation. The increase in VE may be due to increased neuromuscular output or decreased mechanical load on breathing. To evaluate this we measured VE, breathing pattern, mouth occlusion pressure, and lung mechanics in 20 normal subjects during room-air breathing and then inhalation of 6% CO2–94% O2, before and after airway anesthesia. Measurements of lung mechanics included whole-lung resistance, dynamic and static compliance, and functional residual capacity. Airway anesthesia had no detectable effect on any measurements during room-air breathing. During CO2 inhalation, airway anesthesia produced increases in VE and mean inspiratory flow rate (VT/TI) and more negative inspiratory pleural pressure but had no detectable effect on lung mechanics or mouth occlusion pressure. Pleural pressure was more negative during the latter 25% of inspiration. We concluded that airway receptors accessible to airway anesthesia play a role in determining neuromuscular output during CO2 inhalation.

APA, Harvard, Vancouver, ISO, and other styles

6

Stick, S., D. Turner, and P. LeSouef. "Transmission of pressure across the chest wall during the rapid thoracic compression technique in infants." Journal of Applied Physiology 76, no. 4 (April 1, 1994): 1411–16. http://dx.doi.org/10.1152/jappl.1994.76.4.1411.

Full text

Abstract:

During the rapid thoracic compression maneuver in infants, the transmission of pressure from compression jacket to pleural space and airway is less at functional residual capacity than at end inspiration. To examine whether reduced pressure transmission at functional residual capacity vs. higher lung volumes is explained by passive characteristics of the chest wall rather than by respiratory muscle activity, we assessed the pressure transmitted across the chest wall in nine anesthetized infants and young children after muscle relaxation. We measured esophageal and airway occlusion pressure during chest compressions at different lung volumes determined by varying distending pressure. In six subjects studied under static conditions, there was an approximately linear relationship between distending pressure and the proportion of pressure transmitted to the airway and esophagus from the compression jacket. The mean r2 value (95% confidence interval) was 0.80 (0.09) for pressure transmission to the airway and 0.85 (0.04) for pressure transmission to the esophagus. This relationship between lung volume and pressure transmission observed under static conditions was also demonstrated dynamically. Thus the reduced transmission of pressure from compression jacket to airway and pleural space at low lung volumes occurs independently of respiratory muscle activity.

APA, Harvard, Vancouver, ISO, and other styles

7

Button, David J., Paul M. Barrett, and Emily J. Rayfield. "Craniodental functional evolution in sauropodomorph dinosaurs." Paleobiology 43, no. 3 (May 22, 2017): 435–62. http://dx.doi.org/10.1017/pab.2017.4.

Full text

Abstract:

AbstractSauropodomorpha included the largest known terrestrial vertebrates and was the first dinosaur clade to achieve a global distribution. This success is associated with their early adoption of herbivory, and sauropod gigantism has been hypothesized to be a specialization for bulk feeding and obligate high-fiber herbivory. Here, we apply a combination of biomechanical character analysis and comparative phylogenetic methods with the aim of quantifying the evolutionary mechanics of the sauropodomorph feeding apparatus. We test for the role of convergence to common feeding function and divergence toward functional optima across sauropodomorph evolution, quantify the rate of evolution for functional characters, and test for coincident evolutionary rate shifts in craniodental functional characters and body mass. Results identify a functional shift toward increased cranial robustness, increased bite force, and the onset of static occlusion at the base of the Sauropoda, consistent with a shift toward bulk feeding. Trends toward similarity in functional characters are observed in Diplodocoidea and Titanosauriformes. However, diplodocids and titanosaurs retain significant craniodental functional differences, and evidence for convergent adoption of a common “adaptive zone” between them is weak. Modeling of craniodental character and body-mass evolution demonstrates that these functional shifts were not correlated with evolutionary rate shifts. Instead, a significant correlation between body mass and characters related to bite force and cranial robustness suggests a correlated-progression evolutionary mode, with positive-feedback loops between body mass and dietary specializations fueling sauropod gigantism.

APA, Harvard, Vancouver, ISO, and other styles

8

GAUCH, Lurdete Maria Rocha, Fabíola SILVEIRA-GOMES, Simone Soares PEDROSA, Renata Antunes ESTEVES, and 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, no. 5 (October 2014): 314–18. http://dx.doi.org/10.1590/rou.2014.050.

Full text

Abstract:

OBJECTIVE: The aim of this study was to evaluate the relationship among functional and qualitative factors in the development of denture stomatitis (DS) (according to Newton's classification) in acrylic-based denture wearers residents from northern Brazil.MATERIAL AND METHOD: A total of 99 patients who wore partial or total acrylic resin-based upper dentures were included in this study. The subjects completed an epidemiological data form that includes the patient's gender, age, local factors (hygiene habits, remove denture to sleep, use of mouthwash, present condition of the denture, age of the denture) and functional factors (vertical dimension at rest, vertical dimension of occlusion, occlusion, retention, and static and dynamic stability). To detect yeasts, samples were collected from the inner surface of the dentures and from the palatal mucosa in contact with it. Subsequently, the samples were cultured on Sabouraud dextrose agar, observing macro and microscopic characteristics.RESULT: In the present study, we did not find any significant relationship between the gender and disease onset. Based on the Newton classification, 36.3% of the patients presented with DS and 89.0% were colonized by yeasts; of these subjects, 50% had type I lesions, 33.3% had type II lesions, and 16.6% had type III lesions. All of the qualitative and local factors, except the use of mouthwash, were clinically relevant to the development of disease.CONCLUSION: Denture stomatitis in denture users in northern Brazil was multifactorial, involving local, functional and microbiological factors.

APA, Harvard, Vancouver, ISO, and other styles

9

Khan, Lubna, Hemant Kumar Halwai, Rajiv Yadav, and Ourvind Jeet Singh Birring. "Orthodontic Camouflage Treatment of Class II Malocclusion in Non-growing Patient - A Case Report." Orthodontic Journal of Nepal 5, no. 1 (February 7, 2015): 46–49. http://dx.doi.org/10.3126/ojn.v5i1.14501.

Full text

Abstract:

The prevalence of skeletal Class II malocclusion is high amongst Asian population. Various treatment modalities have been presented for the treatment of Class II malocclusions in adult patients. We come across many adult patients who desire a costeffective and non-surgical correction and they accept dental camouflage as a treatment option to mask skeletal discrepancy. This case report presents a 26-year-old non-growing female who had a skeletal Class II malocclusion with prognathic maxilla and retrognathic mandible with an overjet of 7 mm, severe crowding, but did not want surgical treatment. We considered the camouflage treatment by extracting upper first premolars. Following the treatment, a satisfactory result was achieved with an acceptable static and functional occlusion, facial profile, smile and lip competence with patient satisfaction.

APA, Harvard, Vancouver, ISO, and other styles

10

Alvarado Sánchez, Jorge Iván, William Fernando Amaya Zúñiga, and Manuel Ignacio Monge García. "Predictors to Intravenous Fluid Responsiveness." Journal of Intensive Care Medicine 33, no. 4 (May 16, 2017): 227–40. http://dx.doi.org/10.1177/0885066617709434.

Full text

Abstract:

Management with intravenous fluids can improve cardiac output in some surgical patients. Management with static preload indicators, such as central venous pressure and pulmonary artery occlusion pressure, has not demonstrated a suitable relationship with changes in the cardiac output induced by intravenous fluid therapy. Dynamic indicators, such as the variability of arterial pulse pressure or stroke volume variation, have demonstrated a suitable relationship. Since improvement in cardiac output does not guarantee an adequate perfusion pressure, in patients with hypotension, it is also necessary to know whether arterial pressure will also increase with intravenous fluid therapy. In this regard, the functional assessment of arterial load by dynamic arterial elastance could help to determine which patients will improve not only their cardiac output but also their mean arterial pressure.

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Static and functional occlusion"

1

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Mountjoy, Jon-Dean. "Static analysis of functional languages." Thesis, Rhodes University, 1994. http://hdl.handle.net/10962/d1006690.

Full text

Abstract:

Static analysis is the name given to a number of compile time analysis techniques used to automatically generate information which can lead to improvements in the execution performance of function languages. This thesis provides an introduction to these techniques and their implementation. The abstract interpretation framework is an example of a technique used to extract information from a program by providing the program with an alternate semantics and evaluating this program over a non-standard domain. The elements of this domain represent certain properties of interest. This framework is examined in detail, as well as various extensions and variants of it. The use of binary logical relations and program logics as alternative formulations of the framework , and partial equivalence relations as an extension to it, are also looked at. The projection analysis framework determines how much of a sub-expression can be evaluated by examining the context in which the expression is to be evaluated, and provides an elegant method for finding particular types of information from data structures. This is also examined. The most costly operation in implementing an analysis is the computation of fixed points. Methods developed to make this process more efficient are looked at. This leads to the final chapter which highlights the dependencies and relationships between the different frameworks and their mathematical disciplines.
KMBT_223

APA, Harvard, Vancouver, ISO, and other styles

3

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.

Full text

Abstract:

The most frequent clinical presentation of peripheral arterial occlusive disease (PAOD) is intermittent claudication, which may be caused by impaired vasodilation. Patients demonstrate both local and systemic impairments in vasodilation, but as the collateral circulation is the primary site of resistance to the ischemic zone, impaired collateral vasodilation would have the greatest potential to induce claudication. Collateral function following arterial occlusion is not well defined, but immature collaterals may demonstrate impaired vasodilation in animal models, although this is potentially improved with exercise training. Furthermore, as females exhibit poorer physical function with ischemia and less improvement with therapeutic exercise, there appears to be a sexually dimorphic response to PAOD, warranting a comparison in collateral vasodilation between sexes. In this study, the femoral artery was ligated to induce chronic ischemia in sedentary and exercise-trained mice, and at 7 or 28 days post-surgery, the diameter of the gracilis collateral arteriole was measured at rest and after gracilis muscle contraction using intravital microscopy. No major sex differences were observed in any group. At day 7, both the resting and dilated diameters were increased, while vascular reactivity was minimal. By day 28, resting diameter decreased while maximal diameter was unchanged, causing an increase in functional vasodilation. Exercise training also improved vasodilation by decreasing collateral resting diameter. These results are consistent with reported trends in endothelium-dependent and smooth muscle-dependent vasodilation, which are impaired in immature vessels and improved with maturation and exercise, but the significance of the observed variations in resting diameter remains unclear. Large resting diameters at day 7 could be due to a loss of sympathetic tone or the proliferative and non-contractile state of smooth muscle cells, while decreased resting diameters at day 28 could indicate that a smooth muscle contractile phenotype has been restored, or that the gracilis collateral is no longer the primary collateral. However, the further research is required to determine the functional relevance of collateral resting diameter and its importance in the ischemic limb circulation.

APA, Harvard, Vancouver, ISO, and other styles

4

Dodd, 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Urban, 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.

Full text

Abstract:

L’objectif général de cette thèse est le développement de méthodes mathématiques correctes et efficaces en pratique pour prouver automatiquement la correction de logiciels. Plus précisément, cette thèse est fondée sur la théorie de l’interprétation abstraite, un cadre mathématique puissant pour l’approximation du comportement des programmes. En particulier, cette thèse se concentre sur la preuve des propriétés de vivacité des programmes, qui représentent des conditions qui doivent être réalisés ultimement ou de manière répétée pendant l’exécution du programme. La terminaison des programmes est la propriété de vivacité la plus fréquemment considérée. Cette thèse conçoit des nouvelles approximations, afin de déduire automatiquement des conditions suffisantes pour la terminaison des programmes et synthétiser des fonctions de rang définies par morceaux, qui fournissent des bornes supérieures sur le temps d’attente avant la terminaison. Les approximations sont paramétriques dans le choix entre l’expressivité et le coût des approximations sous-jacentes, qui maintiennent des informations sur l’ensemble des valeurs possibles des variables du programme ainsi que les relations numériques possibles entre elles. Cette thèse développe également un cadre d’interprétation abstraite pour prouver des propriétés de vivacité, qui vient comme une généralisation du cadre proposé pour la terminaison. En particulier, le cadre est dédié à des propriétés de vivacité exprimées dans la logique temporelle, qui sont utilisées pour s’assurer qu’un événement souhaitable se produit une fois ou une infinité de fois au cours de l’exécution du programme. Comme pour la terminaison,des fonctions de rang définies par morceaux sont utilisées pour déduire des préconditions suffisantes pour ces propriétés, et fournir des bornes supérieures sur le temps d’attente avant un événement souhaitable. Les résultats présentés dans cette thèse ont été mis en œuvre dans un prototype d’analyseur. Les résultats expérimentaux montrent qu’il donne de bons résultats sur une grande variété de programmes, il est compétitif avec l’état de l’art, et il est capable d’analyser des programmes qui sont hors de la portée des méthodes existantes
The 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

APA, Harvard, Vancouver, ISO, and other styles

6

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Ly, 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.

Full text

Abstract:

Functional ankle instability (FAI) is characterized by the recurrent giving way of the ankle and the constant feeling of instability that affects the quality of life of its patients adversely. Kinesiology Tape (KT), differed from the traditional rigid athletic tape, becomes more popular as a new therapeutic tool for injuries management. It is reported to decrease pain, promote blood circulation and natural healing of muscular functioning. However, scientific evidence of KT’s effects on FAI remains very limited. Therefore, the purpose of the present study was to investigate if applying KT on the unstable ankle may improve static postural control in individuals with FAI. Twenty young adults with FAI performed a series of static quiet bipedal and unipedal stances on a force platform. Postural control was assessed by four measures derived from the centre of pressure (COP) data: 95% Confidence ellipse of total displacements (area), standard deviation of displacements (SD), mean velocity and mean power frequency (MPF). Measurements were taken at three different times: baseline or no tape, immediately after the application of KT on the unstable ankle, and 24 hours after the taping application with the tape remaining on the ankle. Results revealed only minor changes in mean velocity and MPF in unipedal stances immediately after KT application. However, the overall results indicated statistically insignificant improvements in postural control performance neither immediately after KT application nor after 24 hours. In conclusion, our results suggest that the use of KT did not affect bipedal and unipedal stances of individuals with functional ankle instability.

APA, Harvard, Vancouver, ISO, and other styles

8

Uneyama, 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Kim, 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Andreescu, 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.

Full text

Abstract:

Dans le domaine de la vérification formelle de logiciels, il est impératif d'identifier les limites au sein desquelles les éléments ou fonctions opèrent. Ces limites constituent les propriétés de frame (frame properties en anglais). Elles sont habituellement spécifiées manuellement par le programmeur et leur validité doit être vérifiée: il est nécessaire de prouver que les opérations du programme n'outrepassent pas les limites ainsi déclarées. Dans le contexte de la vérification formelle interactive de systèmes complexes, comme les systèmes d'exploitation, un effort considérable est investi dans la spécification et la preuve des propriétés de frame. Cependant, la plupart des opérations ont un effet très localisé et ne menacent donc qu'un nombre limité d'invariants. Étant donné que la spécification et la preuve de propriétés de frame est une tache fastidieuse, il est judicieux d'automatiser l'identification des invariants qui ne sont pas affectés par une opération donnée. Nous présentons dans cette thèse une solution inférant automatiquement leur préservation. Notre solution a pour but de réduire le nombre de preuves à la charge du programmeur. Elle est basée sur l'analyse statique, et ne nécessite aucune annotation de frame. Notre stratégie consiste à combiner une analyse de dépendances avec une analyse de corrélations. Nous avons conçu et implémenté ces deux analyses statiques pour un langage fonctionnel fortement typé qui manipule structures, variants et tableaux. Typiquement, une propriété fonctionnelle ne dépend que de quelques fragments de l'état du programme. L'analyse de dépendances détermine quelles parties de cet état influent sur le résultat de la propriété fonctionnelle. De même, une fonction ne modifiera que certaines parties de ses arguments, copiant le reste à l'identique. L'analyse de corrélations détecte quelles parties de l'entrée d'une fonction se retrouvent copiées directement (i.e. non modifiés) dans son résultat. Ces deux analyses calculent une approximation conservatrice. Grâce aux résultats de ces deux analyses statiques, un prouveur de théorèmes interactif peut inférer automatiquement la préservation des invariants qui portent sur la partie non affectée par l’opération concernée. Nous avons appliqué ces deux analyses statiques à la spécification fonctionnelle d'un micro-noyau, et obtenu des résultats non seulement d'une précision adéquate, mais qui montrent par ailleurs que notre approche peut passer à l'échelle
In 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

APA, Harvard, Vancouver, ISO, and other styles

More sources

Books on the topic "Static and functional occlusion"

1

Functional occlusion: From TMJ to smile design. St. Louis, Mo: Mosby, 2007.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Lang, Niklaus Peter. Wax-up for functional occlusion: According to the principles of freedom in centric. Chicago: Quintessence Pub. Co., 1989.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Dodd, Wayne. Instrumentation and functional analysis of the patient-adjusted static elbow splint. Ottawa: National Library of Canada, 1996.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Madassery, Sreekumar, and Bulent Arslan. Recanalization of Chronic Central Venous Occlusions: Techniques to Cross Difficult Venous Occlusions. Edited by S. Lowell Kahn, Bulent Arslan, and Abdulrahman Masrani. Oxford University Press, 2018. http://dx.doi.org/10.1093/med/9780199986071.003.0033.

Full text

Abstract:

With approximately 400,000 patients on hemodialysis in the United States alone, there are increasingly more patients who eventually develop central venous occlusions, mostly because of numerous central venous catheterizations and the placement of arteriovenous fistulas and grafts. With improving technical abilities to obtain central venous access for catheters and maintain fistula/graft patency, increasingly more patients present with signs of central venous stenosis/occlusion. For many, the underlying occlusion is chronic, with well-formed collateral vessels that have developed over time, thus allowing continued dialysis or asymptomatic function. However, for many patients there is a gradual progression of symptoms. This chapter discusses several techniques to cross chronic central venous occlusions.

APA, Harvard, Vancouver, ISO, and other styles

5

Klineberg, Iven, and Steven Eckert. Functional Occlusion in Restorative Dentistry and Prosthodontics. Mosby, 2015.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Dawson, Peter E. Functional Occlusion: From TMJ to Smile Design. Mosby, 2006.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Functional Occlusion in Restorative Dentistry and Prosthodontics. Elsevier, 2016. http://dx.doi.org/10.1016/c2012-0-07298-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Abramowicz, A. Elisabeth. Endovascular Thrombectomy in Acute Ischemic Stroke. Edited by David E. Traul and Irene P. Osborn. Oxford University Press, 2018. http://dx.doi.org/10.1093/med/9780190850036.003.0009.

Full text

Abstract:

Endovascular thrombectomy (EVT) for acute ischemic stroke is a new and powerful treatment modality that restores functional independence to many victims. Although it has been proved of value in large-vessel occlusion of the anterior circulation, it is also used in basilar artery embolism. Time to successful reperfusion is a major determinant of recovery. A subset of patients has robust collaterals and will benefit from treatment up to 24 hours after stroke onset; the presence of salvageable brain tissue (penumbra) must be ascertained by specialized imaging. The number of patients who can benefit from EVT is estimated at 100,000/year in the United States alone in more than 300 designated Thrombectomy-Capable Stroke Centers. EVT is a new anesthetic emergency. Anesthesiologists must be actively involved in creating protocol-driven care for acute ischemic stroke patients.

APA, Harvard, Vancouver, ISO, and other styles

9

Djeffal, Christian. Static and Evolutive Treaty Interpretation: A Functional Reconstruction. Cambridge University Press, 2018.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

Djeffal, Christian. Static and Evolutive Treaty Interpretation: A Functional Reconstruction. Cambridge University Press, 2015.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Book chapters on the topic "Static and functional occlusion"

1

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Correnson, Loïc, Etienne Duris, Didier Parigot, and 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Hanus, Michael, and 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Zartmann, 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Tofte, 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Faxé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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Albert, E., M. Alpuente, M. Falaschi, P. Julián, and 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Okuyama, Yuya, Takeshi Tsukada, and 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Ledesma-Garza, Ruslán, and 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Giesl, 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Static and functional occlusion"

1

Su, Hang, Jun Zhu, Yinpeng Dong, and 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.

Full text

Abstract:

Forecasting the future plausible paths of pedestrians in crowd scenes is of wide applications, but it still remains as a challenging task due to the complexities and uncertainties of crowd motions. To address these issues, we propose to explore the inherent crowd dynamics via a social-aware recurrent Gaussian process model, which facilitates the path prediction by taking advantages of the interplay between the rich prior knowledge and motion uncertainties. Specifically, we derive a social-aware LSTM to explore the crowd dynamic, resulting in a hidden feature embedding the rich prior in massive data. Afterwards, we integrate the descriptor into deep Gaussian processes with motion uncertainties appropriately harnessed. Crowd motion forecasting is implemented by regressing relative motion against the current positions, yielding the predicted paths based on a functional object associated with a distribution. Extensive experiments on public datasets demonstrate that our method obtains the state-of-the-art performance in both structured and unstructured scenes by exploring the complex and uncertain motion patterns, even if the occlusion is serious or the observed trajectories are noisy.

APA, Harvard, Vancouver, ISO, and other styles

2

Miller, Grant, Stefan Atev, and 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Shreve, Matthew, Edgar A. Bernal, Qun Li, and 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Uchiyama, T., M. Matsumoto, N. Narahara, H. Tanaka, N. Kobayashi, and 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.

Full text

Abstract:

Plasma levels of vWF:Ag and PA (both activity and antigen) present in the venous blood were studied in 114 patients with arterial thromboembolic disease and 30 age matched healthy individuals. In 29 cases of the patient group (patients) and 7 cases of the control group (controls), turnover of intravenously injected 1-125-fibrinogen was studied. Venous blood was obtained from the antecubital vein of subjects before and after 5 minutes0' of venous occlusion. vWF:Ag was determined by electroimmunodiffusion (Laurell0's method). PA activity was measured by the method of Campbell et al, and PA antigen was assayed by ELISA kit purchased from BioPool Co. And the following results were obtained : 1) Mean plasma level of vWF:Ag was significantly higher (p<0.001) and mean plasma level of PA activity was significantly lower (p<0.05) in patients than in controls both before and after the venous occlusion. 2) Mean plasma level of PA antigen was significantly higher (p<0.01) in patients (mean+SD; 4.05j±1.58 ng/ml) than in controls (2.95±1.11 ng/ml) before the venous occlusion. The mean specific acitivity of PA was significantly lower (p<0.01) in patients than in controls both before and after the venous occlusion. 3) Plasma half life (T/2) of fibrinogen was significantly shorter (p<0.001) and catabolic flux (J3X) of fibrinogen was significantly higher (p<0.001) in patients tahn in controls. 4) Significant relationship was observed between T/2 of fibrinogen and plasma levels of vWF:Ag before and after the venous occlusion, PA activities after the occlusion, and levels of PA antigen before the occlusion. 5) Significant relationship was also observed between J3X of fibrinogen and plasma levels of vWF:Ag before and after the verous occlusion, PA activities after the occlusion, and levels of PA antigen before the occlusion. These results suggests that the changes in endothelial cell function might be a common mechanism responsible for the abnormal findings in plasma levels of both vWF:Ag and PA and for the acceleration of fibrinogen metabolism.

APA, Harvard, Vancouver, ISO, and other styles

5

Lindstrom, 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Fischer, Jan, Holger Regenbrecht, and 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Holzer, M., and 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Chen, C. Q., Z. H. Mai, G. B. Ang, B. H. Liu, P. T. Ng, K. H. Yip, D. Khalid, and 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.

Full text

Abstract:

Abstract As the technology keeps scaling down and IC design becomes more and more complex, failure analysis becomes much more challenging, especially for static fault isolation. For semiconductor foundry FA, it will become even more challenging due to lack of enough information. Static fault isolation is the major global fault isolation methodology in foundry FA and it is difficult to access and trigger the failing signal detected by scan and BIST test, which is widely applied in modern IC design. Because, in most of the time, the normal two pin bias (Vdd and Vss) can only get the comparable IV result between bad unit and the reference unit for function related fail. There are two possibilities from reverse engineering perspective. Firstly, the defect location may not be accessed by the DC bias. Secondly, even if the defect can be accessed, but the defect induced current or voltage change is too small to be differentiated from the overall signal. So it will be concealed in the overall current. However, it is still possible for us to do global fault isolation for the second situation. In this paper, a unit with Iddoff failure was analyzed. Although, no significant IV difference was observed between failed and reference units, a distinct Photon Emission (EMMI) spot was successfully observed in the failed unit. Layout analysis and process analysis on this EMMI spot further confirmed the reality of the emission spot.

APA, Harvard, Vancouver, ISO, and other styles

9

Kaloper-Meršinjak, David, and 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Akhtar, 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.

Full text

Abstract:

New measures of Digital Thermal Monitoring (DTM), a low cost non-invasive tool to assess vascular health, are developed. Original measures of thermal vascular reactivity tend to be dependent upon the initial vascular state (such as temperature before occlusion). The objective of this study is to identify new measures that will provide a single independent predictor of vascular health. Full three dimensional simulations were carried out to simulate transient finger tip temperature response during brachial occlusion and reperfusion. These numerical results were validated with patient data and then used to simulate a variety of test cases and discern relationships between the thermal measure and the surge in flow rate (reactive hyperemia). Defining the zero-reactivity response as the response to a step change in flow rate from near zero back to the original steady state value before occlusion, a reference signal is constructed which accounts for the finger size, thermo-physical properties, external environment and the start temperature (initial vascular state). This reference is used to normalize the temperature reactivity, forming a new measure called adjusted temperature reactivity that is a function of reactive hyperemia only. It is independent of the initial vascular state and external environment, leading to a more robust and reliable measure of vascular health.

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Static and functional occlusion"

1

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, February 2019. http://dx.doi.org/10.7546/crabs.2019.02.16.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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!