Filters








47,329 Hits in 5.7 sec

eXpress

Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux
2011 Proceedings of the 2011 International Symposium on Software Testing and Analysis - ISSTA '11  
First, we develop techniques for exploiting the existing test suite for efficiently generating regression tests. Second, we develop more prioritization techniques.  ...  To address the issue, we propose an approach, called eXpress, that conducts efficient regression test generation based on a pathexploration-based test generation (PBTG) technique, such as dynamic symbolic  ...  Path Pruning eXpress prunes various paths for a PBST technique to make path exploration efficient for regression test generation.  ... 
doi:10.1145/2001420.2001422 dblp:conf/issta/TanejaXTH11 fatcat:nskk7dop2fb35egteqhaqsadfm

Expression QTLs Mapping and Analysis: A Bayesian Perspective [chapter]

Martha Imprialou, Enrico Petretto, Leonardo Bottolo
2016 Msphere  
Despite its extensive application to complex (polygenic) traits and disease, the majority of eQTL studies still rely on univariate data modeling strategies, i.e., testing for association of all transcript-marker  ...  The aim of expression Quantitative Trait Locus (eQTL) mapping is the identification of DNA sequence variants that explain variation in gene expression.  ...  Friedman J, Hastie T, Tibshirani R (2010) Regularization Paths for Generalized Linear Models via Coordinate Descent. J Stat Softw 33:1-22. doi: 10.18637/jss.v033.i01 51.  ... 
doi:10.1007/978-1-4939-6427-7_8 pmid:27933525 fatcat:tquzjejn35g4bp3hgcufn6je3i

An Exploratory Study of Reading Mathematical Expressions by Braille Readers

Annemiek van Leendert, Michiel Doorman, Paul Drijvers, Johan Pel, Johannes van der Steen
2019 Journal of Visual Impairment & Blindness  
The braille readers used personal reading strategies for all items with little use of the structure of the expression.  ...  Implications for practitioners: Teachers need to become aware of the kind of problems that braille readers confront when they try to comprehend and solve mathematical problems.  ...  The graph shows that his reading strategies were guided by the structure of the expression, a general result for print readers.  ... 
doi:10.1177/0145482x18822024 fatcat:i3ydm5krbjfx5g7zsditespba4

An SMT Solver for Regular Expressions and Linear Arithmetic over String Length [article]

Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh
2021 arXiv   pre-print
Additionally, we present a number of novel general heuristics, such as the prefix/suffix method, that can be used in conjunction with a variety of regex solving algorithms, making them more efficient.  ...  We present a novel length-aware solving algorithm for the quantifier-free first-order theory over regex membership predicate and linear arithmetic over string length.  ...  cases included in Z3str3's regression test suite.  ... 
arXiv:2010.07253v3 fatcat:oqgkmvrcergppenq2prw2yrp24

Deep Learning for Micro-expression Recognition: A Survey [article]

Yante Li, Jinsheng Wei, Yang Liu, Janne Kauttonen, Guoying Zhao
2021 arXiv   pre-print
Early methods for MER mainly based on traditional appearance and geometry features.  ...  This survey defines a new taxonomy for the field, encompassing all aspects of MER based on DL. For each aspect, the basic approaches and advanced developments are summarized and discussed.  ...  In the future, exploring multistream cascaded networks combined with various efficient blocks is a promising research direction for MER.  ... 
arXiv:2107.02823v4 fatcat:w2bqbvxw4zbc7jjnqmx2gmh5aa

petal: Co-expression network modelling in R

Juli Petereit, Sebastian Smith, Frederick C. Harris, Karen A. Schlauch
2016 BMC Systems Biology  
Its application to several whole-genome experiments has generated novel meaningful results and has lead the way to new testing hypothesizes for further biological investigation.  ...  Also, network models are rarely tested for their known typical architecture: scale-free and small-world. petal explicitly constructs networks based on both these characteristics, thereby generating biologically  ...  We also express our gratitude to Claus Tittiger and Jeff Nadeau for allowing us to apply petal to their current mountain pine beetle experiment.  ... 
doi:10.1186/s12918-016-0298-8 pmid:27490697 pmcid:PMC4977474 fatcat:6cxe3w5urbgufcxniiboclwefe

Machine learning for predicting thermal power consumption of the Mars Express Spacecraft [article]

Matej Petković, Redouane Boumghar, Martin Breskvar, Sašo Džeroski, Dragi Kocev, Jurica Levatić, Luke Lucas, Aljaž Osojnik, Bernard Ženko, Nikola Simidjievski
2019 arXiv   pre-print
We present a machine learning pipeline for efficiently constructing accurate predictive models for predicting the power of the thermal subsystem on board MEX.  ...  The thermal subsystem of the Mars Express (MEX) spacecraft keeps the on-board equipment within its pre-defined operating temperatures range.  ...  Here, with deep neural Networks as the underlying machine learning method, autonomous drones are utilized for tracking forests paths.  ... 
arXiv:1809.00542v2 fatcat:ginqpmuxgbg3zmytaorrbn2alq

Multiscale Embedded Gene Co-expression Network Analysis

Won-Min Song, Bin Zhang, Edwin Wang
2015 PLoS Computational Biology  
Secondly, the computation complexity for testing planarity is too high (O(| V| γ ), 2 γ 3) for large scale network analysis. Thirdly, clustering analysis in PMFG via DBHT framework is not optimal.  ...  Author Summary We developed a novel co-expression network analysis framework named Multiscale Embedded Gene co-Expression Network Analysis (MEGENA) that can effectively and efficiently construct and analyze  ...  For patient survival data, the association is examined by multivariate Cox proportional hazards regression model that regresses patient survival onto the first (or multiple) principal component(s) of a  ... 
doi:10.1371/journal.pcbi.1004574 pmid:26618778 pmcid:PMC4664553 fatcat:4fwz6o5o7jax5peqjbxdpg32ue

Research on the Choice Behavior of Taxis and Express Services Based on the SEM-Logit Model

Si, Guan, Cui
2019 Sustainability  
The results showed that the SEM-Logit model with the latent variables is better than a general Logit model in terms of the model precision and hit ratio.  ...  Then, the latent variables were introduced into the Logit model, setting up the SEM-Logit model to explore the mode choice patterns between taxis and online car services.  ...  Figure 2 . 2 Standardized path coefficient of structural equation model (SEM) for express services.  ... 
doi:10.3390/su11102974 fatcat:afd7shghbzbsbjpvlmjafi5pqi

ESCO: single cell expression simulation incorporating gene co-expression [article]

Jinjin Tian, Jiebiao Wang, Kathryn Roeder
2020 bioRxiv   pre-print
Most of these simulators, however, either do not incorporate gene co-expression or generate co-expression in an inconvenient manner.  ...  simulators, which perform well for simulation of gene expression marginally.  ...  Despite the excessive sparsity in the Velmeshev data, these data have the advantage of abundant numbers of cells, which inspired us to explore another approach for recovering gene co-expression: data aggregation  ... 
doi:10.1101/2020.10.20.347211 fatcat:pnyiy66j3re5floaqpfifgfy2y

How Can AI Recognize Pain and Express Empathy [article]

Siqi Cao, Di Fu, Xu Yang, Pablo Barros, Stefan Wermter, Xun Liu, Haiyan Wu
2021 arXiv   pre-print
Generally, the purpose of this paper is to review the current developments for computational pain recognition and artificial empathy implementation.  ...  Despite being a trending area, they have not been explored in great detail.  ...  Therefore, with correct recognition of pain from speech, AI can be guided to generate a more empathic vocal interaction.  ... 
arXiv:2110.04249v1 fatcat:f6gvjacowfafnfybb2mgoip2ni

Improving the expressiveness of black-box models for predicting student performance

Carlos J. Villagrá-Arnedo, Francisco J. Gallego-Durán, Faraón Llorens-Largo, Patricia Compañ-Rosique, Rosana Satorre-Cuerda, Rafael Molina-Carmona
2017 Computers in Human Behavior  
White-box techniques require a priori models to explore, which make them easy to interpret but difficult to be generalized and unable to detect unexpected relationships between data.  ...  Black-box techniques are easier to generalize and suitable to discover unsuspected relationships but they are cryptic and difficult to be interpreted for most teachers.  ...  Nevertheless, the fact of performing a prediction in several moments opens a new exploring path for building progressive prediction systems that can be used to detect trends.  ... 
doi:10.1016/j.chb.2016.09.001 fatcat:mxjjo65pjfeqlmwssfnrf4oqxe

Integrating gene and protein expression data with genome-scale metabolic networks to infer functional pathways

Jon Pey, Kaspar Valgepea, Angel Rubio, John E Beasley, Francisco J Planes
2013 BMC Systems Biology  
In particular, the objective function of the CFP approach is amended to account for gene/protein expression data and influence obtained paths.  ...  Results: We present here an in-silico framework to infer relevant metabolic pathways for a particular phenotype under study based on its gene/protein expression data.  ...  In addition, since CFPs take into account off-path reactions (not just fluxes for reactions involved in the path), gene expression data also guides the balancing of the path.  ... 
doi:10.1186/1752-0509-7-134 pmid:24314206 pmcid:PMC3878952 fatcat:ob67zit4ancfngmtkptk4nmi4e

A Review of Feature Extraction Software for Microarray Gene Expression Data

Ching Siang Tan, Wai Soon Ting, Mohd Saberi Mohamad, Weng Howe Chan, Safaai Deris, Zuraini Ali Shah
2014 BioMed Research International  
Transforming large-scale gene expression data into a set of genes is called feature extraction.  ...  In this paper, we review numerous software applications that can be used for feature extraction.  ...  Acknowledgments The authors would like to thank Universiti Teknologi Malaysia for funding this research by Research University Grants  ... 
doi:10.1155/2014/213656 pmid:25250315 pmcid:PMC4164313 fatcat:lgv3o2o6mvhkdpzuqwezdqtc4e

Perceptual Facial Expression Representation

Olga Mikheeva, Carl Henrik Ek, Hedvig Kjellstroem
2018 2018 13th IEEE International Conference on Automatic Face & Gesture Recognition (FG 2018)  
model in exploring the roles of latent dimensions through the generative process.  ...  For machine learning tasks in those areas, it would be beneficial to have a representation of facial expressions which corresponds to human similarity perception.  ...  We explore the latent dimensionality via the generative process in the same manner as for the posed data set in 6.5.4. Figure 6 . Table 6 .23: Performance comparison on the test data set.  ... 
doi:10.1109/fg.2018.00035 dblp:conf/fgr/MikheevaEK18 fatcat:g4jaxi6bsjdrnks4wv4udog44q
« Previous Showing results 1 — 15 out of 47,329 results