sign in · help · news · about ·

BibSonomy :: author :: Hardin ::

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

(126)

<< < 1 | 2 | 3 > >>

Design of prefilters for discrete multiwavelet transforms.
Xiang-Gen Xia, Jeffrey S. Geronimo, Douglas P. Hardin, and Bruce W. Suter IEEE Transactions on Signal Processing 44(1):25-35 (1996)
to dblp by dblp on Jan 31, 2012, 12:00 AM
URL | BibTeX
Higher-Order Unification via Explicit Substitutions Extended Abstract
Gilles Dowek, Thérèse Hardin, and Claude Kirchner LICS, page 366-374. IEEE Computer Society, (1995)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Proof Theory for Kleene Algebra.
Chris Hardin LICS, page 290-299. IEEE Computer Society, (2005)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Neural substrates of reward magnitude, probability, and risk during a wheel of fortune decision-making task.
Bruce W. Smith, Derek G. V. Mitchell, Michael G. Hardin, Sandra Jazbec, Daniel Fridberg, R. James R. Blair, and Monique Ernst NeuroImage 44(2):600-609 (2009)
to dblp by dblp on Jan 13, 2012, 12:00 AM
URL | BibTeX
Test Performance and the Medium: Unearthing Differences That Make a Difference.
Jennifer A. Nicholson, Andrew Hardin, and Darren B. Nicholson AMCIS, page 81. Association for Information Systems, (2003)
to dblp by dblp on Jan 9, 2012, 12:00 AM
URL | BibTeX
Computer based learning systems and the development of computer self-efficacy: Are all sources of efficacy created equal?
Andrew M. Hardin, Clayton Arlen Looney, and Mark A. Fuller AMCIS, page 273. Association for Information Systems, (2006)
to dblp by dblp on Jan 4, 2012, 12:00 AM
URL | BibTeX
Stopping "How" from Driving "What": Advice on Avoiding Measurement Item Mis-specification.
D. Alan Ladd, Andrew M. Hardin, and Mark A. Fuller ICIS, page 191. Association for Information Systems, (2009)
to dblp by dblp on Dec 27, 2011, 12:00 AM
URL | BibTeX
A Cost-Effective, High-Bandwidth Storage Architecture.
Garth A. Gibson, David Nagle, Khalil Amiri, Jeff Butler, Fay W. Chang, Howard Gobioff, Charles Hardin, Erik Riedel, David Rochberg, and Jim Zelenka ASPLOS, page 92-103. ACM Press, (1998)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
A Few Remarks About Formal Development of Secure Systems
Éric Jaeger, and Thérèse Hardin CoRR (2009)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Yet Another Deep Embedding of B:Extending de Bruijn Notations
Éric Jaeger, and Thérèse Hardin CoRR (2009)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
On the implementation of construction functions for non-free concrete data types
Frédéric Blanqui, Thérèse Hardin, and Pierre Weis CoRR (2007)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Modularizing the Elimination of r=0 in Kleene Algebra
Christopher Hardin CoRR (2005)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
The development and test of a relationship model on system use, job learning, and impact.
Gholamreza Torkzadeh, Jerry Cha-Jan Chang, and Andrew M. Hardin ECIS, page 2170-2181. (2009)
to dblp by dblp on Nov 22, 2011, 12:00 AM
URL | BibTeX
Enhancing spark's contract checking facilities using symbolic execution.
Jason Belt, John Hatcliff, Robby, Patrice Chalin, David Hardin, and Xianghua Deng SIGAda, page 47-60. ACM, (2011)
to dblp by dblp on Nov 20, 2011, 12:00 AM
URL | BibTeX
On transitive subrelations of binary relations.
Christopher Hardin J. Symb. Log. 76(4):1429-1440 (2011)
to dblp by dblp on Nov 8, 2011, 12:00 AM
URL | BibTeX
The Competitive Exclusion Principle
Garrett Hardin Science 131(3409):1292--1297 (1960)
to imported by lran022 on Nov 2, 2011, 3:50 AM
BibTeX
HOL-λσ: an intentional first-order expression of higher-order logic.
Gilles Dowek, Thérèse Hardin, and Claude Kirchner Mathematical Structures in Computer Science 11(1):21-45 (2001)
to dblp by dblp on Sep 13, 2011, 12:00 AM
URL | BibTeX
Collaborative Rural Healthcare Network: A Conceptual Model.
U. Raja, D. J. McManus, J. M. Hardin, and B. C. Haynes iJIM 5(3):20-23 (2011)
to dblp by dblp on Sep 12, 2011, 12:00 AM
URL | BibTeX
Confluence Results for the Pure Strong Categorical Logic CCL: lambda-Calculi as Subsystems of CCL.
Thérèse Hardin Theor. Comput. Sci. 65(3):291-342 (1989)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
How the Location of * Influences Complexity in Kleene Algebra with Tests.
Christopher Hardin LPAR, volume 3452 of Lecture Notes in Computer Science, page 224-239. Springer, (2004)
to dblp by dblp on Aug 8, 2011, 12:00 AM
URL | BibTeX

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

a gripper