Miracle-dz/UniFAR-FTUs huggingface dataset:
Spatial-Based Intelligent System for CATV Network Analysis

The design and application of intelligent system has become a hotspot in todaypsilas intelligent study. With the expansive application of intelligent system, the study on spatial-based CATV intelligent analysis receives a growing concern. Based on the analysis of the status quo and development of intelligent technologies, aiming at the characteristics of CATV network management, a three-tier distributed spatial information system with superior and subordinate (SAS) intelligent analyzer and statistic container is proposed in this paper. The system provided a good solution to realize spatial visualization management of CATV network analysis. The spatial-based system designed by this paper also has certain significance of reference to the design of other intelligent applications.
Structuring Mobile User Context Based on Spatio-Temporal Information

This paper proposes a method for structuring and semantically enriching the personal data collected from smart phones. In order to structure the data, a set of locational data is analyzed to determine whether it is a move or a stay, what we call episode. Then, the episodes are augmented by tagging place name, place category, start time, and end time if it is a stay and distance, mobility (walk, vehicle, and bi-cycle), start time, and end time if it is a move. Experiments shows that mobile users context are well-structured and semantically enriched.
A fully integrated electroencephalogram (EEG) analog front-end IC with capacitive input impedance boosting loop

This paper presents a biopotential analog front-end (AFE) IC for measuring electroencephalogram (EEG). The AFE is based on the AC-coupled chopper stabilized instrumentation amplifier architecture to achieve the low noise. To increase the input impedance, the capacitive input impedance boosting loop (CIIBL) is proposed. The CIIBL forms a positive feedback loop between input and output of the instrumentation amplifier without additional power consumption. The CIIBL increases the input impedance from 644 MΩ to 3.5 GΩ, and enhances the CMRR from 133.4 dB to 139.1 dB, in simulation. The overall gain, the frequency response, and the input mismatches can be trimmed using programmable capacitors and programmable resistors. The AFE is fabricated in 0.18 μm 1P6M CMOS process. The core chip size of the AFE without I/O pads is 4000 by 4500 μm2. The input referred noise is measured to be 0.205 μVrms in the bandwidth from 0.5 Hz to 100 Hz. The amplifying gain of the pass band is measured to be 78 dB.
A Different Integration of Multithreading into the STGM

A variant of the Spineless Tagless G-Machine (STGM) which contains explicit support for multithreading is introduced in [1]. The main design decisions are the separation of demand for evaluation from case selection and the introduction of an abstract notion of thread boundaries and thread synchronisation. This article proposes an alternative solution which does not separate demand from selection. Instead, case selections are extended by additional alternatives which handle the appearance of long latency operations. The overhead, necessary to control multithreading, is reduced and sequentially evaluated parts of a program are more efficient.
Effect of wall perturbations on the receptivity of a hypersonic boundary layer

The receptivity of a Mach 5.92 flat plate boundary layer to periodic two-dimensional wall perturbations is studied by numerical simulations and linear stability theory (LST). Free stream flow conditions are the same as the leading edge receptivity experiment of Maslov et al., J. Fluid Mech. 426, 73 (2001). Steady base flow is simulated by solving compressible Navier–Stokes equations with a combination of a fifth-order shock-fitting method and a second-order total variation diminishing scheme. The accuracy of the steady base flow is validated by comparisons with the experimental measurements of Maslov et al. and self-similar boundary-layer solution. In receptivity simulations, streamwise velocity perturbation, blowing suction, and temperature perturbation are introduced to the steady base flow with a forcing slot on flat plate. A model of wall perturbation is proposed based on physical properties of the electric pulse generator used in the experiment of Maslov et al. Stability characteristics of boundary-layer waves are identified and evaluated by comparing the results of LST and numerical simulation. Numerical simulation results show that all three types of wall perturbations eventually result in the same type of instability wave (mode S) in the boundary layer, which indicates that receptivity mechanism of the hypersonic boundary layer to wall perturbation is independent of specific perturbation type. On the other hand, the hypersonic boundary layer is found to be most sensitive to blowing-suction and least sensitive to temperature perturbation.The receptivity of a Mach 5.92 flat plate boundary layer to periodic two-dimensional wall perturbations is studied by numerical simulations and linear stability theory (LST). Free stream flow conditions are the same as the leading edge receptivity experiment of Maslov et al., J. Fluid Mech. 426, 73 (2001). Steady base flow is simulated by solving compressible Navier–Stokes equations with a combination of a fifth-order shock-fitting method and a second-order total variation diminishing scheme. The accuracy of the steady base flow is validated by comparisons with the experimental measurements of Maslov et al. and self-similar boundary-layer solution. In receptivity simulations, streamwise velocity perturbation, blowing suction, and temperature perturbation are introduced to the steady base flow with a forcing slot on flat plate. A model of wall perturbation is proposed based on physical properties of the electric pulse generator used in the experiment of Maslov et al. Stability characteristics of boundary-l.
“I Tried Hard to Control My Temper”: Perceptions of Older Musicians in Intergenerational Collaboration

Combining choirs for a large-scale performance can be rewarding. If the choirs comprise different generations, differing vocal timbres can add musical possibilities. A school in London operates two choirs in partnership: one for adult members of the school community and a student choir. They perform large-scale works together regularly. Interviews were undertaken with adults to understand their experience of the partnership. Frequently research explores students’ engagement but rarely are the views of adults sought. Intergenerational music-making involves challenges such as participants working collaboratively and not in competition. Participants in this case study discuss the impact of singing in a choir with sons or grandsons and implications for family and community cohesion through music-making are explored.
Trends in Body Mass Index among Icelandic Adolescents and Young Adults from 1992 to 2007

Trends in body mass index (BMI) among 51,889 14- to 20-year-old Icelandic adolescents and young adults were examined using data from cross-sectional population surveys conducted from 1992 to 2007. Prevalence of overweight increased for both genders in all age groups, except for 14- and 20-year-old girls. Obesity prevalence increased among boys in all age groups, except for 16-year-olds, and among 15- and 20-year-old girls. The largest increase in obesity rates among both genders was found in the oldest age group. Moreover, not only has the prevalence of obesity increased, but also the extent of obesity has grown more severe among 15- and 17-year-olds boys and among girls in the oldest age group.
Building an Efficient Distributed Reputation Scheme for Peer-to-Peer Systems

A novel reputation-based trust model for P2P networks is presented in this paper. The model aims to measure the credibility of peerspsila referrals, and thus to filter noise in responses and obtain more accurate trust values. Furthermore reputation value is concretely quantified by a recommenderpsilas credibility. Simulation results show that our model is more advanced in successful transaction rate than other model.
Medial Prefrontal Cortex lesions in mice do not impair effort-based decision making Abbreviated title : Mouse mPFC and effort-based decisions

Medial prefrontal cortex lesions in mice do not impair effort-based decision making. Citation Solinsky C, Kirby BP. Medial prefrontal cortex lesions in mice do not impair effort-based decision making. Abstract: The function of the medial prefrontal cortex has previously been determined in the rat to play an important role in effort-based decision making and this, along with functions of other areas, has been assumed largely, to hold true in all rodents. In this study, we attempted to replicate this result in mice and to develop a model for effort-based decision making that could be useful for the study of neurological conditions. Mice were trained on a cost-benefit T-maze paradigm, whereby they chose between a low reward with little effort needed to obtain it or a higher reward, which required increased effort. Following training, the medial prefrontal cortex was lesioned. After surgery, contrary to earlier published rat studies, the performance of the mice did not change. In previous studies, prefrontal cortex lesioned rats chose the low effort/low reward option, but lesioned mice continued to select the high reward/high effort option. However, the other results are in line with previous mouse studies in both the extent of pathology and anxiety-like behaviour. These results illustrate a difference in the functioning of the prefrontal cortex between rats and mice and offer a word of caution on the interpretation of data from studies that employ different species.
rev.ng: a unified binary analysis framework to recover CFGs and function boundaries

Static binary analysis is a key tool to assess the security of third-party binaries and legacy programs. Most forms of binary analysis rely on the availability of two key pieces of information: the program's control-flow graph and function boundaries. However, current tools struggle to provide accurate and precise results, in particular when dealing with hand-written assembly functions and non-trivial control-flow transfer instructions, such as tail calls. In addition, most of the existing solutions are ad-hoc, rely on hand-coded heuristics, and are tied to a specific architecture. In this paper we highlight the challenges faced by an architecture agnostic static binary analysis framework to provide accurate information about a program's CFG and function boundaries without employing debugging information or symbols. We propose a set of analyses to address predicate instructions, noreturn functions, tail calls, and context-dependent CFG. rev.ng, our binary analysis framework based on QEMU and LLVM, handles all the 17 architectures supported by QEMU and produces a compilable LLVM IR. We implement our described analyses on top of LLVM IR. In an extensive evaluation, we test our tool on binaries compiled for MIPS, ARM, and x86-64 using GCC and clang and compare them to the industry's state of the art tool, IDA Pro, and two well-known academic tools, BAP/ByteWeight and angr. In all cases, the quality of the CFG and function boundaries produced by rev.ng is comparable to or improves over the alternatives.
Automated Average Cycle Length Detection in Chaotic Time Series

Fractal analysis represents a powerful tool to identify the inner dimension of various chaotic, non-linear dynamic systems. The R/S analysis, which belongs to the class of the fractal tools, can help to determine the cycles' length of a time series, however it mostly relies on visual examination. In this paper we complement the R/S analysis with an automated method for cycles' length detection, which is based on the Zivot-Andrews test for structural breaks. We test our method on both theoretical benchmark time series as well as real life data. We show that we can enhance the classical fractal tools with econometric techniques in order to produce an automatic procedure for cycles' length detection, to be further used in system modeling and simulation.
SINIF YÖNETİMİNİN BOYUTLARINA İLİşKİN İLKÖğRETİM ÖğRETMENLERİNİN YETERLİK DÜZEYLERİNİN ÖğRETMEN VE ÖğRETMEN ADAYLARININ GÖRÜşLERİNE GÖRE DEğERLENDİRİLMESİ

Bu arastirmanin amaci, sinif yonetiminin boyutlarina iliskin ilkogretimogretmenlerinin yeterlik duzeylerini ogretmenlerin ve ogretmen adaylariningoruslerine dayali olarak degerlendirme yapmaktir. Arastirma evrenini, 20072008 ogretim yilinda Siirt il merkezindeki ilkogretim okulunda gorev yapan 970ogretmen ve Siirt Egitim Fakultesinin son sinifina devam eden 330 ogretmenadayi olusturmaktadir. Arastirmada orneklem alma yoluna gidilmemistir.Calismada arastirmacilar tarafindan gelistirilen ve sinif yonetiminin boyutlarina iliskin ogretmenlerin yeterlik duzeylerini belirleyen “Sinif Yonetimi YeterlikOlcegi (SYYO)” kullanilmistir. Ayrica bu olcege dayali olarak, ogretmen adaylari icin gozlem formu olusturulmustur. Olcek, bes alt boyuttan ve toplam 75maddeden olusmaktadir. Her alt boyuta iliskin Cronbach alpha guvenirlik katsayisi hesaplanmistir. Besli likert tipinde hazirlanan olcegin tum boyutlarinailiskin Cronbach alpha guvenirlik katsayisi ise . 93 olarak tespit edilmistir. Eldeedilen veriler, SPSS 15 paket programinda betimsel istatistikler, tek yonlu varyans analizi, iliskisiz gruplar t testi ve LSD testi yoluyla analiz edilmistir.Anlamlilik duzeyi . 05 olarak alinmistir. Arastirma sonucunda ogretmenlerin,sinif yonetimi boyutlarina iliskin yeterlik duzeylerini genel olarak “cogu zamanyaparim” duzeyinde belirtmelerine karsin, ogretmen adaylarinin gozlemlericogunlukla “ara sira gozlendi” duzeyinde kalmistir. Buna ilaveten, ilkogretimogretmenlerinin sinif yonetimi yeterliklerine iliskin gorusleri arasinda, cinsiyet,mezun olunan bolum, kidem ve sinif mevcudu degiskenlerine gore anlamlifarkliliklarin olmadigi; okulun bulundugu sosyo-ekonomik cevre ve okutulansinif duzeyi bakimindan ogretmen gorusleri arasinda anlamli farkliliklarinoldugu saptanmistir. Elde edilen bulgulara dayali olarak tartisma yapilmis veonerilerde bulunulmustur
PRINCIPLES FOR CAPTURE OF ENERGY FROM OCEAN WAVES. PHASE CONTROL AND OPTIMUM OSCILLATION

A body oscillating in water will produce waves. A big body and a small body may produce equally large waves provided the smaller body oscillates with larger amplitude. This may be utilised for the purpose of wave energy conversion, for instance by a small floating body heaving in response to an incident wave, in particular so if it can be arranged that the body oscillates with a larger amplitude than the wave amplitude. Generally it can be said that a good wave absorber must be a good wave-maker. 1
An Analysis and Evaluation of Security Aspects in the Business Process Model and Notation

Enhancing existing business process modeling languages with security concepts has attracted increased attention in research and several graphical notations and symbols have been proposed. How these extensions can be comprehended by users has not been evaluated yet. However, the comprehensibility of security concepts integrated within business process models is of utmost importance for many purposes such as communication, training, and later automation within a process-aware information system. If users do not understand the security concepts, this might lead to restricted acceptance or even misinterpretation and possible security problems in the sequel. In this paper, we evaluate existing security extensions of Business Process Model and Notation (BPMN) as BPMN constitutes the de facto standard in business modeling languages nowadays. The evaluation is conducted along two lines, i.e., a literature study and a survey. The findings of both evaluations identify shortcomings and open questions of existing approaches. This will yield the basis to convey security-related information within business process models in a comprehensible way and consequently, unleash the full effects of security modeling in business processes.
The Relationship between Bipolar Disorder and Cannabis Use in Daily Life: An Experience Sampling Study

Objectives Although cannabis use is common in bipolar disorder and may contribute to worse clinical outcomes, little is understood about the relationship between this drug and bipolar disorder over the course of daily life. The aim of study was to examine the effect of cannabis on affect and bipolar symptoms in a group of individuals with bipolar disorder. Methods Twenty-four participants with bipolar disorder type I or type II completed diaries for 6 days using Experience Sampling Methodology to investigate the temporal associations between cannabis, affect and bipolar disorder symptoms. Results The results indicated that higher levels of positive affect increase the odds of using cannabis (OR:1.25 ,CI:1.06–1.47, P=0.008). However, neither negative affect, manic nor depressive symptoms predicted the use of cannabis. Cannabis use was associated with subsequent increases in positive affect (β=0.35, CI:0.20-0.51, P=0.000), manic symptoms (β=0.20,CI:0.05-0.34, P=0.009) and depressive symptoms (β= 0.17,CI:0.04-0.29, P=0.008). Conclusion The findings indicate that cannabis use is associated with a number of subsequent psychological effects. However there was no evidence that individuals with BD were using cannabis to self-medicate minor fluctuations in negative affect or bipolar disorder symptoms over the course of daily life. The findings in relation to existing literature and clinical implications are discussed.
An Empirical Study on Views of Importance of Change Impact Analysis Issues

Change impact analysis is a change management activity that previously has been studied much from a technical perspective. For example, much work focuses on methods for determining the impact of a change. In this paper, we present results from a study on the role of impact analysis in the change management process. In the study, impact analysis issues were prioritised with respect to criticality by software professionals from an organisational perspective and a self-perspective. The software professionals belonged to three organisational levels: operative, tactical and strategic. Qualitative and statistical analyses with respect to differences between perspectives as well as levels are presented. The results show that important issues for a particular level are tightly related to how the level is defined. Similarly, issues important from an organisational perspective are more holistic than those important from a self-perspective. However, our data indicate that the self-perspective colours the organisational perspective, meaning that personal opinions and attitudes cannot easily be disregarded. In comparing the perspectives and the levels, we visualise the differences in a way that allow us to discuss two classes of issues: high-priority and medium-priority. The most important issues from this point of view concern fundamental aspects of impact analysis and its execution.
Epitope Screening and Cell Cooperation in the Immune Response

We present a combination of techniques of systems biology and immunoinformatics to simulate the immune response. Amino acid sequences representing molecular binding sites and bioinformatics based predictions of T and B cell epitopes become components of an agent-based simulator. To determine the immunogenic parts of the invading antigen, we resort to existing prediction methods together with a method, which uses Miyazawa and Jernigan protein–protein potential measurements, for assessing molecular binding. A classical immunization experiment is used as benchmark of the resulting model. We also reproduce the affinity maturation phenomena by the emergence of one or more dominating clones of lymphocytes in the situation of chronic exposure to the immunogenic molecule. These results show that the simulator produces a dynamics that is stable and consistent with basic immunological knowledge.
Design, implementation and evaluation of resource management system for Internet servers

A great deal of research has been devoted to solving the problem of network congestion posed against the context of increasing Internet traffic. However, there has been little concern regarding improvements in the performance of Internet servers such as Web/Web proxy servers in spite of the projections that the performance bottleneck will shift from networks to endhosts. In this paper, we propose a new resource management scheme for Web/Web proxy servers, which manages their resources for TCP connections, effectively and fairly. In the proposed system, we focus on the effective use of server resources by assigning dynamically the send/receive socket buffer according to the required size of each TCP connection, and terminating positively the idol persistent connection. Also, we validate the effectiveness of our proposed scheme through simulation and implementation experiments, and confirm conclusively that Web/Web proxy server throughput can be improved by 25% at maximum, and document transfer delay perceived by client hosts can be decreased by up to 90%.
MicroRNA-494 Within an Oncogenic MicroRNA Megacluster Regulates G1/S Transition in Liver Tumorigenesis Through Suppression of Mutated in Colorectal Cancer

Hepatocellular carcinoma (HCC) is associated with poor survival for patients and few effective treatment options, raising the need for novel therapeutic strategies. MicroRNAs (miRNAs) play important roles in tumor development and show deregulated patterns of expression in HCC. Because of the liver's unique affinity for small nucleic acids, miRNA‐based therapy has been proposed in the treatment of liver disease. Thus, there is an urgent need to identify and characterize aberrantly expressed miRNAs in HCC. In our study, we profiled miRNA expression changes in de novo liver tumors driven by MYC and/or RAS, two canonical oncogenes activated in a majority of human HCCs. We identified an up‐regulated miRNA megacluster comprised of 53 miRNAs on mouse chromosome 12qF1 (human homolog 14q32). This miRNA megacluster is up‐regulated in all three transgenic liver models and in a subset of human HCCs. An unbiased functional analysis of all miRNAs within this cluster was performed. We found that miR‐494 is overexpressed in human HCC and aids in transformation by regulating the G1/S cell cycle transition through targeting of the Mutated in Colorectal Cancer tumor suppressor. miR‐494 inhibition in human HCC cell lines decreases cellular transformation, and anti‐miR‐494 treatment of primary MYC‐driven liver tumor formation significantly diminishes tumor size. Conclusion: Our findings identify a new therapeutic target (miR‐494) for the treatment of HCC. (Hepatology 2014;58:202–215)
Organizational Citizenship Behavior and Developmental Experiences: Do Role Definitions Moderate the Relationship?

Data from 136 supervisor-subordinate dyads indicated that Organizational Citizenship Behavior (OCB) was positively related to developmental experiences after controlling for In-Role Performance (IRP). Results also indicated that when supervisors had broad role definitions, the relationship between OCB and developmental experiences was non-significant. On the other hand, when supervisors had narrow role definitions, there was a significant positive relationship between OCB and developmental experiences reported by employees.
A Method of Accelerating LDA Program with GPU

LDA (Latent Dirichlet Allocation) is a text modeling algorithm based on a generative probabilistic model. It is widely used to discover latent topics among a set of documents. Mahout has implemented LDA algorithm, however, the execution time of the LDA program is very long when processing a large amount of documents, because the documents are processed in sequence. This paper introduces a method to modify this program with CUDA toolkit provided by NVIDIA, in order that a group of documents could be processed in parallel on GPU. Using this method, the LDA program could be accelerated greatly.