Results 61 to 70 of about 1,277,681 (312)

Reasoning Method between Polynomial Error Assertions

Information, 2021
Error coefficients are ubiquitous in systems. In particular, errors in reasoning verification must be considered regarding safety-critical systems. We present a reasoning method that can be applied to systems described by the polynomial error assertion ...
Peng Wu, Ning Xiong, Juxia Xiong, Jinzhao Wu   +3 more
doaj   +1 more source

Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited

, 2014
Polynomial interpretations are a useful technique for proving termination of term rewrite systems. They come in various flavors: polynomial interpretations with real, rational and integer coefficients. As to their relationship with respect to termination
Middeldorp, Aart, Neurauter, Friedrich
core   +1 more source

Detecting rs‐fMRI Networks in Disorders of Consciousness: Improving Clinical Interpretability

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Preserved resting‐state functional MRI (rs‐fMRI) networks are typically observed in Disorders of Consciousness (DOC). Despite the widespread use of rs‐fMRI in DOC, a systematic assessment of networks is needed to improve the interpretability of data in clinical practice.
Jean Paul Medina Carrion, Mario Stanziano, Ludovico D'Incerti, Davide Sattin, Stefania Ferraro, Davide Rossi Sebastiano, Francesca Giulia Magnani, Alice Deruti, Davide Fedeli, Ludovico Minati, Francesca Epifani, Marina Grisoli, Matilde Leonardi, Maria Grazia Bruzzone, Anna Nigri, Cristina Rosazza   +15 more
wiley   +1 more source

Numerical Computing and Graphics for the Power Method Transformation Using Mathematica

Journal of Statistical Software, 2007
This paper provides the requisite information and description of software that perform numerical computations and graphics for the power method polynomial transformation.
Todd C. Headrick, Yanyan Sheng, Flaviu-Adrian Hodis   +2 more
doaj  

Radial Basis Function Finite Difference Method Based on Oseen Iteration for Solving Two-Dimensional Navier–Stokes Equations

Entropy, 2023
In this paper, the radial basis function finite difference method is used to solve two-dimensional steady incompressible Navier–Stokes equations. First, the radial basis function finite difference method with polynomial is used to discretize the spatial ...
Liru Mu, Xinlong Feng
doaj   +1 more source

Domain-of-Attraction Estimation for Uncertain Non-polynomial Systems

, 2013
In this paper, we consider the problem of computing estimates of the domain-of-attraction for non-polynomial systems. A polynomial approximation technique, based on multivariate polynomial interpolation and error analysis for remaining functions, is ...
Lin, Wang, Wu, Min, Yang, Zhengfeng
core   +1 more source

Sequence Analysis to Phenotype Health Care Patterns in Adults With Musculoskeletal Conditions Using Primary Care Electronic Health Records

Arthritis Care &Research, EarlyView.
Objective The aim of this study was to apply sequence analysis (SA) to phenotype health care patterns of adult patients with musculoskeletal (MSK) conditions using primary care electronic health records and to investigate the association between these health care patterns and patients’ self‐reported outcomes after consultation.
Smitha Mathew, George Peat, Emma Parry, Ross Wilkie, Kelvin P. Jordan, Jonathan C. Hill, Dahai Yu   +6 more
wiley   +1 more source

Estimation of Tri-Axial Walking Ground Reaction Forces of Left and Right Foot from Total Forces in Real-Life Environments

Sensors, 2018
Continuous monitoring of natural human gait in real-life environments is essential in many applications including disease monitoring, rehabilitation, and professional sports.
Erfan Shahabpoor, Aleksandar Pavic
doaj   +1 more source

Performance Comparison of Classical Methods and Neural Networks for Colour Correction

Journal of Imaging, 2023
Colour correction is the process of converting RAW RGB pixel values of digital cameras to a standard colour space such as CIE XYZ. A range of regression methods including linear, polynomial and root-polynomial least-squares have been deployed.
Abdullah Kucuk, Graham D. Finlayson, Rafal Mantiuk, Maliha Ashraf   +3 more
doaj   +1 more source

A list of all integrable 2D homogeneous polynomial potentials with a polynomial integral of order at most 4 in the momenta

, 2001
We searched integrable 2D homogeneous polynomial potential with a polynomial first integral by using the so-called direct method of searching for first integrals.
Arnold V I, Baider A, Churchill R C, Dorizzi B, Grammaticos B, Haruo Yoshida, Hietarinta J, Katsuya Nakagawa, Kruskal M D, Kruskal M D, Morales-Ruiz J J, Morales-Ruiz J J, Morales-Ruiz J J, Morales-Ruiz J J, van der Waerden B L, Wolfram S, Ziglin S L, Ziglin S L   +17 more
core   +1 more source