Miracle-dz/UniFAR-FTUs huggingface dataset:
F&A compensating variable bang-bang control algorithm for pneumatic driving glass-wall cleaning robot

To overcome the overshoot and oscillation in the normal Bang-Bang controller applied in the pneumatic driving glass-wall cleaning robot, this paper presents a F&A compensating variable Bang-Bang control algorithm for the pneumatic position servo. Besides a new cylinder driving plan is designed, the control algorithm is also improved by adding a fiction force compensating item in the chamber force evaluation equation. To adjust the controlling parameters dynamically, certain increasing functions, such as step function, linear function and arc-tangent function, are used to define the piston's expectative acceleration along with the reduction of the piston's position error. To testify the feasibility of the control algorithms with the above three expectative acceleration setting functions respectively, a pneumatic glass-wall cleaning robot "Sky Cleaner 4" is used as a testing platform to implement a series of on-load position servo experiments. And the different results of them are compared.
Can Digital Computers Think

The simulation of symmetric encryption has visualized I/O automata, and current trends suggest that the investigation of vacuum tubes will soon emerge. After years of unfortunate research into multi-processors, we prove the exploration of local-area networks, which embodies the structured principles of networking. Aerometer, our new system for symbiotic models , is the solution to all of these grand challenges .
Automatic Matching Tool Selection Using Relevance Feedback In Mars

For a given visual feature, due to the diversity of human's subjective judgment, a visual information retrieval system that supports a single pre xed similarity measure will result in poor retrieval performance. To address this problem, this paper proposes the concept of similarity matching toolkit which consists of different similarity measures simulating human's perceptions of the given feature from di erent aspects. The toolkit supports a feedback-driven tool selection mechanism which adapts to the similarity measure that best ts the user's perception. To illustrate the advantage of the proposed toolkit approach, we apply it to shape-based image retrieval. The paper describes a shape matching toolkit consisting of four transformation-invariant and computationally e cient matching tools and describes how relevance feedback can be used for automatic tool selection. Experimental results validate the exibility of the matching toolkit and show the e ectiveness of the relevance feedback for shape matching tool selection.
The landscape of persuasive technologies

Aimed largely at children today, persuasion is already part of many technologies, but many more are on the way for everyone else. For better or for worse, persuasive technologies are already part of the everyday technological landscape we all live in. Since 1997, the Persuasive Technology Lab at Stanford University has tracked existing and emerging computing devices designed to change human attitudes and behaviors. As a result, we have identified about 50 such devices. The point here, however, is not to list them; instead, we want to offer the deeper insight we've developed by categorizing the landscape of persuasive technologies along four distinct axes—domains, users, form factors, and strategies—for delivering their messages of change. Not only is this insight important in understanding what's available now, it helps suggest what to expect in the future. While computers have long used motivational strategies (such as fantasy, competition, and positive reinforcement in educational software [2]), the emergence of persuasive technology artifacts is a significant—and potentially controversial—new direction in the design of computing systems. This area is important area for computer professionals to understand so we can influence this new type of technology in a positive way. To this end, we share our views of the domains, target users, form factors, and key
Associations between Gene Expression Variations and Ovarian Cancer Risk Alleles Identified from Genome Wide Association Studies

Functional genetic variations play important roles in shaping phenotypic differences among individuals through affecting gene expression, and thus, very likely to influence disease susceptibility, such as cancer susceptibility. One critical question in this era of post-genome wide association studies (GWAS) is how to assess the functional significance of the genetic variations identified from GWAS. In the current study, with lymphoblastoid cell lines (LCLs) from 74 non-related women with familial ovarian cancer and 47 unrelated controls matched on gender and race, we explored the associations between seven ovarian cancer risk variants identified from GWAS (rs3814113 on 9p22.2, rs2072590 on 2q31, rs2665390 on 3q25, rs10088218, rs1516982, rs10098821 on 8q24.21, and rs2363956 on 19p13) and whole genome mRNA expression profiles. We observed 95 significant trans-associations at a permutation level of 0.001. Compared to the other risk variants, rs10088218, rs1516982, and rs10098821 on 8q24.21 had the greatest number of significant associations (25, 16, and 38, respectively). Two possible cis-associations were observed between rs10098821 and c-Myc, and rs2072590 and HS.565379 (Permutated P = 0.0198 and 0.0399, respectively). Pathway enrichment analysis showed that several key biological pathways, such as cell cycle (P = 2.59×10−06), etc, were significantly overrepresented. Further characterization of significant associations between mRNAs and risk alleles might facilitate understanding the functions of GWAS discovered risk alleles in the genetic etiology of ovarian cancer.
Determinants of parental involvement in primary school: evidence from Chile

ABSTRACT This article examines the impact of educational expectations, perceived self-efficacy, and the information transmitted by the school on parental involvement at home and at school. A survey was administered to a representative sample of 672 parents and guardians of students attending primary schools located in Santiago, Chile. The analyses conducted, based on OLS regression models with municipality-level fixed effects, reveal that parents’ educational expectations and perceived self-efficacy behave as relevant predictors of their degree of involvement at home and at school respectively, even attenuating the importance of socioeconomic status (SES). However, results stress the importance of the information provided by the school, especially due to its impact on parents’ involvement at home and on their participation in curricular school activities. Last, the article discusses the implications of these findings for initiatives aimed at increasing educational equality.
An Evaluation of VIG with the BSBM Benchmark

We present an experimental evaluation of VIG, a data scaler for OBDA benchmarks. Data scaling is a relatively recent approach, proposed in the database community, that allows for scaling an input data instance to s times its size, while preserving certain application-specific characteristics. A data scaler is a “general” generator, in the sense that it can be re-used on different database schemas, and that users are not required to manually input the data characteristics. VIG lifts the scaling approach from the database level to the OBDA level, where the domain information of ontologies and mappings has to be taken into account as well. To evaluate VIG, in this paper we use it to generate data for the Berlin SPARQL Benchmark (BSBM), and compare it with the official BSBM data generator.
A 60-MHz 240-mW MPEG-4 videophone LSI with 16-Mb embedded DRAM

A 240-mW single-chip MPEG-4 videophone LSI with a 16-Mb embedded DRAM is fabricated utilizing a 0.25-/spl mu/m CMOS triple-well quad-metal technology. The videophone LSI is applied to the 3GPP 3G-324M video-telephony standard for IMT-2000, and implements the MPEG-4 video SPL1 codec, the AMR speech codec, and the ITU-T H.223 Annex B multiplexing/demultiplexing at the same time. Three 16-bit multimedia-extended RISC processors, dedicated hardware accelerators, and a 16-Mb embedded DRAM are integrated on a 10.84 mm/spl times/10.84 mm die. It also integrates camera, display, audio, and network interfaces required for a mobile video-phone terminal. In addition to conventional low-power techniques, such as clock gating and parallel operation, some new low-power techniques are also employed. These include an embedded DRAM with optimized configuration, a low-power motion estimator, and the adoption of the variable-threshold voltage CMOS (VT-CMOS). The MPEG-4 videophone LSI consumes 240 mW at 60 MHz, which is only 22% of that for a conventional multichip design. Variable threshold voltage CMOS reduces standby leakage current to 26 /spl mu/A, which is only 17% of that for the conventional CMOS design.
PANTHER version 11: expanded annotation data from Gene Ontology and Reactome pathways, and data analysis tool enhancements

The PANTHER database (Protein ANalysis THrough Evolutionary Relationships, http://pantherdb.org) contains comprehensive information on the evolution and function of protein-coding genes from 104 completely sequenced genomes. PANTHER software tools allow users to classify new protein sequences, and to analyze gene lists obtained from large-scale genomics experiments. In the past year, major improvements include a large expansion of classification information available in PANTHER, as well as significant enhancements to the analysis tools. Protein subfamily functional classifications have more than doubled due to progress of the Gene Ontology Phylogenetic Annotation Project. For human genes (as well as a few other organisms), PANTHER now also supports enrichment analysis using pathway classifications from the Reactome resource. The gene list enrichment tools include a new ‘hierarchical view’ of results, enabling users to leverage the structure of the classifications/ontologies; the tools also allow users to upload genetic variant data directly, rather than requiring prior conversion to a gene list. The updated coding single-nucleotide polymorphisms (SNP) scoring tool uses an improved algorithm. The hidden Markov model (HMM) search tools now use HMMER3, dramatically reducing search times and improving accuracy of E-value statistics. Finally, the PANTHER Tree-Attribute Viewer has been implemented in JavaScript, with new views for exploring protein sequence evolution.
Toward Adaptive Data Aggregation Protocols in Wireless Sensor Networks

Data aggregation has emerged as a basic concept in wireless sensor networks. By combining data and eliminating redundancy, this concept showed its effectiveness in terms of reducing resources consumption. The data aggregation problem is not new and has been widely studied in wireless sensor networks. However, most of the proposed solutions are based on a static data aggregation scheme and do not consider the network constraints evolution such as energy bandwidth, overhead and transmission delay. To dynamically optimize the tradeoff between the data aggregation process and the network constraints, a new paradigm has been introduced recently named the feedback control system. The main idea is to adapt the data aggregation degree to the environment changes and the sensor network applications. The feedback control for data aggregation remains relatively a new research area and only few works have introduced this concept. Therefore this work points out this research field by surveying the different existing protocols.
Learning and Memory Enhancing Activity of Cowpea Diet Ingestion in the Morris Water Maze Task

Common bean (Vigna unguiculata) is a dicotyledon and belongs to the pea family [1]. Beans are available as the dry mature seeds or the green immature seeds which are wrapped in pods [2]. Both types are edible. There are many varieties of dry bean classes depending on the color, shape and size. Some of the commonly consumed varieties are navy, black, kidney and pinto beans. Bean are used as staple food in Nigeria and globally [3] and are a superb source of protein, carbohydrates, dietary fiber, minerals, vitamins and many phenolic compounds [4]. Bean is a very nutritious food [5,6] and has been reported to exhibit that beans have ant carcinogenic, anti-mutagenic [7]. Anti-inflammatory, anti-diabetic, hypoglycemic, depurative, cardio-protective and antioxidant effects [8].
Small system modelling of real wages, in ation, unemployment and output per capita in Italy 1970-1994

The relationships between real wages, output per capita, in ation and unemployment in Italy between 1970 and 1994, are modelled using a cointegrated vector autoregression. There is evidence of a change in the underlying equilibria and in the dynamic evolution of the variables, probably associated with the substantial changes in many sectors of the Italian economy after 1979. Alternative ways to model structural change in the Italian labour market are considered. In adopting a split sample approach the results favour an hysteresis interpretation of unemployment. JEL classi cation: C32, C50, E24, E37.
Consensus control of networked nonlinear systems

In this paper, we proposed a consensus control for networked nonlinear system with disturbance and uncertain parameter. The proposed algorithm is combined with adaptive compensation of unknown disturbance and output feedback control to achieve consensus, without knowing the disturbance's amplitude frequency and phase, as long as the number of different frequencies is known. From the theorem presented in the paper, we can see the topology condition for achieving consensus is the same as networked linear system. A second-order integrated example is used to illustrate the algorithm. The design procedure is divided into two step: in step I, we design a consensus control law for networked virtual agents by Lemma 1; in step II, we use output feedback control with complete compensation of unknown disturbance for adaptive tracking the virtual agents.
Service-Oriented Architecture for Object- Centric Information Fusion

(cid:3) Abstract — In many applications there is a broad variety of information relevant to a focal “object” of interest, and the fusion of such heterogeneous data types is desirable for classification and categorization. While these various data types can sometimes be treated as orthogonal (such as the hull number, superstructure color, and speed of an oil tanker), there are instances where the inference and the correlation between quantities can provide improved fusion capabilities (such as the height, weight, and gender of a person). A service-oriented architecture has been designed and prototyped to support the fusion of information for such “object-centric” situations. It is modular, scalable, and flexible, and designed to support new data sources, fusion algorithms, and computational resources without affecting existing services. The architecture is designed to simplify the incorporation of legacy systems, support exact and probabilistic entity disambiguation, recognize and utilize multiple types of uncertainties, and minimize network bandwidth requirements.
A Novel Method of Compression Based on Adaptive Encoding Technology for SoC Design

-Test data compression is one of the main objectives to make reliable in testing System on chip design. The data compression mainly relies in the areas of hardware, time and power consumed. This paper presents an efficient test data compression method to achieve high compression ratio. The test patterns have 1, 0 and undefined (x) data. The test patterns are grouped such that to improve compression ratio. While grouping the undefined bits is also assigned as 1, 0 and conflict bit (c). The experimental result shows that the compression ratio achieved is highly desirable. It is targeted to ISCAS 89 bench mark circuit.
Modeling and Verication of Leaders Agreement in the Intrusion-Tolerant Enclaves Using PVS

Enclaves is a group-oriented intrusion-tolerant protocol. Intrusion-tolerant protocols are cryptographic protocols that implement fault-tolerance techniques to achieve security despite possible intrusions at some parts of the system. Among the most tedious faults to handle in security are the so-called Byzantine faults, where insiders maliciously exhibit an arbitrary (possibly dishonest) behavior during executions of the protocol. This class of faults poses formidable challenges to current verification techniques and has been formally verified only in simplified forms and under restricted fault assumptions. In this paper we present our work on the formal verification of the Byzantine fault-tolerant Enclaves [1] protocol. We use PVS to formally specify and prove Proper Byzantine Agreement, Agreement Termination and Integrity.
Identifying linguistic knowledge for textual inference

The ability to recognize whether one text can be inferred from another is a critical element of various computational linguistics tasks. The current work explores what kind of linguistic information is useful, or even necessary, in making such inference judgments and how well an inference model using minimal representation and linguistic information performs on an inference judgment task.
Comparing sport participation motivation of sport high school students and sport center members in terms of some variablesSpor lisesi öğrencileri ve spor merkezi üyelerinin spora katılım motivasyonlarının bazı değişkenler açısından karşılaştırılması

The aim of the study is to compare the sport motives of individuals participating sport in two different groups. 300 volunteers are the participants of the study. Along with the personal information form, Sport Participation Motivation Scale which was developed by Gill et al., (1983) validity and reliability of which was checked for Turkish population by Oyar et al., (2001) and were used. As a result of the analysis, it was found that sport participation motives do not vary according to gender. In addition it was revealed that students of sport high school are more motivated than members of sport centers. Among students of sport high school, certificated sportspeople are more motivated compared to non-certificated sportspeople, individuals doing team and individual sports are more motivated than non-competitive sportspeople and younger students are more motivated than older ones. Among the members of sport center no difference and relation were found between the ages of the sportspeople and their status of owning certificate or not. Furthermore, sport center members doing team and individual sports were seen to be more motivated than non-competitive sportspeople in terms of the dimensions, namely friends, achievement/ status and physical fitness/energy consumption.Extended English summary is in the end of Full Text PDF (TURKISH) file. ÖzetFarklı iki grupta spora katılım gösteren bireylerin spor yapma güdülerinin karşılaştırılması bu araştırmanın amacını oluşturmaktadır. Araştırma grubu 300 gönüllü katılımcıdan oluşmuştur. Veri toplama aracı olarak kişisel bilgi formu ile birlikte, Gill ve ark. , (1983) tarafından geliştirilen Türk popülâsyonu için Oyar ve ark. , (2001) tarafından geçerlik ve güvenirlik çalışması yapılan Spora Katılım Güdüsü Ölçeği kullanılmıştır. Yapılan analizler sonucunda cinsiyete göre spora katılım güdülerinin farklılaşmadığı belirlenmiştir. Genel olarak spor lisesi öğrencilerinin spor merkezi üyelerinden daha fazla güdülendiği belirlenmiştir. Spor lisesi öğrencilerinden; lisanslı sporcuların lisanslı olmayan sporculara göre, takım ve bireysel sporlarla uğraşanların aktif sporcu olmayanlara göre ve daha genç yaşta olan öğrencilerin diğerlerine göre daha fazla güdülendikleri belirlenmiştir. Spor merkezi üyeleri arasında ise; farklı yaş grupları ve lisanslı sporcular ile lisanslı olmayan sporcular arasında ilişki ve farklılıklar bulunmamıştır. Bununla birlikte spor merkezi üyeleri arasında, takım ve bireysel sporlarla uğraşanların aktif spor yapmayanlara göre özellikle arkadaş, başarı/statü ve fiziksel uygunluk/enerji harcama boyutlarında daha fazla güdülendikleri ortaya konulmuştur.
Domain ontology based efficient image retrieval

This paper presents the implementation of an efficient retrieval system for medical images. By combining ontology with the use of low level feature extraction we were able to retrieve meaningful information from the knowledge base. We also successfully bridged the gap between the low level feature and the high level semantics by applying the image processing technique to extract the low level features and associate those with the required custom made feature based domain ontology. The implemented system gives the list of URI's of the Electronic Health Record of the patients giving both the medical details as well as the image properties (of medical images related to their records).
Antitrypanosomal Acetylene Fatty Acid Derivatives from the Seeds of Porcelia macrocarpa (Annonaceae)

Chagas’ disease is caused by a parasitic protozoan and affects the poorest population in the world, causing high mortality and morbidity. As a result of the toxicity and long duration of current treatments, the discovery of novel and more efficacious drugs is crucial. In this work, the hexane extract from seeds of Porcelia macrocarpa R.E. Fries (Annonaceae) displayed in vitro antitrypanosomal activity against trypomastigote forms of T. cruzi by the colorimetric MTT assay (IC50 of 65.44 μg/mL). Using chromatographic fractionation over SiO2, this extract afforded a fraction composed by one active compound (IC50 of 10.70 µg/mL), which was chemically characterized as 12,14-octadecadiynoic acid (macrocarpic acid). Additionally, two new inactive acetylene compounds (α,α'-dimacro-carpoyl-β-oleylglycerol and α-macrocarpoyl-α'-oleylglycerol) were also isolated from the hexane extract. The complete characterization of the isolated compounds was performed by analysis of NMR and MS data as well as preparation of derivatives.
Post-transcriptional Regulation of Keratinocyte Progenitor Cell Expansion, Differentiation and Hair Follicle Regression by miR-22

Hair follicles (HF) undergo precisely regulated recurrent cycles of growth, cessation, and rest. The transitions from anagen (growth), to catagen (regression), to telogen (rest) involve a physiological involution of the HF. This process is likely coordinated by a variety of mechanisms including apoptosis and loss of growth factor signaling. However, the precise molecular mechanisms underlying follicle involution after hair keratinocyte differentiation and hair shaft assembly remain poorly understood. Here we demonstrate that a highly conserved microRNA, miR-22 is markedly upregulated during catagen and peaks in telogen. Using gain- and loss-of-function approaches in vivo, we find that miR-22 overexpression leads to hair loss by promoting anagen-to-catagen transition of the HF, and that deletion of miR-22 delays entry to catagen and accelerates the transition from telogen to anagen. Ectopic activation of miR-22 results in hair loss due to the repression a hair keratinocyte differentiation program and keratinocyte progenitor expansion, as well as promotion of apoptosis. At the molecular level, we demonstrate that miR-22 directly represses numerous transcription factors upstream of phenotypic keratin genes, including Dlx3, Foxn1, and Hoxc13. We conclude that miR-22 is a critical post-transcriptional regulator of the hair cycle and may represent a novel target for therapeutic modulation of hair growth.