Miracle-dz/UniFAR-FTUs huggingface dataset:
Sample synopses for approximate answering of group-by queries

With the amount of data in current data warehouse databases growing steadily, random sampling is continuously gaining in importance. In particular, interactive analyses of large datasets can greatly benefit from the significantly shorter response times of approximate query processing. Typically, those analytical queries partition the data into groups and aggregate the values within the groups. Further, with the commonly used roll-up and drill-down operations a broad range of group-by queries is posed to the system, which makes the construction of highly-specialized synopses difficult. In this paper, we propose a general-purpose sampling scheme that is biased in order to answer group-by queries with high accuracy. While existing techniques focus on the size of the group when computing its sample size, our technique is based on its standard deviation. The basic idea is that the more homogeneous a group is, the less representatives are required in order to give a good estimate. With an extensive set of experiments, we show that our approach reduces both the estimation error and the construction cost compared to existing techniques.
COMPONENTS EXECUTION ORDER USING GENETIC ALGORITHMS

The current trend in software engineering is towards componentbased development. A challenge in component-based software development is how to assemble components effectively and efficiently. In this paper we present a new approach for computing components execution order. Using Genetic Algorithms GA we compute the final system from specified components with conditions order. Some numerical experiments are performed.
Research on the Complexity of Weighted Air Transportation Network of Express Enterprise

We built a weighted network model of 69 cities based on an express company's real air transportation network by regarding the total number of flights between pairs of cities as the weights of edges. According to the results of empirical study, we found that weighted air transportation network is of the characteristic of small-world and scale-free, we also discussed the network's correlations of betweenness-degree, degree-degree and clustering-degree, which showed that the network is of community structure and hierarchical structure.
Orbit equivalence rigidity

Consider a countable group acting ergodically by measure p reserving transformations on a probability space (X,µ), and let R be the corresponding orbit equivalence relation on X. The following rigidity phenomenon is shown: there exist group actions such that the equivalence relation R on X determines the group and the action ( X,µ,) uniquely, up to finite groups. The natural action of SLn(Z) on the n-torus R n /Z n , for n > 2, is one of such examples. The interpretation of these results in the context of von Neumann algebras provides some support to the conjecture of Connes on rigidity of group algebras for groups with property T. Our rigidity results also give examples of countable equivalence relations of type II1, which cannot be generated (mod 0) by a free action of any group. This gives a negative answer to a long standing problem of Feldman and Moore.
Multilevel Bayesian Image Reconstruction and Better Priors for Positron Emission Tomography

The aim of this work is to support the better quantification of P sitron Emission Tomography (PET) images on the basis of associated structural information. This would involve a n addressal of the Partial Volume Effect (PVE) [1], which basically demands better resolution data. To this end, one a ppro ch is to apply image space correction techniques that adjust the data on the basis of compartmentalised estimatio ns of the activity levels (see, for example, [2, 3, 4, 5, 6]). An alternative is to improve the reconstruction itself, inc orporating the same anatomical information used in the pixe llevel correction methods to constrain the solution. This is the idea behind the Bayesian methods that employ a priori estimates of the activity distribution to regularise the so luti n and may additionally encourage distinct variation a cross, structural boundaries (see, for example, [7, 8, 9, 10, 11, 12 ]). In many respects the approach presented here bridges the se alternatives, deriving a prior using a “forward model” of th e emission process that itself could be applicable as an imag e space correction method. The result is a high resolution est imate of tracer distribution toward which the reconstructi on solution may be drawn. Its application within the Bayesian f ramework allows the influence of this prior to be determined locally; it is incorporated into the reconstruction via an e nergy term used with the objective of recovering functional detail within, and structure across the homogeneous tissue region s. The algorithm itself is implemented in the form of the so-cal led multilevel approach [13], where consideration in the first instance was given to the efficiency of the implementati on. Using any iterative method, the question of computational efficiency cannot be overlooked, and the divide-andconquer paradigm is undeniably attractive. Here, the image to be reconstructed is currently held to a fixed digitisation , a d the sinogram data is initially read from sparsely sampl ed data, progressing to finer levels of sampling only as the iter ation number increases. This is akin to the Ordered-Subset Expectation-Maximization (OSEM) image reconstruction ap proach [14], although each subset is simply a down-sampled version of the next, higher subset. Either method will arriv e at a non-ML solution, and our studies have shown that the averaging of the sinogram data to produce the subsets can hav e significant influence on the form of the reconstruction result, in many cases implying a better conditioning of the i nput data.
Intracellular Survival and Persistence of Chlamydia muridarum Is Determined by Macrophage Polarization

Macrophages can display a number of distinct phenotypes, known collectively as polarized macrophages. The best defined of these phenotypes are the classically-activated, interferon gamma (IFNγ)/LPS induced (M1) and alternatively-activated, IL-4 induced (M2) macrophages. The goal of this study is to characterize macrophage- Chlamydia interactions in the context of macrophage polarization. Here we use Chlamydia muridarum and murine bone-marrow derived macrophages to show Chlamydia does not induce M2 polarization in macrophages as a survival strategy. Unexpectedly, the infection of macrophages was silent with no upregulation of M1 macrophage-associated genes. We further demonstrate that macrophages polarized prior to infection have a differential capacity to control Chlamydia . M1 macrophages harbor up to 40-fold lower inclusion forming units (IFU) than non-polarized or M2 polarized macrophages. Gene expression analysis showed an increase in 16sRNA in M2 macrophages with no change in M1 macrophages. Suppressed Chlamydia growth in M1 macrophages correlated with the induction of a bacterial gene expression profile typical of persistence as evident by increased Euo expression and decreased Omp1 and Tal expression. Observations of permissive Chlamydia growth in non-polarized and M2 macrophages and persistence in M1 macrophages were supported through electron microscopy. This work supports the importance of IFNγ in the innate immune response to Chlamydia . However, demonstration that the M1 macrophages, despite an antimicrobial signature, fail to eliminate intracellular Chlamydia supports the notion that host–pathogen co-evolution has yielded a pathogen that can evade cellular defenses against this pathogen, and persist for prolonged periods of time in the host.
On the autonomous take-off and landing of tethered wings for airborne wind energy

The problem of autonomous take-off and landing of a tethered rigid aircraft for airborne wind energy generation is addressed. In order to accelerate the aircraft to take-off speed, the ground station is augmented with a linear motion system. An onboard propeller is used to sustain the forward velocity during the ascend of the aircraft. During landing, a slight tension on the line is kept, while the onboard control surfaces are used to align the aircraft with the rails and to land again on them. A model-based, decoupled control approach is proposed, capable to carry out a full cycle of take-off, low-tension flight, and landing again on the rails. The derived controller is tested via numerical simulations with a realistic dynamical model of the system, in presence of different wind speeds and turbulence, and its performance in terms of landing accuracy is assessed. This study is part of a project aimed to experimentally verify the take-off and landing approach on a small-scale prototype.
A Novel Meta Learning System and Its Application to Optimization of Computing Agents' Results

We present a description of our multi-agent system where computational intelligence methods are embodied as software agents. This system is designed in order to allow easy experiments with learning, meta learning, gathering experience based on previous computations, and recommending suitable methods for particular data. The architecture of the system is presented and its meta learning abilities are demonstrated on a set of experiments with neural network models and both evolutionary and local search heuristics.
Regulation of Lipoprotein Synthesis: Studies on the Molecular Mechanisms of Lipoprotein Synthesis and Their Regulation by Estrogen in the Cockerel

We used the estrogen-treated cockerel as a model to study the regulation of very low density lipoproteins (VLDL) at the molecular level. A single injection of estrogen induced marked elevation of plasma VLDL in the cockerel. Messenger RNA (mRNA) activity for a major VLDL apoprotein (apoVLDLII) in hepatic polyribosomes was assayed in vitro, and increased at the same rate as plasma VLDL levels. Simultaneous determinations of mRNA activities for albumin and apoA-I (a major HDL apoprotein) showed that these were unchanged. Specific estrogen-binding sites were measured in the liver cell nuclei and a single class of sites with a Kd of 2 × 10−9M was observed. The number of such sites increased after estrogen treatment prior to any detectable increase in plasma VLDL. Simultaneously, RNA polymerase I and II activities were markedly stimulated by the hormone. ApoVLDLII mRNA was purified to apparent homogeneity by (1) total nucleic acid extraction, (2) zonal ultracentrifugation, (3) Sepharose 4B chromatography in EDTA, (4) Sepharose 6B chromatography, (5) Sepharose 4B chromatography in MgCU, and (6) sucrose gradient centrifugation. The in vitro translation product of apoVLDLII mRNA was about 12 amino acids larger than apoVLDLn isolated from the blood. The identification of such a product (designated pre-apoVLDLn) is compatible with Blobel's hypothesis that, like other secretory proteins, VLDLII is synthesized initially as a larger protein and the JV-terminal sequence is cleaved prior to completion of synthesis and secretion of the VLDL particle.
Analysis of Large-Scale Unstructured Urban Range Scan Data

by Alexandri Gregor Zavodny Efficient 3D scanning technology has led to acquisition of very large datasets for application areas as diverse as terrain and urban modeling, but relatively few techniques exist to automatically extract meaningful regions from this data, and the largest datasets examined in the literature rarely exceed millions of points in size. In this thesis, we present an efficient algorithm for identification of locally planar regions in large-scale GPS-registered scan data containing hundreds of millions of points. We define hard, statistical measures of accuracy and examine the performance of our algorithm on two real-world datasets with vastly varying characteristics. We examine the usefulness of a number of extensions to the algorithm, and confirm our assumptions regarding the accuracy of the parallel nature of our approach. Simulating a high-performance distributed computing platform, we are able to process scan data of approximately 100 million points in under 20 minutes, and a much larger dataset of over three billion points in under 14 hours.
Analysis and Anti-Windup Design for Time-Delay Systems Subject to Input Saturation

This paper is devoted to stability analysis and anti-windup design for linear time-delay systems subject to actuator saturation. A new Lyapunov-Krasovskii approach is presented, and a direct design algorithm is derived to compute the anti-windup compensator gain, which reduces the conservatism greatly. Both delay-independent asymptotic stability (DIAS) and delay-dependent asymptotic stability (DDAS) are dealt with respectively. Numerical examples are employed to demonstrate the effectiveness of our approach.
Playing with narratives

Education and play are two different contexts of action which need to be interrelated in order to convey knowledge and skills to students but at the same time to enable them to explore unknown paths. The paper presents a small example study with technology-oriented students who 'played' with narrative approaches as used in HCI work analysis. It is shown that their self-reflection by using stories also increases their appreciation of unfamiliar design perspectives. The example illustrates the potential which is offered by playing with HCI education to support an intertwined vertical and horizontal development of students and to better prepare them for multidisciplinary work.
Evaluation of cervical cancer detection with acoustic radiation force impulse ultrasound imaging

The aim of this study was to evaluate the application of acoustic radiation force impulse (ARFI) ultrasound imaging and its potential value in the characterization of cervical cancer. ARFI ultrasound imaging of the uterine cervix was performed in 58 patients with cervical cancer prior to surgery. The diagnosis of cervical cancer was confirmed by pathological results in each case. eSie Touch elastography imaging (EI), Virtual Touch tissue imaging (VTI) and Virtual Touch tissue quantification (VTQ; Siemens Medical Solutions, Mountain View, CA, USA) were used to qualitatively and quantitatively analyze the elasticity and hardness of lesions. For statistical analysis, the non-parametric Mann-Whitney U test and the Student’s u test were used to compare the elastic parameters and the results. EI showed that, compared with the surrounding cervical tissue, 72.41% (42 of 58) of the malignant lesions showed 4th or 5th grade images and 27.59% (16 of 58) had 3rd grade images. The EI images showed a significant difference between the malignant lesions and the surrounding normal tissues (P<0.001). VTI showed that compared with the surrounding cervical tissue, 84.48% (49 of 58) of the malignant lesions were stiffer than the surrounding tissues and 15.52% (9 of 58) had black and white honeycomb-like images. The VTI images showed a significant difference between the malignant lesions and normal cervical tissues (P<0.001). The surrounding normal tissues had lower VTQ values, with a mean of 2.11±1.19 m/sec, while the VTQ values in malignant lesions were higher than the surrounding normal tissues (3.41±1.59 m/sec, P<0.001). ARFI ultrasound imaging of the uterine cervix may be an objective method for the assessment of soft tissues. It has high sensitivity and specificity in the evaluation of cervical cancer and therefore has good diagnostic value in clinical applications.
Automatic detection of inspiration related snoring signals from original audio recording

Inspiration related snoring signals (IRSS) are essential for doctors and researchers to develop further study and establishment of personal health database. How to detect IRSS automatically from original audio recording is significant in methods of acoustic based Obstructive Sleep Apnea/Hypopnea Syndrome (OSAHS) diagnosis and monitoring. We proposed a systematic approach combining signal processing with machine learning techniques to detect IRSS from audio recording. Both the experimental results and computer studies demonstrate the efficiency of the proposed approach.
Inequality and Access to Tertiary Education: European Countries 1950-2005 Table of Contents

This working paper is the outcome of the first stage of the activity " Inequality and Access to Tertiary Education in the Czech Republic and Other European Countries " carried out by the Education Policy Centre of the Faculty of Education, Charles University in Prague. The aim of the first stage has been to find out whether, to what extent and how it is possible to use databases of the first two rounds of the European Social Survey for examining and analysing the development of inequities in access to tertiary education in some European countries (including the Czech Republic), and for elaborating and interpreting indices and models of intergeneration transmission of inequities. The working paper has been prepared also in order to be used in the OECD Thematic Review of Tertiary Education. This is why particularly the European countries participating in it have been included in the annex. The activity continues by the second stage having more ambitious aims and using new sources – new updated data of the third round of the European Social Survey (ESS-3) available in autumn 2007, together with new outcomes of European surveys of higher education graduate employment-CHEERS (conducted in 1998/1999) and its sequel REFLEX (conducted in 2005/2006), just under scrutiny. Analyses of new updated and structured data will be included in the final report of the activity to be published in mid-2008. New sources of data will enable us to update and extend our analyses and to attempt their deeper interpretation. We intend also to enlarge the existing annex, describing main characteristics of countries involved, into a series of case studies of the development of inequities in access to tertiary education at least in some European countries, particularly in those having a sufficient size of the sample of respondents in all three ESS rounds and in both projects on graduate employability, REFLEX and CHEERS. This group includes thirteen European countries – Austria, Belgium, the (reduced scope only), Switzerland and the United Kingdom. We would be most grateful for any comments on the working paper, as well as for any suggestions concerning the case studies intended. We would welcome very much offers of cooperation and participation in the second stage of the activity or recommendations of experts to be addressed.
Unique genome-wide map of TCF4 and STAT3 targets using ChIP-seq reveals their association with new molecular subtypes of glioblastoma.

BACKGROUND Aberrant activation of beta-catenin/TCF4 and STAT3 signaling in glioblastoma multiforme (GBM) has been reported. However, the molecular mechanisms related to this process are still poorly understood. METHODS Genome-wide screening of the binding characteristics of the transcription factors TCF4 and STAT3 in GBM cells was performed by chromatin immunoprecipitation sequencing (ChIP-seq) assay. Hierarchical clustering was used to analyze the association of TCF4 and STAT3 coregulated genes with The Cancer Genome Atlas (TCGA) GBM subtypes (classical, mesenchymal, neural, and proneural). New molecular classification of GBM was proposed and validated in Western and Asian populations. RESULTS We identified 1250 overlapping putative target genes that were coregulated by TCF4 and STAT3. Further, the coregulated genes had the potential to guide TCGA GBM subtypes. Finally, we proposed a new molecular classification of GBM into 2 subtypes (proneural-like and mesenchymal-like) and showed that the new classification could be applied to both Western and Asian populations. In addition, the GBM response to temozolomide therapy differed depending on its subtype; mesenchymal-like GBM benefited, while there was no benefit for proneural-like GBM. CONCLUSIONS This is the first comprehensive study to combine a ChIP-seq assay of TCF4 and STAT3 and data mining of patient cohorts to derive molecular subtypes of GBM.
FreGraPaD: Frequent RDF graph patterns detection for semantic data streams

Nowadays, high volumes of data are generated and published at a very high velocity by real-time systems, such as social networks, e-commerce, weather stations and sensors, producing heterogeneous data streams. To take advantage of linked data and offer interoperable solutions, semantic Web technologies have been used. To analyze these huge volumes of data, different stream mining algorithms exist such as compression or load-shedding. Nevertheless, most of them need many passes through the data and often store part of it on disk. If we want to apply efficient compression on semantic data streams, we need to first detect frequent graph patterns in RDF streams. In this article, we present FreGraPaD, an algorithm that detects those patterns in a single pass, using exclusively internal memory and following a data structure oriented approach. Experimental results clearly confirm the good accuracy of FreGraPaD in detecting frequent graph patterns from semantic data streams.
Harmonics reduction using multilevel inverter with SMES by OHPDPWM technique

The Static synchronous compensator is a shunt compensation device based on the principle of power electronics. Recent development of FACTS devices provides the reliable solution to potential problems. A cascaded multilevel inverter with Super Conducting Magnetic Energy Storage (SMES) is proposed for reduction of harmonics content. Multilevel inverter based FACTS offers improved voltage quality, decreased switching frequency. Here OHPDPWM technique is applied to the Multilevel Inverter (MLI) to obtain better performance. The performances of different PWM techniques applied to the Multilevel Inverter (MLI) are studied and the simulation result was carried out.
Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques

Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by evaluating the software design. We show how to apply best practises in software engineering and well-known Time Petri Net (TPN) modeling and analysis techniques, and we demonstrate the effectiveness of the method with reference to a case study in the domain of real-time embedded systems. The method customizes the Australian standard risk management process, where the system context is the UML-based software specification, enriched with standard MARTE profile annotations to capture nonfunctional system properties. During the risk analysis, a TPN is derived, via model transformation, from the software design specification and TPN bound techniques are applied to estimate the probability of timing failure. TPN bound techniques are also exploited, within the risk evaluation and treatment steps, to identify the risk causes in the software design.