Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386918098> ?p ?o ?g. }
- W4386918098 endingPage "1058" @default.
- W4386918098 startingPage "1046" @default.
- W4386918098 abstract "We present a framework called the Reasoning Engine, which implements Satisfiability Modulo Theories (SMT)-based methods within a unified computational environment to address diverse biological analysis problems. The Reasoning Engine was used to reproduce results from key scientific studies, as well as supporting new research in stem cell biology. The framework utilizes an intermediate language for encoding partially specified discrete dynamical systems, which bridges the gap between high-level domain-specific languages and low-level SMT solvers. We provide this framework as open source together with various biological case studies, illustrating the synthesis, enumeration, optimization, and reasoning over models consistent with experimental observations to reveal novel biological insights." @default.
- W4386918098 created "2023-09-22" @default.
- W4386918098 creator A5009333472 @default.
- W4386918098 creator A5016596256 @default.
- W4386918098 creator A5018785790 @default.
- W4386918098 creator A5055382780 @default.
- W4386918098 creator A5078251798 @default.
- W4386918098 creator A5067191089 @default.
- W4386918098 date "2023-09-01" @default.
- W4386918098 modified "2023-09-27" @default.
- W4386918098 title "The Reasoning Engine: A Satisfiability Modulo Theories-Based Framework for Reasoning About Discrete Biological Models" @default.
- W4386918098 cites W1480909796 @default.
- W4386918098 cites W1569566007 @default.
- W4386918098 cites W1606177908 @default.
- W4386918098 cites W178825785 @default.
- W4386918098 cites W1820726602 @default.
- W4386918098 cites W1862398452 @default.
- W4386918098 cites W1971224531 @default.
- W4386918098 cites W1986177561 @default.
- W4386918098 cites W1994892791 @default.
- W4386918098 cites W1995969393 @default.
- W4386918098 cites W1998356614 @default.
- W4386918098 cites W2000947342 @default.
- W4386918098 cites W2001289891 @default.
- W4386918098 cites W2002446960 @default.
- W4386918098 cites W2007006124 @default.
- W4386918098 cites W2031285837 @default.
- W4386918098 cites W2046538693 @default.
- W4386918098 cites W2053961182 @default.
- W4386918098 cites W2079958696 @default.
- W4386918098 cites W2082982706 @default.
- W4386918098 cites W2088488298 @default.
- W4386918098 cites W2120158030 @default.
- W4386918098 cites W2124289307 @default.
- W4386918098 cites W2126877057 @default.
- W4386918098 cites W2153624566 @default.
- W4386918098 cites W2267638272 @default.
- W4386918098 cites W2311221011 @default.
- W4386918098 cites W233122475 @default.
- W4386918098 cites W2387771766 @default.
- W4386918098 cites W2726953850 @default.
- W4386918098 cites W2807926763 @default.
- W4386918098 cites W2888048294 @default.
- W4386918098 cites W2940493967 @default.
- W4386918098 cites W2944781187 @default.
- W4386918098 cites W2950862901 @default.
- W4386918098 cites W2952888409 @default.
- W4386918098 cites W2973264239 @default.
- W4386918098 cites W3000150252 @default.
- W4386918098 cites W3035158397 @default.
- W4386918098 cites W3044478521 @default.
- W4386918098 cites W3080647147 @default.
- W4386918098 cites W3086251959 @default.
- W4386918098 cites W3135595710 @default.
- W4386918098 cites W3193366579 @default.
- W4386918098 cites W4226310377 @default.
- W4386918098 cites W4231640108 @default.
- W4386918098 cites W4307905907 @default.
- W4386918098 cites W4313344077 @default.
- W4386918098 cites W4367176703 @default.
- W4386918098 cites W4491290 @default.
- W4386918098 doi "https://doi.org/10.1089/cmb.2023.0117" @default.
- W4386918098 hasPubMedId "https://pubmed.ncbi.nlm.nih.gov/37733940" @default.
- W4386918098 hasPublicationYear "2023" @default.
- W4386918098 type Work @default.
- W4386918098 citedByCount "0" @default.
- W4386918098 crossrefType "journal-article" @default.
- W4386918098 hasAuthorship W4386918098A5009333472 @default.
- W4386918098 hasAuthorship W4386918098A5016596256 @default.
- W4386918098 hasAuthorship W4386918098A5018785790 @default.
- W4386918098 hasAuthorship W4386918098A5055382780 @default.
- W4386918098 hasAuthorship W4386918098A5067191089 @default.
- W4386918098 hasAuthorship W4386918098A5078251798 @default.
- W4386918098 hasConcept C118615104 @default.
- W4386918098 hasConcept C125411270 @default.
- W4386918098 hasConcept C134306372 @default.
- W4386918098 hasConcept C135257023 @default.
- W4386918098 hasConcept C154945302 @default.
- W4386918098 hasConcept C164155591 @default.
- W4386918098 hasConcept C168773769 @default.
- W4386918098 hasConcept C199360897 @default.
- W4386918098 hasConcept C26517878 @default.
- W4386918098 hasConcept C2776235265 @default.
- W4386918098 hasConcept C33923547 @default.
- W4386918098 hasConcept C36503486 @default.
- W4386918098 hasConcept C38652104 @default.
- W4386918098 hasConcept C41008148 @default.
- W4386918098 hasConcept C54732982 @default.
- W4386918098 hasConcept C6943359 @default.
- W4386918098 hasConcept C80444323 @default.
- W4386918098 hasConceptScore W4386918098C118615104 @default.
- W4386918098 hasConceptScore W4386918098C125411270 @default.
- W4386918098 hasConceptScore W4386918098C134306372 @default.
- W4386918098 hasConceptScore W4386918098C135257023 @default.
- W4386918098 hasConceptScore W4386918098C154945302 @default.
- W4386918098 hasConceptScore W4386918098C164155591 @default.
- W4386918098 hasConceptScore W4386918098C168773769 @default.
- W4386918098 hasConceptScore W4386918098C199360897 @default.