Miracle-dz/UniFAR-FTUs huggingface dataset:
Treatment of Class II division 1 malocclusion using forsus fatigue-resistant device

Functional orthopedic appliances are mostly used to treat Class II malocclusion originated from mandibular retrusion. Removable or fixed functional appliances are available to advance the mandible. Fixed appliances can be treated in tandem with multibarcket therapy, thus making it a single-phase treatment. The major disadvantage of fixed functional appliances is proclination of lower anterior teeth. To reduce this proclination, miniplates or miniimplants are being used; negative torque is added to the lower incisors. Despite these additions, the proclination could not be eliminated but minimized. This case report documents the successful treatment of skeletal Class II in late stages of puberty using forsus fatigue resistance appliance with soldered hooks placed distal to the lower canines.
KIF15 Promotes Proliferation and Growth of Hepatocellular Carcinoma

Liver cancer is thought as the most common human malignancy worldwide, and hepatocellular carcinoma (HCC) accounts for nearly 90% liver cancer. Due to its poor early diagnosis and limited treatment, HCC has therefore become the most lethal malignant cancers in the world. Recently, molecular targeted therapies showed great promise in the treatment of HCC, and novel molecular therapeutic targets is urgently needed. KIF15 is a microtubule-dependent motor protein involved in multiple cell processes, such as cell division. Additionally, KIF15 has been reported to participate in the growth of various types of tumors; however, the relation between KIF15 and HCC is unclear. Herein, our study investigated the possible role of KIF15 on the progression of HCC and found that KIF15 has high expression in tumor samples from HCC patients. KIF15 could play a critical role in the regulation of cell proliferation of HCC, which was proved by in vitro and in vivo assays. In conclusion, this study confirmed that KIF15 could be a novel therapeutic target for the treatment of HCC.
Byzantine-resilient decentralized learning

OF THE DISSERTATION Byzantine-resilient Decentralized Learning By Zhixiong Yang Dissertation Director: Waheed U. Bajwa When datasets are distributed over a network and a central server is infeasible, machine learning has to be performed in a decentralized fashion. The dissertation introduces new methods that solve decentralized machine learning problems in the presence of Byzantine failures. Classic decentralized learning methods require nodes communicate with each other by communicating over the network. When a node engages in arbitrary or malicious behavior, it is termed as having Byzantine failure. Without any Byzantineresilient modification, classic learning methods cannot complete machine learning tasks as intended in the presence of Byzantine failure. Byzantine-resilient decentralized learning methods are discussed in this dissertation. Both theoretical guarantees and experiments are given to justify the usefulness of the methods under Byzantine settings.
Comparitive Study of Astigmatism before and After Pterygium Excision

Objective: To study the reversal of induced astigmatism by pterygium following its excision and conjunctival limbal autograft with no suture and no glue technique. Methods: 33 patients with nasal pterygium were included. All patients were examined and graded for the degree of pterygium, keratometry and visual acuity before and after the procedure. All patients underwent pterygium excision with conjunctival limbal autograft with no suture no glue technique by the same surgeon.Results :Amoung 33 patients ,16 patients with grade 1 and 17 with grade 2 were included.There was significant reduction of astigmatism post operatively in the form of reduction in the difference between K1 and K2 for Grade 1 (p= 0.001) and Grade 2 ptergia. (p< 0.001)The post operative difference of K1-K2 stabilizes at 1 month.Conclusion: There is significant improvement in post op visual acuity and induced astigmatism following pterygium excision .
Could hormonal remission in prolactinomas be achieved with surgery? Our experience

Objective. To determine the factors that lead to sustained hormonal remission in patients with pituitary adenomas. Material and methods. In this study, retrospective analysis of 33 patients with pituitary adenomas with no prior DA treatment was performed. Ten (30.3 %) patients experienced microprolactinomas, 19 (57.6 %) — macroprolactinomas, 4 (12.1 %) — giant prolactinomas. All patients underwent endoscopic endonasal transsphenoidal surgery. Plasma PRL levels were obtained before surgery, and then 1 day, 1 week, 1 month, 3 months later and every 6 th month after surgery. MRI monitoring was performed before surgery and then 3 and 12 months later, and then annually. Results . Average preoperative plasma PRL serum levels for all patients with no preoperative DA treatment were 530 ng/mL (ranging 65–1440 ng/mL). Cavernous sinus invasion (Knosp 3, Knosp 4) was observed in 16 (48.4 %) cases. Depending on cavernous sinus invasion, hormonal remission with no DA therapy after surgery was achieved in Knosp 0–2 — in 16 (94.1 %) cases, Knosp 3 — in 4 (44.4 %) cases. In cases of Knosp 4 biochemical remission was not achieved in all 7 (100 %) patients. Only with further DA therapy biochemical remission was achieved. The biochemical remission was achieved in 10 (100 %) cases of microadenomas, in 7 (58.3 %) cases of macroadenomas after surgery with no DA therapy. Remission of endocrine symptoms was achieved in 18 (81.8 %) cases with no DA therapy after surgery. The follow-up was up to 3 years. Conclusions . Biochemical remission could be surgically achieved in 100 % of cases with microprolactinomas. In cases of macroprolactinomas the adenoma size (up to 24 mm) has an important role in achieving biochemical remission. Cavernous sinus invasion (Knosp 0–2) is a prognostic factor. The ophthalmic disturbances regression in macro and giant pituitary adenomas was found to be achieved much faster in surgical management rather than using DA.
N O T I C E THIS DOCUMENT HAS BEEN REPRODUCED FROM MICROFICHE. ALTHOUGH IT IS RECOGNIZED THAT CERTAIN PORTIONS ARE ILLEGIBLE, IT IS BEING RELEASED IN THE INTEREST OF MAKING AVAILABLE AS MUCH

WAI tter-antimatter annihilation is an attractive energy source to consider 4 for the propulsion of future spacecraft. Annihilation produces considerably mart , ene o ryy per unitmask of propellent then any other known moreno of energy production. Aside from the problem of the production of antimatter in the amounts required, an antimatter annihilation rocket requires several systems and connponentN that are unique to Its nnture. Among those are an antimatter storage system, a means to extract the antimatter from storage, a system to traina;imrt Cho aintimntler Lo the rocket engine, and Lite engine whervin annihilation occurs and thrust is produced. Concepts upon W111 h Lite design of l' hese systems and component s might be based are presented and discussed. NG PAGE B LAND ^^,'U'1 , ! ^ fI w_;;}) »i^ING PAGE, BLANK NOT ! IT. ;^g{{^'). 2 r
Short communication VALIDATION OF THE NAME PARAPHLOMIS HISPIDA C.Y. WU (LAMIACEAE)

Not available. Keywords: Paraphlomis hispida; Lamiaceae; Nomenclature; Validation; China DOI: 10.3329/bjpt.v15i1. 930 Bangladesh J. Plant Taxon. 15(1): 73-74, 2008 (June)
Hypertension in Clinical Practice: Control Rate in Short Term and Associated Factors in the Cardiology Department of the University Hospital Gabriel Touré (UH-GT) in Bamako (Mali)

Introduction: Hypertension (HTN) is for many decades a worldwide major risk factor for cardiovascular disease.However, hypertension control rates are globally low in the world. Studies on observance have been published in Mali but there is to our knowledge no published data about HTN control rate. We therefore conducted this study to assess the control rate in short term after 3 months management and to look for factors associated with HTN control. Materials and Methods: This study designed as prospective was conducted in the cardiology department of the University Hospital Gabriel Toure (UH-GT) from March 24 to September 24, 2017. All outpatients aged 18 years and more who came for visit and with hypertension as diagnose were involved. All patients have consented to participate in the study. Sociodemographic and data on physical examination including measures for BP, height, weight, waist circumference (WC) and direct costs as reported by the patients were recorded. Patients were asked about medication discontinuation and if yes why and then they were informed about the need to take regularly medication. The concept of chronic disease was explained to them. A formulary served to collect data that were inserted into a Microsoft Access database and analyzed using SPSS version 18. After describing of sociodemographics and continuous variables, crosstabs and finally a logistic regression was performed to look for blood pressure control predictors. Results: There was no statistical difference in sociodemographics between older and newly diagnosed patients. At 3 months globally 40.90% (31.1 for old Patients and 09.8% for newPatients) of the sample were controlled (Figure 1). For old patients, hypertension control rate at inclusion was 12.78% and reached 49.44% at 3 months (Figure 2). After logistic regression only HTN duration was significant predictor with Odd-ratio of 0.365 [0.213 - 0.624] 95% CI and p-value patients as reference). During the study period therapeutic regimen remained unchanged in 73.1% (44.4 for old Patients and 28.7 for newPatients. Calcium channel blocker (CCB), diuretics (DIU) and ACE-inhibitors (ACE-I) were the most prescribed drugs without statistical difference between patients with and without blood pressure under control. Conclusion: Short term hypertension control rate is low and patient follow-up must incorporate information at each visit as well as information through others channels for preventing hypertension. The duration of hypertension was found to be predictor for hypertension control.
A NOTE ON UPPER OCEAN TEMPERATURE AND SALINITY AT THE ENTRANCE TO THE GULF OF CALIFORNIA IN AUGUST 1992

Fernandez-Barajas et al. (1994) reportan los resultados de mediciones hidrograficas realizadas en la entrada del Golfo de California en agosto de 1992. Durante ese crucero, el CTD se encontraba calibrado inadecuadamente, teniendo como resultado mediciones anomalas de altas temperaturas y bajas salinidades. Fernandez-Barajas et al. (1994) incorrectamente atribuyeron estas condiciones anomalas al fenomeno El Nino de 1991- 1993 y a la tormenta tropical Lester. Fernandez-Barajas et al. (1994) report results of hydrographic measurements at the entrance to the Gulf of California in August 1992. During this cruise, the CTD was improperly calibrated, and this resulted in anomalously high (low) near-surface temperatures (salinities) being reported. Fernandez-Barajas et al. (1994) incorrectly attribute these anomalous surface conditions to the 1991-1993 El Nino and tropical storm Lester.
Calibrated Vehicle Paint Signatures for Simulating Hyperspectral Imagery

We investigate a procedure for rapidly adding calibrated vehicle visible-near infrared (VNIR) paint signatures to an existing hyperspectral simulator - The Digital Imaging and Remote Sensing Image Generation (DIRSIG) model - to create more diversity in simulated urban scenes. The DIRSIG model can produce synthetic hyperspectral imagery with user-specified geometry, atmospheric conditions, and ground target spectra. To render an object pixel’s spectral signature, DIRSIG uses a large database of reflectance curves for the corresponding object material and a bidirectional reflectance model to introduce s due to orientation and surface structure. However, this database contains only a few spectral curves for vehicle paints and generates new paint signatures by combining these curves internally. In this paper we demonstrate a method to rapidly generate multiple paint spectra, flying a drone carrying a pushbroom hyperspectral camera to image a university parking lot. We then process the images to convert them from the digital count space to spectral reflectance without the need of calibration panels in the scene, and port the paint signatures into DIRSIG for successful integration into the newly rendered sets of synthetic VNIR hyperspectral scenes.
Sparse Bayesian mass-mapping with uncertainties: Full sky observations on the celestial sphere

To date weak gravitational lensing surveys have typically been restricted to small fields of view, such that the flat-sky approximation has been sufficiently satisfied. However, with Stage IV surveys (e.g. LSST and Euclid) imminent, extending mass-mapping techniques to the sphere is a fundamental necessity. As such, we extend the sparse hierarchical Bayesian mass-mapping formalism presented in previous work to the spherical sky. For the first time, this allows us to construct maximum a posteriori spherical weak lensing dark-matter mass-maps, with principled Bayesian uncertainties, without imposing or assuming Gaussianty. We solve the spherical mass-mapping inverse problem in the analysis setting adopting a sparsity promoting Laplace-type wavelet prior, though this theoretical framework supports all log-concave posteriors. Our spherical mass-mapping formalism facilitates principled statistical interpretation of reconstructions. We apply our framework to convergence reconstruction on high resolution N-body simulations with pseudo-Euclid masking, polluted with a variety of realistic noise levels, and show a significant increase in reconstruction fidelity compared to standard approaches. Furthermore, we perform the largest joint reconstruction to date of the majority of publicly available shear observational data sets (combining DESY1, KiDS450, and CFHTLens) and find that our formalism recovers a convergence map with significantly enhanced small-scale detail. Within our Bayesian framework we validate, in a statistically rigorous manner, the community’s intuition regarding the need to smooth spherical Kaiser-Squires estimates to provide physically meaningful convergence maps. Such approaches cannot reveal the small-scale physical structures that we recover within our framework.
Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)

Logic-based approaches to AI have the advantage that their behaviour can in principle be explained by providing their users with proofs for the derived consequences. However, if such proofs get very large, then it may be hard to understand a consequence even if the individual derivation steps are easy to comprehend. This motivates our interest in finding small proofs for Description Logic (DL) entailments. Instead of concentrating on a specific DL and proof calculus for this DL, we introduce a general framework in which proofs are represented as labeled, directed hypergraphs, where each hyperedge corresponds to a single sound derivation step. On the theoretical side, we investigate the complexity of deciding whether a certain consequence has a proof of size at most $n$ along the following orthogonal dimensions: (i) the underlying proof system is polynomial or exponential; (ii) proofs may or may not reuse already derived consequences; and (iii) the number $n$ is represented in unary or binary. We have determined the exact worst-case complexity of this decision problem for all but one of the possible combinations of these options. On the practical side, we have developed and implemented an approach for generating proofs for expressive DLs based on a non-standard reasoning task called forgetting. We have evaluated this approach on a set of realistic ontologies and compared the obtained proofs with proofs generated by the DL reasoner ELK, finding that forgetting-based proofs are often better w.r. t. different measures of proof complexity.
Outage Analysis for Intelligent Reflecting Surface Assisted Vehicular Communication Networks

Vehicular communication is an important application of the fifth generation of mobile communication systems (5G). Due to its low cost and energy efficiency, intelligent reflecting surface (IRS) has been envisioned as a promising technique that can enhance the coverage performance significantly by passive beamforming. In this paper, we analyze the outage probability performance in IRS-assisted vehicular communication networks. We derive the expression of outage probability by utilizing series expansion and central limit theorem. Numerical results show that the IRS can significantly reduce the outage probability for vehicles in its vicinity. The outage probability is closely related to the vehicle density and the number of IRS elements, and better performance is achieved with more reflecting elements.
Contention resolution without collision detection

This paper focuses on the contention resolution problem on a shared communication channel that does not support collision detection. A shared communication channel is a multiple access channel, which consists of a sequence of synchronized time slots. Players on the channel may attempt to broadcast a packet (message) in any time slot. A player's broadcast succeeds if no other player broadcasts during that slot. If two or more players broadcast in the same time slot, then the broadcasts collide and both broadcasts fail. The lack of collision detection means that a player monitoring the channel cannot differentiate between the case of two or more players broadcasting in the same slot (a collision) and zero players broadcasting. In the contention-resolution problem, players arrive on the channel over time, and each player has one packet to transmit. The goal is to coordinate the players so that each player is able to successfully transmit its packet within reasonable time. However, the players can only communicate via the shared channel by choosing to either broadcast or not. A contention-resolution protocol is measured in terms of its throughput (channel utilization). Previous work on contention resolution that achieved constant throughput assumed that either players could detect collisions, or the players' arrival pattern is generated by a memoryless (non-adversarial) process. The foundational question answered by this paper is whether collision detection is a luxury or necessity when the objective is to achieve constant throughput. We show that even without collision detection, one can solve contention resolution, achieving constant throughput, with high probability.
Mutant huntingtin reduces palmitoylation of GAD65 and impairs its vesicular trafficking

iii Acknowledgements I would like to express my sincere gratitude to Dr. Jianning Wei for her patience and efforts throughout the writing of this manuscript. I am indebted and thankful to my friends and family for standing by my side and supporting me during this endeavor. I am also grateful to the members of my committee Dr. Rui Tao and Dr. Keith Brew for their help and advice during this process. Huntington disease (HD) is caused by an expanded polyglutamine repeat in the huntingtin protein. In this study I focused on the effect of the mutant huntingin protein (mhtt) on the subcellular localization of glutamic acid decarboxylase (GAD), the enzyme responsible for synthesizing gama-aminobutyric acid (GABA). Subcellular distribution of GAD65 is significantly altered in two neuronal cell lines that express either the N-terminus or full length mhtt. GAD65 is predominantly associated with the Golgi membrane in cells expressing normal huntingtin (Htt). However, it diffuses in the cytosol of cells expressing mhtt. Palmitoylation of GAD65 is required for GAD65 trafficking and I demonstrated that palmitoylation of GAD65 is reduced in the HD model. v Overexpression of huntingtin-interacting protein 14 (HIP14), the enzyme that palmitoylates GAD65, rescues GAD65 palmitoylation and vesicle-associated trafficking. This data suggests that impairment of GAD65 palmitoylation by mhtt may alter its localization and lead to altered inhibitory neurotransmission in HD. vi Mutant huntingtin reduces palmitoylation of GAD65 and impairs its vesicular
Symmetric Bloch oscillations of matter waves

Cold atoms in an optical lattice provide an ideal platform for studying Bloch oscillations. Here, we extend Bloch oscillations to two superposed optical lattices that are accelerated away from one another, and for the first time show that these symmetric Bloch oscillations can split, reflect and recombine matter waves coherently. Using the momentum parity-symmetry of the Hamiltonian, we map out the energy band structure of the process and show that superpositions of momentum states are created by adiabatically following the ground state of the Hamiltonian. The relative phase and velocity of the two lattices completely determines the trajectories of different branches of the matter wave. Experimentally, we demonstrate symmetric Bloch oscillations using cold Cesium atoms where we form interferometers with up to $240\hbar k$ momentum splitting, one of the largest coherent momentum splittings achieved to date. This work has applications in macroscopic tests of quantum mechanics, measurements of fundamental constants, and searches for new physics.
Unsupervised Learning of Landmarks based on Inter-Intra Subject Consistencies

We present a novel unsupervised learning approach to image landmark discovery by incorporating the inter-subject landmark consistencies on facial images. This is achieved via an inter-subject mapping module that transforms original subject landmarks based on an auxiliary subject-related structure. To recover from the transformed images back to the original subject, the landmark detector is forced to learn spatial locations that contain the consistent semantic meanings both for the paired intra-subject images and between the paired inter-subject images. Our proposed method is extensively evaluated on two public facial image datasets (MAFL, AFLW) with various settings. Experimental results indicate that our method can extract the consistent landmarks for both datasets and achieve better performances compared to the previous state-of-the-art methods quantitatively and qualitatively.
The diffusive epidemic process on Barabasi–Albert networks

We present a modified diffusive epidemic process (DEP) that has a finite threshold on scale-free graphs, motivated by the COVID-19 pandemic. The DEP describes the epidemic spreading of a disease in a non-sedentary population, which can describe the spreading of a real disease. Our main modification is to use the Gillespie algorithm with a reaction time t max, exponentially distributed with mean inversely proportional to the node population in order to model the individuals’ interactions. Our simulation results of the modified model on Barabasi–Albert networks are compatible with a continuous absorbing-active phase transition when increasing the average concentration. The transition obeys the mean-field critical exponents β = 1, γ′ = 0 and ν ⊥ = 1/2. In addition, the system presents logarithmic corrections with pseudo-exponents β̂=γ̂′=−3/2 on the order parameter and its fluctuations, respectively. The most evident implication of our simulation results is if the individuals avoid social interactions in order to not spread a disease, this leads the system to have a finite threshold in scale-free graphs.