Result 1 to 20 of 137 total
Completeness results for some two-dimensional logics of actuality. (English)
Rev. Symb. Log. 5, No. 2, 239-258 (2012).
1
Bootstrapping parameter estimation in dynamic systems. (English)
Elomaa, Tapio (ed.) et al., Discovery science. 14th international conference, DS 2011, Espoo, Finland, October 5‒7, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24476-6/pbk). Lecture Notes in Computer Science 6926. Lecture Notes in Artificial Intelligence, 194-208 (2011).
2
How Petri nets might enhance your systems biology toolkit. (English)
Kristensen, Lars M. (ed.) et al., Applications and theory of Petri nets. 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20‒24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21833-0/pbk). Lecture Notes in Computer Science 6709, 17-37 (2011).
3
FISH finder: a high-throughput tool for analyzing FISH images. (English)
Bioinformatics 27, No. 7, 933-938 (2011).
4
Medial prefrontal cortex predicts intertemporal choice (English)
J. Cognitive Neuroscience 23, No. 4, 857-866 (2011).
5
How might Petri nets enhance your systems biology toolkit (English)
Petri Nets, 17-37 (2011).
6
A multiscale approach to modelling planar cell polarity in drosophila wing using hierarchically coloured Petri nets (English)
CMSB, 209-218 (2011).
7
Bootstrapping parameter estimation in dynamic systems (English)
Discovery Science, 194-208 (2011).
8
An optimized TOPS+ comparison method for enhanced TOPS models. (English)
BMC Bioinform. 11, 138 (2010).
9
Annotation confidence score for genome annotation: a genome comparison approach. (English)
Bioinformatics 26, No. 1, 22-29 (2010).
10
Transactions on Computational Systems Biology XII. Special issue on modeling methodologies. (English)
Lecture Notes in Computer Science 5945. Lecture Notes in Bioinformatics. Journal Subline. Berlin: Springer (ISBN 978-3-642-11711-4/pbk). ix, 263~p. EUR~67.41 (2010).
11
Explorative study on the influence of national cultures on business/IT alignment maturity (English)
IJITBAG 1, No. 2, 26-45 (2010).
12
Provisioning mission-critical telerobotic control systems over internet backbone networks with essentially-perfect QoS (English)
IEEE Journal on Selected Areas in Communications 28, No. 5, 630-643 (2010).
13
Design of an IPTV multicast system for internet backbone networks (English)
Int. J. Digital Multimedia Broadcasting 2010 (2010).
14
Biomodel engineering - from structure to behavior (English)
T. Comp. Sys. Biology 12, 1-12 (2010).
15
Advances in spatial data infrastructure, acquisition, analysis, archiving \& dissemination (English)
IGARSS, 1980-1983 (2010).
16
Target driven biochemical network reconstruction based on Petri nets and simulated annealing (English)
CMSB, 33-42 (2010).
17
Comments on sequence normalization of tiling array expression. (English)
Bioinformatics 25, No. 17, 2171-2173 (2009).
18
Prediction of protein-protein interaction types using association rule based classification. (English)
BMC Bioinform. 10 (2009).
19
An introduction to biomodel engineering, illustrated for signal transduction pathways. (English)
Corne, David Wolfe (ed.) et al., Membrane computing. 9th international workshop, WMC 2008, Edinburgh, UK, July 28‒31, 2008. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-540-95884-0/pbk). Lecture Notes in Computer Science 5391, 13-28 (2009).
20
Result 1 to 20 of 137 total