Results 81 to 90 of about 163,062 (337)

Heterogeneous cross-project defect prediction with multiple source projects based on transfer learning

Mathematical Biosciences and Engineering, 2020
Cross-project defect prediction (CPDP) aims to predict the defect proneness of target project with the defect data of source project. Existing CPDP methods are based on the assumption that source and target projects should have the same metrics ...
Xinglong Yin, Lei Liu, Huaxiao Liu, Qi Wu   +3 more
doaj   +1 more source

Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition [PDF]

, 2017
In the paper which inspired the SC2 project, [E. A´ bra´ham, Building Bridges between Symbolic Computation and Satisfiability Checking, Proc. ISSAC ’15, pp. 1–6, ACM, 2015] the author identified the use of sophisticated heuristics as a technique that the
Davenport, James H., England, Matthew
core  

Symbolic models for nonlinear control systems without stability assumptions

, 2011
Finite-state models of control systems were proposed by several researchers as a convenient mechanism to synthesize controllers enforcing complex specifications. Most techniques for the construction of such symbolic models have two main drawbacks: either
Mazo Jr., Manuel, Pola, Giordano, Tabuada, Paulo, Zamani, Majid   +3 more
core   +2 more sources

Use of Symptomatic Drug Treatment for Fatigue in Multiple Sclerosis and Patterns of Work Loss

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To describe the use of central stimulants and amantadine for fatigue in MS and evaluate a potential association with reduced work loss in people with MS. Methods We conducted a nationwide, matched, register‐based cohort study in Sweden (2006 to 2023) using national registers with prospective data collection.
Simon Englund, Johan Reutfors, Thomas Frisell, Fredrik Piehl   +3 more
wiley   +1 more source

The FermiFab Toolbox for Fermionic Many-Particle Quantum Systems

, 2011
This paper introduces the FermiFab toolbox for many-particle quantum systems. It is mainly concerned with the representation of (symbolic) fermionic wavefunctions and the calculation of corresponding reduced density matrices (RDMs).
Anderson, Ando, Christian B. Mendl, Coleman, Dirac, Friesecke, Friesecke, Hohenberg, Intel, Intel, Intel, Kohn, Loewdin, Mazziotti, Mendl, Mendl, Peskin, von Neumann   +17 more
core   +1 more source

Symbolic computation: systems and applications

Nonlinear Analysis: Modelling and Control, 1998
The article presents an overview of symbolic computation systems, their classification-in-history, the most popular CAS, examples of systems and some of their applications. Symbolics versus numeric, enhancement in mathematics, computing nature of CAS, related projects, networks, references are discussed.
openaire   +3 more sources

Discovery and Targeted Proteomic Studies Reveal Striatal Markers Validated for Huntington's Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Clinical trials for Huntington's disease (HD) enrolling persons before clinical motor diagnosis (CMD) lack validated biomarkers. This study aimed to conduct an unbiased discovery analysis and a targeted examination of proteomic biomarkers scrutinized by clinical validation. Methods Cerebrospinal fluid was obtained from PREDICT‐HD and
Daniel Chelsky, Cara Joyce, H. Jeremy Bockholt, Paul A. Rudnick, William H. Adams, Fiona McAllister, Justin W. Smock, Michael A. Newton, Jane S. Paulsen   +8 more
wiley   +1 more source

ASTSMAC: Application Suitable Time-Slot Sharing MAC Protocol for Vehicular Ad Hoc Networks

IEEE Access, 2019
Vehicles and roadside units can be connected by a vehicular ad hoc network (VANET), which is an important component of future intelligent transport systems that can support various safety and non-safety related services.
Shujing Li, Yanheng Liu, Jian Wang
doaj   +1 more source

Neuropsychiatric Symptoms Mimicking Dementia in a Patient Treated With Imatinib

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Tyrosine kinase inhibitors are the cornerstone of chronic myeloid leukemia treatment. Newer agents have more potency and a broader spectrum of action, but also a higher potential for neuropsychiatric side effects. We present a case of a patient on imatinib who developed progressive cognitive, mood, and behavioral alterations.
Ashley Jones, Samuele Bonomi, Keith E. Stockerl‐Goldstein, Randall J. Bateman   +3 more
wiley   +1 more source

All hyperbolic Coxeter $n$-cubes

, 2018
Beside simplices, $n$-cubes form an important class of simple polyhedra. Unlike hyperbolic Coxeter simplices, hyperbolic Coxeter $n$-cubes are not classified.
Jacquemet, Matthieu, Tschantz, Steven T.
core   +1 more source