Miracle-dz/UniFAR-FTUs huggingface dataset:
Handling data streams while compiling C programs onto hardware

Recently, there have been several efforts to develop compilers that synthesize applications written in high-level languages such as C into hardware. Streaming applications form an important class of systems that need to be mapped onto hardware. In this paper we present the modeling of stream and frame based applications in C and extend a behavioral synthesis tool framework to synthesize RTL models from streaming system descriptions in C. Individual C functions get synthesized onto individual IP blocks in the synthesis framework. We describe how the behavioral synthesis tool automatically infers ports and generates the required handshaking signals for interfacing the IP blocks in the system. We describe a system level approach for interfacing synthesized IP blocks. Results of the system level synthesis and simulation are reported for Xilinx VirtexII FPGAs for single IP systems for streaming data and frame-based data, and for multiple IP systems having streaming and frame-based data.
Hierarchical models for neural population dynamics in the presence of non-stationarity

Neural population activity often exhibits rich variability and temporal structure. This variability is thought to arise from single-neuron stochasticity, neural dynamics on short time-scales, as well as from modulations of neural firing properties on long time-scales, often referred to as "non-stationarity". To better understand the nature of co-variability in neural circuits and their impact on cortical information processing, we need statistical models that are able to capture multiple sources of variability on different time-scales. Here, we introduce a hierarchical statistical model of neural population activity which models both neural population dynamics as well as inter-trial modulations in firing rates. In addition, we extend the model to allow us to capture non-stationarities in the population dynamics itself (i.e., correlations across neurons). We develop variational inference methods for learning model parameters, and demonstrate that the method can recover non-stationarities in both average firing rates and correlation structure. Applied to neural population recordings from anesthetized macaque primary visual cortex, our models provide a better account of the structure of neural firing than stationary dynamics models.
A navigation and control algorithm for the position tracking of underwater vehicles

In this paper we consider position control of underwater vehicles through inversion of differential kinematics based on uncalibrated, relative to the water, velocity sensors and unknown marine current. An estimation algorithm, based on the above measurements, estimates calibration parameters and marine current, assuring convergence of the estimated velocities to the true quantities. A kinematic control algorithm assures convergence to zero of the position tracking error. An extension of the basic estimation algorithm has been considered, in which position measurements are considered sampled at low rate and randomly spaced in time. Computer simulations are given of the proposed position tracking control of an underactuated underwater vehicle.
The Efficacy of Short-Term Psychodynamic Psychotherapy for Depressive Disorders with Comorbid Personality Disorder

The presence of comorbid personality disorder (PD) is one of the factors that can make the treatment of depression unsuccessful. Short-term Psychodynamic Psychotherapy (STPP) has been shown efficacious in the treatment of personality and depressive disorders (DD). However, the efficacy of STPP for comorbid DD and PD has not been systematically evaluated. In this study, data from patients meeting criteria for both DD and PD participating from randomized controlled trials of STPP was collected, systematically reviewed, and meta-analyzed where possible. Eight studies were included, 6 with major depression and 2 with minor depressive disorders. Pre- to post- treatment effects sizes were large (d = 1.00-1.27), suggesting symptom improvement during STPP, and these gains were maintained in follow-ups averaging over 1.5 years. For major depression, no differences were found comparing STPP to other psychotherapies, and STPP was found superior to a wait-list condition in one study. STPP may have had an advantage over other therapy controls in treating minor depression as noted in ratings of general psychopathology. Patients with Cluster A/B and C PD were responsive to STPP, with the majority of all studied patients showing clinically significant change on self-report measures. Within the limits of this study, these findings suggest that STPP warrants consideration as a first line treatment for combined personality disorder and depression. Future research directions are proposed.
Absence of Evidence for the Participation of the Macrophage Cellular Prion Protein in Infection with Brucella suis

ABSTRACT Brucella spp. are stealthy bacteria that enter host cells without major perturbation. The molecular mechanism involved is still poorly understood, although numerous studies have been published on this subject. Recently, it was reported that Brucella abortus utilizes cellular prion protein (PrPC) to enter the cells and to reach its replicative niche. The molecular mechanisms involved were not clearly defined, prompting us to analyze this process using blocking antibodies against PrPC. However, the behavior of Brucella during cellular infection under these conditions was not modified. In a next step, the behavior of Brucella in macrophages lacking the prion gene and the infection of mice knocked out for the prion gene were studied. We observed no difference from results obtained with the wild-type control. Although some contacts between PrPC and Brucella were observed on the surface of the cells by using confocal microscopy, we could not show that Brucella specifically bound recombinant PrPC. Therefore, we concluded from our results that prion protein (PrPC) was not involved in Brucella infection.
Adaptive Droop Based Virtual Slack Control of Multiple DGs in Practical DC Distribution System to Improve Voltage Profile

This paper proposes an adaptive droop based virtual slack (ADVS) control for multiple distributed generations (DGs) to improve voltage stability of a practical DC distribution system. Although there have been many researches for optimal sizes of multiple DGs, their solutions are valid only in the particular operating point. Additionally, a previous study proposed a voltage control based optimal operation method, its performance depends on measurement accuracy in practice. The proposed ADVS control operates the system based on the current sensitivities between the DGs and loads, so that it can regulate the system voltages without a large computational effort. This is effective even if measurements are noisy and biased. All DGs contribute to voltage regulation by current control even though they do not directly control voltages. As an additional effect, they effectively share the load. To verify the proposed method, the DC system is modeled based on the real distribution system of the Do-gok area in Seoul, Korea. Then, the Levenberg-Marquardt algorithm determines its operation point. The proposed method is verified based on the electromagnetic transient (EMT) simulation with random loads.
Using bilingual corpora to improve pronoun resolution

This paper shows that aligned bilingual English-French corpora offer the advantage of improving the performance of anaphora resolution in both languages. It sets out a new ‘mutual enhancement’ methodology and discusses the results obtained from running the enhanced anaphora resolution algorithms for English and French on a bilingual corpus. The evaluation reports up to 4.62% improvement of the success rate for English and up to 5.15% for French.
Robust image retrieval using multiview scalable vocabulary trees

Content-based image retrieval using a Scalable Vocabulary Tree (SVT) built from local scale-invariant features is an effective method of fast search through a database. An SVT built from fronto-parallel database images, however, is ineffective at classifying query images that suffer from perspective distortion. In this paper, we propose an efficient server-side extension of the single-view SVT to a set of multiview SVTs that may be simultaneously employed for image classification. Our solution results in significantly better retrieval performance when perspective distortion is present. We also develop an analysis of how perspective increases the distance between matching query-database feature descriptors.
Analysis and Power Diversity-Based Cancellation of Nonlinear Distortions in OFDM Systems

One of the main drawbacks of orthogonal frequency division multiplexing (OFDM) systems is the high peak-to-average power ratio (PAPR) of the transmitted signals, which can cause the introduction of intercarrier interference (ICI) due to the presence of nonlinear power amplifiers (PAs). In this paper, a theoretical analysis of the ICI in nonlinear OFDM systems with polynomial PAs is made. Contrary to other works, this analysis provides an exact description of the nonlinear ICI. Moreover, three receivers for channel estimation and ICI cancellation in OFDM systems with polynomial PAs are proposed, based on the concept of power diversity that consists in retransmitting the information symbols several times with a different transmission power each time. The transmission powers that minimize the sum of the residual mean square errors (MSEs) provided by the proposed receivers are derived in the case of a third-degree polynomial PA. An important advantage of the proposed receivers is that the optimal transmission powers do not depend on the channel and the PA coefficients.
Mapping between Pedagogical Design Strategies and Serious Game Narratives

Successful serious games include a compelling narrative context and empirically validated pedagogical intervention methods. In order to create such games, design teams must consist of a multidisciplinary group of technical and pedagogical experts. In this paper, the authors show how the domain specific modeling language ATTAC-L facilitates communication between designers with different expertise, thus enabling and stimulating multidisciplinary collaboration. As a serious game design tool, ATTAC-L creates a link between the processes of pedagogical design and narrative modeling through its elaborate annotation system. As such, this modeling language enables designers to concentrate on aspects related to their field of expertise without losing oversight of the serious game as a whole. To support these tentative claims, the author present illustrations of how ATTAC-L is used in combination with a specific pedagogical design strategy (i.e. the Intervention Mapping Protocol) for the development of a serious game against cyber-bullying.
Tuning Aerosol Particle Size Distribution of Metered Dose Inhalers Using Cosolvents and Surfactants

Objectives. The purpose of these studies was to understand the influence of cosolvent and surfactant contributions to particle size distributions emitted from solution metered dose inhalers (pMDIs) based on the propellant HFA 227. Methods. Two sets of formulations were prepared: (a) pMDIs-HFA 227 containing cosolvent (5–15% w/w ethanol) with constant surfactant (pluronic) concentration and (b) pMDIs-HFA 227 containing surfactant (0–5.45% w/w pluronic) with constant cosolvent concentration. Particle size distributions emitted from these pMDIs were analyzed using aerodynamic characterization (inertial impaction) and laser diffraction methods. Results. Both cosolvent and surfactant concentrations were positively correlated with median particle sizes; that is, drug particle size increased with increasing ethanol and pluronic concentrations. However, evaluation of particle size distributions showed that cosolvent caused reduction in the fine particle mode magnitude while the surfactant caused a shift in the mode position. These findings highlight the different mechanisms by which these components influence droplet formation and demonstrate the ability to utilize the different effects in formulations of pMDI-HFA 227 for independently modulating particle sizes in the respirable region. Conclusion. Potentially, the formulation design window generated using these excipients in combination could be used to match the particle size output of reformulated products to preexisting pMDI products.
The impact of ICT costs on US trade in education

This paper investigates the impact of information and communicative technologies (ICT) costs and traditional trade determinants on US trade in education. An extensive panel data from 2000 to 2012 between the US and 49 partnering countries are used. Our findings show that for every 0.01% decrease in communication costs, US trade imports increases by 12.082% between 2000 and 2006; by 13.692% between 2007 and 2012; and on the aggregate at 13.114% between 2000 and 2012. In addition, GDP per capita is highly significant at 0.01% for all three time frames, holding positive and highly significant at 0.01% coefficients of 0.992, 0.7 and 0.86, respectively. Distance holds rather mixed results for the three time frames. Common language is a highly important factor when it comes to trade in education. For every 1% increase in common language, trade in education increases by 44.2% between 2000 and 2006. For every 1% increase in the use of a common language, trade in education increases by 45% from 2007 to 2012. For every 0.01% increase in common language, trade in education increases by 44.2% from 2000 to 2012. Our model provides can explain up to 52% of how communication costs impacts trade in education.
A Super cial Resemblance Does Not Necessarily Mean You Are Part of the Family : Counterarguments to Coulson , King and Kutas ( 1998 ) in the P 600 / SPS-P 300 Debate

Two recent studies (Coulson et al., 1998;Osterhout et al., 1996)examined the relationship between the event-related brain potential (ERP) responses to linguistic syntactic anomalies (P600/SPS) and domain-general unexpected events (P300). Coulson et al. concluded that these responses are highly similar, whereas Osterhout et al. concluded that they are distinct. In this comment, we evaluate the relative merits of these claims. We conclude that the available evidence indicates that the ERP response to syntactic anomalies is at least partially distinct from the ERP response to unexpected anomalies that do not involve a grammatical violation.
GPU Implementation of the LFT Shape Matching Algorithm

Registration of partial scan data sets is still a challenge for today's CAD systems and CAD system users. Many of the known methods rely on user interaction or feature recognition. For non-regular users this is too time consuming and error prone. The paper describes a method to register partial scan data by fitting a large fat tetrahedron (LFT) in the target point cloud. The method is computational intensive and in its CPU implementation not fit for interactive use. The independency of the points in the data-sets makes massive parallel computing applicable. The paper describes the implementation of the method on a GTX260 GPU using the CUDA programming environment. A performance gain of 10 times compared to a conventional CPU implementation was achieved, which can be further improved by implementing a pre selection method of the result, bringing interactive use in range after further optimization.
MET18 Connects the Cytosolic Iron-Sulfur Cluster Assembly Pathway to Active DNA Demethylation in Arabidopsis

DNA demethylation mediated by the DNA glycosylase ROS1 helps determine genomic DNA methylation patterns and protects active genes from being silenced. However, little is known about the mechanism of regulation of ROS1 enzymatic activity. Using a forward genetic screen, we identified an anti-silencing (ASI) factor, ASI3, the dysfunction of which causes transgene promoter hyper-methylation and silencing. Map-based cloning identified ASI3 as MET18, a component of the cytosolic iron-sulfur cluster assembly (CIA) pathway. Mutation in MET18 leads to hyper-methylation at thousands of genomic loci, the majority of which overlap with hypermethylated loci identified in ros1 and ros1dml2dml3 mutants. Affinity purification followed by mass spectrometry indicated that ROS1 physically associates with MET18 and other CIA components. Yeast two-hybrid and split luciferase assays showed that ROS1 can directly interact with MET18 and another CIA component, AE7. Site-directed mutagenesis of ROS1 indicated that the conserved iron-sulfur motif is indispensable for ROS1 enzymatic activity. Our results suggest that ROS1-mediated active DNA demethylation requires MET18-dependent transfer of the iron-sulfur cluster, highlighting an important role of the CIA pathway in epigenetic regulation.
On the Unicast Capacity of Stationary Multi-channel Multi-radio Wireless Networks: Separability and Multi-channel Routing

The first result is on the separability of the unicast capacity of stationary multi-channel multi-radio wireless networks, i.e., whether the capacity of such a network is equal to the sum of the capacities of the corresponding single-channel single-radio wireless networks. For both the Arbitrary Network model and the Random Network model, given a channel assignment, the separability property does not always hold. However, if the number of radio interfaces at each node is equal to the number of channels, the separability property holds. The second result is on the impact of multi-channel routing (i.e., routing a bit through multiple channels as opposed to through a single channel) on the network capacity. For both network models, the network capacities conditioned on a channel assignment under the two routing schemes are not always equal, but if again the number of radio interfaces at each node is equal to the number of channels, the two routing schemes yield equal network capacities.
Manifold and Data Filtering on Graphs

High-dimensional feature spaces are often corrupted by noise. This is problematic for the processing of manifold and data since most of reference methods are sensitive to noise. This paper presents preprocessing methods for manifold denoising and simplification based on discrete analogues of continuous regularization and mathematical morphology. Both approaches enable to project the data onto a submanifold with a graph generated by the data.
Real-Time Endpoint Detection Algorithm Combining Time-Frequency Domain

Time-domain endpoint detection algorithm is simple and can be implemented easily, but has a poor performance under the background of noise environment. Frequency-domain endpoint detection algorithm is robust in noise proof, but has a higher computational complexity and longer running period. According to the features of above algorithms, This paper proposed an endpoint detection algorithm which combines time domain with frequency domain, which takes a real-time multi-stage detection on speech from telephone channel using the frequency spectrum entropy and the Short-term Energy Zero Value as the decision-making parameters. The simulation results show that this method could detect the starting and ending points of speech signal exactly, and meets the need of real-time processing.
Center of Pressure Regularity With and Without Stochastic Resonance Stimulation in Stable and Unstable Ankles

Chronic ankle instability (CAI) is associated with sensorimotor deficits, which may affect dynamic complexity by constraining the postural control system. Stochastic resonance stimulation (SRS) may restore sensory function and promote healthy postural control dynamics. This study used Sample entropy (SampEn) during quiet single- and double-leg stance to examine the impact of CAI on center of pressure velocity (COPV) dynamics and the effects of SRS on COPV dynamics in individuals with CAI. Group differences in baseline SampEn were observed in double-leg resultant COPV, single-leg mediolateral COPV, and single-leg resultant COPV ( P P > .05). These findings suggest that CAI is associated with changes in behavioral complexity and that SRS may restore complex COPV dynamics in individuals with CAI.
Global Replication-Independent Histone H4 Exchange in Budding Yeast

ABSTRACT The eukaryotic genome is packaged together with histone proteins into chromatin following DNA replication. Recent studies have shown that histones can also be assembled into chromatin independently of DNA replication and that this dynamic exchange of histones may be biased toward sites undergoing transcription. Here we show that epitope-tagged histone H4 can be incorporated into nucleosomes throughout the budding yeast (Saccharomyces cerevisiae) genome regardless of the phase of the cell cycle, the transcriptional status, or silencing of the region. Direct comparisons reveal that the amount of histone incorporation that occurs in G1-arrested cells is similar to that occurring in cells undergoing DNA replication. Additionally, we show that this histone incorporation is not dependent on the histone H3/H4 chaperones CAF-1, Asf1, and Hir1 individually. This study demonstrates that DNA replication and transcription are not necessary prerequisites for histone exchange in budding yeast, indicating that chromatin is more dynamic than previously thought.
Effects of Context and Genuineness in the Experience of Art

Studies found that genuine artworks viewed in a museum receive higher appreciation ratings than reproductions in the laboratory. Due to the mutual variation of context and genuineness, these studies were not able to disentangle these factors. A study designed by Brieber, Leder, and Nadal to systematically differentiate between these two variables did not find an effect of context or genuineness. To substantiate these results, we setup a conceptual replication by using the same 2 (museum/laboratory) by 2 (genuine/reproduction) between-subjects design with improved manipulations of context and genuineness. We found an effect of context, as artworks presented in a museum were liked more and rated more interesting than in the laboratory. We did not find effects of genuineness. Exploratively, we found that art style had a big impact on how artworks were rated regardless of context and genuineness, indicating that this may be a more important factor for aesthetic experience.
Chapter 8 Step-by-step introduction to XVCL Summary

Mixed-strategy supports generic design and enhances software changeability. The main motivation for building a mixed-strategy solution is to exploit opportunities offered by similarity patterns. By doing this, we gain extra levels of changeability, which matters in maintenance, and genericity, which matters in reuse. From the mixed-strategy perspective, there is no difference between maintainability and reusability. Change specifications and generic design mechanisms address these two important, but difficult to achieve in practice, software engineering goals in a unified, simple yet effective way.
Logical Data Partitioning in Bitemporal Databases

A bitemporal database is a database explicitly supporting two temporal coordinates, namely the valid time and the transaction time. In this paper we introduce the concept of logical data partitioning in bitemporal databases, where data are partitioned into blocks according to their own natural (temporal) properties and independently on the particular application. In this framework we consider basic user update and query operations, and decompose them into lower level operations within single blocks. Our purpose is to make available a general framework not needing any hypothesis, that allows a cleaner physical design and presents several symmetries in the treatment of blocks, so destroying the natural asymmetry existing between transaction and valid time. Our approach increases system e ciency, as substantiated by both the theoretical and the experimental results which we provide.