Results 21 to 30 of about 29,683 (252)
HPC-GAP: engineering a 21st-century high-performance computer algebra system [PDF]
, 2015 Symbolic computation has underpinned a number of key advances in Mathematics and Computer Science. Applications are typically large and potentially highly parallel, making them good candidates for parallel execution at a variety of scales from multi ...
Behrends, Reimer +7 more
core +7 more sources
RealCertify: a Maple package for certifying non-negativity
, 2018 Let $\mathbb{Q}$ (resp. $\mathbb{R}$) be the field of rational (resp. real) numbers and $X = (X_1, \ldots, X_n)$ be variables. Deciding the non-negativity of polynomials in $\mathbb{Q}[X]$ over $\mathbb{R}^n$ or over semi-algebraic domains defined by ...
Din, Mohab Safey El, Magron, Victor
core +3 more sources
Symbolic-numeric methods oncomputing isolated singular solutions of algebraic systems [PDF]
SCIENTIA SINICA Mathematica, 2020 Summary: Solving systems of algebraic equations is one of the most fundamental problems in computational algebraic geometry. It is ubiquitous and widely applied across the engineering and sciences, such as in robotics, computer vision, machine learning, artificial intelligence, cryptography, optimization, control theory and etc.
Li, Nan, Zhi, Lihong
openaire +2 more sources
A Fuzzing Tool Based on Automated Grammar Detection
SoftwareSoftware testing is an important step in the software development life cycle to ensure the quality and security of software. Fuzzing is a security testing technique that finds vulnerabilities automatically without accessing the source code.
Jia Song, Jim Alves-Foss
doaj +1 more source
Approximate Bisimulation and Optimization of Software Programs Based on Symbolic-Numeric Computation [PDF]
Mathematical Problems in Engineering, 2013 To achieve behavior and structure optimization for a type of software program whose data exchange processes are represented by nonlinear polynomial systems, this paper establishes a novel formal description called a nonlinear polynomial transition system to represent the behavior and structure of the software program.
Hui Deng, Jinzhao Wu
openaire +2 more sources
Computing Dynamic Output Feedback Laws
, 2003 The pole placement problem asks to find laws to feed the output of a plant governed by a linear system of differential equations back to the input of the plant so that the resulting closed-loop system has a desired set of eigenvalues.
Verschelde, Jan, Wang, Yusong
core +2 more sources
Molecular Oncology, EarlyView.Combining PTEN protein assessment and transcriptomic profiling of prostate tumors, we uncovered a network enriched in senescence and extracellular matrix (ECM) programs associated with PTEN loss and conserved in a mouse model. We show that PTEN‐deficient cells trigger paracrine remodeling of the surrounding stroma and this information could help ...
Ivana Rondon‐Lorefice +16 more
wiley +1 more source
Effective therapeutic targeting of CTNNB1‐mutant hepatoblastoma with WNTinib
Molecular Oncology, EarlyView.WNTinib, a Wnt/CTNNB1 inhibitor, was tested in hepatoblastoma (HB) experimental models. It delayed tumor growth and improved survival in CTNNB1‐mutant in vivo models. In organoids, WNTinib outperformed cisplatin and showed enhanced efficacy in combination therapy, supporting its potential as a targeted treatment for CTNNB1‐mutated HB.
Ugne Balaseviciute +17 more
wiley +1 more source
Basic statistics for probabilistic symbolic variables: a novel metric-based approach
, 2013 In data mining, it is usually to describe a set of individuals using some summaries (means, standard deviations, histograms, confidence intervals) that generalize individual descriptions into a typology description. In this case, data can be described by
Irpino, Antonio, Verde, Rosanna
core +1 more source
LDAcoop: Integrating non‐linear population dynamics into the analysis of clonogenic growth in vitro
Molecular Oncology, EarlyView.Limiting dilution assays (LDAs) quantify clonogenic growth by seeding serial dilutions of cells and scoring wells for colony formation. The fraction of negative wells is plotted against cells seeded and analyzed using the non‐linear modeling of LDAcoop.
Nikko Brix +13 more
wiley +1 more source