Miracle-dz/UniFAR-FTUs huggingface dataset:
OWL query answering using machine learning

The formal semantics of the Web Ontology Language (OWL) enables automated reasoning over OWL knowledge bases, which in turn can be used for a variety of purposes including knowledge base development, querying and management. Automated reasoning is usually done by means of deductive (proof-theoretic) algorithms which are either provably sound and complete or employ approximate methods to trade some correctness for improved eﬃciency. As has been argued elsewhere, however, reasoning methods for the Semantic Web do not necessarily have to be based on deductive methods, and approximate reasoning using statistical or machine-learning approaches may bring improved speed while maintaining high precision and recall, and which furthermore may be more robust towards errors in the knowledge base and logical inconsistencies. In this thesis, we show that it is possible to learn a linear-time classiﬁer that closely approximates deductive OWL reasoning in some settings. In particular, we specify a method for extracting feature vectors from OWL ontologies that enables the ID3 and AdaBoost classiﬁers to approximate OWL query answering for single answer variable queries. Amongst other ontologies, we evaluate our approach using the LUBM benchmark and the DCC ontology (a large real-world dataset about traﬃc in Dublin) and show considerable improvement over previous eﬀorts.
Fraud Detection Model by Using Support Vector Machine Techniques

The purpose of this paper is to establish a fraud detection model and explores which of these two data mining methods is the best to detect companies with potential fraud problems. This study uses Support Vector Machine techniques and Logistic Regression to develop fraud detection models combined with five variables: all, filtered, financial, corporate governance, z-score. The results show that model with filtered variables is the most suitable one to detect financial statement fraud one year before the outburst of fraud event and support vector machine with all variables is the most suitable one to detect financial statement fraud two year advance to the outburst of fraud event. The evidence provided by this study minimizes the increasing risks faced by public investors, creditors or external auditors. These people desperately need an effective tool to analyze the disclosed information to make decision. The cost of fraud, both financially and to an organization’s reputation, can be reduced by detecting the fraud in advance. This paper assists management to access the organization’s fraud risk. Our results also offer policymakers with the ability to evaluate the policy implications of corporate governance mechanisms as well as to formulate future policies.
Putting metaclasses to work: a new dimension in object-oriented programming

(Chapters conclude with Exercises and a Summary.) Preface. Glossary of Symbols. 1. Introduction. A Fable. Dictionaries. Procedural Specifications. 2. The Elements of Reflective Class-based Models. The Set of Objects. A Class Is an Object. Structure of an Object. Methods. Inheritance. The Top of the Inheritance Hierarchy. An Initial Environment. Creating Objects. Drawing Class Structures. Metaobject Protocols. 3. Inheritance of Metaclass Constraints. Fundamental Guarantee of Object-Oriented Programming. Metaclass Incompatibility. Metaclass Constraints. Importance of Inheriting Metaclass Constraints. From the Programmer's Point of View. Epistemological Argument for Inheritance of Metaclass Constraints. On Metaclasses That Invoke Instance Methods. 4. Dynamic Aspects of Our Object Model. Method Invocation. Instance Variable Access. Instance Initialization. Conservative Merge. Method Resolution Order. Class Construction. Parent Method Call. Cooperative Override Methods. Serious Order Disagreements. A Simple Programming Model. Monotonicity of Implementation Chains. 5. DTS C++. C++ Basics. DTS C++ Basics. Graph Versus Tree Inheritance. Typechecking. 6. Our Metaobject Protocol. Interface to Our Metaobject Protocol. Object Creation. Retrieving the Class of an Object. Freeing Objects. Initializing Classes. Solving a Set of Metaclass Constraints. Defining Methods of a Class. Readying a Class. Example: a Metaclass for Managing the Extent of a Class. Invoking Methods from Interpreters. Instance Variable Access. Example: Creation Time Stamps. Redispatching a Method. 7. Cooperation among Metaclasses. Requirements for Cooperative Metaclasses. Metaclass for Cooperation. Notes on the Design of Cooperation. Conflicts and Library Design. A Discussion of Parameter Passing. A Metaclass for Redispatching All Methods. Example: A Simple Trace Facility. 8. Before/After Metaclasses. The Composition Problem. Design of the Before/After Metaclass. Discussion. Example: A Simple Metaclass for Thread Safety. 9. Proxies. The Purpose of Proxies. Design of a Proxy Metaclass. Properties of Proxies. Distributed Systems. Extent Managed Proxies. 10. Metaclasses for Frameworks. Invariant Checking. Single Instanced Property. The Abstract Property. The Final Property. Mixins. Preventing Parent Method Calls. 11. Release-to-Release Binary Compatibility. The Library Compatibility Problem. Defining Release-to-Release Binary Compatibility. Procedural Programming. Object-Oriented Programming. When Classes are First-Class Objects. A Comparison of Support in Several Object Models. Completeness of a Set of Transformations. 12. Conclusion. Contributions of This Book. Appendix A Advanced Linearization. A.1 Properties of Linearizations. A.2 The Limits of Linearization. Appendix B Handling Apply and Redispatch Stubs. B.1 Enhanced Control over Method Dispatch. B.2 Example of an Apply Stub. B.3 Example of a Redispatch Stub. Appendix C Rationale for Drawing Conventions. Appendix D Answers to Selected Exercises. Bibliography. Index.
A 2.4-GHz 6.4-mW Fractional-N Inductorless RF Synthesizer

A cascaded synthesizer architecture incorporates a digital delay-line-based filter and an analog noise trap to suppress the quantization noise of the <inline-formula> <tex-math notation="LaTeX">$\Sigma \Delta $ </tex-math></inline-formula> modulator. Operating with a reference frequency of 22.6 MHz, the synthesizer achieves a bandwidth of 10 MHz in the first loop and 12 MHz in the second, heavily suppressing the phase noise of its constituent ring oscillators. Realized in 45-nm digital CMOS technology, the synthesizer exhibits an in-band phase noise of −109 dBc/Hz and an integrated jitter of 1.68 ps<sub>rms</sub>.
Automated brightfield multiplex immunohistochemistry to quantify biomarkers related to immune senescence: Relationships with survival in non-small cell lung cancer patients.

e20500Background: Elderly patients have an eroded immune characterized by a progressive decline in immune surveillance that favors infection and cancer development. Tumor cells can escape immune surveillance by upregulating inhibitory immune checkpoint such as PD-L1. High expression of PD-L1 was reported in association with CD8+T-cell exhaustion and increased levels of CD33+ myeloid-derived suppressor cells. Although low CD4/CD8 ratio is associated with increased mortality, the status of the CD4+T-cells as a clinical marker of immunosenescence is less well characterized in the field of aging. The aim of this study was to determine the presence of immunosenescence biomarkers according to age in non-small cell lung cancer (NSCLC) patients and to evaluate them as predictive biomarkers of patients’ outcome. Methods: One hundred NSCLC patients, matched by age (50 patients < 70 years, 50 patients ≥70 years) were included. An automated 4-Plex optical IHC assay was developed on the Discovery ULTRA automated stain.
A grammar of Yakkha

This grammar provides the first comprehensive grammatical description of Yakkha, a Sino-Tibetan language of the Kiranti branch. Yakkha is spoken by about 14,000 speakers in eastern Nepal, in the Sankhuwa Sabha and Dhankuta districts. The grammar is based on original fieldwork in the Yakkha community. Its primary source of data is a corpus of 13,000 clauses from narratives and naturally-occurring social interaction which the author recorded and transcribed between 2009 and 2012. Corpus analyses were complemented by targeted elicitation. The grammar is written in a functional-typological framework. It focusses on morphosyntactic and semantic issues, as these present highly complex and comparatively under-researched fields in Kiranti languages. The sequence of the chapters follows the well-established order of phonological, morphological, syntactic and discourse-structural descriptions. These are supplemented by a historical and sociolinguistic introduction as well as an analysis of the complex kinship terminology. Topics such as verbal person marking, argument structure, transitivity, complex predication, grammatical relations, clause linkage, nominalization, and the topography-based orientation system have received in-depth treatment. Wherever possible, the structures found were explained in a historical-comparative perspective in order to shed more light on how their particular properties have emerged.
INTSMEL : un outil pour l'analyse des contours proéminents de F0

Nous avons defini dans cet article un outil de description phonologique (de surface) des proeminences melodiques des unites lexicales, ou melismes, et son application a l'analyse semantique et pragmatique de ces contours. Cet outil est adequat dans la mesure ou il simplifie la courbe melodique naturelle de F0, et la structure sur les plans quantitatif et qualificatif. Il rend l'analyse linguistique et pragmatique a la fois plus objective et surtout beaucoup plus rapide (integre sous Praat, la procedure calcule tous les coefficients prosodiques, la courbe MOMEL, le codage INTSMEL, avec une duree proche du temps reel pour 70s de parole). L'analyse phonologique doublee d'analyses semantique (champs lexicaux) et pragmatique, permet de caracteriser les objectifs du locuteur et ses valeurs. Une prochaine application de cet outil dans PFC concernera les contours melodiques propres aux communautes linguistiques du sud de la France.
An Alternative Approach of Initial Stability Analysis of Kirchhoff Plates by the Boundary Element Method

An initial stability of Kirchhoff plates is analysed in the paper. Proposed approach avoids Kirchhoff forces at the plate corner and equivalent shear forces at a plate boundary. Two unknown variables are considered at the boundary element node. The governing integral equations are derived using Betti theorem. The integral equations have the form of boundary and domain integral equations. The constant type of boundary element are used. The singular and non-singular formulation of the boundary-domain integral equations with one and two collocation points associated with a single boundary element located at a plate edge are presented. To establish a plate curvature by double differentiation of basic boundary-domain integral equation, a plate domain is divided into rectangular sub-domains associated with suitable collocation points. A plate curvature can also be establish by considering three collocation points located in close proximity to each other along line parallel to one of the two axes of global coordinate system and establishment of appropriate differential operators.
Advanced Distribution Network Modelling with Distributed Energy Resources

The addition of new distributed energy resources, such as electric vehicles, photovoltaics, and storage, to low voltage distribution networks means that these networks will undergo major changes in the future. Traditionally, distribution systems would have been a passive part of the wider power system, delivering electricity to the customer and not needing much control or management. However, the introduction of these new technologies may cause unforeseen issues for distribution networks, due to the fact that they were not considered when the networks were originally designed. This thesis examines different types of technologies that may begin to emerge on distribution systems, as well as the resulting challenges that they may impose. Three-phase models of distribution networks are developed and subsequently utilised as test cases. Various management strategies are devised for the purposes of controlling distributed resources from a distribution network perspective. The aim of the management strategies is to mitigate those issues that distributed resources may cause, while also keeping customers’ preferences in mind. A rolling optimisation formulation is proposed as an operational tool which can manage distributed resources, while also accounting for the uncertainties that these resources may present. Network sensitivities for a particular feeder are extracted from a three-phase load flow methodology and incorporated into an
Bayesian Model-based Personalized Recommendation Service

Personalized recommendation service as recommendation systems provides software tools and techniques supporting suggestions to a user. The suggestions provided are aimed at supporting their users in various decision making processes such as what items to buy, what music to listen, what profiles to browse, or what news to read. Eventually, personalization technology has the potential to optimize service for each user’s needs and behaviors. This service is to allow user to customize the service itself, and proactively tailor services based on information from past service historical data. After all, these approaches function best when user knows what they want and require, and when their behaviors and preferences remain consistent over context. In this paper, we present personalized recommendation service as a Bayesian Modeling on commerce market.
Analysis on Status of Clinical Guidelines and Evaluation on Evidence-Based Guidelines of Children in China

Objective To investigate and analyze the status of clinical guidelines of children in China,so as to regulate the development of children’s evidence-based clinical guidelines and provide recommendations for children’s clinical guidelines.Methods Names of guidelines,year and institution of publication,methodology of development and reference number were descriptively analyzed.Years of publication and diseases of guidelines were analyzed with statistifical graphs.AGREE instrument was used to evaluate the evidence-based guidelines of children.Results a) Of 91 clinical guidelines of children,62 were translations.Of 29 guidelines ourselves,nine were traditional Chinese medicine guidelines and five(17%) were evidence-based guidelines;b) Guideline on Rational Use of Antibiotics in Acute Respiratory Infec-tions(Probation),the rst guideline of children,was published in 1999.Guidelines of children was not published until 2005.Then,the number of guidelines was increasing each year and reached a peak in 2008.Of 13 guidelines in 2008,seven were traditional Chinese medicine guidelines.Guidelines on respiratory diseases were 14 ranked as the top;c) Guidelines on congenital deformity and chromosomal abnormalities,tumor,circulatory system disease,blood disease and western guideline on communicable disease were not formulated in China;and d) Average scores on six domain of five evidence-based guidelines were 84.4%,37.5%,74.3%,90.0%,22.2%,46.6%,respectively.Guide on Diagnosis and Treatment of Chil-dren Aged 0 to 5 with Acute Fever of Unknown Etiology was strongly recommended,Guide on Management of Children with Community-Acquired Pneumonia,Evidence-Based Guide on Diagnosis and Treatment of Children with Common Kidney Disease,Guide on Nutrition Support of Newborn,Guide on Diagnosis and Treatment of Children with Chronic Cough were recommended.Conclusion Clinical guidelines of children in China begin late,develop slowly and are lack of update.A standard on development of guidelines is needed.The government should increase the fund of development,implementation and promotion of guidelines.Recommendations for high-quality guidelines should be included in pro-cedure of medical quality assurance.Compliance of guidelines should be provided by organization which formulatesd the guideline,so as to promote the application of high-quality guidelines.
SEMANTIC IMAGE RETRIEVAL USING RELEVANCE FEEDBACK

This paper presents optimized interactive content-based image retrieval framework based on AdaBoost learning method. As we know relevance feedback (RF) is online process, so we have optimized the learning process by considering the most positive image selection on each feedback iteration. To learn the system we have used AdaBoost. The main significances of our system are to address the small training sample and to reduce retrieval time. Experiments are conducted on 1000 semantic colour images from Corel database to demonstrate the effectiveness of the proposed framework. These experiments employed large image database and combined RCWFs and DT-CWT texture descriptors to represent content of the images.
The Development of Written Language Awareness-Environmental Aspects.

THIS ARTICLE reports the results of a program designed to train teachers to implement a theory-based pre-reading curriculum. The study focuses on the degree to which teachers were able to implement such a program, the observable factors which characterized implementing classrooms, and the effects of implementation on the reading-related achievement of kindergarten children. The study was carried out in conjunction with a Right-to-Read grant from the U.S. Office of Education. Subjects for the effects-of-implementation analysis were 124 kindergarten students from four implementing and two nonimplementing classrooms. The results indicate that young children, even those from homes where exposure to a literate environment is not likely to occur, can develop important pre-literacy skills when the right environment is provided in the classroom. The results further indicate that children learn best in a language- and print-rich environment, characterized by many opportunities to observe, try out, and practice literacy skills in genuine communicative situations.
IN-D Link

Increasing evidence shows that persons with diabetes can significantly improve their health by modest changes in their lifestyle, particularly those aimed at increasing their physical activity and reducing their weight.IN-D Link is a pilot program at the IU School of Medicine Diabetes Translational Research Center that aims to streamline the process of connecting people with type 2 diabetes to community wellness resources. IN-D link has nearly 800 resources drawn from Marion, Madison, Hamilton and Hancock counties. The resources are organized by location, cost and type to guide people to better nutrition, physical activity, support services and other resources that can improve the quality of life for those with type 2 diabetes. IN-D Link is a free service and can help physicians save time while providing the most current resource information to patients.
JPEG 2000 Quality Scalability in an IP Networking Scenario

In this thesis, the JPEG 2000 quality scalability feature was investigated in the context of transporting video over IP networks. The goals of the investigation was two-fold. First, it was desired to nd a way of choosing the number of quality layers to embed in a JPEG 2000 codestream. In previous work, this choice has been more or less arbitrary. Second, it was desired to nd how low the video bitrate could be dropped before it became perceptible to a viewer. This information can be used in an IP networking scenario to e.g. adapt the video bitrate blindly according to the measured channel capacity as long as the drop in bitrate is expected to be imperceptible. When the drop in bitrate is expected to be perceptible, a switch could be made to a smoother bitrate adaptation. A way of choosing the total number of quality layers to embed in a codestream was found by minimizing the dierence in predicted quality between direct and scaled compression. Scaled compression is the compression which is achieved by extracting quality layers. The minimization procedure was bound by the speed of the encoder, as it takes longer for an encoder to embed more quality layers. It was found that the procedure was highly dependent on the desired bitrate range. A subjective test was run in order to measure how large a drop in video bitrate had to be for it to become perceptible. A newly developed JPEG 2000 quality layer scaler was used to produce the dierent bitrates in the test. The number of quality layers to embed in codestream was found by using the minimization procedure mentioned above. It was found that, for the bitrate range used in the test, 2 - 30 Mbits/s for a resolution of 1280x720 at 25 frames per second, the magnitude of the drop in bitrate had to be at least 10 Mbits/s before the participants in the test noticed it. A comparison with objective quality metrics, SSIM and PSNR, revealed that it was very dicult to predict the visibility of the drops in bitrate by using these metrics. Designing the type of rate control mentioned in the rst paragraph will therefore have to wait until a parameter with good predictive properties can be found.
Étude de l’activité de Staufen1 dans la régulation traductionnelle de certains ARNm

Transport and local translation of RNA are found in several organisms and are required for multiple phenomena such as memory, asymmetric cell division and establishment of the axis during development. Staufen, a double-stranded RNA binding protein, was first identified in Drosophila melanogaster. In the fruitfly, it was shown that Staufen is required for the proper localization of the bicoid and oskar transcripts to the anterior and posterior ends of the oocyte, respectively. It was also found that Staufen is important for the translational derepression of oskar once it is adequately localized. In mammals, Stau1 is a ubiquitous protein found in granules in the dendrites of neurons. Also, Stau1 can bind the ribosome in a RNA-independent manner and cofractionates with both ribosomal subunits in a sucrose gradient. The implication of Stau1 in a mechanism allowing translational derepression of certain RNAs in mammals was therefore an interesting path to explore. Accordingly, we decided to verify if mammalian Stau1 had the capacity to stimulate the translation of cellular RNAs through a regulated mechanism. When this thesis was initiated, no cellular RNA target of Stau1 had been identified in mammals. Therefore, double-stranded RNA structures were used to repress the translation of a reporter mRNA. With this model, we showed that Stau1 can stimulate the translation of a transcript when it is bound to its 5’ UTR. With the use of DNA microarrays, we identified cellular mRNAs which distribution in heavy polysomes was altered by Stau1. When Stau1 is overexpressed,
TIGER WOODS 最后的挣扎

联邦杯是美巡赛赛季末的比赛,很多选手都期望在这样的一个赛事里给自己一个完美的结束,这其中就包括整个赛季一个冠军都没有的世界第一老虎·伍兹。 但他美好的愿望在齿轮山终结。 绯闻、伤病、离婚、换教练、新挥杆……伍兹磨难重重的联邦征程也结束了。