Miracle-dz/UniFAR-FTUs huggingface dataset:
Minimal Knowledge States in Nonmonotonic Modal Logics

Recent studies on the computational properties of the logic of minimal knowledge states due to Halpern and Moses (also known as ground logic S5 G) have shown that reasoning in this logic is strictly harder than in all the most studied propositional non-monotonic formalisms, in particular with respect to nonmonotonic modal logics due to McDermott and Doyle. In this paper we show that the logic of Halpern and Moses is easily embeddable in most of the modal formalisms of McDermott and Doyle's family. The translation employed provides both for an identiication of the source of complexity which makes reasoning harder in minimal knowledge states, and for an analysis of the epistemological properties of this logic, as compared to McDermott and Doyle's formalisms.
Syntheses of new tuberculosis inhibitors promoted by microwave irradiation

Abstract Tuberculosis (TB) represents a major public health problem. The growing number of (extensively) multi-drug resistance cases indicates that there is an urgent need for discovery of new anti-TB entities, addressed towards new and specific targets, and continuous development of fast and efficient synthetic strategies to access them easily. Microwave-assisted chemistry is well suited for small-scale laboratory synthetic work, allowing full control of reaction conditions, such as temperature, pressure, and time. Microwave-assisted high-speed organic synthesis is especially useful in the lead optimization phase of drug discovery. To illustrate the advantages of modern microwave heating technology, we herein describe applications and approaches that have been useful for the synthesis of new drug-like anti-TB compounds.
Trust in Leader and Multilevel Performance: Empirical Study Based on Knowledge Work Teams

The present study examined the effects of trust in leader on individual task performance, organizational citizenship behavior and team performance in knowledge work teams. The survey was conducted in 68 knowledge work teams of high-tech organizations from ten cities in China. The results of hierarchical regression showed that trust in leader had a positive effect on individual-level performance, including team member's task performance and organizational citizenship behavior. cognition- based trust had stronger effect on team member's task performance, while affect-based trust showed stronger effect on organizational citizenship behavior. In team level, organizational citizenship behavior partially mediated the relationship between trust in team leader and team performance.
Measurement of a Container Crane Spreader Under Bad Weather Conditions by Image Restoration

Recently, anti-sway systems for container crane spreaders have played an important role in efficiently handling cargo at terminals. A camera-based measurement system for the anti-sway systems, which consists of two reference marks on the upper surface of the spreader and a camera mounted on the crane's trolley, has been developed. However, the quality of the reference marks in images taken in bad weather such as mist, fog, and rain is degraded, and consequently, the measurement accuracy also deteriorates. To preserve measurement accuracy in bad weather, a rapid method for image restoration is needed. We propose a method that restores the quality of reference marks in images by modeling the degradation of the light intensity. The two constants in the model are estimated from the variances and averages of the intensities in two reference mark images extracted from two images taken at different heights of the spreader. The height of the spreader, as measured by the system, is also fed back into the restoration. The measurement accuracy attained by the method under simulated bad weather conditions is compared with the accuracy achieved in normal conditions. It is found that measurement accuracy is preserved, with only small errors of up to 1.39 mm under a swaying motion. The processing time of the method is 0.83 ms on average, which does not affect the measurement period of the system.
Mexican Immigrant Families: Relating Trauma and Family Cohesion

This article applies structural equation modeling techniques to explore the relationships between constructs related to family strength and cohesion, acculturation, and trauma symptoms. The study uses a purposive sample comprised of 122 immigrant men and women from the Mexican community based in a large midwestern metropolitan Area. The data were collected using standardized instruments: Family Adaptability and Cohesion Evaluation Scale (FACES IV), The Trauma Symptom Inventory (TSI), and the Short Acculturation Scale for Hispanics (SASH). A factor analysis was conducted with three scales and the modified versions were found to be a better fit for this sample. The model reporting good fit indices is presented in this article. Cohesion and anxiety were found to be significantly and inversely related (.574), in other words family cohesion explained 57% of the variance in TSI. The indicators of the latent variable FACES shared variance of more than 47% with the underlying latent factor. Although the latent factor of TSI informed the latent factor of intrusive thoughts and the indicators of anxiety from 36% to 83%, the model found a significant inverse relationship between the constructs of family strengths and trauma. Level of acculturation (as measured by the Acculturation Scale) did not report a significant relationship with the other two constructs. The implications for research, public policy, and clinical practice with Mexican immigrant families are discussed.
Knowledge creation opportunities for the K to 12 educationaltransformation in the Philippines using predictive analytics

This research runs a predictive model using a simple decision tree of the twitter mined about the opinion of the people towards the new K-12 education program of the Philippines. The initial study which acquired sentiments from Twitter microblogs was utilized to find out whether a predictive model can substantially generate knowledge to support the K to 12 educational reforms in the Philippines. RapidMiner was used as tool to perform analytics on Twitter data. Various RapidMiner operators were used to process the Twitter microblogs to perform clustering and predictive analytics. It also utilized AYLIEN as an extension module of RapidMiner for text analysis and extract insights from these tweets. The experiment reveals in word cluster analysis that users who expressed sentiments about K-12 used similar words on the messages they posted. Overall, the results suggest that tweet data have a quite peculiar nature. Words used in discussed topic create a sort of Twitter culture. The results showed that in the decision tree generated, only favorites variable or the number of likes on a K-12 tweet provides a strong indication of classifying a K-12 tweet as subjective or objective.
A miniature confocal Raman probe for endoscopic use

Raman spectroscopy is a powerful tool for studying biochemical changes in the human body. We describe a miniature, confocal fibre optic probe intended to fit within the instrument channel of a standard medical endoscope. This probe has been optimized for the study of the carcinogenesis process of oesophageal malignancy. The optical design and fabrication of this probe is described including the anisotropic wet etching technique used to make silicon motherboards and jigs. Example spectra of PTFE reference samples are shown. Spectra with acquisition times as low as 2 s from resected oesophageal tissue are presented showing identifiable biochemical changes from various pathologies.
The Choice of Post-conflict Interactions in Wild Chimpanzees (Pan troglodytes)

Summary Some costs of cone icts remain after an aggressive interaction has been terminated. Postcone ict management in social living animals can reduce those costs by means of a variety of interactions implemented after aggression ( e.g.reconciliation, consolation, redirected aggression). Each post-cone ict interaction (PCI) provides different advantages and disadvantages, although the functions may sometimes overlap. Individuals can therefore choose a PCI to achieve the most favourable outcome within a given cone ict situation. We examined 876 dyadic aggressive interactions among 18 wild chimpanzees ( Pan troglodytes verus ) of both sexes in the Tai National Park, Co te d’ Ivoire. We investigated which cone ict-condition led to which type of PCI and related the choice of PCI to its advantages and disadvantages. Tai chimpanzees used reconciliation to resolve cone icts among high value partners and when approaching the former opponent was unlikely to entail further aggression. Consolation seemed to substitute for reconciliation, when were opponents low value partners or approaching the former opponent was too risky, such as when further aggression was likely. Tai chimpanzees renewed aggression after undecided cone icts and when losers were unexpected. They used
Author Profiling for English and Spanish Text Notebook for PAN at CLEF 2013

This paper describes an approach for the author profiling task of the PAN 2013 challenge. This work is based on the idea of linguistic modality 3 that has been successfully used in other classification tasks such as authorship attri- bution. We consider three different modalities: syntactic, stylistic, and semantic, each representing a different aspect of text. For each modality, we extract infor- mative meta features by computing the similarity relations between the feature vectors in the test files and the centroids of modality specific clusters. Since we were provided texts in both Spanish and English, we build a language indepen- dent framework for author profiling. For both English and Spanish documents, our system performed well for the age identification task. For gender prediction, although our system could not perform as expected for English, it yielded good results on Spanish.
Autotunning of P/PI fuzzy gains for a rapid control of a brushless motor in an hybrid system

In this paper the experimental modeling of the transfer function of an DC voltage three-phase brushless synchronous electric motor (Brushless DC Electric Motor) for a hybrid system is presented, the bench system consists of an architecture in parallel using devices for power division called electromagnetic clutches, that consist in a double canal pulley, a coil and a drag plate, these clutches were connected to the motor's arrow in this hybrid system, allowing an individual control of both. The identified transfer function is used to design and to simulate a control of angular speed being used the Root-Locus technique and Fuzzy Logic to autotune the proportional integral gains. The primary objective is to synchronize the engine speeds to make efficient the fuel use in the combustion motor. The simulation of the control system in closed loop is made in the Simulink tool and is designed with Siso tool from the mathematical software Matlab. The system identification is conducted through the System Identification Toolbox of Matlab with data acquisition of angular speed, voltage and sampling time.
Improving Tag Clouds with Ontologies and Semantics

Tag clouds are visual representations of a set of terms which represent several document dimensions. Social and collaborative systems have greatly increased the popularity of this type of visualization but several problems arise from their knowledge base structures. In this paper we propose a novel strategy to improve tag clouds with ontological and semantic information. Our methodology is based on a general knowledge base to extract additional terms and relations. These information are combined with statistics to enhance tag clouds visualization and improve their possible application in user-based systems.
Gender-typical olfactory regulation of sexual behavior in goldfish

It is known that olfaction is essential for the occurrence of sexual behavior in male goldfish. Sex pheromones from ovulatory females elicit male sexual behavior, chasing, and sperm releasing act. In female goldfish, ovarian prostaglandin F2α (PGF) elicits female sexual behavior, egg releasing act. It has been considered that olfaction does not affect sexual behavior in female goldfish. In the present study, we re-examined the involvement of olfaction in sexual behavior of female goldfish. Olfaction was blocked in male and female goldfish by two methods: nasal occlusion (NO) which blocks the reception of olfactants, and olfactory tract section (OTX) which blocks transmission of olfactory information from the olfactory bulb to the telencephalon. Sexual behavior of goldfish was induced by administration of PGF to females, an established method for inducing goldfish sexual behavior in both sexes. Sexual behavior in males was suppressed by NO and OTX as previously reported because of lack of pheromone stimulation. In females, NO suppressed sexual behavior but OTX did not affect the occurrence of sexual behavior. Females treated with both NO and OTX performed sexual behavior normally. These results indicate that olfaction is essential in female goldfish to perform sexual behavior as in males but in a different manner. The lack of olfaction in males causes lack of pheromonal stimulation, resulting in no behavior elicited. Whereas the results of female experiments suggest that lack of olfaction in females causes strong inhibition of sexual behavior mediated by the olfactory pathway. Olfactory tract section is considered to block the pathway and remove this inhibition, resulting in the resumption of the behavior. By subtract sectioning of the olfactory tract, it was found that this inhibition was mediated by the medial olfactory tracts, not the lateral olfactory tracts. Thus, it is concluded that goldfish has gender-typical olfactory regulation for sexual behavior.
Data mining in temporal databases

In this paper we describe our approaches to data mining in temporal databases by introducing Easy Miner, our data mining system developed at UMIST. Easy Miner integrates machine learning methodologies with database technologies and efficiently and effectively extract interesting rules from data. The discovery components of Easy Miner, relevance analysis, classification and association rules finder are presented with the algorithms behind each component. We also show the effectiveness of these algorithms from the experimental results obtained of applying these techniques to time-oriented medical data.
‘People’, Politicians and Populism

IF THE ZOOLOGISTS ARE TO BE BELIEVED, THIS WORLD appears very different to members of different species of animals. Flowers conceal patterns and markings that are visible only to insects; dogs inhabit a world reeking with enticing scents; the bats' Lebenswelt echoes with highly significant squeaks. Something rather similar is true of political animals as well. The political world that faces the true-blue Tory has contours different from those that present themselves to the militant socialist, while what the liberal sees as the manifest data of politics is different again. Each of them, contemplating the common political world, has his attention caught and held by certain phenomena beside which others fade into insignificance. It is not surprising, therefore, that each has resort to a different key concept to sum up his experience. For the ideal-typical conservative, the basic datum of political experience is the totality of the historic political community, the nation. Like Rousseau's patriot, from the moment he opens his eyes he sees his country, and to the day of his death he never sees anything else. The socialist, by contrast, his attention held by a different range of experiences, wonders how anyone can fad to recognize the importance of social classes and the rift between them, while the liberal in his turn suspects the others of being deliberately obtuse when they refuse to see that distinct and different individuals are the basic components of political reality.
Atherosclerosis lesion progression during inhalation exposure to environmental tobacco smoke: A comparison to concentrated ambient air fine particles exposure

Environmental tobacco smoke (ETS) and ambient air fine particulate matter (PM2.5) are both complex mixtures that have important adverse effects on the cardiovascular system. Although exposures to these complex mixtures have been studied individually, direct comparisons between the two has not been performed. In this study, the authors employed a novel, noninvasive ultrasound biomicroscopy method (UBM) to assess the effects of long-term, low-concentration inhalations of side-stream smoke (SS) and concentrated ambient PM2.5 (CAPs) on plaque progression. ApoE−/− mice (n = 8/group) on high-fat chow (HFC), or normal chow (NC), were exposed to SS (PM = 450 µg/m3) or filtered air (FA) for 6 h/day, 5 days/week, for 6 months; CAPs exposure was at 134 µg/m3 (NC only). Mortality during the SS exposure was greater in the HFC than in the NC, and SS significantly enhanced the effects of diet. No mortality was observed in CAPs-exposed mice. At 4 and 6 months, SS produced the greatest change in plaque area in the left common carotid artery (CCA) in HFC as compared to FA or NC, but not in the brachiocephalic artery. In contrast, CAPs exposure significantly enhanced plaque areas in brachiocephalic and left CCA at 3 and 6 months of exposure. The effect of SS was comparable in magnitude to that produced by CAPs at an average PM2.5 mass concentration that was only 30% as high. In light of the employment of the same animal model, uniform inhalation exposure protocols, time schedules, a noninvasive monitoring protocol, and a parallel study design, these findings have broad applicability.
Factor Structure and Reliability of the Spanish Version of the Marital Satisfaction Questionnaire for Older Persons

The Marital Satisfaction Questionnaire for Older Persons (MSQFOP) measures marital satisfaction in a manner relevant to older adults. This study examined the psychometric properties of the Spanish-language version with 81 Latino/Hispanic Spanish-speaking couples aged 55 to 93 residing in Puerto Rico. Results revealed a robust structure, confirming the composition of the original scale version. Three components summarized the scale items: Compatibility/Affective Quality, Communication, and Sex/Health. This factor structure was essentially consistent with that reported by questionnaire authors for the original English-language version. Internal consistency coefficients (Cronbach's alpha) for the full scale and subscales ranged from . 96 to . 83. This corroborates the construct validity and the reliability of the MSQFOP, suggesting it is an adequate measure of marital satisfaction for use with Spanish-speaking older adults. Clinical and research uses of the MSQFOP are discussed.
Dynamically running quadrupeds self-stable region expansion by mechanical design

Dynamic stability allows running animals to maintain preferred speed during locomotion over rough terrain. It appears that rapid disturbance rejection is an emergent property of the mechanical system. In running robots, simple motor control seems to be effective in the negotiation of rough terrain when used in concert with a mechanical system that stabilizes passively. In this paper, we show that a quadruped robot could be able to perform selfstable running behavior in significantly broader ranges of forward speed and pitch rate with suitable mechanical design. The results presented here are derived by studying the stability of passive dynamics of a quadruped robot running in the sagittal plane in a dimensionless context and can be summarized as: (a) the self-stabilized behavior of a quadruped robot for a particular gait is related to the magnitude of its dimensionless inertia, (b) the values of hip separation, normalized to rest leg length, and the leg relative stiffness of a quadruped robot affect the stability and should be in inverse proportion to its dimensionless inertia, and (c) the self-stable regime of quadruped running robots is enlarged at relatively high forward speeds.
Ultra Wide View Based Panoramic VR Streaming

Online VR streaming faces great challenges such as the high throughput and real time interaction requirement. In this paper, we propose a novel ultra wide view based method to stream high quality VR on Internet at low bandwidth and little computation cost. First, we only transmit the region where user is looking at instead of full 360° view to save bandwidth. To achieve this goal, we split the source VR into small grid videos in advance. The grid videos are able to reconstruct any view flexibly in user end. Second, according to the fact that users generally interact at low speed, we expand the view that user requested to meet the real time interaction requirement. Besides, a low resolution full view stream is supplied to handle exceptional cases such as high speed view change. We test our solution in an experimental network. The results show remarkable bandwidth saving of over 60% in average at little computation cost while supplying the same quality of experience as local VR.
The Two Disciplines of Personality Psychology

Personality psychology has had a history of ups and downs. Recent decades have seen a "crisis period" (as West, 1983, labeled the 1970s) during which many of the field's traditional assumptions were challenged, and a subsequent era in which theoretical and methodological advances (Epstein, 1979; Mischel & Peake, 1982) seemed inevitably to elicit criticism and prolonged debate (Conley, 1984; Epstein, 1983; Masters, 1980; Mischel & Peake, 1983; Peake & Mischel, 1984). Throughout this period, personality psychologists were reminded frequently of their past, one in which grand theoretical structures and ambitious assessment projects were succeeded by paradigm shifts and empirical failures that, at times, seemed to threaten the very existence of the field. Indeed, some looked forward to a day when personal-· ity theories would be "regarded as historical curiosities" (Farber, 1964, p. 37). In contrast to those difficult times, personality psychology has experienced a resurgence in recent years. This renewal of confidence and interest in the field is perhaps best symbolized by the publication of the Handbook of Personality, edited by Lawrence Pervin (1990). The Handbook extensively documents the advances that are responsible for the field's renewed self-assurance. Recent developments are shown to be yielding a rich, detailed understanding of personality functioning. We are beginning to get answers to fundamental questions about
Cooling anomaly detection for servers and datacenters with Naïve ensemble

We propose a novel approach to predictive analysis of potential cooling failures in servers and datacenters in which unsupervised anomaly detection is performed in multi-dimensional temperature sensor data. A naïve and obviously invalid independence assumption is employed to model the probability distribution. We provide a theoretical justification demonstrating that the approach relies on correctly comparing the probabilities estimated rather than accurate probability estimation. The approach is also justified empirically in simulation experiments for two different predictive failure analysis scenarios: identifying potentially worn-out fans based on the server component temperature sensor data and identifying computer room air-conditioner failures before hotspots arise based on server inlet temperature sensor data.