B. Smith - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 13 from 13

2024

2023

Modular-Things: Plug-and-Play with Virtualized HardwareJake Robert Read, Leo McElroy, Quentin Bolsee, B. Smith, Neil Gershenfeld. CHI 2023: [doi]

2016

Portable fluorescent sensing array for monitoring heavy metals in waterSimon Maher, B. Bastani, B. Smith, F. P. Jjunju, S. Taylor, Iain S. Young. ieeesensors 2016: 1-3 [doi]

Dynamically reconfigurable AES cryptographic core for small, power limited mobile sensorsAmar Rasheed, M. Cotter, B. Smith, D. Levan, Shashi Phoha. ipccc 2016: 1-7 [doi]

2015

Fine-grain uncommon object detection from satellite imagesL. Lee, B. Smith, T. Chen. aipr 2015: 1-6 [doi]

Implementation of Neumann boundary condition with influence matrix method for viscous annular flow using pseudospectral collocationB. Smith, R. Laoulache, A. Heryudono. jcam, 285:100-115, 2015. [doi]

2009

Comparison of transient and static test methods for chip-to-sink thermal interface characterizationB. Smith, Thomas Brunschwiler, Bruno Michel. mj, 40(9):1379-1386, 2009. [doi]

1997

Metric-Based Symmetric Rank-One UpdatesB. Smith, J. L. Nazareth. coap, 8(3):219-244, 1997. [doi]

A key for freshwater invertebrates using fuzzy logicL. Winder, M. Lefley, B. Smith. bioinformatics, 13(2):169-174, 1997.

1984

The Linked Inference Principle, II: The User s ViewpointLarry Wos, Robert Veroff, B. Smith, William McCune. cade 1984: 316-332

A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite DomainsLarry Wos, S. Winker, B. Smith, Robert Veroff, Lawrence J. Henschen. ai, 22(3):303-356, 1984.

1983

Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domainsLarry Henschen, B. Smith, Robert Veroff, Steve Winker, Larry Wos. ndjfl, 24(2):205-223, 1983. [doi]

1970

Developments in SPECOL - A Retrieval Language for the Non-ProgrammerB. Smith. cj, 13(1):10-13, 1970.

Sign in or sign up to see more results.

runs on WebDSL