Miracle-dz/UniFAR-FTUs huggingface dataset:
Clique-Width is NP-Complete

Clique-width is a graph parameter that measures in a certain sense the complexity of a graph. Hard graph problems (e.g., problems expressible in monadic second-order logic with second-order quantification on vertex sets, which includes NP-hard problems such as 3-colorability) can be solved in polynomial time for graphs of bounded clique-width. We show that the clique-width of a given graph cannot be absolutely approximated in polynomial time unless $P = NP$. We also show that, given a graph $G$ and an integer $k$, deciding whether the clique-width of $G$ is at most $k$ is NP-complete. This solves a problem that has been open since the introduction of clique-width in the early 1990s.
The dimensional accuracy of polyvinyl siloxane impression materials using two different impression techniques: An in vitro study

Aim of the Study: To evaluate and compare the linear dimensional changes of the three representative polyvinyl siloxane (PVS) impression materials and to compare the accuracy of single mix with double mix impression technique. Methodology: A study mold was prepared according to revised American Dental Association specification number 19 for nonaqueous elastic dental impression materials. Three PVS impression materials selected were Elite-HD, Imprint™ II Garant, Aquasil Ultra Heavy. Two impression techniques used were single mix and double mix impression technique. A total of 60 specimens were made and after 24 h the specimens were measured using profile projector. Statistical Analysis: The data were analyzed using one-way analyses of variance analysis and significant differences were separated using Student′s Newman-Keul′s test. Results: When all the three study group impression materials were compared for double mix technique, the statistically significant difference was found only between Imprint™ II Garantand Elite-HD (P < 0.05). Similarly, using single mix technique, statistically significant difference were found between Elite-HD and Imprint™ II Garant (P < 0.05) and also between Aquasil Ultra Heavy and Elite-HD (P < 0.05). When the linear dimensional accuracy of all three impression material in double mix impression technique and single mix impression technique were compared with the control group, Imprint™ II Garant showed the values more nearing to the values of master die, followed by Aquasil Ultra Heavy and Elite-HD respectively. Conclusion: Among the impression materials Imprint™ II Garant showed least dimensional change. Among the impression techniques, double mix impression technique showed the better results.
LTL Goal Specifications Revisited

The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the semantics of LTL is defined wrt. infinite state sequences, while a finite plan generates only a finite trace. This necessitates the use of a finite trace semantics for LTL. A common approach is to evaluate LTL formulae on an infinite extension of the finite trace, obtained by infinitely repeating the last state. We study several aspects of this finite LTL se mantics: we show its satisfiability problem is PSpace-complete (same as normal LTL), show that it complies with all equivalence laws that hold under standard (infinite) LTL semantics, and compare it with other finite trace semantics for LTL proposed in planning and in runtime verification. We also examine different mechanisms for determining whether or not a finite trace satisfies or violates an LTL formula, interpreted using the infinite extension semantics.
Is Bad Structure Better Than No Structure?: Unsupervised Parsing for Realisation Ranking

In natural language generation using symbolic grammars, state-of-the-art realisation rankers use statistical models incorporating both language model and structural features. The rankers depend on multiple structures produced by the particular large-scale symbolic grammars to rank the output; for languages with smaller resources and in-development grammars, we look at the feasibility of an alternative source of structural features, unsupervised parsers. We show that, in spite of their lower quality of structure, raw sets of unsupervised parse features can be helpful with smaller language models; and that the parses do contain particular elements that can be highly useful, improving performance on our classification task by up to 10% on 60% of the test set leading to an overall improvement under a back-off model. Title and Abstract in French Une mauvaise structure est-elle mieux que pas de structure du tout? L’analyse non supervisee pour la selection des realisations Dans plusieurs systemes recents de generation de texte bases sur des grammaires symboliques, les resultats sont ordonnes selon leur acceptabilite par des modeles statistiques qui incorporent des modeles de Markov et des traits structurels. Ces modules d’ordonnancement dependent de diverses structures produites par la grammaire, ce qui presuppose une grammaire suffisamment developpee. Pour les langues a faibles ressources ou pour les grammaires en cours de developpement, nous etudions ici la viabilite d’une source alternative de traits structurels: les analyseurs non supervises. Nous demontrons que, en depit de la faible qualite des structures produites, elles contiennent des elements qui peuvent etre tres utiles pour les langues peu dotees, permettant d’ameliorer de 10% la performance de notre classificateur pour 60% des phrases de notre corpus de test.
3-D MEASUREMENT FROM IMAGES USING A RANGE BOX

The work shows the progress of a procedure to determine the position and volumetric information of a solid object in the space of a robotic working cell. The proposed method uses a pair of images to obtain a 3-D mapping of the space around the solid. A virtual range box is initially positioned around the object. The box is adjusted around the object’s image projection border through perspective translation of its faces. The position and volume of the solid is estimated by reconstruction of the adjusted range box. The proposed technique has applications in robotics and manufacturing, and involves a research cooperation project between UNICAMP and PUCPR. Aspects of camera calibration, 3-D reconstruction and the practical processing of images are addressed in the paper.
Securing Smartphones: A Micro-TCB Approach

As mobile phones have evolved into `smartphones', with complex operating systems running third- party software, they have become increasingly vulnerable to malicious applications (malware). We introduce a new design for mitigating malware attacks against smartphone users, based on a small trusted computing base module, denoted uTCB. The uTCB manages sensitive data and sensors, and provides core services to applications, independently of the operating system. The user invokes uTCB using a simple secure attention key, which is pressed in order to validate physical possession of the device and authorize a sensitive action; this protects private information even if the device is infected with malware. We present a proof-of-concept implementation of uTCB based on ARM's TrustZone, a secure execution environment increasingly found in smartphones, and evaluate our implementation using simulations.
Deviance information criteria for missing data models

The deviance information criterion (DIC) introduced by Spiegelhalteret al. (2002) is directly inspired by linear and generalised linear models,but it is not so naturally de ned for missing data models. In this paper,we reassess the criterion for such models, testing the behaviour of variousextensions in the cases of mixture and random e ect models.
An SVM based Confidence Measure for Continuous Speech Recognition

The use of support vector machines for speech recognition purposes has been limited by the static nature of this classifier. In this paper, a confidence measure has been proposed and evaluated for the speech features vectors sequence. The confidence measure has been successfully extracted for one versus one multi-class SVM classifier from binary classifiers confidence measures and has been optimized to model the temporal variations of speech feature vectors using a Viterbi like decoding. In the decoding procedure, the effects of bigram lingual modeling and acoustic confidences have been balanced to achieve the best result in the continuous speech recognition applications. The experiments have been arranged on TIMIT corpus for a continuous phoneme recognition system. The results reveal 2.6% superior recognition rates comparing with HMM continuous classic speech recognition methods.
Medical applications of terahertz imaging: a review of current technology and potential applications in biomedical engineering

Terahertz (THz) imaging is in its early stages of development but already the potential clinical impact of this new imaging modality is clear. From cancer research to DNA analysis THz technology is improving or even making possible imaging of hitherto inaccessible phenomena. In this paper we present a short review of THz imaging from the point of view of biomedical engineering. We discuss the current state of the art in terms of THz imaging systems; describe current applications, future potential and our own approaches to harnessing this novel technology. We draw attention to open problems in the area with respect to the limitations of the technology before concluding with descriptions of our future work in the area.
! " # Blockin$$ % & Blockin Blockin'( )$ Blockin* ) Genetic Structuring and the Evolution of Lekking Behaviour

Genetic structuring is common in natural populations. It is important to identify and consider population structure when studying evolutionary processes. Recently, the discovery of genetic structuring in some lekking bird species has opened up new perspectives on our understanding of the evolution of lek mating systems. This thesis uses molecular data to identify patterns of broad and fine scale genetic structuring in the lekking white-bearded manakin Manacus manacus. Additionally, data on male mating success, female visiting patterns and behavioural, morphological and territorial characteristics of individual males are used to identify variables that may influence the distribution of matings in this species. Analysis of genetic divergence within the genus Manacus revealed genetic sub-structuring and limited gene flow between species/subspecies. There was no significant isolation by distance relationship. Factors such as physical barriers to gene flow may play a role in shaping the genetic structure of the bearded manakin genus. White-bearded manakin leks on Trinidad were composed of groups of related males. More than one such kin group existed on each lek. That related males gather in groups suggests that genetic structuring is not simply a consequence of limited dispersal. Active choices must take place by both residential and newly arrived birds. Female visits to, and matings with, males were non-random. Centrality of male display court was the only measured variable that consistently correlated with male mating success. More aggressive displays were made as the distance between courts decreased. There was no significant relationship between the number of aggressive displays made between males and relatedness levels. Males with high mating success spent more time in aggressive behaviours. In conclusion, white-bearded manakin lek formation and display court acquisition is likely to be influenced by genetic relatedness levels and male-male interactions. Centrality of court seemed important in mating success and may be an indicator of male dominance. However, a variety of other factors may also influence mating success and may be variable over time. Some regard the tropics as an equatorial Dante's Inferno, the so-called Green Hell. and generally irritating insects, not to mention countless legions of external and internal parasites awaiting to devour you from without and within. Well, calm down, don't get excited… Kricher 1997 This thesis is based on the following six papers, which will be referred to in the text by their Roman numerals I-VI I Höglund J and Shorey L. Genetic divergence in the superspecies Manacus. III Höglund J …
Scraping and Clustering Techniques for the Characterization of Linkedin Profiles

The socialization of the web has undertaken a new dimension after the emergence of the Online Social Networks (OSN) concept. The fact that each Internet user becomes a potential content creator entails managing a big amount of data. This paper explores the most popular professional OSN: LinkedIn. A scraping technique was implemented to get around 5 Million public profiles. The application of natural language processing techniques (NLP) to classify the educational background and to cluster the professional background of the collected profiles led us to provide some insights about this OSN's users and to evaluate the relationships between educational degrees and professional careers.
Coranking the Future Influence of Multiobjects in Bibliographic Network Through Mutual Reinforcement

Scientific literature ranking is essential to help researchers find valuable publications from a large literature collection. Recently, with the prevalence of webpage ranking algorithms such as PageRank and HITS, graph-based algorithms have been widely used to iteratively rank papers and researchers through the networks formed by citation and coauthor relationships. However, existing graph-based ranking algorithms mostly focus on ranking the current importance of literature. For researchers who enter an emerging research area, they might be more interested in new papers and young researchers that are likely to become influential in the future, since such papers and researchers are more helpful in letting them quickly catch up on the most recent advances and find valuable research directions. Meanwhile, although some works have been proposed to rank the prestige of a certain type of objects with the help of multiple networks formed of multiobjects, there still lacks a unified framework to rank multiple types of objects in the bibliographic network simultaneously. In this article, we propose a unified ranking framework MRCoRank to corank the future popularity of four types of objects: papers, authors, terms, and venues through mutual reinforcement. Specifically, because the citation data of new publications are sparse and not efficient to characterize their innovativeness, we make the first attempt to extract the text features to help characterize innovative papers and authors. With the observation that the current trend is more indicative of the future trend of citation and coauthor relationships, we then construct time-aware weighted graphs to quantify the importance of links established at different times on both citation and coauthor graphs. By leveraging both the constructed text features and time-aware graphs, we finally fuse the rich information in a mutual reinforcement ranking framework to rank the future importance of multiobjects simultaneously. We evaluate the proposed model through extensive experiments on the ArnetMiner dataset containing more than 1,500,000 papers. Experimental results verify the effectiveness of MRCoRank in coranking the future influence of multiobjects in a bibliographic network.
Towards Semantic Trajectory Data Analysis: A Conceptual and Computational Approach

Thanks to the rapid development of GPS mobile and wireless sensing technologies, the large-scale capture of evolving positioning data (so called trajectories) generated by moving objects has become technically and economically realistic. The data world becomes full of trajectories. The state-of-the-art on trajectory, either from the moving object database community or from the statistical analysis viewpoint, has built some sophisticated techniques for trajectory data modelling, storing, indexing, querying and mining. However, most of these existing methods mainly focus on the spatio-temporal features of trajectories; but the high-level semantic features of trajectory data are still in a less-explored area. Addressing this area, this doctoral work aims at bringing semantic concepts and statistical computations together for trajectory data analysis. We call this a “conceptual and computational” approach, which involves three major perspectives, i.e. trajectory modelling, trajectory computing, and trajectory pattern discovery.
Postnatal Ablation of Foxm1 from Cardiomyocytes Causes Late Onset Cardiac Hypertrophy and Fibrosis without Exacerbating Pressure Overload-Induced Cardiac Remodeling

Heart disease remains a leading cause of morbidity and mortality in the industrialized world. Hypertrophic cardiomyopathy is the most common genetic cardiovascular disorder and the most common cause of sudden cardiac death. Foxm1 transcription factor (also known as HFH-11B, Trident, Win or MPP2) plays an important role in the pathogenesis of various cancers and is a critical mediator of post-injury repair in multiple organs. Foxm1 has been previously shown to be essential for heart development and proliferation of embryonic cardiomyocytes. However, the role of Foxm1 in postnatal heart development and in cardiac injury has not been evaluated. To delete Foxm1 in postnatal cardiomyocytes, αMHC-Cre/Foxm1fl/fl mice were generated. Surprisingly, αMHC-Cre/Foxm1fl/fl mice exhibited normal cardiomyocyte proliferation at postnatal day seven and had no defects in cardiac structure or function but developed cardiac hypertrophy and fibrosis late in life. The development of cardiomyocyte hypertrophy and cardiac fibrosis in aged Foxm1-deficient mice was associated with reduced expression of Hey2, an important regulator of cardiac homeostasis, and increased expression of genes critical for cardiac remodeling, including MMP9, αSMA, fibronectin and vimentin. We also found that following aortic constriction Foxm1 mRNA and protein were induced in cardiomyocytes. However, Foxm1 deletion did not exacerbate cardiac hypertrophy or fibrosis following chronic pressure overload. Our results demonstrate that Foxm1 regulates genes critical for age-induced cardiomyocyte hypertrophy and cardiac fibrosis.
Implementation of Network Traffic Monitor System with SDN

Open Flow, an essential technology in Network functions virtualization (NFV) implementation, enables software-dened networking (SDN) to develop from a simple concept and divides traditional switch into two parts: a data plane and a control plane. Because software-dened rules are used to control traffic, the concept of NFV was developed. Numerous virtualization studies on NFV have investigated conventional networking hardware, such as firewalls, load-balancers, routers, and managed switches. In this paper, we describe virtualizing a basic switch and implementing a network traffic monitor system. The virtualized switch is used to replace a conventional managed switch and monitor traffic without the need for port mirroring hardware. In addition, Open Flow is incorporated to manage networking. Cloud computing is increasingly prevalent, and technology is advancing. The proposed system in this paper can be implemented in any networking environment.
Modeling Users' Information Goal Transitions and Satisfaction Judgment: Understanding the Full Search Process

To improve web search effectiveness and help personalized search applications, it is important to understand users' search process, especially the underlying information goal transitions and satisfaction judgment on result pages. Unlike previous work modeling the two types of hidden information separately, the paper proposes to simultaneously model them based on users' full search process, including both queries and clicks. Thus, a full model can be built up and the dependences between them can be leveraged. Specially, we employ a hierarchical conditional random field (HCRF) for learning and prediction, with fruitful search activity features proposed and leveraged. Experimental results show that our approach reaches a high overall precision(87%) and significantly outperforms the baseline methods. Moreover, our model is applied in a re-ranking application and shows that it can benefit personalized web search.
Character evidence for the monophyly of the Microdesminae, with comments on relationships to Schindleria (Teleostei: Gobioidei: Gobiidae)

The composition of the Microdesminae has been inconsistently reported in recent molecular studies. A monophyletic Microdesminae consisting of both Indo-Pacific and New World/Atlantic genera is diagnosed here by the following synapomorphies: maxilla with elongate projection extending anteriorly over ascending processes of premaxilla; palatine medial process absent; single dorsal process on cleithrum; supracleithrum oriented vertically and closely applied to cleithrum; posttemporal with elongate posteroventral process; body slender and elongate, with associated increase in number of vertebrae and median fin rays (total vertebrae 42–66 with 19 or more precaudal vertebrae, total dorsal-fin rays 42–78, anal-fin rays 27–43), slender pelvis with anterior extensions of the pelvic intercleithral cartilage, and decrease in number of pelvic-fin rays (with a spine and 2–4 segmented rays); single dorsal fin; dorsal-fin spines usually 12 or more; predominantly 1:1 relationship between interneural spaces and anterior dorsal-fin pterygiophores; and first (supernumerary) ray on first anal pterygiophore a bilaterally paired, segmented ray. Several of these characters (particularly single dorsal process on cleithrum, posttemporal with elongate posteroventral process) support a possible relationship between microdesmines and Schindleria, as does dorsal gill-arch morphology.
Algorithm for Generating Body Medial Axes Based on Minimum Exterior Rectangle

In this paper a new algorithm is proposed for extracting medial axes of object. This algorithm is based on minimum exterior rectangle and edge detection. First, edge detection algorithm is used to each image to obtain all the boundary points exactly, and the center of each object is evaluated. Then, the directions of major and minor axes of the object be obtained using the center-point and boundary-points. The four vertexes of the bounding rectangle are computed by pair wise solving the four straight lines. At last, using FMABR's short axes to scan the object boundary points, all the middle point of the line which made by the scan line and boundary points buildup the medial axes of the object's body. The algorithm has both simplicity and accuracy properties.
Un questionnaire pour le diagnostic d'épisode dépressif majeur: l'inventaire pour le diagnostic de la dépression (IDD). Présentation de la version française

Un nouveau questionnaire d'auto-evaluation, l'Inventaire pour le diagnostic de la depression (IDD), est destine a permettre le diagnostic d'episode depressif majeur selon le DSM-III grâce a l'emploi d'un algorithme assez simple. Tout en presentant sa traduction francaise apres retroversion, cet article resume les donnees disponibles a propos des qualites metrologiques et de l'utilisation de cet instrument, notamment en epidemiologie
Rule Obedience, Organizational Loyalty, and Economic Development

organizational loyalty. A basic idea in the paper is that there are forces that lead societies to evolve to very different levels of rule obedience. The forces sustaining these different levels include both narrow considerations of self interest and the evolution of attitudes that reinforce past patterns of behavior. Somewhat similar sets of forces operate within organizations to produce different levels of