Miracle-dz/UniFAR-FTUs huggingface dataset:
A fast algorithm for mining frequent closed itemsets over stream sliding window

Mining frequent patterns refers to the discovery of the sets of items that frequently appear in a transaction database. Many approaches have been proposed for mining frequent itemsets from a large database, but a large number of frequent itemsets may be discovered. In order to present users fewer but more important patterns, researchers are interested in discovering frequent closed itemsets which is a well-known complete and condensed representation of frequent itemsets. In this paper, we propose an efficient algorithm for discovering frequent closed itemsets over a data stream. The previous approaches need to do a large number of searching operations and computations to maintain the closed itemsets when a transaction is added or deleted. Our approach only performs few intersection operations on the transaction and the closed itemsets related to the transaction without doing any searching operation on the previous closed itemsets. The experimental results show that our approach significantly outperforms the previous approaches.
The Orchestra : A conceptual model for function allocation and scenario-based engineering in multi-agent safety-critical systems

Function allocation in safety-critical systems is not a new research topic. However, there is a need for unifying what is separately done in engineering, human factors and organization science. In aviation for example, functions have been allocated on the flight deck and on the ground control stations, but very little has been done in between flight decks and ground stations. As we go forward, a multitude of machine agents grows and intertwined information flows become more important to understand information management by both individuals and organizations. This paper proposes a new approach to function allocation among human and machine agents based on the orchestra metaphor, where agents are considered as musicians. This kind of model requires a common frame of reference (the music theory), contracts (scores) must be appropriately initially and formally coordinated (the role of the composer), real-time coordination (the role of the conductor), and specific abilities to perform according to contracts (role and proficiency of the musicians). Contracts are seen as scenarios or storyboards, with an additional responsibility dimension. More generally, authority has become the central driving force of the model, where authority encapsulates both control and accountability. The understanding, which we commonly have of an orchestra, is extended by including authority trading that is based on negotiation among agents, as musicians. Examples are taken from the air traffic management domain currently under investigation worldwide. The Orchestra model is compared to previous related theoretical models of socio-technical systems.
Oxytocin Makes a Face in Memory Familiar

Social recognition is the basis of all social interactions. Here, we show that, in humans, the evolutionarily highly conserved neuropeptide oxytocin, after intranasal administration, specifically improves recognition memory for faces, but not for nonsocial stimuli. With increased oxytocin levels, previously presented faces were more correctly assessed as “known,” whereas the ability of recollecting faces was unchanged. This pattern speaks for an immediate and selective effect of the peptide strengthening neuronal systems of social memory.
Atlin TGI, Part II: Regional Geology and Mineralization of the Nakina Area (NTS 104N/2W and 3)

We report on the second and final year of geological mapping in the Nakina area, conducted under the Atlin Targeted Geoscience Initiative (TGI). Principal aims of the TGI are to create a legacy of high quality geoscience data that will stimulate geological resource exploration, and regional economic development (see Atlin TGI Part I). Geological maps produced as part of the project portray base-line data required for informed land-use decisions or other studies where bedrock geology is a consideration.
Effect of Load Model on Damping of Oscillations in Power Systems

Power system dynamic stability is closely associated with load model and damping of oscillations is affected by load model. In this regard, investigation of load model on system dynamic stability is useful. Application of a practical load model can lead to more suitable results in power system simulations. In this paper, different load models are investigated and some of them are simulated and compared. The results show the great effect of load model on power system stability and performance. [Mehdi Nikzad, Shoorangiz Shams Shamsabad Farahani, Mohammad Bigdeli Tabar, Hossein Tourang, Behrang Yousefpour. Effect of Load Model on Damping of Oscillations in Power Systems. Life Sci J 2012;9(4):59195923] (ISSN:1097-8135). http://www.lifesciencesite. com. 887
Correlation Coefficient Measure of Mono and Multimodal Brain Image Registration using Fast Walsh Hadamard Transform

A bundle of image registration procedures have been built up with enormous implication for data analysis in medicine, astrophotography, satellite imaging and little other areas. An approach to the problem of mono and multimodality medical image registration is proposed, with a fundamental concept Correlation Coefficient, as a matching measure. It measures the statistical dependence or information redundancy between the image intensities of corresponding voxels in both images. Maximization of CC is a very broad and dominant norm. As no assumptions are made regarding the nature of this dependence and no limiting constraints are imposed on the image content of the modalities involved. The accuracy of the CC criterion is validated for rigid body registration of computed tomography (CT), and magnetic resonance (MR T1 and T2) images by comparison with the registration solution. Experimental results prove that subvoxel accuracy with the reference solution can be achieved completely automatically without any preprocessing steps that make this process ensemble for medical applications.
An Exploratory Study Examining the Appropriateness and Potential Benefit of the Nintendo Wii as a Physical Activity Tool in Adults Aged ≥ 55 Years

This study investigates the physical exertion of playing the Nintendo Wii (R) (Wii) and determines the appropriateness and potential benefit of it as a physical activity tool for older adults. Twenty healthy adults (aged 61 +/- 6 years) took part in a single session using a selection of the Wii Sports and Wii Fit games. During the gameplay session, heart rate and perceived exertion were measured. Pre- and post-session, we investigated mood using the Positive and Negative Affect Schedule (PANAS) and cognitive function (i.e. aptitude, abstract reasoning and problem solving) using the test of non-verbal intelligence (TONI-IQ) and trail B tests. We also gathered subjective feedback from participants using semi-structured interviews and questionnaires. Three of the game activities (hula-hoop, rowing squat and leg extension) were identified to reach a moderate level of heart rate intensity, with one activity (jogging) corresponding to a vigorous level. We identified that post-session PANAS-positive subscale scores were greater than pre-session scores (P < 0.01). There was a reduction in the time to complete the TONI-IQ test from pre- to post-session (P < 0.05). Findings from these data identify that some Wii activities were of an intensity required for health benefits; a single Wii activity session can result in positive mood changes and the Wii interface is generally acceptable and appropriate for this older age adult group. Further randomized controlled and longer term intervention trials are needed to determine the effectiveness of exergame activity programmes.
Can Formal Methods be Applied to Software Architecture ?

The software architecture of a program or computing system is the structure or structures of the system, which comprise software components, the externally visible properties of those components, and the relationships among them. In other words, software architecture is the study of boxes and lines. For the most part, software architecture is informal in the sense that it is diÆcult to assign precise mathematical meaning to the graphical or textual descriptions of the organization of a system. (Not to mention that even de ning software architecture is diÆcult.) On the other hand, for machine models of computation, and for procedural and functional languages, it is possible to provide a reasonably precise semantics which makes it possible to reason about the properties of machines and programs. We do know how to reason about programs (but with O-O being a notable diÆculty). However the cost of formal reasoning is high, with ratios of proof length to program length on the order of 100 to 1 not being unusual. This is discouraging. We can only reason about rather small artifacts, but since we are reasonably good at building small artifacts in the rst place, such precise reasoning is not as important! Experience tells us that when we build moderately complex systems the serious errors (i.e. costly to x) tend to be at the architecture level, such as the mis-interaction of two complex subsystems. So it would seem that software architecture is a natural area in which formal methods would produce returns that justify their cost, if only we had something precise to reason about! This position paper describes some of our initial forays into version 1.
Tactile Imaging of an Imbedded Palpable Structure for Breast Cancer Screening

Apart from texture, the human finger can sense palpation. The detection of an imbedded structure is a fine balance between the relative stiffness of the matrix, the object, and the device. If the device is too soft, its high responsiveness will limit the depth to which the imbedded structure can be detected. The sensation of palpation is an effective procedure for a physician to examine irregularities. In a clinical breast examination (CBE), by pressing over 1 cm2 area, at a contact pressure in the 70–90 kPa range, the physician feels cancerous lumps that are 8- to 18-fold stiffer than surrounding tissue. Early detection of a lump in the 5–10 mm range leads to an excellent prognosis. We describe a thin-film tactile device that emulates human touch to quantify CBE by imaging the size and shape of 5–10 mm objects at 20 mm depth in a breast model using ∼80 kPa pressure. The linear response of the device allows quantification where the greyscale corresponds to the relative local stiffness. The (background) signal from <2.5-fold stiffer objects at a size below 2 mm is minimal.
College-Based Personal Finance Education: Student Interest in Three Delivery Methods

Using online survey responses from 509 undergraduate students, three financial education methods (on-campus financial counseling center, online financial management resources, and in-person educational workshops) were examined. Using a social constructionist framework, the analysis controlled for various demographic and financial factors. The results of three logistic regressions indicated that having taken a personal finance course was positively associated with interest in all three delivery methods. Having higher debt, being African American, and believing that finances will affect college completion were positively associated with at least one but not all three delivery methods. Recommendations for implementing financial education programming for college students are provided.
The Epstein-Barr Virus Encoded BART miRNAs Potentiate Tumor Growth In Vivo

The human herpes virus Epstein-Barr virus (EBV) latently infects and drives the proliferation of B lymphocytes in vitro and is associated with several forms of lymphoma and carcinoma in vivo. The virus encodes ~30 miRNAs in the BART region, the function of most of which remains elusive. Here we have used a new mouse xenograft model of EBV driven carcinomagenesis to demonstrate that the BART miRNAs potentiate tumor growth and development in vivo. No effect was seen on invasion or metastasis, and the growth promoting activity was not seen in vitro. In vivo tumor growth was not associated with the expression of specific BART miRNAs but with up regulation of all the BART miRNAs, consistent with previous observations that all the BART miRNAs are highly expressed in all of the EBV associated cancers. Based on these observations, we suggest that deregulated expression of the BART miRNAs potentiates tumor growth and represents a general mechanism behind EBV associated oncogenesis.
Conditional Volatility of Exchange Rates Under a Target Zone

To study the impact of institutional features of target zones on the conditional volatility of exchange rates, this paper proposes a simple and intuitive model to incorporate the announced information in the bands. Observing the statistical characteristics of the EMS cross rate returns- mean reversion and heteroskedasticity, we t a GARCH(1,1)- MA(1) speci cation incorporating the deviation of exchange rates from the central parity. This model allows us to easily examine the relationship between the conditional volatility and the position of spot rates. We nd in particular, that for the Irish punt and Italian lira DM rates, the conditional volatility increases as the exchange rate approaches the edges of the band. We extend the above univariate model to a multivariate setting to take account of the cross country interactions in the EMS, by including a vector consisting of all EMS currencies' positions in the GARCH equation. The estimation results show that other currencies' positions do a ect the conditional volatility of a speci c EMS currency. Understanding the importance of intra-ERM coherence and the multilateral commitment on the central parity, we follow Pill(1994) to derive an \e ective band" model to examine how the multilateral grid affects the conditional volatility. However, the estimation results suggest that the full set of all deviations from ocial central parity of each member country explains the volatility better than does simply the deviation from the effective band.
Analysis and Synthesis of Communication-Intensive Heterogeneous Real-Time Systems

Embedded computer systemsare now everywhere: from alarm clocks to PDAs, from mobile phones to cars, almost all the devices we use are controlled by embedded computer systems. An important class of embedded computer systems is that of real-time systems, which have to fulfill strict timing requirements. As real-time systems become more complex, they are often implemented using distributed heterogeneous architectures. The main objective of the thesis is to develop analysis and synthesis methods for communication-intensive heterogeneous hard real-time systems. The systems are heterogeneous not only in terms of platforms and communication protocols, but also in terms of scheduling policies. Regarding this last aspect, in this thesis we consider time-driven systems, event-driven systems, and a combination of both, called multi-cluster systems. The analysis takes into account the heterogeneous interconnected nature of the architecture, and is based on an application model that captures both the dataflow and the flow of control. The proposed synthesis techniques derive optimized implementations of the system that fulfill the design constraints. An important part of the system implementation is the synthesis of the communication infrastructure, which has a significant impact on the overall system performance and cost. To reduce the time-to-market of products, the design of real-time systems seldom starts from scratch. Typically, designers start from an already existing system, running certain applications, and the design problem is to implement new functionality on top of this system. Hence, in addition to the analysis and synthesis methods proposed, we have also considered mapping and scheduling within such an incremental design process. The analysis and synthesis techniques proposed have been thoroughly evaluated using a solid experimental platform. Besides the evaluations, performed using a large number of generated example applications, we have also validated our approaches using a realistic case study consisting of a vehicle cruise controller.
Towards Semantic Image Search

Internet has long been a part of our life. In the recent days, image and video based search has also become very popular. In this work, we propose a novel web based image search algorithm which will overcome the shortcomings of the present popular search algorithms. While the current algorithms mainly use the text tag based information for image search, we combine image and text based information for more accurate results. Our text analysis engine investigates the associated text with a webpage image and returns the possible object classes present in the image. Finally, our image recognition engine identifies the maximal probable classes given the image features and extracted textual information.
A movie cold-start recommendation method optimized similarity measure

With the explosion of Internet information, recommender system plays an increasingly important position in online video searching. Collaborative filtering technique the most popular recommendation algorithm is inefficient in cold-start scenario. In this paper, we focus on new movie cold start problem and aim to bridge the gap between movie labels and movie similarity. A useful approach is proposed to optimize the movie similarity measure by computing the similarities among directors and actors. We verify the usefulness of our method on MovieLens-1M data sets. The experiments show that our method has a significant improvement on movie cold start problem.
SP-TPC: a self-protective energy efficient communication strategy for IEEE 802.11 WLANs

We propose a novel energy efficient communication strategy, called SP-TPC, for IEEE 802.11 wireless LANs (WLANs). SP-TPC utilizes both transmit power control (TPC) and PHY rate adaptation in order to minimize the communication energy consumption while maximizing the throughput performance. When TPC is employed in the 802.11 WLAN, the overall performance may be degraded due to the potential increase of hidden stations, and hence the request-to-send/clear-to-send (RTS/CTS) exchange is typically used in conjunction with TPC in order to eliminate hidden stations. However, the RTS/CTS exchange is an expensive solution since it itself consumes energy as well as precious bandwidth. By taking advantage of the existing clear channel assessment (CCA) mechanism intelligently, SP-TPC does not introduce any extra hidden stations, and hence RTS/CTS exchange is not needed if hidden stations did not exist without TPC. Through simulations, we demonstrate that SP-TPC outperforms other TPC strategies consistently in terms of both throughput and energy efficiency in small and mid-ranged WLAN environments.
Touch Technologies

Touch has become a standard input method for smartphones over the last few years. Additionally, capacitive touchscreens have found their way into many other everyday devices, such as tablets, laptops, gaming devices and even glass-ceramic stoves. However, all of these application scenarios are limited to flat screens. In this report, we will investigate three different approaches that go beyond the scope of traditional touchscreens. Using the 3rd dimension, they create entirely new application scenarios. ACM Classification: H5.1 [Information interfaces and presentation]: Multimedia Information Systems. Artificial, augmented, and virtual realities. H5.2 [Information interfaces and presentation]: User Interfaces. Graphical user interfaces. General terms: Design, Human Factors
Homoclinic Loops, Heteroclinic Cycles, and Rank One Dynamics

We prove that genuine nonuniformly hyperbolic dynamics emerge when flows in ${R}^{N}$ with homoclinic loops or heteroclinic cycles are subjected to certain time-periodic forcing. In particular, we establish the emergence of strange attractors and Sinai--Ruelle--Bowen (SRB) measures with strong statistical properties (central limit theorem, exponential decay of correlations, etc.). We identify and study the mechanism responsible for the nonuniform hyperbolicity: saddle point shear. Our results apply to concrete systems of interest in the biological and physical sciences, such as May--Leonard models of Lotka--Volterra dynamics.
Transitions in non equilibrium systems

We study numerically the transition between organized and disorganized states of three non equilibrium systems in their respective scaling regimes. The first system is the Poisson/coalesce random walk (PCRW) where the particles describe independent random walks and when two particles meet they could coalesce with probability k, otherwise, they interchange their positions. The second system is a quasi one dimensional gas, where the particles interact only by volume exclusion in presence of an external field. The last system is a one dimensional spin lattice, where the particles interact by a coupling force J in presence of an external field. From our simulations we calculate the average spacing between particles/domain borders . We found that has a similar behavior in the PCRW and gas cases but it is different in the spin system. Additionally, we use the Berry-Robnik model, the Abul-Magd model and the independent interval approximation to find an analytical approximation to the spacing distribution functions p(n,s) and the pair correlation function g(r) for these systems. In all cases the nearest neighbor distribution is well described by these models. Unfortunately this does not happen with higher spacing distribution functions and the pair correlation functions. The analytical models proposed allow us to quantify the degree of order/disorder of the system by means of a parameter q. This parameter sets the system in an organized or disorganized state.
An Electronic Nose for Detecting Hazardous Chemicals and Explosives

This study describes a portable system based on mimicking the mammalian olfactory mechanism (electronic nose), that can sense and identify chemical vapors by automated odor recognition. The electronic nose developed in this research consists of an array of tin oxide sensors, with each sensor in the array giving a different electrical response for a particular target vapor introduced into the sensing chamber. The combined output from the sensor array forms a fingerprint, or signature, that is unique for a particular odor. Pattern recognition techniques based on principal component analysis and artificial neural networks were developed for learning different chemical signatures. The electronic nose was successfully trained and tested in the laboratory to recognize various chemicals such as benzene, toluene, ethyl benzene, xylene, and gasoline. This study successfully demonstrates the feasibility of an electronic nose for detecting and identifying chemical and explosive vapors.
Effect of Charge Mobility on Electric Conduction Driven Dielectric Liquid Flow

Electrohydrodynamic (EHD) conduction pumping is associated with the heterocharge layers of finite thickness in the vicinity of the electrodes, generated by the process of dissociation of the neutral electrolytic species and recombination of the generated ions. EHD conduction generated flow relies primarily upon the asymmetry of the electrodes where the flow is always directed toward the specific direction regardless of the electrodes polarity. However, the difference in the mobilities of positive and negative charges could play an important role when studying the pumping performance. This paper studies the effects of charge mobility and its difference between the positive and negative charges on the heterocharge layer structure and generated flow. The numerical simulation is conducted for a 2D rectangular channel with the electrodes embedded against the channel wall. The net flow generated for the symmetric electrodes is physically illustrated while the impact of mobility difference on the generated flow for the case of asymmetric electrodes is studied as well.