J Integr Bioinform - Model checking software for phylogenetic trees using distribution and database methods.

Tópicos

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

Resumo

Model checking, a generic and formal paradigm stemming from computer science based on temporal logics, has been proposed for the study of biological properties that emerge from the labeling of the states defined over the phylogenetic tree. This strategy allows us to use generic software tools already present in the industry. However, the performance of traditional model checking is penalized when scaling the system for large phylogenies. To this end, two strategies are presented here. The first one consists of partitioning the phylogenetic tree into a set of subgraphs each one representing a subproblem to be verified so as to speed up the computation time and distribute the memory consumption. The second strategy is based on uncoupling the information associated to each state of the phylogenetic tree (mainly, the DNA sequence) and exporting it to an external tool for the management of large information systems. The integration of all these approaches outperforms the results of monolithic model checking and helps us to execute the verification of properties in a real phylogenetic tree.

Resumo Limpo

model check generic formal paradigm stem comput scienc base tempor logic propos studi biolog properti emerg label state defin phylogenet tree strategi allow us use generic softwar tool alreadi present industri howev perform tradit model check penal scale system larg phylogeni end two strategi present first one consist partit phylogenet tree set subgraph one repres subproblem verifi speed comput time distribut memori consumpt second strategi base uncoupl inform associ state phylogenet tree main dna sequenc export extern tool manag larg inform system integr approach outperform result monolith model check help us execut verif properti real phylogenet tree

Resumos Similares

Comput Biol Chem - A degree-distribution based hierarchical agglomerative clustering algorithm for protein complexes identification. ( 0,625388876814517 )
AMIA Annu Symp Proc - A twofold strategy for translating a medical terminology into French. ( 0,614875538683991 )
IEEE Trans Vis Comput Graph - Visual Analysis of Large Graphs Using (X,Y)-clustering and Hybrid Visualizations. ( 0,606614526485467 )
J Biomed Inform - A novel approach for connecting temporal-ontologies with blood flow simulations. ( 0,603007355796192 )
Artif Intell Med - Automated generation of patient-tailored electronic care pathways by translating computer-interpretable guidelines into hierarchical task networks. ( 0,579633053524444 )
Neural Comput - Time-free spiking neural P systems. ( 0,578268175450157 )
Comput. Biol. Med. - Computer-aided diagnosis system based on fuzzy logic for breast cancer categorization. ( 0,576043450102751 )
Artif Intell Med - A knowledge-driven approach to biomedical document conceptualization. ( 0,57186335264007 )
IEEE Trans Vis Comput Graph - Drawing Euler Diagrams with Circles: The Theory of Piercings. ( 0,566041766064658 )
J. Comput. Biol. - Re-evaluating the rules of protein topology. ( 0,561255839063717 )
IEEE Trans Vis Comput Graph - Grouper: A Compact, Streamable Triangle Mesh Data Structure. ( 0,556296062780701 )
IEEE Trans Vis Comput Graph - Output-Sensitive Construction of Reeb Graphs. ( 0,555116493024912 )
J Chem Inf Model - Beyond terrestrial biology: charting the chemical universe of a-amino acid structures. ( 0,548024474342663 )
IEEE Trans Image Process - A Geometric Framework for Rectangular Shape Detection. ( 0,545642572371431 )
IEEE Trans Vis Comput Graph - Graph Drawing Aesthetics — Created by Users not Algorithms. ( 0,544835765283196 )
IEEE Trans Pattern Anal Mach Intell - The Sum-over-Forests Density Index: Identifying Dense Regions in a Graph. ( 0,541809092078004 )
Artif Intell Med - Cue-based assertion classification for Swedish clinical text--developing a lexicon for pyConTextSwe. ( 0,539958062869847 )
J Med Syst - Knowledge acquisition for medical diagnosis using collective intelligence. ( 0,53485673449878 )
Comput. Biol. Med. - Hyperbolic Dirac Nets for medical decision support. Theory, methods, and comparison with Bayes Nets. ( 0,534638907934225 )
AMIA Annu Symp Proc - Synergism between the mapping projects from SNOMED CT to ICD-10 and ICD-10-CM. ( 0,533206394539834 )
Artif Intell Med - On the interplay of machine learning and background knowledge in image interpretation by Bayesian networks. ( 0,530559616342505 )
Brief. Bioinformatics - Structural mapping: how to study the genetic architecture of a phenotypic trait through its formation mechanism. ( 0,526237603332667 )
J. Comput. Biol. - Pathset graphs: a novel approach for comprehensive utilization of paired reads in genome assembly. ( 0,526147478214206 )
Neural Comput - Incremental slow feature analysis: adaptive low-complexity slow feature updating from high-dimensional input streams. ( 0,524532036553249 )
AMIA Annu Symp Proc - CNTRO: A Semantic Web Ontology for Temporal Relation Inferencing in Clinical Narratives. ( 0,523812898063599 )
Int J Med Inform - Using ontologies for structuring organizational knowledge in Home Care assistance. ( 0,521840367385178 )
AMIA Annu Symp Proc - An Empirical Validation of Recursive Noisy OR (RNOR) Rule for Asthma Prediction. ( 0,519267317759759 )
AMIA Annu Symp Proc - An analysis of multi-type relational interactions in FMA using graph motifs with disjointness constraints. ( 0,518812233050274 )
IEEE Trans Image Process - Constrained and dimensionality-independent path openings. ( 0,515193726111426 )
IEEE Trans Image Process - 3-D curvilinear structure detection filter via structure-ball analysis. ( 0,514387243824302 )
IEEE Trans Vis Comput Graph - Image-Based Modeling of Unwrappable Fa?ades. ( 0,514151330289582 )
J Chem Inf Model - LocaPep: localization of epitopes on protein surfaces using peptides from phage display libraries. ( 0,513943555678727 )
IEEE Trans Pattern Anal Mach Intell - C^4: Exploring Multiple Solutions in Graphical Models by Cluster Sampling. ( 0,513423331282737 )
IEEE Trans Vis Comput Graph - Visualization of High Dimensional Point Clouds Using their Density Distribution's Topology. ( 0,513338994711114 )
Telemed J E Health - Construction of a clinical decision support system for undergoing surgery based on domain ontology and rules reasoning. ( 0,513089895389961 )
BMC Med Inform Decis Mak - Modeling healthcare authorization and claim submissions using the openEHR dual-model approach. ( 0,512642804397776 )
J Med Syst - Automatic home medical product recommendation. ( 0,511068804217041 )
J Am Med Inform Assoc - Automatic lymphoma classification with sentence subgraph mining from pathology reports. ( 0,509813107369375 )
J Biomed Inform - Cross-product extensions of the Gene Ontology. ( 0,508889523877673 )
IEEE Trans Neural Netw Learn Syst - On Equivalence of FIS and ELM for Interpretable Rule-Based Knowledge Representation. ( 0,508186966213216 )
IEEE Trans Vis Comput Graph - Drawing-Based Procedural Modeling of Chinese Architectures. ( 0,506116688430592 )
Comput. Biol. Med. - The synthesis of the rough set model for the better applicability of sagittal abdominal diameter in identifying high risk patients. ( 0,504516010015726 )
Comput Methods Programs Biomed - Information system analysis of an e-learning system used for dental restorations simulation. ( 0,504039064541312 )
Methods Inf Med - Formative evaluation of ontology learning methods for entity discovery by using existing ontologies as reference standards. ( 0,503879912955017 )
AMIA Annu Symp Proc - Developing a formal representation for medication appropriateness criteria. ( 0,503825706453136 )
Int J Comput Assist Radiol Surg - Complete fully automatic model-based segmentation of normal and pathological lymph nodes in CT data. ( 0,503107092245211 )
J Med Syst - Using machine learning classifiers to assist healthcare-related decisions: classification of electronic patient records. ( 0,502950629531588 )
BMC Med Inform Decis Mak - Ambient-aware continuous care through semantic context dissemination. ( 0,502949889711108 )
J Am Med Inform Assoc - Leveraging electronic healthcare record standards and semantic web technologies for the identification of patient cohorts. ( 0,500681376788063 )
IEEE Trans Vis Comput Graph - Animating Wrinkles by Example on Non-Skinned Cloth. ( 0,499350227145887 )
IEEE Trans Pattern Anal Mach Intell - Computing the Inner Distances of Volumetric Models for Articulated Shape Description with a Visibility Graph. ( 0,496906011651685 )
Res Synth Methods - Less is less: a systematic review of graph use in meta-analyses. ( 0,494577530507163 )
J Med Syst - C-PHIS: a concept map-based knowledge base framework to develop personal health information systems. ( 0,494097534552082 )
Int J Med Inform - LERM (Logical Elements Rule Method): a method for assessing and formalizing clinical rules for decision support. ( 0,492477447211846 )
J Biomed Inform - Rigorous development of prompting dialogues. ( 0,491920001056913 )
J Biomed Inform - Reuse of termino-ontological resources and text corpora for building a multilingual domain ontology: an application to Alzheimer's disease. ( 0,491141639046676 )
Med Biol Eng Comput - Development and validation of a machine learning algorithm and hybrid system to predict the need for life-saving interventions in trauma patients. ( 0,4905563483838 )
Comput. Biol. Med. - Automating fault tolerance in high-performance computational biological jobs using multi-agent approaches. ( 0,490245506076809 )
BMC Med Inform Decis Mak - Temporal representation of care trajectories of cancer patients using data from a regional information system: an application in breast cancer. ( 0,49017228491679 )
AMIA Annu Symp Proc - Identifying Granularity Differences between Large Biomedical Ontologies through Rules. ( 0,489810793006962 )
Comput. Biol. Med. - An approach for solving multi-level diagnosis in high sensitivity medical diagnosis systems through the application of semantic technologies. ( 0,48975436330275 )
Comput Math Methods Med - Modeling and visualizing cell type switching. ( 0,489039097350768 )
Comput Math Methods Med - Understanding immunology via engineering design: the role of mathematical prototyping. ( 0,48900756372046 )
IEEE Trans Image Process - Optimized block-based connected components labeling with decision trees. ( 0,487697762363459 )
Int J Med Inform - Semantic similarity-based alignment between clinical archetypes and SNOMED CT: an application to observations. ( 0,486294904522288 )
IEEE Trans Image Process - Complex object correspondence construction in two-dimensional animation. ( 0,486165465103524 )
J. Comput. Biol. - Random matrix approach to the distribution of genomic distance. ( 0,485720896705318 )
J Biomed Inform - A methodology for extending domain coverage in SemRep. ( 0,48539286202435 )
Artif Intell Med - A quantifier-based fuzzy classification system for breast cancer patients. ( 0,484531751751347 )
J. Comput. Biol. - Detection of structural variants involving repetitive regions in the reference genome. ( 0,48272083834934 )
J. Comput. Biol. - Phylogenetic stochastic mapping without matrix exponentiation. ( 0,482127522409596 )
J Chem Inf Model - ThermoData Engine (TDE) software implementation of the dynamic data evaluation concept. 7. Ternary mixtures. ( 0,481911143143016 )
Comput. Biol. Med. - Formal specification and analysis of intelligent agents for model-based medicine usage management. ( 0,481341335945171 )
Artif Intell Med - Recognizing lexical and semantic change patterns in evolving life science ontologies to inform mapping adaptation. ( 0,480678309401397 )
AMIA Annu Symp Proc - Applying Evolutionary Terminology Auditing to SNOMED CT. ( 0,48037058048016 )
J Am Med Inform Assoc - An information-gain approach to detecting three-way epistatic interactions in genetic association studies. ( 0,479464663595101 )
Comput Methods Programs Biomed - Application of probabilistic and fuzzy cognitive approaches in semantic web framework for medical decision support. ( 0,479039040196882 )
J. Comput. Biol. - The approximability of shortest path-based graph orientations of protein-protein interaction networks. ( 0,47774816508931 )
Comput Methods Programs Biomed - A hybrid fuzzy-ontology based intelligent system to determine level of severity and treatment recommendation for Benign Prostatic Hyperplasia. ( 0,47649560705593 )
Artif Intell Med - Evolving fuzzy medical diagnosis of Pima Indians diabetes and of dermatological diseases. ( 0,476360582043987 )
Spat Spatiotemporal Epidemiol - A multivariate CAR model for mismatched lattices. ( 0,475187335248722 )
J Am Med Inform Assoc - Using the wisdom of the crowds to find critical errors in biomedical ontologies: a study of SNOMED CT. ( 0,474845585871454 )
Comput Methods Programs Biomed - Ontology driven decision support for the diagnosis of mild cognitive impairment. ( 0,474382534085081 )
Comput. Biol. Med. - Identifying the medical practice after total hip arthroplasty using an integrated hybrid approach. ( 0,473068441252996 )
Comput. Biol. Med. - Fuzzy logic based anaesthesia monitoring systems for the detection of absolute hypovolaemia. ( 0,473009744406429 )
IEEE Trans Vis Comput Graph - The Design Space of Implicit Hierarchy Visualization: A Survey. ( 0,472693005410057 )
IEEE Trans Neural Netw Learn Syst - Optoelectronic Systems Trained With Backpropagation Through Time. ( 0,472210992204124 )
IEEE Trans Vis Comput Graph - Hierarchical Reorganization of Dimensions in OLAP Visualizations. ( 0,472161982449328 )
J Med Syst - Design of a fuzzy-based decision support system for coronary heart disease diagnosis. ( 0,472145112257824 )
Comput Biol Chem - On topological indices for small RNA graphs. ( 0,472134687769433 )
IEEE Trans Image Process - Toward a unified color space for perception-based image processing. ( 0,471909402091363 )
Comput Biol Chem - Quick path finding--quick algorithmic solution for unambiguous labeling of phylogenetic tree nodes. ( 0,471414589987167 )
J Biomed Inform - Inferring characteristic phenotypes via class association rule mining in the bone dysplasia domain. ( 0,471055806172863 )
AMIA Annu Symp Proc - A large-scale knowledge management method based on the analysis of the use of online knowledge resources. ( 0,469468733230872 )
IEEE Trans Vis Comput Graph - Multi-Resolution Attributes for Hardware Tessellated Objects. ( 0,469010181015509 )
Comput Math Methods Med - Cross time-frequency analysis for combining information of several sources: application to estimation of spontaneous respiratory rate from photoplethysmography. ( 0,468875416122615 )
BMC Med Inform Decis Mak - XML-BSPM: an XML format for storing Body Surface Potential Map recordings. ( 0,467011092969432 )
Wiley Interdiscip Rev Syst Biol Med - The virtual liver: a multidisciplinary, multilevel challenge for systems biology. ( 0,4666068293962 )
J Biomed Inform - Applying formalized rules for treatment procedures to data delivered by personal medical devices. ( 0,466017357308162 )
J Chem Inf Model - Time-averaged distributions of solute and solvent motions: exploring proton wires of GFP and PfM2DH. ( 0,465521565878866 )