sign in · help · news · about ·

BibSonomy :: author :: Wilding ::

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

(40)

<< < 1 | 2 > >>

Efficient Simulation of Formal Processor Models.
Matthew Wilding, David A. Greve, and David Hardin Formal Methods in System Design 18(3):233-248 (2001)
to dblp by dblp on May 25, 2011, 12:00 AM
URL | BibTeX
Proving Matijasevich's Lemma with a Default Arithmetic Strategy.
Matthew Wilding J. Autom. Reasoning 7(3):439-446 (1991)
to dblp by dblp on May 19, 2011, 12:00 AM
URL | BibTeX
Towards the Development of an Interactive 3D Coach Training Serious Game.
Christos Gatzidis, Keith Parry, Emma Kavanagh, Amanda Wilding, and Darrell Gibson VS-GAMES, page 186-189. IEEE Computer Society, (2009)
to dblp by dblp on Aug 31, 2010, 12:00 AM
URL | BibTeX
Single trial estimation of event-related potentials using particle filtering.
Hamid Reza Mohseni, Edward L. Wilding, and Saeid Sanei ICASSP, page 465-468. IEEE, (2008)
to dblp by dblp on Jul 21, 2010, 4:13 PM
URL | BibTeX
A graphical environment for interactive four-dimensional data navigation.
Daniel R. Wilding, and Robert P. Burton VDA, volume 7243 of SPIE Proceedings, page 72430. SPIE, (2009)
to dblp by dblp on Jul 21, 2010, 4:08 PM
URL | BibTeX
A beamforming particle filter for EEG dipole source localization.
Hamid Reza Mohseni, Foad Ghaderi, Edward L. Wilding, and Saeid Sanei ICASSP, page 337-340. IEEE, (2009)
to dblp by dblp on Jul 21, 2010, 4:06 PM
URL | BibTeX
An Electrophysiological Investigation of Factors Facilitating Strategic Recollection.
J. E. Herron, and Edward L. Wilding J. Cognitive Neuroscience 17(5):777-787 (2005)
to dblp by dblp on Jul 21, 2010, 3:51 PM
URL | BibTeX
The Influence of Criterion Shifts on Electrophysiological Correlates of Recognition Memory.
N. Azimian-Faridani, and Edward L. Wilding J. Cognitive Neuroscience 18(7):1075-1086 (2006)
to dblp by dblp on Jul 21, 2010, 3:51 PM
URL | BibTeX
Sunitinib efficacy against advanced renal cell carcinoma
R. J. Motzer, M. D. Michaelson, J. Rosenberg, R. M. Bukowski, B. D. Curti, D. J. George, G. R. Hudes, B. G. Redman, K. A. Margolin, and G. Wilding J.Urol. 178(5):1883-1887 (2007)
to & Administration Adult Aged Agents Antineoplastic Carcinoma Cell Disease Disease-Free Female Follow-Up Humans Indoles Kidney Laboratories Male Method Middle Neoplasm Neoplasms Oral Outcome Progression Pyrroles Rate Renal Research Retrospective Single-Blind Staging States Studies Survival Treatment Tyrosine United administration dosage drug epidemiology methods mortality pathology response therapy by kanefendt on Feb 5, 2010, 11:28 AM
URL | BibTeX
Retrieval Processes Supporting Judgments of Recency.
Kerrie L. Grove, and Edward L. Wilding J. Cognitive Neuroscience 21(3):461-473 (2009)
to dblp by dblp on Nov 3, 2009, 12:00 AM
URL | BibTeX
A Mechanically Verified Application for a Mechanically Verified Environment.
Matthew Wilding CAV, volume 697 of Lecture Notes in Computer Science, page 268-279. Springer, (1993)
to dblp by dblp on Sep 25, 2009, 12:00 AM
URL | BibTeX
A Machine-Checked Proof of the Optimality of a Real-Time Scheduling Policy.
Matthew Wilding CAV, volume 1427 of Lecture Notes in Computer Science, page 369-378. Springer, (1998)
to dblp by dblp on Sep 25, 2009, 12:00 AM
URL | BibTeX
Transforming the Theorem Prover into a Digital Design Tool: From Concept Car to Off-Road Vehicle.
David Hardin, Matthew Wilding, and David A. Greve CAV, volume 1427 of Lecture Notes in Computer Science, page 39-44. Springer, (1998)
to dblp by dblp on Sep 25, 2009, 12:00 AM
URL | BibTeX
The laptop alternative: Student reactions and strategic implications.
Ada Demb, Darlene Erickson, and Shane Hawkins-Wilding Computers & Education 43(4):383-401 (2004)
to dblp by dblp on Sep 9, 2009, 12:00 AM
URL | BibTeX
The impact of social policy
Vic George, and Paul Wilding Radical social policy Routledge & Kegan Paul, London u.a., (1984)
to 1979- Great_Britain Social_policy by fbw_hannover on Aug 21, 2009, 9:49 AM
URL | BibTeX
Efficient execution in an automated reasoning environment.
David A. Greve, Matt Kaufmann, Panagiotis Manolios, J. Strother Moore, Sandip Ray, José-Luis Ruiz-Reina, Rob Sumners, Daron Vroon, and Matthew Wilding J. Funct. Program. 18(1):15-46 (2008)
to dblp by dblp on Jul 8, 2009, 12:00 AM
URL | BibTeX
Confidence interval estimation of a common correlation coefficient.
Lili Tian, and Gregory E. Wilding Computational Statistics & Data Analysis 52(10):4872-4877 (2008)
to dblp by dblp on Jan 26, 2009, 12:00 AM
URL | BibTeX
SIFT: a scalable iterative-unfolding technique for filtering execution traces.
Andriy V. Miranskyy, Nazim H. Madhavji, Mechelle Gittens, Matthew Davison, Mark Wilding, David Godwin, and C. A. Taylor CASCON, page 21. IBM, (2008)
to dblp by dblp on Jan 26, 2009, 12:00 AM
URL | BibTeX
An iterative, multi-level, and scalable approach to comparing execution traces.
Andriy V. Miranskyy, Nazim H. Madhavji, Mechelle Gittens, Matthew Davison, Mark Wilding, and David Godwin ESEC/SIGSOFT FSE Companion, page 537-540. ACM, (2007)
to dblp by dblp and 1 other user on Nov 3, 2008, 12:00 AM
URL | BibTeX
Routes to remembering: the brains behind superior memory
E. A. Maguire, E. R. Valentine, J. M. Wilding, and N. Kapur Nature Neuroscience (2003)
to hip by brian.mingus on Sep 16, 2008, 11:39 PM
BibTeX

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

a gripper