Results 1 to 10 of about 200,431 (192)
Mechanizing the metatheory of LF [PDF]
ACM Transactions on Computational Logic, 2008 LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as proofs of correctness of decision procedures for LF's judgments. Although detailed informal proofs of these properties have been published, they have not been formally verified
Christian Urban +2 more
openaire +5 more sources
Journal of Family Medicine and Primary Care, 2022 Background: Polycystic ovary syndrome (PCOS) patients shows common features like increased insulin resistance and adiposity, which have been known to correlate with sympathetic hyperactivity.
Ritu Tiwari +3 more
doaj +1 more source
Alternate Nostril Breathing at Different Rates and its Influence on Heart Rate Variability in Non Practitioners of Yoga [PDF]
Journal of Clinical and Diagnostic Research, 2016 Introduction: Heart rate variability is a measure of modulation in autonomic input to the heart and is one of the markers of autonomic functions. Though there are many studies on the long term influence of breathing on HRV (heart rate variability ...
Rajam Krishna Subramanian +2 more
doaj +1 more source
A Contrastive Study of English, Persian and Turkish: Cross Over Effects at LF [PDF]
Matn/Pizhūhī-i Adabī, 2002 LF as the grammatical locus of semantic interpretation in Minimalism implies that LF is the only level at which any structural condition can be checked. Accordingly, Cross Over Effects provides some evidence for the existence of LF.
ali miremadi, mahnaz saedi
doaj +1 more source
VDT visual fatigue monitoring based on feature extraction from unconstrained BCG
The Journal of Engineering, 2019 An unconstrained visual display terminal (VDT) visual fatigue monitoring method based on BCG is studied. A VDT visual fatigue test is designed and implemented in this study, also acceleration signals are obtained by using an acceleration sensor, which is
Yongxiang Jiang +5 more
doaj +1 more source
Česká Stomatologie a Praktické Zubní Lékařství, 2013 Introduction: A review of newer drugs for topical or systemic administration useful in contemporary dentistry in the therapy of diseases of periodontal tissue, oral mucous membrane, and salivary glands available in Czech Republic was given in this ...
R. Slezák +6 more
doaj +1 more source
Česká Stomatologie a Praktické Zubní Lékařství, 2016 Introduction, aim: Ozone has antimicrobial properties and wide range of effects on human body. That is why its usage in dentistry, e.g. in treatment of dry socket may be of great value.
J. Mazánek +6 more
doaj +1 more source
The Use of Imaging Methods in the Diagnosis of Bisphosphonate-related Osteonecrosis of the Jaw
Česká Stomatologie a Praktické Zubní Lékařství, 2012 Objectives: Osteonecrosis of the jaws is a rare side effect of bisphosphonate therapy, occurring especially in oncological patients but also in patients with metabolic bone diseases.
L. Hauer +4 more
doaj +1 more source
Parallelly occurring lesions on the surface of the tongue
Česká Stomatologie a Praktické Zubní Lékařství, 2017 Background: In this paper the authors describe parallelly occurring lesions on the surface of the tongue. Fissures at the surface of the tongue and lingua geographica also belong to this group.
M. Riznič +4 more
doaj +1 more source
Bone Piezosurgery in Oral and Maxillofacial Region
Česká Stomatologie a Praktické Zubní Lékařství, 2010 The review summarizes present knowledge and experience with bone piezosurgery, which represents a perspective soft tissue-friendly technique of bone surgery, which is based on ultrasound microvibrations.
G. Pavlíková +4 more
doaj +1 more source