Result 1 to 20 of 283 total
Isomorphism relations on computable structures. (English)
J. Symb. Log. 77, No. 1, 122-132 (2012).
1
Diversity. (English)
Jones, Cliff B. (ed.) et al., Dependable and historic computing. Essays dedicated to Brian Randell on the occasion of his 75th birthday. Berlin: Springer (ISBN 978-3-642-24540-4/pbk). Lecture Notes in Computer Science 6875, 298-312 (2011).
2
Limit computable integer parts. (English)
Arch. Math. Logic 50, No. 7-8, 681-695 (2011).
3
Classes of Ulm type and coding rank-homogeneous trees in other structures. (English)
J. Symb. Log. 76, No. 3, 846-869 (2011).
4
io-port 05892303 Bradford, Yvonne;
Conlin, Tom;
Dunn, Nathan;
Fashena, David;
Frazer, Ken;
Howe, Douglas G.;
Knight, Jonathan;
Mani, Prita;
Martin, Ryan;
Moxon, Sierra A.T.;
Paddock, Holly;
Pich, Christian;
Ramachandran, Sridhar;
Ruef, Barbara J.;
Ruzicka, Leyla;
Schaper, Holle Bauer;
Schaper, Kevin;
Shao, Xiang;
Singer, Amy;
Sprague, Judy;
Sprunger, Brock;
Van Slyke, Ceri E.;
Westerfield, Monte
ZFIN: enhancements and updates to the zebrafish model organism database. (English)
Nucleic Acids Res. 39, No. Database-Issue, 822-829 (2011).
5
Continuous empirical characteristic function estimation of mixtures of normal parameters. (English)
Econ. Rev. 30, No. 1, 25-50 (2011).
6
Classes of Ulm type and coding rank-homogeneous trees in other structures (English)
J. Symb. Log. 76, No. 3, 846-869 (2011).
7
Component-oriented monitoring of binaries for security (English)
HICSS, 1-10 (2011).
8
Computable structures of rank $ω_1^{CK}$. (English)
J. Math. Log. 10, No. 1-2, 31-43 (2010).
9
Unbiased closed-form solutions for center of rotation. (English)
Ranchordas, A. (ed.) et al., Computer vision, imaging and computer graphics: Theory and applications. International joint conference, VISIGRAPP 2009, Lisboa, Portugal, February 5‒8, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-11839-5/pbk; 978-3-642-11840-1/ebook). Communications in Computer and Information Science 68, 73-88 (2010).
10
Practical limits on software dependability: A case study. (English)
Real, Jorge (ed.) et al., Reliable software technologies ‒ Ada-Europe 2010. 15th Ada-Europe international conference on reliable software technologies, Valencia, Spain, June 14‒18, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13549-1/pbk). Lecture Notes in Computer Science 6106, 83-96 (2010).
11
Exact properties of measures of optimal investment for benchmarked portfolios. (English)
Quant. Finance 10, No. 5, 495-502 (2010).
12
Decidability and computability of certain torsion-free abelian groups. (English)
Notre Dame J. Formal Logic 51, No. 1, 85-96 (2010).
13
Decidability and computability of certain torsion-free Abelian groups (English)
Notre Dame Journal of Formal Logic 51, No. 1, 85-96 (2010).
14
Real closed fields and models of peano arithmetic (English)
J. Symb. Log. 75, No. 1, 1-11 (2010).
15
On the effectiveness of the metamorphic shield (English)
ECSA Companion Volume, 170-174 (2010).
16
Practical limits on software dependability: A case study (English)
Ada-Europe, 83-96 (2010).
17
Software process synthesis in assurance based development of dependable systems (English)
EDCC, 75-84 (2010).
18
THE EXPLAINER: using the computer to help collaborate in connecting the dots to resolve complex problems (English)
DMS, 114-119 (2010).
19
Lambda-dynamics free energy simulation methods. (English)
J. Comput. Chem. 30, No. 11, 1692-1700 (2009).
20
Result 1 to 20 of 283 total
Start
Contact
Print
General Help
