Miracle-dz/UniFAR-FTUs huggingface dataset:
Improved Comprehensive Measurement Feature Selection Method for Text Categorization

Text categorization plays an important role in applications where information is filtered, monitored, personalized, categorized, organized or searched. Feature selection remains as an effective and efficient technique in text categorization. Traditional feature selections ignored the effects of unbalanced categories and the distribution of a term in different categories.On this basis, we improved the Comprehensively Measure Feature Selection method (CMFS), and introduced the factors of category size and term distribution. The proposed method was compared and analyzed on Reuters 21,578 dataset using F1 measurement. Experimental results revealed that the proposed method performs better than five typical feature selections when SVM and NB classifiers are used.
Proteomics & Bioinformatics

The three-dimensional structure of a protein molecule provides significant insight into its biological function. Structural alignment of proteins is an important and widely performed task in the analysis of protein structures, whereby functionally and evolutionarily important segments are identified. However, structural alignment is a computationally difficult problem and a large number of heuristics introduced to solve it do not agree on their results. Consequently, there is no widely accepted solution to the structure alignment problem. In this study, we present a meta-analysis approach to generate a re-optimized, best-of-all result using the alignments generated from several popular methods. Evaluations of the methods on a large set of benchmark pairwise alignments indicate that TM-align (Template Modeling Alignment) provides superior alignments (except for RMSD, root mean square deviation), compared to other methods we have surveyed. Smolign (Spatial Motifs Based Multiple Protein Structure Alignment) provides smaller cores than other methods with best RMSD values. The re-optimization of the alignments using TM-align’s optimization method does not alter the relative performance of the methods. Additionally
Axiomatization of a Class of Parametrised Bisimilarities

The question of when two nondeterministic concurrent systems are behaviourally related has occupied a large part of the literature on process algebra and has yielded a variety of equivalences (and congruences) and preorders ( and precongruences) all based on the notion of bisimulations. Recently one of the authors has tried to unify a class of these bisimulation based relations by a parametrised notion of bisimulation and shown that the properties of the bisimilarity relations are often inherited from those of the underlying relationships between the observables. In addition to the usual strong and weak bisimilarity relations, it is possible to capture some other bisimilarity relations – those sensitive to costs, performance, distribution or locations etc – by parametrised bisimulations. In this paper we present an equational axiomatization of all equivalence relations that fall in the class of parametrised bisimilarities without empty observables. Our axiomatization has been inspired by the axiomatization of observational congruence by Bergstra and Klop and attempts to extend it for parametrised bisimilarities. The axiomatization has been proven to be complete for finite process graphs relative to a complete axiomatization for the relations on observables. In the process, we also show that in the absence of empty observables, all preorders and equivalence relations are also precongruences and congruences, respectively.
Hub chacterization from sequence information using statistical methods

Maps of Protein Interaction Networks (PIN) are important as they provide clues about the functions of individual proteins as well as enable system level analyses of cellular processes. Predicting hub proteins, the highly connected proteins in PIN, is a challenging computational problem. This paper proposes two statistical methods for predicting hub proteins which applied on two different data bases - APID, HPRD - has revealed good results. In these methods, Shannon Index (a biodiversity measure) is used along with amino acid attributes Transfer Free Energy to Surface (TFES) and Hydrophobicity to distinguish hub proteins from non-hub proteins.
Probabilistic Noninterference Based on Program Dependence Graphs

We present a new algorithm for checking probabilistic noninterference in concurrent programs. The algorithm uses the Low-Security Observational Determinism criterion. It is based on program dependence graphs for concurrent programs, and is thus very precise: it is flowsensitive, context-sensitive, object-sensitive, and optionally time-sensitive. The algorithm has been implemented for full Java bytecode with unlimited threads, and avoids restrictions or soundness leaks of previous approaches. A soundness proof is provided. Precision and scalability have been experimentally validated.
Examining the literacy component of science literacy: 25 years of language arts and science research

This review, written to celebrate the 25th anniversary of the International Journal of Science Education, revealed a period of changes in the theoretical views of the language arts, the perceived roles of language in science education, and the research approaches used to investigate oral and written language in science, science teaching, and learning. The early years were dominated by behavioralist and logico-mathematical interpretations of human learning and by reductionist research approaches, while the later years reflected an applied cognitive science and constructivist interpretations of learning and a wider array of research approaches that recognizes the holistic nature of teaching and learning. The early years focus on coding oral language into categories reflecting source of speech, functional purpose, level of question and response, reading research focused on the readability of textbooks using formulae and the reader's decoding skills, and writing research was not well documented since the advocates for writing in service of learning were grass roots practitioners and many science teachers were using writing as an evaluation technique. The advent of applied cognitive science and the constructivist perspectives ushered in interactive-constructive models of discourse, reading and writing that more clearly revealed the role of language in science and in science teaching and learning. A review of recent research revealed that the quantity and quality of oral interactions were low and unfocused in science classrooms; reading has expanded to consider comprehension strategies, metacognition, sources other than textbooks, and the design of inquiry environments for classrooms; and writing-to-learn science has focused on sequential writing tasks requiring transformation of ideas to enhance science learning. Several promising trends and future research directions flow from the synthesis of this 25-year period of examining the literacy component of science literacy - among them are critical listening and reading of various sources, multi-media presentations and representations, effective debate and argument, quality explanation and the role of information and communication technologies/environments.
On the Existence and Characterization of Unequal Exchange in the Free Trade Equilibrium

As in Roemer (1982, chapter 1), this paper considers a Marxian Heckscher-Ohlin model of subsistence international economies with a simple Leontief production technique and examines the existence and characterization of free trade equilibria involving the unequal exchange of labor (UEL). The paper provides an almost complete characterization of the domain of economies in which free trade equilibria with incomplete specialization exist. Moreover, the necessary and sufficient condition for a free trade equilibrium to involve UEL is identified.
Bio-cryptographic authentication in cloud storage sharing

One of the relative recent approaches for enhancing the modern cryptosystems security is to add the biometrics layer to the existing cryptographic infrastructures. The Biometric Encryption process proposes to combine the soft biometrics with existing cryptographic keys, overcoming many of the traditional biometric systems vulnerabilities. In this paper we propose a new and novel implementation for a bio-cryptographic infrastructure, as a safer authentication mechanism for Cloud storage sharing. We talk about the architecture of our approach and we emphasize the benefits brought by combining the two fields, such as storage encryption and access control. Our implementation resides on a voice-based authentication mechanism, which confers access to the system and allows the recovery of the shared access storage encryption key.
Effects of pictorial context reinstatement on correct and false recognition memory: insights from the simplified conjoint recognition paradigm

ABSTRACT We used the Fuzzy-Trace Theory (FTT) perspective to investigate the role of context switching or reinstatement on correct and false recognition in Deese–Roediger–McDermott (DRM) and simple false memory for occurrence (FMO) tasks. In two experiments, participants studied words presented against unique picture backgrounds. The results indicated that providing specific item-context associative information in the reinstated-context test condition enhances verbatim trace retrieval of targets but does not influence their gist retrieval. In the case of false recognitions of related distracters, manipulations of retrieval context resulted in different effects across experiments, putatively because the DRM and FMO tasks involve different latent-processes implied by FTT. The results confirmed the critical role of retrieval conditions for false and correct recognition memory and showed the insights that can be gained from the process-level multinomial modelling analyses of data obtained in particular experimental paradigms.
Hearing the Beat: Young Children’s Perceptual Sensitivity to Beat Alignment Varies According to Metric Structure

Adults can extract the underlying beat from music, and entrain their movements with that beat. Although infants and children are poor at synchronizing their movements to auditory stimuli, recent findings suggest they are perceptually sensitive to the beat. We examined five-year-old children’s perceptual sensitivity to musical beat alignment (adapting the adult task of Iversen & Patel, 2008). We also examined whether sensitivity is affected by metric complexity, and whether perceptual sensitivity correlates with cognitive skills. On each trial of the complex Beat Alignment Test (cBAT) children were presented with two successive videos of puppets drumming to music with simple or complex meter. One puppet’s drumming was synchronized with the beat of the music while the other had either incorrect tempo or incorrect phase, and children were asked to select the better drummer. In two experiments, five-year-olds were able to detect beat misalignments in simple meter music significantly better than beat misalignments in complex meter music for both phase errors and tempo errors, with performance for complex meter music at chance levels. Although cBAT performance correlated with short-term memory in Experiment One, the relationship held for both simple and complex meter, so cannot explain the superior performance for culturally typical meters.
Increasing persistency in lay and stabilising egg quality in longer laying cycles. What are the challenges?

Abstract In the past 50 years, selection starting initially at the breed level and then using quantitative genetics coupled with a sophisticated breeding pyramid, has resulted in a very productive hybrid for a variety of traits associated with egg production. One major trait currently being developed further is persistency of lay and the concept of the “long life” layer. Persistency in lay however cannot be achieved without due consideration of how to sustain egg quality and the health and welfare of the birds in longer laying cycles. These multiple goals require knowledge and consideration of the bird’s physiology, nutritional requirements, which vary depending on age and management system, reproductive status and choice of the selection criteria applied. The recent advent of molecular genetics offers considerable hope that these multiple elements can be balanced for the good of all in the industry including the hens. The “long life” layer, which will be capable of producing 500 eggs in a laying cycle of 100 weeks, is therefore on the horizon, bringing with it the benefits of a more efficient utilisation of diminishing resources, including land, water, raw materials for feed as well as a reduction in waste, and an overall reduced carbon footprint.
Human Robot Interaction Methods for Manipulating Comic Contents

Contents robots currently provide various fairy tales, comics and songs to audiences. However, existing contents displaying method through the robot is mostly linear and fixed. For entertainment purposes, it is necessary to display contents in various styles according to the userpsilas interaction to the robot. In this paper, we propose human robot interaction methods in viewing comics by re-coloring the foreground and background objects according to userpsilas facial expression such as happiness, sadness, fear and anger. Our method is robust for a modest computational cost. Desirable facial-expression based re-coloring results are obtained.
Making Anthropology Matter in the Heyday of Islamophobia and the ‘Refugee Crisis’ : The Case of Poland

This paper addresses the issue of multiculturalism in Poland, with the reference point being Islamophobia and the attitude towards ‘the Other’, especially immigrants in Europe. It is argued that today’s attitudes towards the Other result from the most recent history, marked by the interwar, wartime and postWWII nationalisms, seven decades of a relative ethnic and cultural homogeneity of society, recent migration trends in Europe, the current ‘refugee crisis’ and worldwide spreading of a fear of terrorism, overwhelmingly bolstered by the media. These phenomena are scrutinized by referring to the example of Muslims living in Poland. An appeal for anthropological action in the social and political domain informed by expert knowledge is advocated.
Strong Convergence of a General Iterative Algorithm for Mixed Equilibrium, Variational Inequality and Common Fixed Points Problems *

The aim of this paper, is to introduce and study a general iterative algorithm concerning the new mappings which the sequences generated by our proposed scheme converge strongly to a common element of the set of solutions of a mixed equilibrium problem, the set of common fixed points of a finite family of nonexpansive mappings and the set of solutions of the variational inequality for a relaxed cocoercive mapping in a real Hilbert space. In addition, we obtain some applications by using this result. The results obtained in this paper generalize and refine some known results in the current literature.
Quantile Estimation for Performance Measures in Network Simulations with CINSim

This paper presents the simulator CINSim. It was developed to investigate interconnection network architectures for a wide application range, like networks-on-chip or parallel computers. CINSim allows the simulation of arbitrary network topologies, various traffic distributions in time and space as well as dynamic reconfiguration of the network under investigation. Besides the estimation of mean values for several performance measures, quantiles can be observed.
Space-Based Nonlinear Dynamic Inversion Control for Aircraft Continuous Descent Approach

With the growth of civil aviation traffic, enhanced accuracy performances are required from guidance systems to maintain efficiency and safety in flight operations. This communication proposes a new representation of aircraft flight dynamics at approach for landing and a space-based nonlinear dynamic inversion control for a transportation aircraft. The main novelty is that the adopted independent variable is the distance to land. This new representation of flight dynamics should support the development of improved aircraft guidance systems.
Birth spacing and child survival in rural Senegal.

BACKGROUND Studies examining the associations between short birth spacing and child mortality have often concentrated on the strength of the associations whilst the public health importance of short spacing in specific communities has received less attention. This study re-examines the association between short birth intervals and child mortality in rural Senegal and discusses the potential direct effects of efforts to delay births on child mortality in this community. METHODS The study uses longitudinal data in a cohort of 4852 children born between 1983 and 1989. The associations between birth spacing and child mortality are examined using logistic and Cox proportional hazards regression models. RESULTS The probability of dying before age five is 224 per 1000 livebirths. The median interval between births is 33 months and only 12% of the birth intervals are less than 24 months in length. The odds of dying in the neonatal and post-neonatal period is 2.27 and 2.12 times higher respectively for children born after preceding birth intervals of one year or less compared to children born after longer intervals. Children born within two years of a subsequent birth are at 4.09 times higher risk of dying in the second year of life than children whose mother gave birth more than 2 years after the index birth. CONCLUSIONS In this community where prolonged breastfeeding causes women to space their births at long intervals, short birth intervals are a consequence rather than a cause of child mortality and the potential direct effects of birth spacing efforts on child mortality are limited. To reduce the high levels of child mortality, efforts will have to be made to ensure effective preventive and curative health services, and to maintain the traditional pattern of breastfeeding.
Gaussian Interval Quadrature Formulae for Tchebycheff Systems

For any given system of continuously differentiable functions $\{u_k\}_{k=1}^{2n}$ that constitute an extended Tchebycheff system of order 2 on [a,b] we prove the existence and uniqueness of the Gaussian interval quadrature formula based on n weighted integrals over nonoverlapping subintervals of [a,b] of preassigned lengths. This supplies an analogue of the result of Krein about canonical representation of linear positive functionals.
Orthographic variations and visual information processing.

Based upon an analysis of how graphemic symbols are mapped onto spoken languages, three distinctive writing systems with three different relations between script and speech relationships are identified. They are logography, syllabary, and alphabet, developed sequentially in the history of mankind. It is noted that this trend of development seems to coincide with the trend of cognitive development of children. This coincidence may imply that different cognitive processes are required for achieving reading proficiency in different writing systems. The studies reviewed include experiments on visual scanning, visual lateralization, perceptual demands, word recognition, speech recoding, and sentence comprehension. Results from such comparisons of reading behaviors across different orthographies suggest that human visual information processing is indeed affected by orthographic variation, but only at the lower levels (data-driven, or bottom-up processes). With respect to the higher-level processing (concept-driven, or top-down processes), reading behavior seems to be immune to orthographic variations. Further analyses of segmentation in script as well as in speech reveal that every orthography transcribes sentences at the level of words and that the transcription is achieved in a morphemic way.
Optimized selection of random expander graphs for Compressive Sensing

Compressive Sensing (CS) shows that sparse signals can be exactly recovered from a limited number of random or deterministic projections when the measurement mode satisfies some specified conditions. Random matrices, with the drawbacks of large storage, low efficiency and high complexity, are hard to use in practical applications. Recent works explore expander graphs for efficient CS recovery, but there is no explicit construction of expanders. The widely used expanders are chosen at random based on the probabilistic method. In this paper, we propose a parameter based on the second-largest eigenvalue of the adjacency matrix to select optimized expanders from random expanders. The theoretical analysis and the numerical simulations both indicate the selection criteria proposed in this paper can pick up the high-performance expanders from the random expanders effectively.
Regulation of neural progenitor cell state by ephrin-B

Maintaining a balance between self-renewal and differentiation in neural progenitor cells during development is important to ensure that correct numbers of neural cells are generated. We report that the ephrin-B–PDZ-RGS3 signaling pathway functions to regulate this balance in the developing mammalian cerebral cortex. During cortical neurogenesis, expression of ephrin-B1 and PDZ-RGS3 is specifically seen in progenitor cells and is turned off at the onset of neuronal differentiation. Persistent expression of ephrin-B1 and PDZ-RGS3 prevents differentiation of neural progenitor cells. Blocking RGS-mediated ephrin-B1 signaling in progenitor cells through RNA interference or expression of dominant-negative mutants results in differentiation. Genetic knockout of ephrin-B1 causes early cell cycle exit and leads to a concomitant loss of neural progenitor cells. Our results indicate that ephrin-B function is critical for the maintenance of the neural progenitor cell state and that this role of ephrin-B is mediated by PDZ-RGS3, likely via interacting with the noncanonical G protein signaling pathway, which is essential in neural progenitor asymmetrical cell division.
Inflationary Behaviour in Axial-symmetric Gravitational Collapse

We show that the interior of a charged, spinning black hole formed from a general axially symmetric gravitational collapse is unstable to inflation of both its mass and angular momentum parameters. Although our results are formulated in the context of $(2+1)$-dimensional black holes, we argue that they are applicable to $(3+1)$ dimensions.