Zobrazeno 1 - 10
of 26
pro vyhledávání: '"4613 Theory Of Computation"'
Autor:
Olivieri, Cristina, Li, Geoffrey C, Wang, Yingjie, V S, Manu, Walker, Caitlin, Kim, Jonggul, Camilloni, Carlo, De Simone, Alfonso, Vendruscolo, Michele, Bernlohr, David A, Taylor, Susan S, Veglia, Gianluigi
ATP-competitive inhibitors are currently the largest class of clinically approved drugs for protein kinases. By targeting the ATP-binding pocket, these compounds block the catalytic activity, preventing substrate phosphorylation. A problem with these
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ce7919b850560239fd12934d708db114
http://hdl.handle.net/2434/937028
http://hdl.handle.net/2434/937028
Autor:
Jorge Julvez, Stephen G. Oliver
Continuous Petri nets aim to avoid the state explosion problem of classical discrete Petri nets by relaxing the integrality constraint of the firing of transitions. Although the resulting formalism can successfully model a number of features of dynam
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e82b86b67a30361cf3476fa8d8aec9ec
Publikováno v:
Bioinformatics Advances
Funder: Newton Fund RCUK-CONFAP
Funder: Victorian Government’s Operational Infrastructure Support Program
MOTIVATION: G protein-coupled receptors (GPCRs) can selectively bind to many types of ligands, ranging from light-sensitive compound
Funder: Victorian Government’s Operational Infrastructure Support Program
MOTIVATION: G protein-coupled receptors (GPCRs) can selectively bind to many types of ligands, ranging from light-sensitive compound
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::02bbd82441b19d602f9d7a586759452d
Autor:
He, Dongjie
Pointer analysis addresses a fundamental problem in program analysis: determining statically whether or not a given pointer may reference an object in the program. It underpins almost all forms of other static analysis, including program understandin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::aa56c9f22052a58d8a57f2291bbbcce2
Autor:
Benedict W. J. Irwin, Thomas M. Whitehead, Scott Rowland, Samar Y. Mahmoud, Gareth J. Conduit, Matthew D. Segall
Publikováno v:
Applied AI Letters, Vol 2, Iss 3, Pp n/a-n/a (2021)
More accurate predictions of the biological properties of chemical compounds would guide the selection and design of new compounds in drug discovery and help to address the enormous cost and low success‐rate of pharmaceutical R&D. However, this dom
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::87469fa76d68eed3f5aebe6ae6e6b540
https://www.repository.cam.ac.uk/handle/1810/328785
https://www.repository.cam.ac.uk/handle/1810/328785
Publikováno v:
Proceedings of the ACM on Programming Languages. 3:1-28
WebAssembly (Wasm) is a safe, portable virtual instruction set that can be hosted in a wide range of environments, such as a Web browser. It is a low-level language whose instructions are intended to compile directly to bare hardware. While the initi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6ea08e3cab26c5626be8db2105f50ad1
https://doi.org/10.1145/3360559
https://doi.org/10.1145/3360559
Autor:
Liam Jolliffe
We investigate $p$-ary $t$-designs which are simultaneously designs for all $t$, which we call universal $p$-ary designs. Null universal designs are well understood due to Gordon James via the representation theory of the symmetric group. We study no
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::058298defa9464bc8f52e5b415e00165
Fractional flow reserve derived from CT is a rapidly developing technique, with an increasing burden of literature supporting its potential role in the workup of patients suspected of having coronary artery disease.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ca9e45a38a867a5434a20e661c99d324
Autor:
Christopher Pulte, Alasdair Armstrong, Peter Sewell, Luc Maranget, Jean Pichon-Pharabod, Shaked Flur, Ben Simner
Publikováno v:
ESOP 2020-29th European Symposium on Programming
ESOP 2020-29th European Symposium on Programming, Mar 2020, Dublin, Ireland
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Programming Languages and Systems
Programming Languages and Systems ISBN: 9783030449131
ESOP
Programming Languages and Systems-29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
Programming Languages and Systems
ESOP 2020-29th European Symposium on Programming, Mar 2020, Dublin, Ireland
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Programming Languages and Systems
Programming Languages and Systems ISBN: 9783030449131
ESOP
Programming Languages and Systems-29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
Programming Languages and Systems
Computing relies on architecture specifications to decouple hardware and software development. Historically these have been prose documents, with all the problems that entails, but research over the last ten years has developed rigorous and executabl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6381fb55d3b77293ae2261bf3ddf52a2
https://hal.inria.fr/hal-02509910/file/esop2020.pdf
https://hal.inria.fr/hal-02509910/file/esop2020.pdf
Autor:
Henry Bradford
Let [Formula: see text] be a group and [Formula: see text] be a descending sequence of finite-index normal subgroups. We establish explicit upper bounds on the diameters of the directed Cayley graphs of the [Formula: see text], under some natural hyp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::50b9d79b2d79bf33b9a607ab97d666f1