sign in · help · news · about ·

BibSonomy :: author :: Spinks ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(19)

<< < 1 > >>

Quasi-subtractive varieties.
Tomasz Kowalski, Francesco Paoli, and Matthew Spinks J. Symb. Log. 76(4):1261-1286 (2011)
to dblp by dblp on Nov 8, 2011, 12:00 AM
URL | BibTeX
Cancellation in Skew Lattices.
Karin Cvetko-Vah, Michael K. Kinyon, Jonathan Leech, and Matthew Spinks Order 28(1):9-32 (2011)
to dblp by dblp on Apr 26, 2011, 12:00 AM
URL | BibTeX
The Logic of Quasi-MV Algebras.
Félix Bou, Francesco Paoli, Antonio Ledda, Matthew Spinks, and Roberto Giuntini J. Log. Comput. 20(2):619-643 (2010)
to dblp by dblp on Jul 21, 2010, 3:46 PM
URL | BibTeX
From Bending to Linear Movement - A Linear Actuation Mechanism based on Conducting Polymer Actuators.
Elise T. Burriss, Gürsel Alici, Geoffrey M. Spinks, and Scott McGovern ICINCO-ICSO, page 13-20. INSTICC Press, (2009)
to dblp by dblp on Sep 14, 2009, 12:00 AM
URL | BibTeX
Force Analysis and Characterization of Polymer Actuators.
Nam N. Huynh, Gürsel Alici, and Geoffrey M. Spinks IROS, page 5465-5470. IEEE, (2006)
to dblp by dblp on Sep 14, 2009, 12:00 AM
URL | BibTeX
Generation and Verification of Tests for Analog Circuits Subject to Process Parameter Deviations.
Stephen J. Spinks, Chris D. Chalk, Ian M. Bell, and Mark Zwolinski J. Electronic Testing 20(1):11-23 (2004)
to dblp by dblp on Mar 22, 2009, 12:00 AM
URL | BibTeX
Brain potentials reflect behavioral differences in true and false recognition.
Tim Curran, D. L. Schacter, M. K. Johnson, and R. Spinks Journal of Cognitive Neuroscience (2001)
to mem by brian.mingus on Sep 16, 2008, 11:39 PM
BibTeX
Detection of thirty-second cognitive in single subjects with positron emission tomography: A new low-dose H2 150 regional cerebral blood flow three-dimensional imaging technique
D. A. Silberswieg, E. Stern, C. D. Frith, C. Cahill, L. Schorr, S. Grootoonk, T. Spinks, J. Clark, R. Frackowiak, and T. Jones Journal of Cerebral Blood Flow and Metabolism (1993)
to CCP JRR, PET, blood cerebral cognition, flow, by brian.mingus on Sep 16, 2008, 11:39 PM
BibTeX
Axiomatizing the Skew Boolean Propositional Calculus.
Robert Veroff, and Matthew Spinks J. Autom. Reasoning 37(1-2):3-20 (2006)
to dblp by dblp on Aug 8, 2008, 12:00 AM
URL | BibTeX
Constructive Logic with Strong Negation is a Substructural Logic. I.
Matthew Spinks, and Robert Veroff Studia Logica 88(3):325-348 (2008)
to dblp by dblp on Aug 8, 2008, 12:00 AM
URL | BibTeX
Propositional Skew Boolean Logic.
Robert J. Bignall, and Matthew Spinks ISMVL, page 43-. (1996)
to dblp by dblp on Aug 8, 2008, 12:00 AM
URL | BibTeX
Multiple-Valued Logic as a Programming Language.
Robert J. Bignall, and Matthew Spinks ISMVL, page 227-232. (1997)
to dblp by dblp on Aug 8, 2008, 12:00 AM
URL | BibTeX
Multiple-Valued Logics for Theorem-Proving in First Order Logic with Equality.
Robert J. Bignall, and Matthew Spinks ISMVL, page 102-107. (1998)
to dblp by dblp on Aug 8, 2008, 12:00 AM
URL | BibTeX
A parallel implementation of the maximum likelihood method in positron emission tomography image reconstruction
H. Jones, G. Mitra, D. Parkinson, and T. Spinks Computational Statistics \& Data Analysis 31(4):417--439 (Oct 28, 1999)
to (PET) Positron emission tomography by smicha on Apr 23, 2008, 2:55 PM
URL | BibTeX
Intelligent Aggregation of System Health Data for Managing Large IT Environments.
Vishal Radhakrishnan, Aaron Spinks, and Insung Park Int. CMG Conference, page 673-682. Computer Measurement Group, (2007)
to dblp by dblp on Feb 1, 2008, 12:00 AM
URL | BibTeX
An Object-Oriented Library for 3D PET Reconstruction Using Parallel Computing.
Claire Labbé, Kris Thielemans, D. Belluzzo, V. Bettinardi, M. C. Gilardi, D. S. Hague, Matthew W. Jacobson, S. Kaiser, Roni Levkovitz, T. Margalit, Gautam Mitra, Christian Morel, Terry J. Spinks, Patrick Valente, Habib Zaidi, and Alexey Zverovich Bildverarbeitung für die Medizin, page 268-272. (1999)
to dblp by dblp on May 10, 2007, 12:00 AM
URL | BibTeX
Generation and Verification of Tests for Analogue Circuits Subject to Process Parameter Deviations.
Stephen J. Spinks, Chris D. Chalk, Ian M. Bell, and Mark Zwolinski DFT, page 100-109. IEEE Computer Society, (1997)
to dblp by dblp on May 12, 2006, 12:00 AM
URL | BibTeX
Video browsing interfaces for the open video project.
Gary Geisler, Gary Marchionini, Barbara M. Wildemuth, Anthony Hughes, Meng Yang, Todd Wilkens, and Richard Spinks CHI Extended Abstracts, page 514-515. ACM, (2002)
to dblp by dblp on May 8, 2006, 12:00 AM
URL | BibTeX
Fault Orientated Test and Fault Simulation of Mixed Signal Integrated Circuits.
Ian M. Bell, Kevin R. Eckersall, Stephen J. Spinks, and Gaynor E. Taylor ISCAS, page 389-392. (1995)
to dblp by dblp on Mar 15, 2002, 12:00 AM
URL | BibTeX

<< < 1 > >>publications per page: 5 10 20 50 100

a gripper