Zobrazeno 1 - 10
of 49
pro vyhledávání: '"J. Steggles"'
Autor:
J. Steggles
Publikováno v:
Scientific Annals of Computer Science, Vol XXI, Iss 2, Pp 249-282 (2011)
Multi-valued networks (MVNs) provide a simple yet expressive qualitative state based modelling approach for biological systems. In this paper we develop an abstraction theory for asynchronous MVNs that allows the state space of a model to be reduced
Externí odkaz:
https://doaj.org/article/71f4121eede74b958c6a517cd7a37af7
Autor:
S J Steggles
Our past, present and future begins over a thousand years into the future in an alternative universe where humanity have just started to flourish on a post-apocalyptic Earth. Having harnessed the power of nanotechnology and combining it with arc reac
Autor:
L. J. Steggles
Publikováno v:
The Journal of Logic and Algebraic Programming. 69:75-92
We consider using third-order equational methods to formally verify that an infinite systolic algorithm correctly implements a family of convolution functions. The detailed case study we present illustrates the use of third-order algebra as a formal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::241d74bc858cdfbbdc2f907719f9ba85
https://doi.org/10.1016/j.jlap.2005.10.006
https://doi.org/10.1016/j.jlap.2005.10.006
Publikováno v:
Biochemical Journal. 349:281-287
To study the assembly of gap junctions, connexin-green-fluorescent-protein (Cx-GFP) chimeras were expressed in COS-7 and HeLa cells. Cx26- and Cx32-GFP were targeted to gap junctions where they formed functional channels that transferred Lucifer Yell
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c63c7d16979aaac0b2a0a98b659bdbf9
https://doi.org/10.1042/bj3490281
https://doi.org/10.1042/bj3490281
Autor:
P. Kosiuczenko, L. J. Steggles
Publikováno v:
Automated Software Engineering. 7:61-90
SDL is an industrial standard formal description technique for telecommunication systems. However, despite its wide spread use and industrial importance it lacks at present an adequate formal semantics integrating its static, dynamic, and real-time a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6e1f90b0556ed8174519bed17c446707
https://doi.org/10.1023/a:1008717317533
https://doi.org/10.1023/a:1008717317533
Autor:
Piotr Kosiuczenko, L. J. Steggles
Publikováno v:
WRLA
SDL is an industrial standard formal description technique for telecommunication systems. Despite its wide spread use and industrial importance it lacks at present an adequate formal semantics integrating its static, dynamic, and real-time aspects. T
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6214fc60eabd1df5ece5928dbadd8cfe
https://doi.org/10.1016/s1571-0661(05)82554-x
https://doi.org/10.1016/s1571-0661(05)82554-x
Autor:
Kelly A. Halliday, Smith Colin William, Rosemarie Tomlinson, W. Martin Owton, Michael Brunavs, David R. Dobson, Stephen L. Carney, Miles Martin Victor, Richard J. Broadmore, Samantha J. Ambler, Ann E. Kingston, David J. Steggles, Peter Thaddeus Gallagher, T. A. Hicks
Publikováno v:
Bioorganic & Medicinal Chemistry Letters. 7:817-822
Rhein has been shown to inhibit the uptake of glucose into Ehrlich Ascites tumor cells. In this paper we show that a wide range of antrhaquinones related to rhein can also inhibit glucose uptake into chondrocytes, many significantly more than the par
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0c3b528cf07f09d355047545625fb3fe
https://doi.org/10.1016/s0960-894x(97)00102-9
https://doi.org/10.1016/s0960-894x(97)00102-9
Publikováno v:
Tetrahedron Letters. 34:7447-7450
Islandicin, a mould metabolite, can be synthesised in a few, robust, high yielding steps. This procedure can be further elaborated to give a variety of hydroxy-9,10-anthraquinone-2-carboxylic acids.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2cbd66bc031e85c1a8ad66a0d6d50f48
https://doi.org/10.1016/s0040-4039(00)60149-1
https://doi.org/10.1016/s0040-4039(00)60149-1
Publikováno v:
ChemInform. 25
Islandicin, a mould metabolite, can be synthesised in a few, robust, high yielding steps. This procedure can be further elaborated to give a variety of hydroxy-9,10-anthraquinone-2-carboxylic acids.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::572be33017a72a1637a188f9cbf2f26f
https://doi.org/10.1002/chin.199421122
https://doi.org/10.1002/chin.199421122
Autor:
Miles Martin Victor, William Martin Owton, Michael Brunavs, David J. Steggles, David R. Dobson
Publikováno v:
ChemInform. 26
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f3edc8274481bc7d1f60cf7d51b5802c
https://doi.org/10.1002/chin.199533245
https://doi.org/10.1002/chin.199533245