Miracle-dz/UniFAR-FTUs huggingface dataset:
Generalizations of Siegel's and Picard's theorems

We prove new theorems that are higher-dimensional generalizations of the classical theorems of Siegel on integral points on affine curves and of Picard on holomorphic maps from C to affine curves. These include results on integral points over varying number fields of bounded degree and results on Kobayashi hyperbolicity. We give a number of new conjectures describing, from our point of view, how we expect Siegel's and Picard's theorems to optimally generalize to higher dimensions. In this article we prove new theorems that are higher-dimensional generaliza tions of the classical theorems of Siegel on integral points on affine curves and of Picard on holomorphic maps from C to affine curves. In Section 2, we will give the statements of Siegel's and Picard's theorems, and we will recall how these two theorems from such seemingly different areas of mathematics are related. We will then proceed to give a number of new conjectures describing, from our point of view, how we expect Siegel's and Picard's theorems to optimally generalize to higher dimensions. These include conjectures on integral points over varying number fields of bounded degree and conjectures addressing hyperbolic questions. These conjectures appear to be fundamentally new. We will then summarize our progress on these conjectures. We have been able to get results in all dimensions, with best-possible results in many cases for surfaces.
Fine-grained evaluation on face detection in the wild

Current evaluation datasets for face detection, which is of great value in real-world applications, are still somewhat out-of-date. We propose a new face detection dataset MALF (short for Multi-Attribute Labelled Faces), which contains 5,250 images collected from the Internet and ~12,000 labelled faces. The MALF dataset highlights in two main features: 1) It is the largest dataset for evaluation of face detection in the wild, and the annotation of multiple facial attributes makes it possible for fine-grained performance analysis. 2) To reveal the `true' performances of algorithms in practice, MALF adopts an evaluation metric that puts stress on the recall rate at a relatively low false alarm rate. Besides providing a large dataset for face detection evaluation, this paper also collects more than 20 state-of-the-art algorithms, both from academia and industry, and conducts a fine-grained comparative evaluation of these algorithms, which can be considered as a summary of past advances made in face detection. The dataset and up-to-date results of the evaluation can be found at http: //www.cbsr. ia.ac. cn/faceevaluation/.
Modeling the Spread of Tuberculosis in Semiclosed Communities

We address the problem of long-term dynamics of tuberculosis (TB) and latent tuberculosis (LTB) in semiclosed communities. These communities are congregate settings with the potential for sustained daily contact for weeks, months, and even years between their members. Basic examples of these communities are prisons, but certain urban/rural communities, some schools, among others could possibly fit well into this definition. These communities present a sort of ideal conditions for TB spread. In order to describe key relevant dynamics of the disease in these communities, we consider a five compartments SEIR model with five possible routes toward TB infection: primary infection after a contact with infected and infectious individuals (fast TB), endogenous reactivation after a period of latency (slow TB), relapse by natural causes after a cure, exogenous reinfection of latently infected, and exogenous reinfection of recovered individuals. We discuss the possible existence of multiple endemic equilibrium states and the role that the two types of exogenous reinfections in the long-term dynamics of the disease could play.
Staging Puberty in Slipped Capital Femoral Epiphysis: Importance of the Triradiate Cartilage

In 83 children with slipped capital femoral epiphysis, puberty was staged at the time of diagnosis using bone age, closure of triradiate cartilage, Risser index, and the pubertal diagram of Dimeglio. In boys 95% and in girls 83% of slips occurred during the accelerating phase of puberty (stage 1 and 2), in which mainly the limbs grow. In boys (54%) and in girls (66%), most slips occurred in stage 1. The triradiate cartilage was still open at the time of diagnosis in 65% of boys and 64% of girls. Staging puberty is useful to differentiate the risk for slipped capital femoral epiphysis and to evaluate the risk for a contralateral slip. Closure of the triradiate cartilage is a simple measure to identify this risk. Once the triradiate cartilage is closed, there is a 4% chance of a contralateral slip.
The HV-tree

The huge amount of temporal data generated from many important applications call for a highly efficient and scalable version index. The TSB-tree has the potential of large scalability due to its unique feature of progressive migration of data to larger mediums. However, its traditional design optimized for two levels of the memory hierarchy (the main memory and the hard disk) undermines its potential for high efficiency in face of today's advances in hardware, especially CPU/cache speed and memory size. We propose a novel version index structure called the HV-tree. Different from all previous version index structures, the HV-tree has nodes of different sizes, each optimized for a level of the memory hierarchy. As data migrates to different levels of the memory hierarchy, the HV-tree will adjust the node size automatically to exploit the best performance of all levels of the memory hierarchy. Moreover, the HV-tree has a unique chain mechanism to maximally keep recent data in higher levels of the memory hierarchy. As a result, HV-tree is several times faster than the TSB-tree for point queries (query with single key and single time value), and up to 1000 times faster than the TSB-tree for key-range and time-range queries.
Maternal Vitamin C Deficiency during Pregnancy Persistently Impairs Hippocampal Neurogenesis in Offspring of Guinea Pigs

While having the highest vitamin C (VitC) concentrations in the body, specific functions of VitC in the brain have only recently been acknowledged. We have shown that postnatal VitC deficiency in guinea pigs causes impairment of hippocampal memory function and leads to 30% less neurons. This study investigates how prenatal VitC deficiency affects postnatal hippocampal development and if any such effect can be reversed by postnatal VitC repletion. Eighty pregnant Dunkin Hartley guinea pig dams were randomized into weight stratified groups receiving High (900 mg) or Low (100 mg) VitC per kg diet. Newborn pups (n = 157) were randomized into a total of four postnatal feeding regimens: High/High (Control); High/Low (Depleted), Low/Low (Deficient); and Low/High (Repleted). Proliferation and migration of newborn cells in the dentate gyrus was assessed by BrdU labeling and hippocampal volumes were determined by stereology. Prenatal VitC deficiency resulted in a significant reduction in postnatal hippocampal volume (P<0.001) which was not reversed by postnatal repletion. There was no difference in postnatal cellular proliferation and survival rates in the hippocampus between dietary groups, however, migration of newborn cells into the granular layer of the hippocampus dentate gyrus was significantly reduced in prenatally deficient animals (P<0.01). We conclude that a prenatal VitC deficiency in guinea pigs leads to persistent impairment of postnatal hippocampal development which is not alleviated by postnatal repletion. Our findings place attention on a yet unrecognized consequence of marginal VitC deficiency during pregnancy.
On the quality and complexity of pareto equilibria in the job scheduling game

In the well-known scheduling game, a set of jobs controlled by selfish players wishes each to minimize the load of the machine on which it is executed, while the social goal is to minimize the makespan, that is, the maximum load of any machine. We consider this problem on the three most common machines models, identical machines, uniformly related machines and unrelated machines, with respect to both weak and strict Pareto optimal Nash equilibria. These are kinds of equilibria which are stable not only in the sense that no player can improve its cost by changing its strategy unilaterally, but in addition, there is no alternative choice of strategies for the entire set of players where no player increases its cost, and at least one player reduces its cost (in the case of strict Pareto optimality), or where all players reduce their costs (in the case of weak Pareto optimality). We give a complete classification of the social quality of such solutions with respect to an optimal solution, that is, we find the Price of Anarchy of such schedules as a function of the number of machines, m. In addition, we give a full classification of the recognition complexity of such schedules.
The Effect of a Rapid Heating Rate, Mechanical Vibration and Surfactant Chemistry on the Structure–Property Relationships of Epoxy/Clay Nanocomposites

The role of processing conditions and intercalant chemistry in montmorillonite clays on the dispersion, morphology and mechanical properties of two epoxy/clay nanocomposite systems was investigated in this paper. This work highlights the importance of employing complementary techniques (X-ray diffraction, small angle X-ray scattering, optical microscopy and transmission electron microscopy) to correlate nanomorphology to macroscale properties. Materials were prepared using an out of autoclave manufacturing process equipped to generate rapid heating rates and mechanical vibration. The results suggested that the quaternary ammonium surfactant on C30B clay reacted with the epoxy during cure, while the primary ammonium surfactant (I.30E) catalysed the polymerisation reaction. These effects led to important differences in nanocomposite clay morphologies. The use of mechanical vibration at 4 Hz prior to matrix gelation was found to facilitate clay dispersion and to reduce the area fraction of I.30E clay agglomerates in addition to increasing flexural strength by over 40%.
Can antiretroviral therapy prevent HIV-associated cognitive disorders?

Purpose of review In general, the initiation of combination antiretroviral (cART) is associated with improvement in cognitive function. However, the impact of cART has on cognitive function in neurologically asymptomatic HIV-infected individuals initiating therapy at high CD4+ lymphocyte cell counts is unknown. Recent findings Cognitive function impairment remains prevalent despite effective cART. Several clinical risk factors for this condition have been described, including low nadir CD4+ lymphocyte cell count which may be associated with greater neuroinflammatory process, a potential pathogenic mechanism underlying this cognitive impairment. The earlier initiation of antiretroviral therapy could theoretically avoid this risk factor and limit the degree of neuroinflammation. On the converse, the earlier initiation of cART may be associated with the development of neuronal toxicities. Summary This review article highlights the recent literature and arguments for and against the earlier initiation of cART with regards to cognitive function.
An adaptive serial-parallel CAM architecture for low-power cache blocks

There is an on-going debate about which consumes less energy: a RAM-tagged associative cache with an intelligent order of accessing its tags and ways (e.g. way prediction), or a CAM-tagged high associativity cache. If a CAM search can consume less than twice the energy of reading a tag RAM, it would probably be the preferred option for low-power applications. Based on memory traces - which usually cause tag mismatch within the lower four bits - a new serial CAM organisation is proposed which consumes just 45% more than a single tag RAM read and is only 25% slower than the conventional, parallel CAM. Furthermore, it can optionally be operated as a parallel CAM, at no speed penalty, and still reduce energy consumption.
Polythiophene nanofibres for optoelectronic applications

This thesis reports on the fabrication and characterisation of self-assembled nanofibres of poly(3-hexylthiophene) (P3HT), and demonstrates how these nanofibres can be used in applications like thin-film transistors and solar cells. The first results chapter describes a preparation method of P3HT nanofibres in a solution of chlorobenzene by using di-tert butyl peroxide (DTBP) as an additive. This method allows the fabrication of films of P3HT with high molecular order and gives control over the film retention. The films are characterised using a range of experimental techniques, including optical absorption, X-ray diffraction and atomic force microscopy, which also allows to determine the dimensions of individual, separated nanofibres. A more detailed investigation into the temperature dependence of the photoluminescence (PL) of nanofibre films in comparison to P3HT thin-films is presented in the second results chapter. The line-shape of the measured PL of the nanofibres shows significant differences to the thin-film, which is most distinctive at a temperature of around 150K. At this temperature, the measurements show a change of the emission characteristics for the nanofibres which is absent in the thin-film. The cause for the observed transition can be related to the increased planarisation of the polymer backbone inside the nanofibres with increasing temperature. This gives rise to more dominant intrachain coupling for the fibres, in contrast to predominantly interchain coupling in P3HT thin-films. The third results chapter demonstrates the application of the nanofibre films in thin-film transistors and solar cells. It is shown how the high molecular order of the nanofibres in combination with the formation of fibre networks can be used to control the field-effect mobility of P3HT films. Solar cells are fabricated by successive deposition of a nanofibre film and an electron acceptor layer, resulting in power conversion efficiencies comparable to bulk heterojunction solar cells.
The Tools We Live By: A Description of Personal Support Media in Work Life ; CU-CS-981-04

This paper reports on results of an extensive, ethnographically-informed survey that queried workers in a high tech company about their uses of digital and nondigital media for managing appointments, reminders, todos, availability, and communications—activities that comprise what we call meta-work. From our approximately 1500 respondents, we found that workers spend the equivalent of one day per week working at home and a quarter of their time in meetings. They manage an array of devices each—laptops, PDAs, phones—in their daily work, many of which are personally owned. Workers also manage multiple complementary calendars to support both mobility and coordination while still depending on email for time and task management. Job function, mobility, and number of meetings affect use of tools to varying degrees. ACM Classification
Clipper: A Low-Latency Online Prediction Serving System

Machine learning is being deployed in a growing number of applications which demand real-time, accurate, and robust predictions under heavy query load. However, most machine learning frameworks and systems only address model training and not deployment. In this paper, we introduce Clipper, a general-purpose low-latency prediction serving system. Interposing between end-user applications and a wide range of machine learning frameworks, Clipper introduces a modular architecture to simplify model deployment across frameworks and applications. Furthermore, by introducing caching, batching, and adaptive model selection techniques, Clipper reduces prediction latency and improves prediction throughput, accuracy, and robustness without modifying the underlying machine learning frameworks. We evaluate Clipper on four common machine learning benchmark datasets and demonstrate its ability to meet the latency, accuracy, and throughput demands of online serving applications. Finally, we compare Clipper to the TensorFlow Serving system and demonstrate that we are able to achieve comparable throughput and latency while enabling model composition and online learning to improve accuracy and render more robust predictions.
cdc12p, a Protein Required for Cytokinesis in Fission Yeast, Is a Component of the Cell Division Ring and Interacts with Profilin

As in many other eukaryotic cells, cell division in fission yeast depends on the assembly of an actin ring that circumscribes the middle of the cell. Schizosaccharomyces pombe cdc12 is an essential gene necessary for actin ring assembly and septum formation. Here we show that cdc12p is a member of a family of proteins including Drosophila diaphanous, Saccharomyces cerevisiae BNI1, and S. pombe fus1, which are involved in cytokinesis or other actin-mediated processes. Using indirect immunofluorescence, we show that cdc12p is located in the cell division ring and not in other actin structures. When overexpressed, cdc12p is located at a medial spot in interphase that anticipates the future ring site. cdc12p localization is altered in actin ring mutants. cdc8 (tropomyosin homologue), cdc3 (profilin homologue), and cdc15 mutants exhibit no specific cdc12p staining during mitosis. cdc4 mutant cells exhibit a medial cortical cdc12p spot in place of a ring. mid1 mutant cells generally exhibit a cdc12p spot with a single cdc12p strand extending in a random direction. Based on these patterns, we present a model in which ring assembly originates from a single point on the cortex and in which a molecular pathway for the functions of cytokinesis proteins is suggested. Finally, we found that cdc12 and cdc3 mutants show a syntheticlethal genetic interaction, and a proline-rich domain of cdc12p binds directly to profilin cdc3p in vitro, suggesting that one function of cdc12p in ring assembly is to bind profilin.
Direct Error Rate Minimization of Hidden Markov Models

We explore discriminative training of HMM parameters that directly minimizes the expected error rate. In discriminative training one is interested in training a system to minimize a desired error function, like word error rate, phone error rate, or frame error rate. We review a recent method (McAllester, Hazan and Keshet, 2010), which introduces an analytic expression for the gradient of the expected error-rate. The analytic expression leads to a perceptron-like update rule, which is adapted here for training of HMMs in an online fashion. While the proposed method can work with any type of the error function used in speech recognition, we evaluated it on phoneme recognition of TIMIT, when the desired error function used for training was frame error rate. Except for the case of GMM with a single mixture per state, the proposed update rule provides lower error rates, both in terms of frame error rate and phone error rate, than other approaches, including MCE and large margin.
An algorithmic and a geometric characterization of Coarsening At Random

We show that the class of conditional distributions satisfying the coarsening at random (CAR) property for discrete data has a simple and robust algorithmic description based on randomized uniform multicovers: combinatorial objects generalizing the notion of partition of a set. However, the complexity of a given CAR mechanism can be large: the maximal "height" of the needed multicovers can be exponential in the number of points in the sample space. The results stem from a geometric interpretation of the set of CAR distributions as a convex polytope and a characterization of its extreme points. The hierarchy of CAR models defined in this way could be useful in parsimonious statistical modeling of CAR mechanisms, though the results also raise doubts in applied work as to the meaningfulness of the CAR assumption in its full generality.
Solvent Accessibility of Native and Hydrolyzed Human Complement Protein 3 Analyzed by Hydrogen/Deuterium Exchange and Mass Spectrometry 1

Complement protein C3 is a 187-kDa (1641-aa) protein that plays a key role in complement activation and immune responses. Its hydrolyzed form, C3(H2O), is responsible for the initiation of the activation of alternative complement pathway. Previous analyses using mAbs, anilinonaphthalenesulfonate dyes, and functional studies have suggested that C3 is conformationally different from C3(H2O). We have used amide hydrogen/deuterium exchange and MALDI-TOF mass spectrometry to identify and localize structural differences between native C3 and C3(H2O). Both proteins were incubated in D2O for varying amounts of time, digested with pepsin, and then subjected to mass-spectrometric analysis. Of 111 C3 peptides identified in the MALDI-TOF analysis, 31 had well-resolved isotopic mass envelopes in both C3 and C3(H2O) spectra. Following the conversion of native C3 to C3(H2O), 17 of these 31 peptides exhibited a change in deuterium incorporation, suggesting a conformational change in these regions. Among the identified peptides, hydrogen/deuterium exchange data were obtained for peptides 944–967, 1211–1228, 1211–1231, 1259–1270, 1259–1273, 1295–1318, and 1319–1330, which span the factor H binding site on C3d and factor I cleavage sites, and peptides 1034–1048, 1049–1058, 1069–1080, 1130–1143, 1130–1145, 1211–1228, 1211–1231, 1259–1270, and 1259–1273, spanning 30% of the C3d region of C3. Our results suggest that hydrolysis may produce a looser (more open) structure in the C3d region, in which some of the changes affect the conversion of helical segments into coil segments facilitating interactions with factors I and H. This study represents the first detailed study mapping the regions of C3 involved in conformational transition when hydrolyzed to C3(H2O).
The accuracy of International Classification of Diseases coding for dental problems not associated with trauma in a hospital emergency department.

OBJECTIVES Emergency department (ED) visits for nontraumatic dental conditions (NTDCs) may be a sign of unmet need for dental care. The objective of this study was to determine the accuracy of the International Classification of Diseases codes (ICD-10-CA) for ED visits for NTDC. METHODS ED visits in 2008-2099 at one hospital in Toronto were identified if the discharge diagnosis in the administrative database system was an ICD-10-CA code for a NTDC (K00-K14). A random sample of 100 visits was selected, and the medical records for these visits were reviewed by a dentist. The description of the clinical signs and symptoms were evaluated, and a diagnosis was assigned. This diagnosis was compared with the diagnosis assigned by the physician and the code assigned to the visit. RESULTS The 100 ED visits reviewed were associated with 16 different ICD-10-CA codes for NTDC. Only 2 percent of these visits were clearly caused by trauma. The code K0887 (toothache) was the most frequent diagnostic code (31 percent). We found 43.3 percent disagreement on the discharge diagnosis reported by the physician, and 58.0 percent disagreement on the code in the administrative database assigned by the abstractor, compared with what it was suggested by the dentist reviewing the chart. CONCLUSION There are substantial discrepancies between the ICD-10-CA diagnosis assigned in administrative databases and the diagnosis assigned by a dentist reviewing the chart retrospectively. However, ICD-10-CA codes can be used to accurately identify ED visits for NTDC.