Comput. Biol. Med. - Examples of testing global identifiability of biological and biomedical models with the DAISY software.

Tópicos

{ model(3480) simul(1196) paramet(876) }
{ detect(2391) sensit(1101) algorithm(908) }
{ design(1359) user(1324) use(1319) }
{ estim(2440) model(1874) function(577) }
{ import(1318) role(1303) understand(862) }
{ analysi(2126) use(1163) compon(1037) }
{ research(1085) discuss(1038) issu(1018) }
{ implement(1333) system(1263) develop(1122) }
{ data(1737) use(1416) pattern(1282) }
{ cancer(2502) breast(956) screen(824) }
{ search(2224) databas(1162) retriev(909) }
{ health(1844) social(1437) communiti(874) }
{ use(1733) differ(960) four(931) }
{ sequenc(1873) structur(1644) protein(1328) }
{ imag(2830) propos(1344) filter(1198) }
{ general(901) number(790) one(736) }
{ risk(3053) factor(974) diseas(938) }
{ gene(2352) biolog(1181) express(1162) }
{ first(2504) two(1366) second(1323) }
{ process(1125) use(805) approach(778) }
{ imag(1057) registr(996) error(939) }
{ featur(3375) classif(2383) classifi(1994) }
{ patient(2315) diseas(1263) diabet(1191) }
{ take(945) account(800) differ(722) }
{ treatment(1704) effect(941) patient(846) }
{ problem(2511) optim(1539) algorithm(950) }
{ chang(1828) time(1643) increas(1301) }
{ learn(2355) train(1041) set(1003) }
{ algorithm(1844) comput(1787) effici(935) }
{ data(1714) softwar(1251) tool(1186) }
{ howev(809) still(633) remain(590) }
{ system(1050) medic(1026) inform(1018) }
{ state(1844) use(1261) util(961) }
{ medic(1828) order(1363) alert(1069) }
{ activ(1452) weight(1219) physic(1104) }
{ model(3404) distribut(989) bayesian(671) }
{ can(774) often(719) complex(702) }
{ imag(1947) propos(1133) code(1026) }
{ inform(2794) health(2639) internet(1427) }
{ system(1976) rule(880) can(841) }
{ measur(2081) correl(1212) valu(896) }
{ bind(1733) structur(1185) ligand(1036) }
{ method(1219) similar(1157) match(930) }
{ network(2748) neural(1063) input(814) }
{ imag(2675) segment(2577) method(1081) }
{ studi(2440) review(1878) systemat(933) }
{ motion(1329) object(1292) video(1091) }
{ assess(1506) score(1403) qualiti(1306) }
{ surgeri(1148) surgic(1085) robot(1054) }
{ framework(1458) process(801) describ(734) }
{ error(1145) method(1030) estim(1020) }
{ concept(1167) ontolog(924) domain(897) }
{ clinic(1479) use(1117) guidelin(835) }
{ extract(1171) text(1153) clinic(932) }
{ method(1557) propos(1049) approach(1037) }
{ control(1307) perform(991) simul(935) }
{ model(2220) cell(1177) simul(1124) }
{ care(1570) inform(1187) nurs(1089) }
{ method(984) reconstruct(947) comput(926) }
{ featur(1941) imag(1645) propos(1176) }
{ case(1353) use(1143) diagnosi(1136) }
{ data(3963) clinic(1234) research(1004) }
{ studi(1410) differ(1259) use(1210) }
{ perform(999) metric(946) measur(919) }
{ model(2341) predict(2261) use(1141) }
{ visual(1396) interact(850) tool(830) }
{ compound(1573) activ(1297) structur(1058) }
{ perform(1367) use(1326) method(1137) }
{ studi(1119) effect(1106) posit(819) }
{ blood(1257) pressur(1144) flow(957) }
{ spatial(1525) area(1432) region(1030) }
{ record(1888) medic(1808) patient(1693) }
{ health(3367) inform(1360) care(1135) }
{ monitor(1329) mobil(1314) devic(1160) }
{ ehr(2073) health(1662) electron(1139) }
{ research(1218) medic(880) student(794) }
{ patient(2837) hospit(1953) medic(668) }
{ model(2656) set(1616) predict(1553) }
{ data(2317) use(1299) case(1017) }
{ age(1611) year(1155) adult(843) }
{ signal(2180) analysi(812) frequenc(800) }
{ cost(1906) reduc(1198) effect(832) }
{ group(2977) signific(1463) compar(1072) }
{ sampl(1606) size(1419) use(1276) }
{ data(3008) multipl(1320) sourc(1022) }
{ intervent(3218) particip(2042) group(1664) }
{ activ(1138) subject(705) human(624) }
{ time(1939) patient(1703) rate(768) }
{ patient(1821) servic(1111) care(1106) }
{ use(2086) technolog(871) perceiv(783) }
{ can(981) present(881) function(850) }
{ structur(1116) can(940) graph(676) }
{ high(1669) rate(1365) level(1280) }
{ use(976) code(926) identifi(902) }
{ drug(1928) target(777) effect(648) }
{ result(1111) use(1088) new(759) }
{ survey(1388) particip(1329) question(1065) }
{ decis(3086) make(1611) patient(1517) }
{ method(1969) cluster(1462) data(1082) }
{ method(2212) result(1239) propos(1039) }

Resumo

DAISY (Differential Algebra for Identifiability of SYstems) is a recently developed computer algebra software tool which can be used to automatically check global identifiability of (linear and) nonlinear dynamic models described by differential equations involving polynomial or rational functions. Global identifiability is a fundamental prerequisite for model identification which is important not only for biological or medical systems but also for many physical and engineering systems derived from first principles. Lack of identifiability implies that the parameter estimation techniques may not fail but any obtained numerical estimates will be meaningless. The software does not require understanding of the underlying mathematical principles and can be used by researchers in applied fields with a minimum of mathematical background. We illustrate the DAISY software by checking the a priori global identifiability of two benchmark nonlinear models taken from the literature. The analysis of these two examples includes comparison with other methods and demonstrates how identifiability analysis is simplified by this tool. Thus we illustrate the identifiability analysis of other two examples, by including discussion of some specific aspects related to the role of observability and knowledge of initial conditions in testing identifiability and to the computational complexity of the software. The main focus of this paper is not on the description of the mathematical background of the algorithm, which has been presented elsewhere, but on illustrating its use and on some of its more interesting features. DAISY is available on the web site http://www.dei.unipd.it/ approximately pia/.

Resumo Limpo

daisi differenti algebra identifi system recent develop comput algebra softwar tool can use automat check global identifi linear nonlinear dynam model describ differenti equat involv polynomi ration function global identifi fundament prerequisit model identif import biolog medic system also mani physic engin system deriv first principl lack identifi impli paramet estim techniqu may fail obtain numer estim will meaningless softwar requir understand under mathemat principl can use research appli field minimum mathemat background illustr daisi softwar check priori global identifi two benchmark nonlinear model taken literatur analysi two exampl includ comparison method demonstr identifi analysi simplifi tool thus illustr identifi analysi two exampl includ discuss specif aspect relat role observ knowledg initi condit test identifi comput complex softwar main focus paper descript mathemat background algorithm present elsewher illustr use interest featur daisi avail web site httpwwwdeiunipdit approxim pia

Resumos Similares

Comput Math Methods Med - Solutions of a linearized mathematical model for capillary formation in tumor angiogenesis: an initial data perturbation approximation. ( 0,792444942378585 )
Comput. Biol. Med. - Modelling and simulating reaction-diffusion systems using coloured Petri nets. ( 0,785052612540666 )
Comput Math Methods Med - Analytical solutions for the mathematical model describing the formation of liver zones via Adomian's method. ( 0,774220314750188 )
Brief. Bioinformatics - Choosing appropriate models for protein-protein interaction networks: a comparison study. ( 0,76202092663218 )
J Integr Bioinform - An advanced environment for hybrid modeling of biological systems based on modelica. ( 0,759696681492496 )
Comput Math Methods Med - Computational modeling of microabscess formation. ( 0,737380006998791 )
Comput Math Methods Med - Modeling innate immune response to early Mycobacterium infection. ( 0,736304466581425 )
Comput Math Methods Med - Dynamics analysis and simulation of a modified HIV infection model with a saturated infection rate. ( 0,734743721564849 )
Comput Biol Chem - An efficient nonlinear finite-difference approach in the computational modeling of the dynamics of a nonlinear diffusion-reaction equation in microbial ecology. ( 0,729236249680319 )
Comput Math Methods Med - Numerical solutions for a model of tissue invasion and migration of tumour cells. ( 0,728615317214674 )
Comput Biol Chem - A stochastic evolution model for residue Insertion-Deletion Independent from Substitution. ( 0,728487933201833 )
Comput Methods Programs Biomed - Functionality of the baroreceptor nerves in heart rate regulation. ( 0,726811554906636 )
Neural Comput - Computing confidence intervals for point process models. ( 0,719696925714951 )
Comput. Biol. Med. - ODE/PDE analysis of corneal curvature. ( 0,714808818806374 )
Med Biol Eng Comput - CSF dynamic analysis of a predictive pulsatility-based infusion test for normal pressure hydrocephalus. ( 0,708979765432266 )
Comput. Biol. Med. - Modeling multiple experiments using regularized optimization: A case study on bacterial glucose utilization dynamics. ( 0,704410549940126 )
Neural Comput - Cross-talk induces bifurcations in nonlinear models of synaptic plasticity. ( 0,703916296588763 )
Comput Math Methods Med - Complexity analysis and parameter estimation of dynamic metabolic systems. ( 0,702797739888214 )
Wiley Interdiscip Rev Syst Biol Med - Influenza A virus infection kinetics: quantitative data and models. ( 0,701971414269317 )
Wiley Interdiscip Rev Syst Biol Med - A conceptual framework for computational models of Achilles tendon homeostasis. ( 0,695679879040546 )
Comput Methods Programs Biomed - Development of a computer algorithm for feedback controlled electrical nerve fiber stimulation. ( 0,695569005096141 )
Comput. Biol. Med. - Density-based Monte Carlo filter and its applications in nonlinear stochastic differential equation models. ( 0,691745707868142 )
IEEE Trans Vis Comput Graph - Paraglide: Interactive Parameter Space Partitioning for Computer Simulations. ( 0,69152350264927 )
Comput Math Methods Med - ModeLang: a new approach for experts-friendly viral infections modeling. ( 0,691350192177286 )
Comput Math Methods Med - Global hopf bifurcation on two-delays leslie-gower predator-prey system with a prey refuge. ( 0,690847939882749 )
Comput Math Methods Med - Modeling schistosomiasis and HIV/AIDS codynamics. ( 0,689531987564022 )
Comput. Biol. Med. - epiModel: a system to build automatically systems of differential equations of compartmental type-epidemiological models. ( 0,689182015857599 )
Comput Math Methods Med - A theoretical model for the transmission dynamics of the Buruli ulcer with saturated treatment. ( 0,68559829611946 )
Comput Methods Programs Biomed - An efficient passive planar micromixer with ellipse-like micropillars for continuous mixing of human blood. ( 0,683722020916499 )
Lifetime Data Anal - An extended cure model and model selection. ( 0,683536408729814 )
Neural Comput - Effect of phase response curve skewness on synchronization of electrically coupled neuronal oscillators. ( 0,68021817603773 )
Comput. Biol. Med. - Object-oriented modeling and simulation of the closed loop cardiovascular system by using SIMSCAPE. ( 0,675640382610364 )
Lifetime Data Anal - Bayesian dynamic regression models for interval censored survival data with application to children dental health. ( 0,674231436510645 )
Comput Math Methods Med - Numerical stability of partitioned approach in fluid-structure interaction for a deformable thin-walled vessel. ( 0,671134525780587 )
Comput. Biol. Med. - Network and Nakamura tridiagonal computational simulation of electrically-conducting biopolymer micro-morphic transport phenomena. ( 0,670819649959878 )
Neural Comput - Analytical integrate-and-fire neuron models with conductance-based dynamics and realistic postsynaptic potential time course for event-driven simulation strategies. ( 0,667568115341433 )
Int J Neural Syst - A generalized Leaky Integrate-and-Fire neuron model with fast implementation method. ( 0,663772048488212 )
Comput Methods Programs Biomed - Solving delay differential equations in S-ADAPT by method of steps. ( 0,655135085674171 )
Comput Methods Programs Biomed - Reprint of Pharmacokinetic modelling of the anti-malarial drug artesunate and its active metabolite dihydroartemisinin. ( 0,652746411404144 )
Comput Math Methods Med - Towards patient-specific modeling of coronary hemodynamics in healthy and diseased state. ( 0,649731331970619 )
Comput Math Methods Med - A mathematical model of cancer treatment by radiotherapy. ( 0,648102347583718 )
Comput. Biol. Med. - Computing the stability of steady-state solutions of mathematical models of the electrical activity in the heart. ( 0,64615029807201 )
Comput Math Methods Med - Uncertainty quantification in simulations of epidemics using polynomial chaos. ( 0,645791863308714 )
J Clin Monit Comput - The standard strong ion difference, standard total titratable base, and their relationship to the Boston compensation rules and the Van Slyke equation for extracellular fluid. ( 0,645292916240725 )
Comput Methods Programs Biomed - ORTH: R and SAS software for regression models of correlated binary data based on orthogonalized residuals and alternating logistic regressions. ( 0,644665163258394 )
J Clin Monit Comput - Simulating physiological interactions in a hybrid system of mathematical models. ( 0,641806655324962 )
Comput Methods Programs Biomed - Computation of restoration of ligand response in the random kinetics of a prostate cancer cell signaling pathway. ( 0,64085318503692 )
Comput Methods Programs Biomed - Innovative model to simulate exhalation phase in human respiratory system. ( 0,640370122267628 )
Comput Math Methods Med - Dynamics of Mycobacterium and bovine tuberculosis in a human-buffalo population. ( 0,635733367608847 )
Brief. Bioinformatics - Investigating biocomplexity through the agent-based paradigm. ( 0,634444908619252 )
Comput. Biol. Med. - An implicit evolution scheme for active contours and surfaces based on IIR filtering. ( 0,628873482461117 )
Comput Methods Programs Biomed - Design of a framework for modeling, integration and simulation of physiological models. ( 0,627279420908829 )
Comput. Biol. Med. - A compartment model of alveolar-capillary oxygen diffusion with ventilation-perfusion gradient and dynamics of air transport through the respiratory tract. ( 0,626742502787802 )
Comput. Biol. Med. - Numerical investigation into blood clotting at the bone-dental implant interface in the presence of an electrical stimulus. ( 0,62578507528754 )
Wiley Interdiscip Rev Syst Biol Med - Modeling the control of planar cell polarity. ( 0,625011630167076 )
Brief. Bioinformatics - A statistical procedure to map high-order epistasis for complex traits. ( 0,624461877312596 )
J. Comput. Biol. - Is an intuitive convergence definition of molecular dynamics simulations solely based on the root mean square deviation possible? ( 0,622362664543406 )
Comput Methods Programs Biomed - The most precise computations using Euler's method in standard floating-point arithmetic applied to modelling of biological systems. ( 0,621842869386152 )
Comput Methods Programs Biomed - A therapy parameter-based model for predicting blood glucose concentrations in patients with type 1 diabetes. ( 0,621021599565886 )
Comput Math Methods Med - Optimal control of HIV/AIDS in the workplace in the presence of careless individuals. ( 0,620087566524134 )
Comput Math Methods Med - Noninvasive monitoring of hepatic damage from hepatitis C virus infection. ( 0,619370712866311 )
IEEE Trans Image Process - Fast cartoon + texture image filters. ( 0,619234337287024 )
Comput Methods Programs Biomed - Simulating and analysing infectious disease data in a heterogeneous population with migration. ( 0,617891726586076 )
Comput. Biol. Med. - Simulated temperature distribution of the proximal forearm. ( 0,617680876185782 )
IEEE Trans Image Process - Efficiency of semi-implicit schemes for anisotropic diffusion in the hypercube. ( 0,616953397147166 )
Comput Math Methods Med - Comparing statistical models to predict dengue fever notifications. ( 0,615253678234022 )
AMIA Annu Symp Proc - Simulation Analysis Platform (SnAP): a tool for evaluation of public health surveillance and disease control strategies. ( 0,615002066272207 )
Comput. Biol. Med. - Semi-computational simulation of magneto-hemodynamic flow in a semi-porous channel using optimal homotopy and differential transform methods. ( 0,614945822061366 )
J Integr Bioinform - From binary to multivalued to continuous models: the lac operon as a case study. ( 0,614322354319146 )
Med Biol Eng Comput - A fluid-structure interaction model of the aortic valve with coaptation and compliant aortic root. ( 0,610947541170429 )
J. Comput. Biol. - An overview of population genetic data simulation. ( 0,608468225318885 )
Artif Intell Med - Multi-agent model of hepatitis C virus infection. ( 0,608239095315024 )
Comput Biol Chem - Stochastic synchronization of interacting pathways in testosterone model. ( 0,607758723346643 )
J Chem Inf Model - Full and partial agonism of ionotropic glutamate receptors indicated by molecular dynamics simulations. ( 0,607183195159446 )
Comput. Biol. Med. - Mathematical modeling of brain glioma growth using modified reaction-diffusion equation on brain MR images. ( 0,604989749780067 )
Neural Comput - Active data collection for efficient estimation and comparison of nonlinear neural models. ( 0,604887787686086 )
Comput. Biol. Med. - Phase lagging model of brain response to external stimuli-modeling of single action potential. ( 0,600502940068339 )
IEEE Trans Pattern Anal Mach Intell - Bi-polynomial Modeling of Low-frequency Reflectances. ( 0,600502940068339 )
Comput Biol Chem - Parameter sensitivity analysis of stochastic models: application to catalytic reaction networks. ( 0,599848220876993 )
Med Decis Making - The influence of disease risk on the optimal time interval between screens for the early detection of cancer: a mathematical approach. ( 0,599819157316484 )
IEEE Trans Image Process - Additive log-logistic model for networked video quality assessment. ( 0,597516358084005 )
Comput. Biol. Med. - On a reusable and multilevel methodology for modeling and simulation of pharmacokinetic-physiological systems: a preliminary study. ( 0,597410072564715 )
Med Biol Eng Comput - Computational modeling of the human atrial anatomy and electrophysiology. ( 0,596036098219712 )
Comput Methods Programs Biomed - A Java simulator of Rescorla and Wagner's prediction error model and configural cue extensions. ( 0,593617519892131 )
Neural Comput - MOSAIC for multiple-reward environments. ( 0,592987786444362 )
J Chem Inf Model - Fitting of dihedral terms in classical force fields as an analytic linear least-squares problem. ( 0,591265892744704 )
Comput Methods Programs Biomed - Epithelial to mesenchymal transition-the roles of cell morphology, labile adhesion and junctional coupling. ( 0,591056967343751 )
Comput Math Methods Med - Spongiosa primary development: a biochemical hypothesis by Turing patterns formations. ( 0,590267065434933 )
Comput Methods Programs Biomed - System approach to modeling of liver glucose metabolism with physiologically interpreted model parameters outgoing from [18F]FDG concentrations measured by PET. ( 0,589376820124541 )
Comput Math Methods Med - Spatiotemporal dynamic simulation of acute perfusion/diffusion ischemic stroke lesions evolution: a pilot study derived from longitudinal MR patient data. ( 0,586189655759778 )
Med Biol Eng Comput - An improved curvilinear gradient method for parameter optimization in complex biological models. ( 0,583598564935499 )
Lifetime Data Anal - An introduction to survival models: in honor of Ross Prentice. ( 0,58255938355865 )
Neural Comput - Dynamical movement primitives: learning attractor models for motor behaviors. ( 0,579273749989753 )
Methods Inf Med - Modelling of diffusing capacity measurement results in lung microangiopathy patients: a novel pulmonary diagnostic support. ( 0,578952570632282 )
Comput. Biol. Med. - Model-based assessment of baroreflex and cardiopulmonary couplings during graded head-up tilt. ( 0,578425070131386 )
Comput Methods Programs Biomed - Biomechanical analyses of static and dynamic fixation techniques of retrograde interlocking femoral nailing using nonlinear finite element methods. ( 0,574104627031237 )
Neural Comput - A principled dimension-reduction method for the population density approach to modeling networks of neurons with synaptic dynamics. ( 0,573456533526422 )
Neural Comput - Synchronization of stochastic competitive neural networks with different timescales and reaction-diffusion terms. ( 0,572649050073883 )
Comput Methods Programs Biomed - Automatically designed machine vision system for the localization of CCA transverse section in ultrasound images. ( 0,571169276804468 )
Comput Math Methods Med - Simulations of complex and microscopic models of cardiac electrophysiology powered by multi-GPU platforms. ( 0,570512090434043 )