Miracle-dz/UniFAR-FTUs huggingface dataset:
Refinement in object-sensitivity points-to analysis via slicing

Object sensitivity analysis is a well-known form of context-sensitive points-to analysis. This analysis is parameterized by a bound on the names of symbolic objects associated with each allocation site. In this paper, we propose a novel approach based on object sensitivity analysis that takes as input a set of client queries, and tries to answer them using an initial round of inexpensive object sensitivity analysis that uses a low object-name length bound at all allocation sites. For the queries that are answered unsatisfactorily, the approach then pin points "bad" points-to facts, which are the ones that are responsible for the imprecision. It then employs a form of program slicing to identify allocation sites that are potentially causing these bad points-to facts to be generated. The approach then runs object sensitivity analysis once again, this time using longer names for just these allocation sites, with the objective of resolving the imprecision in this round. We describe our approach formally, prove its completeness, and describe a Datalog-based implementation of it on top of the Petablox framework. Our evaluation of our approach on a set of large Java benchmarks, using two separate clients, reveals that our approach is more precise than the baseline object sensitivity approach, by around 29% for one of the clients and by around 19% for the other client. Our approach is also more precise on most large benchmarks than a recently proposed approach that uses SAT solvers to identify allocation sites to refine.
Control of Communicable Diseases Manual

Sixteenth edition. Benenson AS, Chin J; eds. 577 pages. Washington, DC: American Public Health Assoc; 1995. $22.00. ISBN 0875532225. Order phone 202-789-5600. Field of medicine: Public health and infectious diseases. Format: Softcover book. Audience: Public health professionals involved in the control of communicable diseases, clinical practitioners, government officials, school authorities, and students. Purpose: To provide a concise and readily available source of current information on the control of communicable diseases. Content: This veritable encyclopedia of infectious diseases provides valuable information on communicable disease control practices. The author edited five previous versions of this classic manual, which covers 136 topics from AIDS to zygomycosis. The only illustrations are an occasional chart of recommended immunizations. The table of contents and the index facilitate use of the book as a pocket reference. Highlights: With this edition, the manual's title has been changed from Control of Communicable Diseases in Man, a change that removes the emphasis on man and provides greater emphasis on resistant organisms and emerging pathogens. The addition of coverage on rare and exotic conditions that threaten to become more prevalent is a direct result of increasing international travel. Limitations: Although its information on treatment of cases is far less complete than its information on community prevention strategies and methods, this outstanding and ever-improving work is still a must for public health and clinical practitioners. Context: Few books are as useful as this venerable classic, which brings together the information and methods necessary to control communicable diseases. Every 5 years, this manual is updated, expanded, peer-reviewed, and republished. It is also available on CD-ROM. Reviewer: Bernard J. Turnock, MD, MPH, University of Illinois at Chicago School of Public Health, Chicago, Illinois.
Continuous overexpression of thioredoxin 1 enhances cancer development and does not extend maximum lifespan in male C57BL/6 mice

ABSTRACT We examined the effects of continuous overexpression of thioredoxin (Trx) 1 on aging in Trx1 transgenic mice [Tg(TXN)+/0]. This study was conducted to test whether increased thioredoxin expression over the lifespan in mice would alter aging and age-related pathology because our previous study demonstrated that Tg(act-TXN)+/0 mice had no significant maximum life extension, possibly due to the use of actin as a promoter, which may have resulted in loss of Trx1 overexpression during aging. To test this hypothesis, we generated new Trx1 transgenic mice using a fragment of the human genome containing the TXN gene with an endogenous promoter to ensure continuous overexpression of Trx1 throughout the lifespan. Universal overexpression of Trx1 was observed, and Trx1 overexpression was maintained during aging (up to 22–24 months old) in the Tg(TXN)+/0 mice. The levels of Trx1 are significantly higher (approximately 4 to 31 fold) in all of the tissues examined in the Tg(TXN)+/0 mice compared to the wild-type (WT) littermates. The overexpression of Trx1 did not cause any changes in the levels of Trx2, glutaredoxin, glutathione, or other major antioxidant enzymes. The survival study demonstrated that male Tg(TXN)+/0 mice slightly extended the earlier part of the lifespan compared to WT littermates, but no significant life extension was observed over the lifespan. The cross-sectional pathological analysis (22–25 months old) showed that Tg(TXN)+/0 mice had a significantly higher severity of lymphoma and more tumor burden than WT mice, which was associated with the suppression of the apoptosis signal-regulating kinase 1 (ASK1) pathway. Our findings suggest that the increased levels of Trx1 over the lifespan in Tg(TXN)+/0 mice showed some beneficial effects (slight extension of lifespan) in the earlier part of life but had no significant effects on median or maximum lifespans, and increased Trx1 levels enhanced tumor development in old mice.
A room-temperature single-photon source based on strongly interacting Rydberg atoms

Single photons from inflated atoms Single-photon emitters are of interest for many applications, such as quantum sensing and quantum secure communication. Although efficient on-demand solid-state sources based on quantum dots, defect color centers in diamond, and single molecules are available, most of these systems require cryogenic temperatures for optimal performance. Ripka et al. used a cloud of warm excited rubidium atoms confined to a gas cell and exploited the exaggerated interaction of Rydberg states to generate single photons on demand. The results demonstrate the viability of atomic gases for application in the development of quantum technologies. Science, this issue p. 446 Single photons can be generated on demand from warm rubidium atoms in an atomic vapor cell. Tailored quantum states of light can be created via a transfer of collective quantum states of matter to light modes. Such collective quantum states emerge in interacting many-body systems if thermal fluctuations are overcome by sufficient interaction strengths. Therefore, ultracold temperatures or strong confinement are typically required. We show that the exaggerated interactions between Rydberg atoms allow for collective quantum states even above room temperature. The emerging Rydberg interactions lead both to suppression of multiple Rydberg state excitations and destructive interference due to polariton dephasing. We experimentally implemented a four-wave mixing scheme to demonstrate an on-demand single-photon source. The combination of glass cell technology, identical atoms, and operation around room temperature promises scalability and integrability. This approach has the potential for various applications in quantum information processing and communication.
Modèle neuronal tripartite pour la représentation de documents

De nombreux travaux en recherche d'information (RI) ont montre que l'utilisation des sources d'evidence provenant de ressources semantiques externes pourrait ameliorer la performance de l'appariement. Par ailleurs, les approches neuronales sont devenues des modeles de reference qui permettent de capturer a partir des corpus, la semantique latente des mots qui peut etre injectee dans les modeles RI. Ce papier presente un modele qui a pour but de reduire le fosse semantique en RI en combinant ces deux sources d'evidence. C'est un modele neuronal tripartite pour la representation semantique de documents qui exploite des connaissances expli-cites pour regulariser conjointement l'apprentissage de representations des mots, des concepts et des documents. Nous montrons l'efficacite de notre modele sur differentes tâches de RI.
A Measure of My Days: The Journal of a Country Doctor

Loxterkamp D. Hanover, NH: Univ Pr of New England: 1997.321 pages. ISBN 0874517990. $24.95. Order phone 800-421-1561. Field of medicine: Family medicine and primary care. Format: Hardcover book. Audience: Physicians, residents, and medical students interested in examining the life of a physician in a small town. The book is also directed toward readers interested in journaling as a means of spiritual insight and personal growth. Purpose: To give the reader access to the daily routine, the relationships, and the inner life of a vanishing species: the country physician. The reader follows the physician to the examination room, to meetings with colleagues and staff, and to the sanctum of home and family. The book is also a spiritual journey of a man in mid-life, coming to terms with his career, his community, his faith, and his changing role in the family. Content: The book chronicles a year in the life of a family physician practicing in a working-class community on the coast of Maine. It has a simple, elegant structure that consists of one chapter for each month, distilled from the author's journal. The reader is exposed to the day-to-day thoughts, feelings, and activities of an author who believes that God is in the details. Each season is introduced, and the book concludes with reflective essays, many of which pay tribute to mentors, forebears, and the fathers of family medicine. Highlights: The most impressive feature of the book is the author's ability to paint a detailed portrait of the life of a rural family physician while reflecting on the meaning and purpose of that life. Limitations: The book's only limitation is that it is too heavily laden with details of interest to the author and his colleagues, friends, and neighbors rather than to a wider audience. Context: This book is reminiscent of the clinical narratives of William Carlos Williams, who was immersed in his work and in the life of the working-class community in which he practiced. Many readers will be reminded of John McPhee's Heirs of General Practice, which also chronicles a year in the life of rural family physicians in the state of Maine. Like McPhee, Loxterkamp is careful to connect contemporary rural physicians to their generalist forebears and portrays the family physician as a quietly heroic pillar of the community. Others will compare this book with the this-worldly spiritual journals of such authors as Annie Dillard and Kathleen Norris. Reviewer: Warren L. Holleman, PhD, Baylor College of Medicine, Houston, Texas.
Is my fear of missing out (FOMO) causing fatigue? Advertising, social media fatigue, and the implications for consumers and brands

Purpose Social media usage has become ubiquitous in our society – consumers are spending upwards of 20 percent of their media time on social sites interacting with friends, family and brands (Adler, 2016) and all of this usage is driving fatigue. The purpose of this paper is to examine how advertising factors such as attitude and intrusiveness impact social media fatigue as well as two consumer behavior factors, fear of missing out (FOMO) and privacy. Design/methodology/approach A 190-item questionnaire was developed and administered to an opt-in subject pool recruited for web-based research (i.e. online panel). A representative sample of 750 US social media users was recruited for the survey of which 518 respondents were valid and usable. Findings Results indicate that FOMO has the greatest impact on social media fatigue, not advertising factors as predicted. In addition, privacy concerns continue to plague consumers and should be monitored by advertisers. Research limitations/implications With regard to limitation, the survey contained a variety of self-reported measures that can tend to be under-reported, especially when it comes to social media usage as evidenced in a recent study (Adler, 2016). Originality/value This research undertook an investigation of consumer perceptions of social media advertising and how those relate to social media fatigue and psychological factors such as privacy and FOMO. In looking at these constructs, a clearer picture of how consumer perceptions of advertising impact levels of social media fatigue has emerged. In addition, the results provide a better understanding of FOMO, a psychological factor that significantly contributes to social media fatigue.
MEDITATIONS

The first edition of the Meditations was published in Latin by Michael Soly of Paris “at the Sign of the Phoenix” in 1641 cum Privilegio et Approbatione Doctorum. The Royal “privilege” was indeed given, but the “approbation” seems to have been of a most indefinite kind. The reason of the book being published in France and not in Holland, where Descartes was living in a charming country house at Endegeest near Leiden, was apparently his fear that the Dutch ministers might in some way lay hold of it. His friend, Pere Mersenne, took charge of its publication in Paris and wrote to him about any difficulties that occurred in the course of its progress through the press. The second edition was however published at Amsterdam in 1642 by Louis Elzevir, and this edition was accompanied by the now completed “Objections and Replies. ”1 The edition from which the present translation is made is the second just mentioned, and is that adopted by MM. Adam and Tannery as the more correct, for reasons that they state in detail in the preface to their edition. The work was translated into French by the Duc de Luynes in 1642 and Descartes considered the translation so excellent that he had it published some years later. Clerselier, to complete matters, had the “Objections” also published in French with the “Replies,” and this, like the other, was subject to Descartes’ revision
Medical Marriage

Since she had always dreamt of making love on a beach and he was dreaming of furrowed fields they figured it was time And as soon as the youngest fell off to his nest below their bed and the events of the day had drifted to the corners of the room they took the deeply planted signs to be what they meant to be and embraced Later, after two more phone calls they marvelled at their jerry-built lives at the Rubegoldbergian blueprint they swore once again to revise and sang the praises of soundly sleeping children answering machines and other small gifts only God could have devised
Catégorisation libre d'extraits musicaux et analyse automatique

Cet article decrit le protocole experimental et les resultats obtenus lors d'une experience de categorisation. Cette experience s'inscrit dans le cadre de travaux de recherche sur la recommandation musicale personnalisee et basee sur le contenu. Durant cette experience, les volontaires ont du categoriser librement des extraits musicaux selectionnes selon des criteres musicologiques. Cette categorisation est analysee via un dendrogramme representant la « classification moyenne des participants ». Une analyse automatique des resultats menee a posteriori vise a identifier les parametres acoustiques determinants dans cette classification moyenne.
A Robust Power Allocation Scheme in Ad-Hoc Cognitive Radio Networks

We investigate the secondary users (SUs) power allocation in ad-hoc cognitive radio networks, considering an underlay paradigm where SUs can access the licensed spectrum owned by the primary users (PUs), if the total power to SUs and the interference power threshold from PUs and the signal-to-interference-noise-ratio (SINR) requirements of SUs are guaranteed. While prevalent works about distributed resources allocation algorithms are mainly focused on power allocation under the consideration of many practical limitations, which may not be the case in practice. We assume that SUs also are needed to satisfy heterogenous constraints with different positions by taking the fairness of SUs into account. Moreover, we develop a weighted robust distributed power allocation scheme to guarantees the fairness of SUs. Techniques from robust optimization theory are used to study an objective formulation with infinite numbers of constraints. The optimal solution is obtained by using Lagrange dual method, and the Lagrange multiplier is solved by the sub-gradient update algorithm. The feasibility and availability of our proposed power allocation scheme is confirmed by numerical results.
Genome-wide Identification, Classification, and Expression Analysis of the Receptor-Like Protein Family in Tomato

Receptor-like proteins (RLPs) are involved in plant development and disease resistance. Only some of the RLPs in tomato (Solanum lycopersicum L.) have been functionally characterized though 176 genes encoding RLPs, which have been identified in the tomato genome. To further understand the role of RLPs in tomato, we performed genome-guided classification and transcriptome analysis of these genes. Phylogenic comparisons revealed that the tomato RLP members could be divided into eight subgroups and that the genes evolved independently compared to similar genes in Arabidopsis. Based on location and physical clustering analyses, we conclude that tomato RLPs likely expanded primarily through tandem duplication events. According to tissue specific RNA-seq data, 71 RLPs were expressed in at least one of the following tissues: root, leaf, bud, flower, or fruit. Several genes had expression patterns that were tissue specific. In addition, tomato RLP expression profiles after infection with different pathogens showed distinguish gene regulations according to disease induction and resistance response as well as infection by bacteria and virus. Notably, Some RLPs were highly and/or unique expressed in susceptible tomato to pathogen, suggesting that the RLP could be involved in disease response, possibly as a host-susceptibility factor. Our study could provide an important clues for further investigations into the function of tomato RLPs involved in developmental and response to pathogens.
Interpretation of Evidence: The Key to Conveying Information to Court

Abstract The advent of new technologies such as DNA typing, the weight of scientific evidence in criminal trials of widespread publicity, and the proliferation of fictional and non-fictional works in popular media have contributed to making forensic science well known, although perhaps not as well understood, by the general public. One of the consequences of this popularisation of forensic science was a sharp change in the attitude of investigators, who increasingly tend to delegate to scientists the collection of information necessary to identify the perpetrator of the crime. However, the prominent focus on the search of biological traces or fingerprints, due to their high potential for the personal identification of the individuals present at the crime scene, somewhat fade the interest towards other kinds of evidence, such as trace evidence. This kind of evidence is in fact perceived by judges and lawyers as less informative, because they think that “all plastic items are the same”, i.e. that it is impossible to discriminate among mass produced items. The purpose of this paper is to stress that, with sound methods for interpreting evidence, it is possible to improve the communication between the scientist and the Court, and to show the real significance of the analytical results, in the context of the case. The analysis of the traces found on a knife used in a murder case were performed by optical microscopy, IR spectroscopy, and UV-visible spectroscopy. The interpretation of evidence was carried out according to a Bayesian approach. A description of the interpretation of evidence in a case in which fibres were the key evidence. It is shown that the key aspects for having a high value of the evidence are the circumstances of the case and the reconstruction of the events given by the prosecutor and by the defence, in addition of course to a sound analytical procedure. In other words, it is shown that in some cases the evidential value of fibres or other trace evidence can be very high, sometimes comparable to that of fingerprints or DNA: when properly interpreted, trace evidence can give key information for solving cases.
Therapy of Infectious Diseases

Baddour L and Gorbach SL, eds. 815 pages. Philadelphia: WB Saunders; 2003. $99.00. ISBN 072168145X. Order phone 800-545-2522. Field of medicine: Infectious diseases. Format: Hardcover book. Audience: Clinicians treating patients with infectious diseases, including infectious diseases fellows and faculty as well as laboratory staff who need to understand current infectious diseases therapeutics. Purpose: To provide information on current infectious diseases therapeutics, with attention to antibiotics introduced in recent years. The book also addresses increasing antibiotic resistance; provides busy clinicians with easy access to detailed treatment recommendations, key background information, and recent references; and covers updated recommendations on prevention. Content: This multiauthored volume contains 42 chapters in 13 sections plus a valuable chapter on antimicrobial pharmacokinetics and pharmacodynamics. The sections include treatment of infections of the head and neck, upper respiratory tract, lower respiratory tract, cardiovascular system, abdomen, central nervous system, and skin and supporting structures; treatment of toxin-mediated illness, selected tropical diseases, zoonoses, and other infections associated with outdoor exposure; fungal infections; and bioterrorism. Highlights: The target audience, the busy clinician, will appreciate many features, including the detailed discussions, which will be useful for both infectious diseases and non-infectious diseases clinicians; readily identifiable, explicit recommendations; a profusion of useful tables; and extensive reference lists. The page formatting promotes readability and easy identification of key information. Limitations: Although the book discusses therapy and prophylaxis of infectious complications of HIV, the discussion of antiretroviral therapy for HIV is limited. However, this is not a major drawback since information on HIV therapy is frequently updated and readily accessed on the Internet. Related reading: Gilbert and colleagues' The Sanford Guide to Antimicrobial Therapy: 2003, 33rd edition (Antimicrobial Therapy, 2003) is a widely used pocket-sized manual. The major texts include Mandel and colleagues' Principles and Practice of Infectious Diseases, 5th edition (Churchill Livingstone, 2000); Gorbach and colleagues' Infectious Diseases (Lippincott Williams & Wilkins [In press]); Armstrong and Davis's Infectious Diseases (Mosby, 1999); Yu and colleagues' Antimicrobial Therapy and Vaccines (Lippincott Williams & Wilkins, 1999); and Hoeprich's Infectious Diseases (Lippincott Williams & Wilkins, 1989). Reviewer: Elias Abrutyn, MD, Drexel University College of Medicine, Philadelphia, Pennsylvania.