Miracle-dz/UniFAR-FTUs huggingface dataset:
A Constraint Logic Programming Based Approach to the International Timetabling Competition

This paper outlines the modeling, implementation and refinement of a solution to the International Timetabling Competition using Constrai nt Logic Programming methods. This is primarily carried out within the ECLiPSe const raint programming framework using lib(ic), the hybrid integer/real interval ari thmetic constraint solver library. The International Timetabling Competition, organized by the Metaheuristic Net-work and sponsored by PATAT (Practice and Theory of Automated Timetabling) was held in 2003. The competition presented a reduced un iversity course timetabling problem and associated problem datasets designed by Ben Paechter. The aim of the competition problem was to deliver feasible timetab les, in a set execution time that meets all hard constraints and minimized occurrence s of soft constraints. Although this competition has already been held and winners announced [1,2,3,4], the outcome has provided researchers with a number of independently verified solu-tions and performance measures using a variety of d ifferent approaches. Further to this the Center for Emergent Computing at Napier Uni versity have posted new "Harder" Instances for the University Course Timetab ling Problem [5] that can further challenge heuristic development in this field. The aim of this research is to provide a solution to the timetabling problem using as much as possible the ECLiPSe framework and minimal use of external custom-built metaheuristics and solvers. The performance o f this approach is then compared to the competition results and differences analyzed and discussed. This approach in-troduces a number of design challenges in providing acceptable performance within ECLiPSe as opposed to a custom built heuristic. These challenges are outlined and discussed. The approach followed consists of the following stag es: Modeling the problem data Data from the input file format specified by the co mpetition is loaded into the constraint engine as a set of atomic facts such as: timeslot(timeslot_id) student(student_id,[classes]),
Ayurveda and Pharmacogenomics

The world is moving towards personalized medicine. In allopathic medicine, this means that prevention, diagnosis, and treatment are all tailored to the characteristics of each individual patient. The sequencing of the human genome has allowed for the detection and identification of DNA sequences and protein expression in tissues, saliva, blood and urine. The ability to undertake genome-wide association studies (GWAS) has led to the identification of many common genetic risk variants for multiple human diseases. Scientists are even beginning to perform in depth studies on healthy patients, and are employing strategies called “integrative personal omics profile (iPOP)” [1]. This type of analysis merges genomic, proteomic, metabolomic, and antibody studies in a single individual over time. However, it is widely recognized that it is difficult to interpret much of the genome, and that many diseases such as diabetes and cancer involve multiple genes and multiple cellular pathways as well as environmental factors. That being said, western medicine is also beginning to acknowledge that a person’s phenotype is indeed related not only to disease risk, but also to treatment response.
On the Use of Nonlinear Regularization in Inverse Methods for the Solar Tachocline Profile Determination

Inversions of rotational splittings have shown that the surface layers and the so-called solar tachocline at the base of the convection zone are regions in which high radial gradients of the rotation rate occur. The usual regularization methods tend to smooth out every high gradients in the solution and may not be appropriate for the study of a zone like the tachocline. In this paper we use nonlinear regularization methods that are developed for edge-preserving regularization in computed imaging (e.g. Blanc-Féraud et al. 1995) and we apply them in the helioseismic context of ro-tational inversions.
Markov Regime Switching and Unit-Root Tests

We investigate the power and size performance of unit-root tests when the data undergo Markov regime switching. All tests, including those robust to a single break in trend growth rate, have low power against a process with a Markov-switching trend. Under the null hypothesis, we find that previously documented size distortions in Dickey–Fuller-type tests caused by a single break in trend growth rate or variance do not generalize to most parameterizations of Markov switching in trend or variance. However, Markov switching in variance can lead to overrejection in tests allowing for a single break the level of trend.
A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Logic

A novel decision method for autoepistemic reasoning is developed. The method is applicable in a general setting, i.e. for an autoepistemic logic based on a given classical logic. It provides a decision method for a tightly grounded form of autoepistemic reasoning based on Lhierarchic expansions as well as for autoepistemic reasoning based on Moore style expansions and N-expansions. Prominent formalizations of nonmonotonic reasoning, such as default logic and circumscription, can be embedded into autoepistemic logic based on Lhierarchic expansions using simple local translations. Hence, the method can serve as a unified reasoning tool for a wide range of forms of nonmonotonic reasoning.
PSYCHOMETRIC RECONSTRUCTION OF THE INQUIRY SCIENCE TEACHING STRATEGIES (ISTS) INSTRUMENT

This study re-evaluated the psychometric properties of the 40-item Inquiry Science Teaching Strategies instrument [ISTS] (Lazarowitz & Lee, 1976). The ISTS was administered to 201 elementary pre-service teachers at a university in the Midwest of United States during the 2009-2010 school terms. Initial CFA results failed to confirm the 3-factor structure of the original ISTS. A statistically significant goodness-of-fit statistic (χ² [737, N = 201] = 1394.61, p = 0.00) supported by two fit indices (GFI = 0.69, CFI = 0.45) indicated non-tenability of the measurement model. Subsequent PCA retained half of the components under an obliquely rotated 3-factor solution. Following the removal of 22 items, final CFA indicated non-tenability under slightly improved fitting (χ² [132, N = 201] = 236.93, p = 0.00, GFI = 0.88, CFI = 0.83). It is recommended that existing items be revised and new ones appended using Exploratory Factor Analysis with a different sample. Key words: attitudes towards inquiry-based science, confirmatory factor analysis, evaluation of psychometric properties, instrument development, principal component analysis.
Proceedings of the 6 th AGILE Dates – Lieu REALIZATION OF GIS SEMANTIC INTEROPERABILITY IN LOCAL COMMUNITY ENVIRONMENT

1. INTRODUCTION Popularity of GIS in government and municipality institutions induce increasing amount of available information [1]. In local community environment (city services, local offices, local telecom, public utilities, water and power supply services, etc) different information systems deal with huge amount of available information, where the most of data in databases is georeferenced. Information that exists in different spatial databases may be useful for many other GIS applications. But, information communities find it difficult to locate and retrieve data from other sources, in reliable and acceptable form. In such systems reuse for geodata are very often a difficult process, because of poor documentation, obscure semantics, diversity of data sets, and the heterogeneity of existing systems in terms of data modelling concepts, data encoding techniques and storage structures [2]. Also, available information is always distributed and no one wants to share his own information in public without commitment. In that case, centralized control is not applicable and not practical, since the ownership of data is in domain of organizations whom they belong, and no one wants to share his own information with public. Because of that, there is a need to provide communication and collaboration between these information sources without centralized control. The problem of bringing together heterogeneous and distributed information systems is known as interoperability problem. The realization of interoperable GI systems is weighty process, as a consequence of two main system characteristic-distributed data sources and their heterogeneity [3]. Information systems heterogeneity may be considered as structural (schematic heterogeneity), semantic (data heterogeneity), and syntactic heterogeneity (database heterogeneity) [4]. Syntactic heterogeneity means that various database systems use different query languages (SQL, OQL, etc). Structural heterogeneity means that different information systems store their data in different structures. Semantic heterogeneity considers the content of an information item and its meaning. Semantic conflicts among information systems occur whenever information systems do not use the same interpretation of the information. Semantic heterogeneity of the data sources causes serious problems. Domain experts use the concepts and terminology specific for their respective field of expertise, and use different parameters and different languages to express their model of a concept. Humans use their "common sense", i.e. their knowledge about the world, to translate the meaning of foreign set of concepts and terms in their own terminology. Software systems usually do not have any knowledge about the world and have to explicitly be told how to translate one …
Are Neural Fields Suitable for Vector Quantization?

This paper focuses on the possibility of enabling vector quantization learning techniques into dynamic neural fields, as an attempt to enrich their usage in bio-inspired applications. As mathematical approaches prove rather difficult to propose a practical solution, due to the non-linear character of the field equations, we adopt a different perspective in order to deal with this problem. This consists in simulating the evolution of the field and design an empirical method able to measure its quality. The developed benchmark framework implementing this approach is used to check whether a given field is capable to behave as expected in various situations, in particular those involving self-organization by vector quantization.
A secure authentication protocol using HOTP on USB storage devices

The external storage using a universal serial bus (USB) communication become the most popular use for storing digital data. Application such as evidence acquisition in digital forensic area needs external storage devices that are portable, high speed of data transfer, and easy to use for collecting digital data from suspect computers. Apart from these advantages of USB storage devices, they do not have a built-in function to authenticate users. If unauthorized users obtain this device with some utilities installed in it, they might use it as a weapon to attack or steal valuable information from anyone. To avoid this situation, this paper proposes a two-factor authentication technique in order to solve such problem, as well as to limit the software usage in which users can run it inside that assigned device only. That means no unauthorized users can make a copy version and distribute it to other devices and run the software. The result from the experiment shows that the proposed authentication protocol is able to achieve all goals of this paper.
Do Online Social Tags Predict Perceived or Induced Emotional Responses to Music?

Music provides a powerful means of communication and self-expression. A wealth of research has been performed on the study of music and emotion, including emotion modelling and emotion classification. The emergence of online social tags (OST) has provided highly relevant information for the study of mood, as well as an important impetus for using discrete emotion terms in the study of continuous models of affect. Yet, the extent to which human annotation reveals either perceived emotion or induced emotion remains unknown. 80 musical excerpts were randomly selected from a collection of 2904 songs labelled with the Last.fm tags “happy”, “sad”, “angry” and “relax”. Forty-seven participants provided emotion ratings on the two continuous dimensions of valence and arousal for both perceived and induced emotion. Analysis of variance did not reveal significant differences in ratings between perceived emotion and induced emotion. Moreover, the results indicated that, regardless of the discrete type of emotion experienced, listeners’ ratings of perceived and induced emotion were highly positively correlated. Finally, the emotion tags “happy”, “sad” and “angry” but not “relax” predicted the corresponding experimentally provided emotion categories.
Full-body motion-based game interaction for older adults

Older adults in nursing homes often lead sedentary lifestyles, which reduces their life expectancy. Full-body motion-control games provide an opportunity for these adults to remain active and engaged; these games are not designed with age-related impairments in mind, which prevents the games from being leveraged to increase the activity levels of older adults. In this paper, we present two studies aimed at developing game design guidelines for full-body motion controls for older adults experiencing age-related changes and impairments. Our studies also demonstrate how full-body motion-control games can accommodate a variety of user abilities, have a positive effect on mood and, by extension, the emotional well-being of older adults. Based on our studies, we present seven guidelines for the design of full-body interaction in games. The guidelines are designed to foster safe physical activity among older adults, thereby increasing their quality of life.
l-step ahead optimal robust controller for uncertain auto-regressive systems

In this article, an lscr-step ahead optimal robust controller for uncertain linear discrete auto-regressive (AR) systems is presented. The novelty in the suggested scheme stems from the utilization of a lattice filter for: a) the system's identification, b) calculation of the output uncertainty interval and the computation of the optimal robust control effort. The utilized controller comprises of two parts. The first part, based on the a priori bounds of the lattice filter's reflection coefficients and the operating limits of the reference signal, calculates the set of all feasible predicted output values. The second part consists of an optimal robust controller that minimizes a properly adopted cost function, based on the predicted uncertainty intervals. The scope of the controller is to penalize the variance of the tracking error and the control effort. This computation is recursive over the length of the lscr-step ahead time window and the number of stages of the lattice filter. Simulation studies are used to prove the efficacy of the proposed controller
Integrated optimal dynamics control of 4WS4WD electric ground vehicles with tire-road frictional coefficient estimation

This paper presents a novel integrated optimal dynamics control of 4WS4WD electric vehicles via hierarchical control methodology. In the higher-level design, an LQR controller is proposed to obtain the generalized longitudinal force, lateral force and yaw moment, according to their respective reference values. In the lower-level design, the control signals from the higher-level controller are allocated through a cost function to generate the eight optimal tire forces. A barrier function based on the friction limit circle is proposed to calculate the coefficients in the cost function. The lower-level controller is designed to ensure all the tires work in the stable region while realizing the tracking control of the vehicle dynamics. The tire-road friction coefficient is estimated through the integrated longitudinal force and lateral force, respectively, using a brush tire model. To reduce the estimation error, a novel data fusion function is employed to generate the final estimation value. Finally, the effectiveness of the proposed control and estimation strategies is validated via CarSim-Simulink joint simulation.
INTERSECTION THEOREMS FOR SYSTEMS OF FINITE SETS

2. Notation The letters a, b, c, d, x, y, z denote finite sets of non-negative integers, all other lower-case letters denote non-negative integers. If fc I, then [k, I) denotes the set {k,k+l,k+2,. ,l-l} = {*: fc < « < Q. The obliteration operator " serves to remove from any system of elements the element above which it is placed. Thus [k,I) = {k,k-{-l,. ,fy. The cardinal of o is \a\\ inclusion (in the wide sense), union, difference, and intersection of sets are denoted by o c b, a-\-b, a—b, ab respectively, and a—b = a—ab for all a, b. By 8(k,l,m) we denote the set of all systems (ao,av.,dn) such that avc[0,m); \av\ 1 (v < »),
Breast Carcinoma Characterizes the Lymphovascular Emboli of Inflammatory-Catenin Axis β , α An Intact Overexpressed E-cadherin / Updated

The step of intravasation (lymphovascular invasion), a rate-limiting step in metastasis, is greatly exaggerated in inflammatory breast carcinoma (IBC). Because nearly all human breast carcinoma cell lines grow as solitary nodules in nude/severe combined immunodeficient mice without manifesting lymphovascular invasion, this step has been difficult to study. We captured the essence of the IBC phenotype by establishing a unique human transplantable IBC xenograft, MARY-X, which manifests florid lymphovascular emboli in severe combined immunodeficient/nude mice. Comparing MARY-X with common non-IBC cell lines/xenografts, we discovered an overexpressed and overfunctioning E-cadherin/a,b-catenin axis. In MARY-X, the E-cadherin and catenins were part of a structurally and functionally intact adhesion axis involving the actin cytoskeleton. In vitro, MARY-X grew as round compact spheroids with a cell density 5–10-fold higher than that of other lines. The spheroids of MARY-X completely disadhered when placed in media containing absent Ca or anti-E-cadherin antibodies or when retrovirally transfected with a dominant-negative E-cadherin mutant (H-2K-E-cad). Anti-E-cadherin antibodies injected i.v. immunolocalized to the pulmonary lymphovascular emboli of MARY-X and caused their dissolution. H-2K-E-cad-transfected MARY-X spheroids were only weakly tumorigenic and did not form lymphovascular emboli. A total of 90% of human IBCs showed increased membrane E-cadherin/a,b-catenin immunoreactivity. These findings indicate that it is the gain and not the loss of the E-cadherin axis that contributes to the IBC phenotype.
Cross-layer scheduling for multi-quality video streaming in cellular wireless networks

Today's video delivery solutions for mobile terminals often use the HTTP Live Streaming (HLS) protocol, which has two interesting features: firstly, the video is divided into playable segments of a certain length, which allows to download and buffer segments before they are required for playback. And secondly, those segments can be available in different quality levels, which can be selected according to the available transmission capacity. Combining these features with scheduling and channel capacity prediction of wireless transmissions into a cross-layer scheduling approach could improve the QoE for users by reducing playback interruptions and by providing the best possible video quality depending on the user's wireless channel capacity. In this paper we propose a mixed integer quadratically constrained program (MIQCP) to implement the aforementioned cross-layer scheduling approach. We evaluate its performance compared to greedy strategies to assess the potential for a future polynomial time implementation.
Quantized consensus ADMM for multi-agent distributed optimization

This paper considers multi-agent distributed optimization with quantized communication which is needed when inter-agent communications are subject to finite capacity and other practical constraints. To minimize the global objective formed by a sum of local convex functions, we develop a quantized distributed algorithm based on the alternating direction method of multipliers (ADMM). Under certain convexity assumptions, it is shown that the proposed algorithm converges to a consensus within log1+η Ω iterations, where η > 0 depends on the network topology and the local objectives, and O is a polynomial fraction depending on the quantization resolution, the distance between initial and optimal variable values, the local objectives, and the network topology. We also obtain a tight upper bound on the consensus error which does not depend on the size of the network.
User interests in social media sites: an exploration with micro-blogs

Recent technological advances in mobile-based access to social networking platforms and facilities to update information in real{time (e.g. in Facebook) have allowed an individual's online presence to be as ephemeral and dynamic in nature, as her very thoughts and interests. In this context, micro-blogging has been widely adopted by users as an effective means to capture and disseminate their thoughts and actions to a larger audience on a daily basis. Interestingly, daily chatters of a user obtained from her micro-blogs offer a unique information source to analyze and interpret her context in real-time - i.e. interests, intentions,and activities. In this paper, we gather data from the public timeline of Twitter spanning across ten worldwide cities over a period of four weeks. We use this dataset to (a) explore how users express interests in real-time through micro-blogs, and (b) understand how text mining techniques can be applied to interpret real-time context of a user based on her tweets. Initial findings reported herein suggest that social media sites like Twitter constitute a promising source for extracting user context that can be exploited by novel social networking applications.
Combining dirty-paper coding and artificial noise for secrecy

This paper studies the dirty-paper coding (DPC) based secure transmission in a multiuser broadcast channel. Since the encoding order of DPC determines which information-bearing signals must be treated as noise by potential eavesdroppers, adopting DPC enables the accurate characterization of the intrinsic secrecy as well as secrecy outage of multiuser broadcasting. Furthermore, the information-bearing signals can be designed to provide secrecy in addition to supporting normal (unclassified) transmission. To show this, we consider the scenario where one user requests secure transmission and the other users request normal transmission, and propose a hybrid secure transmission scheme which combines zero-forcing DPC and artificial noise (AN). By solving the secrecy rate maximization problem under constraints on the secrecy outage probability and the normal communication rates, we find that in addition to supporting the normal transmission, the proposed scheme has the potential to achieve a secrecy rate close to that of the traditional AN-based beamforming.
Research on the Algorithm of Data Packet Marking for DDoS Attack

At present, data packet marking is a good approbatory technology of various schemes for dealing with DDoS attack. Probabilistic packet marking (PPM) is the most representative technology of data packet marking. This paper studies the algorithm of data packet marking in depth, especially for PPM. Research shows there is a serious problem that marking routing information is unfair in different place of the attack path. It will result in reconstructing the attack path needs large numbers of packets. In order to handle this problem, this paper proposes a new algorithm based on marked judging flag (MJF-PM). We set up a marked judging flag in MJF-PM which denotes whether a packet was marked or not. Thus, we can settle the problem of PPM. The result of theoretical analysis and simulated experiment shown, MJF-PM is much better than PPM, and it is feasible.