Results 31 to 40 of about 163,062 (337)

A Novel Prediction Method for ATP-Binding Sites From Protein Primary Sequences Based on Fusion of Deep Convolutional Neural Network and Ensemble Learning

IEEE Access, 2020
Accurately identifying protein-ATP (Adenosine-5'-triphosphate) binding sites is significant for protein function annotation and new drug invention. Previous studies often utilize classical machine learning classification algorithms to predict protein-ATP
Jiazhi Song, Yanchun Liang, Guixia Liu, Rongquan Wang, Liyan Sun, Ping Zhang   +5 more
doaj   +1 more source

Exploring the Common Mechanism of Fungal sRNA Transboundary Regulation of Plants Based on Ensemble Learning Methods

Frontiers in Genetics, 2022
Studies have found that pathogenic fungi and plants have sRNA transboundary regulation mechanisms. However, no researchers have used computer methods to carry out comprehensive studies on whether there is a more remarkable similarity in the transboundary
Junxia Chi, Junxia Chi, Hao Zhang, Hao Zhang, Hao Zhang, Tianyue Zhang, Tianyue Zhang, Enshuang Zhao, Enshuang Zhao, Tianheng Zhao, Tianheng Zhao, Hengyi Zhao, Hengyi Zhao, Shuai Yuan, Shuai Yuan   +14 more
doaj   +1 more source

Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter

, 2017
A model of computation that is widely used in the formal analysis of reactive systems is symbolic algorithms. In this model the access to the input graph is restricted to consist of symbolic operations, which are expensive in comparison to the standard ...
Chatterjee, Krishnendu, Dvořák, Wolfgang, Henzinger, Monika, Loitzenbauer, Veronika   +3 more
core   +1 more source

Robust Structure Learning of Bayesian Network by Identifying Significant Dependencies

IEEE Access, 2019
Bayesian networks have long been a popular medium for graphically representing the probabilistic dependencies which exist in a domain. State-of-the-art tree-augmented naive Bayes (TAN) builds maximum weighted spanning tree to represent 1-dependence ...
Yuguang Long, Limin Wang, Zhiyi Duan, Minghui Sun   +3 more
doaj   +1 more source

Symbolic computation with monotone operators

, 2017
We consider a class of monotone operators which are appropriate for symbolic representation and manipulation within a computer algebra system. Various structural properties of the class (e.g., closure under taking inverses, resolvents) are investigated ...
Lauster, Florian, Luke, D. Russell, Tam, Matthew K.   +2 more
core   +1 more source

SymPy: symbolic computing in Python

PeerJ Computer Science, 2016
SymPy is an open source computer algebra system written in pure Python. It is built with a focus on extensibility and ease of use, through both interactive and programmatic applications. These characteristics have led SymPy to become a popular symbolic library for the scientific Python ecosystem.
Aaron Meurer, Christopher P Smith, Mateusz Paprocki, Ondřej Čertík, Sergey B Kirpichev, Matthew Rocklin, AMiT Kumar, Sergiu Ivanov, Jason K Moore, Sartaj Singh, Thilina Rathnayake, Sean Vig, Brian E Granger, Richard P Muller, Francesco Bonazzi, Harsh Gupta, Shivam Vats, Fredrik Johansson, Fabian Pedregosa, Matthew J Curry, Andy R Terrel, Štěpán Roučka, Ashutosh Saboo, Isuru Fernando, Sumith Kulal, Robert Cimrman, Anthony Scopatz   +26 more
openaire   +3 more sources

Automatic Classification of Restricted Lattice Walks [PDF]

Discrete Mathematics & Theoretical Computer Science, 2009
We propose an $\textit{experimental mathematics approach}$ leading to the computer-driven $\textit{discovery}$ of various conjectures about structural properties of generating functions coming from enumeration of restricted lattice walks in 2D and in 3D.
Alin Bostan, Manuel Kauers
doaj   +1 more source

A constructive method for decomposing real representations [PDF]

, 2020
A constructive method for decomposing finite dimensional representations of semisimple real Lie algebras is developed. The method is illustrated by an example.
Ali, Sajid, Azad, Hassan, Biswas, Indranil, de Graaf, Willem A.   +3 more
core   +2 more sources

Time after time – circadian clocks through the lens of oscillator theory

FEBS Letters, EarlyView.
Oscillator theory bridges physics and circadian biology. Damped oscillators require external drivers, while limit cycles emerge from delayed feedback and nonlinearities. Coupling enables tissue‐level coherence, and entrainment aligns internal clocks with environmental cues.
Marta del Olmo, Carolin Ector, Hanspeter Herzel   +2 more
wiley   +1 more source

Online Adaptive Approximate Stream Processing With Customized Error Control

IEEE Access, 2019
In approximate processing on stream data, most works focus on how to approximate online arrival data. However, the efficiency of approximation needs to consider multiple aspects.
Xiaohui Wei, Yuanyuan Liu, Xingwang Wang, Shang Gao, Lei Chen   +4 more
doaj   +1 more source