Miracle-dz/UniFAR-FTUs huggingface dataset:
An empirical study of learning and forgetting constraints

Conflict-driven constraint learning provides big gains on many CSP and SAT problems. However, time and space costs to propagate the learned constraints can grow very quickly, so constraints are often discarded (forgotten) to reduce overhead. We conduct a major empirical investigation into the overheads introduced by unbounded constraint learning in CSP. To the best of our knowledge, this is the first published study in either CSP or SAT. We obtain three significant results. The first is that a small percentage of learnt constraints do most propagation. While this is conventional wisdom, it has not previously been the subject of empirical study. Second, we show that even constraints that do no effective propagation can incur significant time overheads. Finally, by implementing forgetting, we confirm that it can significantly improve the performance of modern learning CSP solvers, contradicting some previous research.
References Architectures for Enterprise Integration

The dynamic and competitive enterprise environment requires enterprises to ensure the highest pro®t from their resources, integrating them to work together in obtaining the enterprises objectives. The project of design and implementation of an Integrating Enterprise System, is an extremely complex project that involves dierent technological, human and organisational elements. For this purpose several dierent reference architectures (RA) have been proposed. However, this area of research is not yet totally satisfactory because these methods may still be improved. It is necessary to adapt the dierent techniques to the concrete needs of each type of enterprise activity. In addition, new methods enabling the integration of several enterprises (called virtual enterprises) must be developed and their use must be popularized through examples and application experiences. This paper shows the results of the research project in RA for enterprise integration of the IRIS group from the University Jaume I of Castell on. Mainly, it is a framework consisting of a step by step methodology, reference models and a set of supporting tools, which will allow the creation of an Integrated Enterprise. Some of the results obtained from the applications in dierent enterprises are also shown. 1. The new enterprise action framework Changes in the world economic environment, along with to the development of new technologies, especially in the information ®eld, con®gure a `new action frame-work' for the enterprise. This is one in which we go from old endeavour associated with positions in local markets to a `maximally competitive' global market. This forces us to constantly modify the culture, the mode of operating and the internal organization structures of the company, in order to compete and survive in this environment. The new highly dynamic action framework is characterized mainly by fourèxternal strengths (see Fig. 1) that directly aect the competitiveness of the enterprise (Vernadat, 1994): 1. thèworld-wide extension of the market', which forces the enterprise to extend and enlarge its action radius, and at the same time introduces new competitors in its traditional in¯uence area (Brown and Sack-ett, 1994); 2. the increasing`client requirements' which forces the enterprises to manufacture with a higher emphasis on quality; on customizing demand; on oering a better service and on diminishing costs; 3. thètechnological development', which provides tremendous opportunities to improve the enterprises' performance; 4. thèenvironmental impact' which will result in the short and medium term in restrictions imposed by law, which will force the enterprises to modify their …
Development Phase of Systematic Training: New Technology Lends Assistance

The problem and the solution. The field of human resource development (HRD) has long ascribed to the analysis, design, develop, implement, and evaluate (ADDIE) model for the systematic creation and delivery of training programs. The development phase is where the actual materials and course content used in the teaching-learning process are created. With the explosion of information technologies in today’s world, the course developer must now make the best decision about how to use electronic support related to training. There is a need to explore the development phase of systematic training to see what information technologies are available for the training developer and how these technologies enhance the development process and outcomes.
DESIGN OF AN AUDIO-VISUAL FOR THE CZECH AUDIO-VISUAL

Our long-term goal is to design a system for the Czech visual synthesis , that means an animated synthetic face (often called talking head) imitating pronouncing of a speech by a human being. In this paper we present techniques used for acquiring data and building the audiovisual speech corpus, especially its visual part. This process involves the recording of stereoscopic video data and solving of related problems as synchronization. Apart from that, we present simple method of utilization of such corpus using stereo vision principles and modelling shape of the lips by simple triangular mesh.
The Research-Teaching Nexus in Information Systems Education: The Research-Teaching Nexus in Information Systems Education: A case study A case study

Creating a link between research and teaching activities in higher education is a common and recurring challenge for many academics. Especially in practice-driven areas like Information Systems (IS), educators as well as students can benefit substantially from well-designed course curricula that facilitate research-driven learning processes. With this paper, we build on a review of extant literature to propose a research-driven course design in the case of a graduate IS course. The suggested approach includes a set of different techniques that allow for a successful integration of research-based content and activities throughout the whole course lifecycle. In order to validate our design empirically, we conduct a survey among course participants and present the results. Our findings provide initial support for the proposed design, which can be basis for future research and guide the composition of research-driven courses in the IS field.
Thunks and the-calculus ( extended version )

Plotkin, in his seminal article Call-by-name, call-by-value and the-calculus, formalized evaluation strategies and simulations using operational semantics and continuations. In particular, he showed how call-by-name evaluation could be simulated under call-by-value evaluation and vice versa. Since Algol 60, however, call-by-name is both implemented and simulated with thunks rather than with continuations. We recast this folk theorem in Plotkin's setting, and show that thunks, even though they are simpler than continuations, are suucient for establishing all the correctness properties of Plotkin's call-by-name simulation. Furthermore, we establish a new relationship between Plotkin's two continuation-based simulations C n and C v , by deriving C n as the composition of our thunk-based simulation T and of C + v | an extension of C v handling thunks. Almost all of the correctness properties of C n follow from the properties of T and C + v. This simpliies reasoning about call-by-name continuation-passing style. We also give several applications involving factoring continuation-based transformations using thunks.
Impacts of climate change on irrigation water demand of paddy: a case study from Hakwatuna Oya irrigation scheme in Sri Lanka

Assessment of irrigation water requirement (IWR) is a prerequisite for planning and management of an irrigation scheme, particularly for a water short scheme. In this context, this study was conducted to estimate the current and future IWR under A2 (very heterogeneous world) and B2 (world in which emphasis is on local solutions to economic, social, and environmental sustainability) scenarios of IPCC emission for Hakwatuna Oya irrigation scheme using SDSM and CROPWAT models. It was found that the reference evapotranspiration (ETo) during Maha and Yala seasons at present are 407 mm and 506 mm, respectively. Water requirement of 3½ months paddy in Maha season is 1,282 mm whereas it is 1,381 mm in Yala season. The crop water requirement, which depends primarily on temperature, remains relatively stable over the simulation period up to 2070. When compared to the mean annual rainfall during 1972 to 2001, the rainfall is expected to increase by 32% and 27% from 2041 to 2070 under A2 and B2 scenarios, respectively. As a result, the total water availability from rainfall and irrigation water issues from the Hakwatuna Oya reservoir in Maha season would increase in the future with an overall water deficit to reduce from 28% to 18% and from 28% to 20% under A2 and B2 scenarios, respectively. For Yala season, this reduction is found to be 30% to 24% and 30% to 26% under A2 and B2 scenarios, respectively. The benefits from climate change could be further enhanced by adjusting the planting time to coincide with months of high rainfall.
Dune formation in dilute phase pneumatic transport system: PIV & PTV based analysis

Flow of gas-solid mixture through horizontal conveying section show a large variety of phenomena and is broadly classified into dilute and dense unstable regimes. Different types of instabilities are observed in the dense phase flow and are widely studied in literature; however, clustering instabilities are observed in the very dilute regime of flow with volume fraction ~0.001. A recent study has shown that regular, stable dune shaped clusters are formed in a small regime of the dilute phase of conveying. The dunes become unstable as the superficial gas velocity is decreased before it finally leads to the dense mode of conveying. The motivation of the current work is to investigate the velocity distribution on the surface of the stable and unstable dunes and thereby understand the cause behind the formation of the dunes in the conveying section. To that end, particle image and tracking velocimetry techniques are employed with the specific objective to determine the volume fraction and the velocity profile of the solid phase on the stable dune surface. A drastic change in the solid fraction within a few particle diameters from the dune surface suggests that PTV is more appropriate in the bulk whereas PIV is suitable for near surface investigation.
i 2 tag : RFID Mobility and Activity Identiﬁcation through Intelligent Proﬁling

Many Radio Frequency Identiﬁcation (RFID) applications, e.g., virtual shopping-cart and tag-assisted gaming, involve sensing and recognizing tag mobility. Existing RFID localization methods however are mostly designed for static or slowly moving targets (less than 0.3 m/s). More importantly, we observe that prior methods suffer from serious performance degradation for detecting realworld moving tags in typical indoor environments with multipath interference. In this paper, we present i 2 tag , an intelligent mobility-aware activity identiﬁcation system for RFID tags in multipath-rich environments, e.g., indoors. i 2 tag employs a supervised learning framework based on our novel ﬁne-grained mobility proﬁle , which can quantify different levels of mobility. Unlike previous methods that mostly rely on phase measurement, i 2 tag takes into account various measurements, including RSSI variance, packet loss rate, and our novel relative-phase-based ﬁn-gerprint. Additionally, we design a multiple dimensional dynamic time warping based algorithm to robustly detect mobility and the associated activities. We show that i 2 tag is readily deployable using off-the-shelf RFID devices. A prototype has been implemented using a Thingmagic reader and standard-compatible tags. Experimental results demonstrate its superiority in mobility detection and activity identiﬁcation in various indoor environments.
A preliminary study of the ectomycorrhizal fungi associated with banj oak and chir pine in the Garhwal Himalaya, India

The assemblages of ectomycorrhizal fungi associated with chir pine (Pinus roxburghii) and banj oak (Quercus leucotrichophora) in the Garhwal Himalaya were characterized using molecular techniques. The present study is one of the first efforts in India to identify ectomycorrhizal fungi from DNA extracted from root-tips. A total of 23 taxa were recorded, and 15 of these were taxa known to be ectomycorrhizal. Eleven ectomycorrhizal taxa were recorded from banj oak and six from chir pine. Only two taxa (Russula cerolens and an unidentified member of the Russulaceae) were recorded from both types of trees. In addition to fungi identified from root-tips, five other taxa of ectomycorrhizal fungi were identified from fruiting bodies collected in forests dominated by either banj oak or chir pine.
On the Compilability and Expressive Power of Propositional Planning

The recent approaches of extending the GRAPHPLAN algorithm to handle more expressive planning formalisms raise the question of what the formal meaning of ``expressive power'''' is. We formalize the intuition that expressive power is a measure of how concisely planning domains and plans can be expressed in a particular formalism by introducing the notion of ``compilation schemes'''' between planning formalisms. Such compilation schemes restrict the growth of planning domains and the corresponding plans. Using this notion, we analyze the expressiveness of a large family of propositional planning formalisms, ranging from basic STRIPS to a formalism with conditional effects, partial state specifications, and propositional formulae in the preconditions. One of the results is that conditional effects cannot be compiled away if plan size should grow only linearly but can be compiled away if we allow for polynomial growth of the resulting plans. This result confirms that the recently proposed extensions to the GRAPHPLAN algorithm concerning conditional effects are optimal with respect to the ``compilability'''' framework. Another result is that general propositional formulae cannot be compiled into conditional effects if the plan size should be preserved. This implies that allowing general propositional formulae in preconditions and effect conditions adds another level of difficulty in generating a plan.
Social search and discovery using a unified approach

This research explores new ways to augment the search and discovery of relations between Web 2.0 entities using multiple types and sources of social information. Our goal is to allow the search for all object types such as documents, persons and tags, while retrieving related objects of all types. We implemented a social-search engine using a unified approach, where the search space is expanded to represent heterogeneous information objects that are interrelated by several relation types. Our solution is based on multifaceted search, which provides an efficient update mechanism for relations between objects, as well as efficient search over the heterogeneous data. We describe a social search engine positioned within a large enterprise, applied over social data gathered from several Web 2.0 applications. We conducted a large user study with over 600 people to evaluate the contribution of social data for search. Our results demonstrate the high precision of social search results and confirm the strong relationship of users and tags to the topics retrieved.
Delay-Dependent Guaranteed Cost Control of an Interval System with Interval Time-Varying Delay

This paper concerns the problem of the delay-dependent robust stability and guaranteed cost control for an interval system with time-varying delay. The interval system with matrix factorization is provided and leads to less conservative conclusions than solving a square root. The time-varying delay is assumed to belong to an interval and the derivative of the interval time-varying delay is not a restriction, which allows a fast time-varying delay; also its applicability is broad. Based on the Lyapunov-Ktasovskii approach, a delay-dependent criterion for the existence of a state feedback controller, which guarantees the closed-loop system stability, the upper bound of cost function, and disturbance attenuation lever for all admissible uncertainties as well as out perturbation, is proposed in terms of linear matrix inequalities (LMIs). The criterion is derived by free weighting matrices that can reduce the conservatism. The effectiveness has been verified in a number example and the compute results are presented to validate the proposed design method.
A Fast Parallel SAT{Solver | E(cid:14)cient Workload Balancing

: We present a fast parallel SAT{solver on a message based MIMD machine. The input formula is dynamically divided into disjoint subformulas. Small subformulas are solved by a fast sequential SAT{solver running on every processor, which is based on the Davis{Putnam procedure with a special heuristic for variable selection. The algorithm uses optimized data structures to modify Boolean formulas. Additionally e(cid:14)cient workload balancing algorithms are used, to achieve a uniform distribution of workload among the processors. We consider the communication network topologies d{dimensional processor grid and linear processor array. Tests with up to 256 processors have shown very good e(cid:14)ciency{values (> 0:95).
The Independent LifeStyle Assistant

The Independent LifeStyle Assistant TM (I.L.S.A.) is an agent-based monitoring and support system to help elderly people to live longer in their homes by reducing caregiver burden. I.L. S.A. is a multiagent system that incorporates a unified sensing model, situation assessments, response planning, real-time responses and machine learning. This paper describes the six-month study of the system we fielded in elder’s homes and the major we lessons learned
Retrieval of entire genes from environmental DNA by inverse PCR with pre-amplification of target genes using primers containing locked nucleic acids

We had been unsuccessful to amplify desired nucleotide sequences from various environmental DNA samples by using the inverse polymerase chain reaction (IPCR) technique, most probably because the copy numbers of target DNA sequences had been quite low. To enrich the target DNA sequences prior to IPCR, a rolling-circle amplification was used with a site-specific primer containing locked nucleic acids (LNAs). This pre-amplified IPCR (PAI-PCR) method increased the sensitivity of PCR almost 10 000 times compared with the standard IPCR in model experiments using Escherichia coli. We then applied the PAI-PCR method to isolate glycosyl hydrolase genes from DNAs extracted from vermiform appendixes of horses and termite guts. The flanking sequences of the target genes were amplified and cloned successfully using PAI-PCR, whereas standard IPCR resulted in no amplification.
Case Study 1 : Requirement analysis and application of TAO methodology in data intensive applications

EU-IST Strategic Targeted Research Project (STREP) IST-2004-026460 TAO Deliverable D6.1 (WP6) This deliverable describes the results of requirement analysis and definition of transitioning scenarios to semantic technologies that have been carried out on the open-source software engineering case study 1. It provides an outline of the application to be refactored and an introduction to the underlying application-specific concepts. A structured set of requirements is collected and exploited as a starting point to set up precise technical directions that will be followed in the re-engineering work. This work resulted in the technical specification and scope delimitation of the transitioning scenarios regarding ontology acquisition, semantic annotation, and semantic-based access. Keyword list: Semantic Modelling, Ontology Acquisition, Semantic Annotation, Semantic Web Services, SOA, software engineering Copyright c © 2007 University of Sheffield (USFD) Document Id. Project Date Distribution TAO/2007/D6.1/v1.0 TAO IST-2004-026460 April 10, 2007 public
An Optimal Task Scheduling Mechanism for Mobile Cloud Computing

Mobile devices limited storage and computation capabilities are largely affected by the compute intensive, resource intensive or energy drain applications. These limitations of the mobile devices can be eliminated with the help of mobile cloud computing by delivering the energy drain or computing intensive parts of the task to more resourceful resources and receiving the result from the resources. This process (a.k.a code offloading) helps the mobile device to increase performance and reduce energy consumption. We have proposed an optimal task scheduling code offloading mechanism which optimally identify the remote executable tasks and also identify the remote VM to execute the task. We have also proposed some greedy algorithms to evaluate the result of our proposed task scheduling algorithm. Herein, the local execution time, maximum allowable time and communication latency information and scheduling a task based on the remote VM execution time and queuing time etc. information are served to the master cloud. In our experimentation, we have used an image processing application to validate the proposed system. From our evaluation we show that tasks executed on high capacity VM improve the overall execution time comparing with local mobile device execution. It also shows that the proposed mechanism for offloading task from mobile device to remote resource perform efficiently for resource heterogeneity.
Fractal Analysis of Intraflow Unidirectional Delay over WLAN and WWAN Environments

we have analysed unidirectional delay traces of a diverse set of IPv6 microflows routed over W-LAN and W-WAN environments. Using a number of time-domain and frequencydomain estimators we have examined the existence and intensity of long-range dependence in packet delay when viewed as time-series data. The correlation structures of packet delay on bulk TCP data path and UDP flows follow asymptotic decay while Hurst exponent estimates suggest from moderate to strong intensity ( 1) H → .
On similarity measures between intuitionistic fuzzy sets

In this paper, we first review several popular similarity measures between fuzzy sets and then extend those similarity measures to intuitionistic fuzzy sets. We also propose two new similarity measures between intuitionistic fuzzy sets. These similarity measures have been found to satisfy some similarity measure axioms. Several numerical experiments are performed to assess the performance of these measures. Numerical results clearly indicate these new measures to be superior in performance to the others. Finally, we apply the new measures to evaluate students' answerscripts. The experimental results show the superiority of the proposed measures for students' evaluation. © 2008 Wiley Periodicals, Inc.
Introduction to Wireless Sensor Networks

The emergence of the wireless sensor networks in various applications ranging from Military, Health, Urban, Agriculture etc. have attracted many researchers in this field. Sensor network nodes are limited with respect to energy supply, restricted computational capacity and communication bandwidth. The paper provides the basics of the WSNs including the node characteristics. It also throws light on the routing protocols and their required characteristics. Further, we also discuss two routing protocols in brief.