Miracle-dz/UniFAR-FTUs huggingface dataset:
Psycholinguistic Approaches to Lying and Deception

Lying involves producing an utterance, just like telling the truth, but there are differences between how people produce a lie and how they produce a truth. Here we discuss those differences from a psycholinguistic perspective. We start by introducing a psycholinguistic model of language production. We then discuss the evidence that the production process is altered when people lie, and identify areas that have not yet been tested but hold promise. The topics we discuss include the suppression process, lie construction, perspective taking, and how lying taps central resources. We conclude by highlighting the benefits to deception researchers of understanding the truthful production process and the benefits to psycholinguists of understanding how people lie.
Learning Inadmissible Heuristics During Search

Suboptimal search algorithms offer shorter solving times by sacrificing guaranteed solution optimality. While optimal searchalgorithms like A* and IDA* require admissible heuristics, suboptimalsearch algorithms need not constrain their guidance in this way. Previous work has explored using off-line training to transform admissible heuristics into more effective inadmissible ones. In this paper we demonstrate that this transformation can be performed on-line, during search. In addition to not requiring training instances and extensive pre-computation, an on-line approach allows the learned heuristic to be tailored to a specific problem instance. We evaluate our techniques in four different benchmark domains using both greedy best-first search and bounded suboptimal search. We find that heuristics learned on-line result in both faster search andbetter solutions while relying only on information readily available in any best-first search.
Data-driven ballistic coefficient learning for future state prediction of high-speed vehicles

This paper describes a methodology to predict a future state of unknown high-speed vehicles by applying machine learning techniques. Traditionally, the state estimation of high-speed vehicles is carried out by the variations of Kalman filters, but such state estimation is limited to the temporal moment of the observation. Therefore, the future state of high-speed vehicles has been obtained through a number of predictive iterations with a dynamics equation. This dynamic equation requires a key parameter, i.e. ballistic coefficient, and this coefficient were merely fixed or modeled as another dynamics model in the past. The novelty of this paper lies on the utilization of machine learning models, i.e. Gaussian process regression and support vector regression, to predict the future ballistic coefficient. Our simulation experiments show that there is a reduction in the position error and the ballistic coefficient error when the machine learning models were used.
Abstracting Workflows: Unifying Bioinformatics Task Conceptualization and Specification Through Semantic Web Services

ing Workflows: Unifying Bioinformatics Task Conceptualization and Specification Through Semantic Web Services Nada Hashmi∗, Sung Lee†, and Michael P. Cummings‡ ∗Department of Computer Science, University of Maryland, College Park, MD 20742 USA †Fujitsu Laboratories of America, College Park, MD 20740-2496 USA ‡Center for Bioinformatics and Computational Biology, University of Maryland, College Park, MD 20742 USA
Erythroid-Specific Expression of β-globin from Sleeping Beauty-Transduced Human Hematopoietic Progenitor Cells

Gene therapy for sickle cell disease will require efficient delivery of a tightly regulated and stably expressed gene product to provide an effective therapy. In this study we utilized the non-viral Sleeping Beauty (SB) transposon system using the SB100X hyperactive transposase to transduce human cord blood CD34+ cells with DsRed and a hybrid IHK–β-globin transgene. IHK transduced cells were successfully differentiated into multiple lineages which all showed transgene integration. The mature erythroid cells had an increased β-globin to γ-globin ratio from 0.66±0.08 to 1.05±0.12 (p = 0.05), indicating expression of β-globin from the integrated SB transgene. IHK–β-globin mRNA was found in non-erythroid cell types, similar to native β-globin mRNA that was also expressed at low levels. Additional studies in the hematopoietic K562 cell line confirmed the ability of cHS4 insulator elements to protect DsRed and IHK–β-globin transgenes from silencing in long-term culture studies. Insulated transgenes had statistically significant improvement in the maintenance of long term expression, while preserving transgene regulation. These results support the use of Sleeping Beauty vectors in carrying an insulated IHK–β-globin transgene for gene therapy of sickle cell disease.
Deciphering the Transcriptional Response Mediated by the Redox-Sensing System HbpS-SenS-SenR from Streptomycetes

The secreted protein HbpS, the membrane-embedded sensor kinase SenS and the cytoplasmic response regulator SenR from streptomycetes have been shown to form a novel type of signaling pathway. Based on structural biology as well as different biochemical and biophysical approaches, redox stress-based post-translational modifications in the three proteins were shown to modulate the activity of this signaling pathway. In this study, we show that the homologous system, named here HbpSc-SenSc-SenRc, from the model species Streptomyces coelicolor A3(2) provides this bacterium with an efficient defense mechanism under conditions of oxidative stress. Comparative analyses of the transcriptomes of the Streptomyces coelicolor A3(2) wild-type and the generated hbpSc-senSc-senRc mutant under native and oxidative-stressing conditions allowed to identify differentially expressed genes, whose products may enhance the anti-oxidative defense of the bacterium. Amongst others, the results show an up-regulated transcription of genes for biosynthesis of cysteine and vitamin B12, transport of methionine and vitamin B12, and DNA synthesis and repair. Simultaneously, transcription of genes for degradation of an anti-oxidant compound is down-regulated in a HbpSc-SenSc-SenRc-dependent manner. It appears that HbpSc-SenSc-SenRc controls the non-enzymatic response of Streptomyces coelicolor A3(2) to counteract the hazardous effects of oxidative stress. Binding of the response regulator SenRc to regulatory regions of some of the studied genes indicates that the regulation is direct. The results additionally suggest that HbpSc-SenSc-SenRc may act in concert with other regulatory modules such as a transcriptional regulator, a two-component system and the Streptomyces B12 riboswitch. The transcriptomics data, together with our previous in vitro results, enable a profound characterization of the HbpS-SenS-SenR system from streptomycetes. Since homologues to HbpS-SenS-SenR are widespread in different actinobacteria with ecological and medical relevance, the data presented here will serve as a basis to elucidate the biological role of these homologues.
Testing Effectiveness and Fault Correlation Modeling for Diverse Software Systems

While fault tolerant software is seen as a necessity, it is also controversial and a factor of regulatory uncertainty. Up to date researchers do not know what creditable reliability models for fault tolerant software are, how to test for fault tolerance, and how effective fault tolerant software can achieve. In particular, we cannot systematically develop models to predict reliability of fault tolerant software systems, and provide evidences regarding the validity of these models. One difficulty lies on the fact that there is no proper model to describe the nature and interactions of software faults regarding how they are manifested and how they are correlated. As currently, there are no quantitative assessment schemes for a comprehensive evaluation of fault tolerant software including model comparisons and trade-off studies with software testing techniques. This research is aimed at providing such an assessment for a systematic evaluation of fault tolerant software techniques. In this term paper, we first survey the background, techniques, reliability modeling and applications for software fault tolerance. Then based on our previous experiment on software reliability analysis on fault tolerance, we conduct further experiments and analyze the experimental data to learn the correlations among these faults and the relation to their resulting failures. we apply the experimental data on current famous reliability modeling to examine their effectiveness. Furthermore, we investigate the effectiveness of data flow coverage and mutation coverage in testing for design diversity. We examine different hypotheses on software testing and fault tolerance schemes, and find that code coverage is a positive indicator for fault detection capability of a given test set. Particularly, for exceptional test case, code coverage is clearly a strong indicator for its testing effectiveness.
Automatic Android GUI Traversal with High Coverage

Android apps are usually rich in GUIs and users interact with the GUIs to use the functions provided by an app. To make Android apps reliable, GUI testing is an effective method. Automation and high GUI coverage is necessary in the testing for the sake of minimizing human effort and maximizing effectiveness. However, the existing work is insufficient to meet such requirements. In this paper, we identify several challenges for conducting GUI traversal on Android, such as component recognition, event injection and UI traversal. We present a tool named Droid Crawle to address the challenges for automatically exploring the GUIs of Android apps with high GUI coverage. The evaluation of Droid Crawler shows that it is efficient and effective to automatically capture the GUI tree of the target application with high GUI coverage.
On the notion of potential in quantum gravity

The problem of a consistent definition of the quantum corrected gravitational field is considered in the framework of the S-matrix method. The gauge dependence of the one-particle-reducible part of the two-scalar-particle scattering amplitude, with the help of which the potential is usually defined, is investigated at the one-loop approximation. The ${1/r}^{2}$ terms in the potential, which are of zero order in the Planck constant $\ensuremath{\Elzxh},$ are shown to be independent of the gauge parameter weighting the gauge condition in the action. However, the ${1/r}^{3}$ terms, proportional to $\ensuremath{\Elzxh},$ describing the first proper quantum correction, are proved to be gauge dependent. With the help of the Slavnov identities, their dependence on the weighting parameter is calculated explicitly. The reason for the gauge dependence is briefly discussed.
Automatic inspection of textured surfaces by support vector machines

Automatic inspection of manufactured products with natural looking textures is a challenging task. Products such as tiles, textile, leather, and lumber project image textures that cannot be modeled as periodic or otherwise regular; therefore, a stochastic modeling of local intensity distribution is required. An inspection system to replace human inspectors should be flexible in detecting flaws such as scratches, cracks, and stains occurring in various shapes and sizes that have never been seen before. A computer vision algorithm is proposed in this paper that extracts local statistical features from grey-level texture images decomposed with wavelet frames into subbands of various orientations and scales. The local features extracted are second order statistics derived from grey-level co-occurrence matrices. Subsequently, a support vector machine (SVM) classifier is trained to learn a general description of normal texture from defect-free samples. This algorithm is implemented in LabVIEW and is capable of processing natural texture images in real-time.
The psychology of personal information management

A requirement of The Office of the Future' is that it provides us with an effective way of storing and retrieving information. But existing IT products go nowhere near supporting the variety of activities which can be observed in paper-based offices, and it is not surprising that concepts of the 'paperless office' are as far off as they were when the idea was first mooted. This paper illustrates how many of the issues involved in the automation of information management are essentially psychological in nature. These principally devolve upon the processes of recall, recognition and categorisation. Examples of existing information management techniques show how there is a trend to automate with a view to simulating office practices, or to develop according to the availability of technological solutions. Both of these are inefficient with respect to the user's psychological needs. A framework for developing user-oriented information management systems is discussed and relevant research issues presented.
Evaluation of Sets of Oriented and Non-Oriented Receptive Fields as Local Descriptors

Local descriptors are increasingly used for the task of object recognition because of their perceived robustness with respect to occlusions and to global geometrical deformations. We propose a performance criterion for a local descriptor based on the tradeoff between selectivity and invariance. In this paper, we evaluate several local descriptors with respect to selectivity and invariance. The descriptors that we evaluated are Gaussian derivatives up to the third order, gray image patches, and Laplacian-based descriptors with either three scales or one scale filters. We compare selectivity and invariance to several affine changes such as rotation, scale, brightness, and viewpoint. Comparisons have been made keeping the dimensionality of the descriptors roughly constant. The overall results indicate a good performance by the descriptor based on a set of oriented Gaussian filters. It is interesting that oriented receptive fields similar to the Gaussian derivatives as well as receptive fields similar to the Laplacian are found in primate visual cortex.
TUMOR INDUCTION BY MURINE SARCOMA VIRUS IN AKR AND C58 MICE

Adult AKR and C58 mice injected intramuscularly with murine sarcoma virus, Moloney isolate (M-MSV), developed high incidence of nonregressing local tumors. Histologically, these tumors revealed the typical pleomorphism of M-MSV sarcomas; in some cases, however, neoplastic tissue showed a nodular or diffuse growth of monomorphic myoblastlike cells, reminiscent of clonal aggregates. No depression of immune reactivity was found in M-MSV-injected mice as evaluated by direct hemolytic plaque-forming cells against SRBC and by virus-neutralizing antibody production. The MSV recovered from the induced tumors proved to be, by neutralization assay, a Gross (G)-MSV pseudotype. Moreover, tumor cell suspensions absorbed out cytotoxic antibody directed against G-cell surface antigens. Therefore, the conclusion was drawn that MSV with envelope characteristics of endogenous G leukemia virus had formed in vivo through a phenotypic mixing phenomenon. The failure of tumors to regress has been interpreted as mainly due to the partial unresponsiveness of host immune reactivity towards G-MuLV specified antigens. Since MSV-tumors arose in AKR mice after a very long latent period, the possibility was considered that this relative resistance might depend on immunologic mechanisms. In fact, M-MSV-injected AKR mice immunodepressed by goat antimouse lymphocyte serum or rendered partially tolerant by neonatal M-MuLV inoculation developed sarcomas with higher incidence and with a shorter latency. Furthermore, the MSV recovered from these early tumors proved to be the original Moloney pseudotype.
LinkEdit

We present a method for interactive editing of planar linkages. Given a working linkage as input, the user can make targeted edits to the shape or motion of selected parts while preserving other, e.g., functionally-important aspects. In order to make this process intuitive and efficient, we provide a number of editing tools at different levels of abstraction. For instance, the user can directly change the structure of a linkage by displacing joints, edit the motion of selected points on the linkage, or impose limits on the size of its enclosure. Our method safeguards against degenerate configurations during these edits, thus ensuring the correct functioning of the mechanism at all times. Linkage editing poses strict requirements on performance that standard approaches fail to provide. In order to enable interactive and robust editing, we build on a symbolic kinematics approach that uses closed-form expressions instead of numerical methods to compute the motion of a linkage and its derivatives. We demonstrate our system on a diverse set of examples, illustrating the potential to adapt and personalize the structure and motion of existing linkages. To validate the feasibility of our edited designs, we fabricated two physical prototypes.
Towards a theoretical framework for measuring software attributes

Several attributes (e.g., size, complexity, cohesion, coupling) are commonly used in software engineering to refer to software product properties. A large number of measures have been proposed in the literature to measure these attributes. However, since software attributes are often defined in fuzzy and ambiguous ways, it is sometimes unclear whether the proposed measures are adequate for the software attributes they purport to measure (i.e., their construct validity). In recent years, a few approaches have been proposed to lay theoretical foundations for defining measures for software attributes, but no widespread agreement has been reached on a rigorous, unambiguous definition of software attributes. We first extend previous work carried out on axiomatic approaches for the definition of measures for software attributes (E. Weyuker, 1988; K.B. Lakshmanan et al., 1991). Second, we show how a hierarchical axiomatic framework can be constructed to support the definition of consistent measures for a given attribute at different levels of measurement. The paper shows how axiomatic approaches can be combined with the theory of measurement scales so that, depending on the level of sophistication of our empirical understanding of the attribute, we can select an appropriate level of measurement and a suitable axiomatic framework.
WldS Enhances Insulin Transcription and Secretion via a SIRT1-Dependent Pathway and Improves Glucose Homeostasis

OBJECTIVE WldS (Wallerian degeneration slow), a fusion protein from a spontaneous mutation containing full-length nicotinamide mononucleotide adenylyltransferase 1, has NAD biosynthesis activity and protects axon from degeneration robustly. NAD biosynthesis is also implicated in insulin secretion in β-cells. The aim of this study was to investigate the effect of WldS on β-cells and glucose homeostasis. RESEARCH DESIGN AND METHODS Using the WldS mice, we measured the expression of WldS in pancreas and analyzed the effect of WldS on glucose homeostasis. The direct effect of WldS on insulin transcription and secretion and the related mechanisms was measured in isolated islets or β-cell lines. Silent information regulator 1 (SIRT1), an NAD-dependent protein deacetylase, is involved in insulin secretion. Thus, WldS mice with SIRT1 deficiency were generated to study whether the SIRT1-dependent pathway is involved. RESULTS WldS is highly expressed in the pancreas and improves glucose homeostasis. WldS mice are resistant to high-fat diet–induced glucose intolerance and streptozotocin (STZ)-induced hyperglycemia. WldS increases insulin transcription dependent on its NAD biosynthesis activity and enhances insulin secretion. SIRT1 is required for the improved insulin transcription, secretion, and resistance to STZ-induced hyperglycemia caused by WldS. Moreover, WldS associates with SIRT1 and increases NAD levels in the pancreas, causing the enhanced SIRT1 activity to downregulate uncoupling protein 2 (UCP2) expression and upregulate ATP levels. CONCLUSIONS Our results demonstrate that WldS combines an insulinotropic effect with protection against β-cell failure and suggest that enhancing NAD biosynthesis in β-cells to increase SIRT1 activity could be a potential therapeutic approach for diabetes.
Sketch‐Based Procedural Surface Modeling and Compositing Using Surface Trees

We present a system for creating and manipulating layered procedural surface editing operations, which is motivated by the limited support for iterative design in free‐form modeling. A combination of sketch‐based and traditional modeling tools are used to design soft displacements, sharp creases, extrusions along 3D paths, and topological holes and handles. Using local parameterizations, these edits are combined in a dynamic hierarchy, enabling procedural operations like linked copy‐and‐paste and drag‐and‐drop layer‐based editing. Such dynamic, layered “surface compositing” is formalized as a Surface Tree, an analog of CSG trees which generalizes previous hierarchical surface modeling techniques. By “anchoring” tree nodes in the parameter space of lower layers, our surface tree implementation can better preserve the semantics of an edit as the underlying surface changes. Details of our implementation are described, including an efficient procedural mesh data structure.
Measurement of Teacher Sense of Efficacy: A Study with Myanmar In-service Teachers

For the purpose of measuring in-service teachers’ self-efficacy, the Teacher Sense of Efficacy Scale (TSES) short form, developed by Tschannen-Moran and Woolfork Hoy (2001), was revised and validated. The sample consisted of 101 in-service teachers from three different levels: public high school, education college and university. Data were analyzed by using SPSS to compute reliability and other psychometric properties, as well as AMOS to validate the measurement model. The results indicated that the TSES short form is reliable and valid to assess self-efficacy of Myanmar In-service teachers. All the subscales had satisfactory reliability. In addition, ANOVA results indicated that there were significant differences in efficacy for classroom management between high school teacher and university teacher. In terms of qualification, professional degree holders (i.e. B.Ed. and M.Ed.) were more efficacious than academic degree holders (i.e. M.A. or M.Sc.). Keywords: scale; self-efficacy; in-service teacher; Myanmar
2×2 MIMO Testbed for Dual 2.4GHz/5GHz Band

The paper describes a Multiple Input Multiple Output communication testbed for operation in a dual 2.4 GHz/5 GHz band, which is under development at the University of Queensland. This advanced testing equipment makes use of Field Programmable Gate Array technology for fast processing of the baseband signals. Its RF modules include commercially available RF transceiver chips and in-house developed antennas. Using a 100 Mbit Ethernet network connection and a Web browser, the estimated channel matrices and received and decoded signal constellations can be visualized in quasi realtime on a personal computer.
A supercapacitor-based energy storage system for elevators with soft commutated interface

Power variations and energy criteria have been the main motivations for developing regenerative drive converters for elevators. A more performant solution for power-smoothing can be easily found by using a supercapacitor based storage device, connected to the intermediary circuit of a variable speed drive system. In this paper, power and energy considerations are made for the design of the storage tank and regarding the maximum power demand from the feeding network. For the power-conversion circuit, which is necessary to compensate the voltage variations of the supercapacitors by discharging and charging, a high efficiency converter topology is proposed which allows the bidirectional energy flow under soft-commutation conditions, and offers also a good flexibility for the optimal sizing of the supercapacitor voltage level. The typical behaviour of the special converter is given, together with an analyze of the advantages related to the specific application.