en
de
Local
OpenID
:
no help available
no help available
BibSonomy
author
tag
user
group
author
concept
BibTeX key
search:all
::
Cowles
::
The blue social bookmark and publication sharing system.
sign in
home
groups
popular
posts
tags
authors
concepts
discussions
actions for all displayed bookmarks:
export:
RSS
,
BibTeX
,
XML
sort:
criterion:
date
,
title
order:
ascending
,
descending
others:
bookmarks per page:
5
10
20
50
100
bookmarks
actions for all displayed publications:
export:
RSS
,
BibTeX
,
RDF
,
more...
sort:
criterion:
date
,
title
order:
ascending
,
descending
advanced...
others:
publications per page:
5
10
20
50
100
publications
(42)
tags
dblp
imported
factors
Bayes
vegan
similar:kaplan:tierehabenrechte
zwei
rechte
book
read:2005
tiere
handbuch
No matching items.
A Cantor Trio: Denumerability, the Reals, and the Real Algebraic Numbers.
Ruben Gamboa
, and
John R. Cowles
.
ITP,
volume 7406 of Lecture Notes in Computer Science,
page 51-66.
Springer,
(
2012
)
Ruben Gamboa
, and
John R. Cowles
.
ITP,
volume 7406 of Lecture Notes in Computer Science,
page 51-66.
Springer,
(
2012
)
9 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Research Paper: Giving Patients Access to Their Medical Records via the Internet: The PCASSO Experience.
Daniel R. Masys
,
Dixie Baker
,
Amy Butros
, and
Kevin E. Cowles
.
JAMIA
9(2):181-191
(
2002
)
Daniel R. Masys
,
Dixie Baker
,
Amy Butros
, and
Kevin E. Cowles
.
JAMIA
9(2):181-191
(
2002
)
11 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Redundant logarithmic number systems.
Mark G. Arnold
,
Thomas A. Bailey
,
John R. Cowles
, and
Jerry J. Cupal
.
IEEE Symposium on Computer Arithmetic,
page 144-151.
IEEE,
(
1989
)
Mark G. Arnold
,
Thomas A. Bailey
,
John R. Cowles
, and
Jerry J. Cupal
.
IEEE Symposium on Computer Arithmetic,
page 144-151.
IEEE,
(
1989
)
a year and 2 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
CS principles: piloting a national course.
Owen Astrachan
,
Ralph Morelli
,
Dwight Barnette
,
Jeff Gray
,
Chinma Uche
,
Bill Cowles
, and
Rebecca Dovi
.
SIGCSE,
page 319-320.
ACM,
(
2012
)
Owen Astrachan
,
Ralph Morelli
,
Dwight Barnette
,
Jeff Gray
,
Chinma Uche
,
Bill Cowles
, and
Rebecca Dovi
.
SIGCSE,
page 319-320.
ACM,
(
2012
)
a year and 2 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Verifying Sierpinski and Riesel Numbers in ACL2
John R. Cowles
, and
Ruben Gamboa
.
ACL2,
volume 70 of EPTCS,
page 20-27.
(
2011
)
John R. Cowles
, and
Ruben Gamboa
.
ACL2,
volume 70 of EPTCS,
page 20-27.
(
2011
)
a year and 5 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Redundant Logarithmic Arithmetic.
Mark G. Arnold
,
Thomas A. Bailey
,
John R. Cowles
, and
Jerry J. Cupal
.
IEEE Trans. Computers
39(8):1077-1086
(
1990
)
Mark G. Arnold
,
Thomas A. Bailey
,
John R. Cowles
, and
Jerry J. Cupal
.
IEEE Trans. Computers
39(8):1077-1086
(
1990
)
a year and 7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
CMOS phase-locked loops for frequency synthesis.
Ian Galton
,
Behzad Razavi
,
John Cowles
, and
Peter R. Kinget
.
ISSCC,
page 521.
IEEE,
(
2010
)
Ian Galton
,
Behzad Razavi
,
John Cowles
, and
Peter R. Kinget
.
ISSCC,
page 521.
IEEE,
(
2010
)
a year and 7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Towards a Quaternion Complex Logarithmic Number System.
Mark G. Arnold
,
John R. Cowles
,
Vassilis Paliouras
, and
Ioannis Kouretas
.
IEEE Symposium on Computer Arithmetic,
page 33-42.
IEEE Computer Society,
(
2011
)
Mark G. Arnold
,
John R. Cowles
,
Vassilis Paliouras
, and
Ioannis Kouretas
.
IEEE Symposium on Computer Arithmetic,
page 33-42.
IEEE Computer Society,
(
2011
)
a year and 9 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A Mechanical Proof of the Cook-Levin Theorem.
Ruben Gamboa
, and
John R. Cowles
.
TPHOLs,
volume 3223 of Lecture Notes in Computer Science,
page 99-116.
Springer,
(
2004
)
Ruben Gamboa
, and
John R. Cowles
.
TPHOLs,
volume 3223 of Lecture Notes in Computer Science,
page 99-116.
Springer,
(
2004
)
a year and 9 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Cluster Definition by the Optimization of Simple Measures.
Thomas A. Bailey
, and
John R. Cowles
.
IEEE Trans. Pattern Anal. Mach. Intell.
6(5):645-652
(
1984
)
Thomas A. Bailey
, and
John R. Cowles
.
IEEE Trans. Pattern Anal. Mach. Intell.
6(5):645-652
(
1984
)
2 years and a month ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Comments on Än Architecture for Addition and Subtraction of Long Word Length Numbers in the Logarithmic Number System''.
Mark G. Arnold
,
Thomas A. Bailey
, and
John R. Cowles
.
IEEE Trans. Computers
41(6):786-788
(
1992
)
Mark G. Arnold
,
Thomas A. Bailey
, and
John R. Cowles
.
IEEE Trans. Computers
41(6):786-788
(
1992
)
2 years and a month ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A Convex Hull Inclusion Test.
Thomas A. Bailey
, and
John R. Cowles
.
IEEE Trans. Pattern Anal. Mach. Intell.
9(2):312-316
(
1987
)
Thomas A. Bailey
, and
John R. Cowles
.
IEEE Trans. Pattern Anal. Mach. Intell.
9(2):312-316
(
1987
)
2 years and a month ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
International Grid CA Interworking, Peer Review and Policy Management Through the European DataGrid Certification Authority Coordination Group.
Ján Astalos
,
Roberto Cecchini
,
Brian A. Coghlan
,
Robert Cowles
,
U. Epting
,
T. Genovese
,
J. Gomes
,
David L. Groep
,
M. Gug
,
Andrew Hanushevsky
,
M. Helm
,
Jens Jensen
,
C. Kanellopoulos
,
David P. Kelsey
,
R. Marco
,
I. Neilson
,
Sophie Nicoud
,
David O'Callaghan
,
Darcy Quesnel
,
I. Schaeffner
,
L. Shamardin
,
Dane Skow
,
M. Sova
,
Anders Wäänänen
,
Pawel Wolniewicz
, and
Wei Xing
.
EGC,
volume 3470 of Lecture Notes in Computer Science,
page 285-295.
Springer,
(
2005
)
Ján Astalos
,
Roberto Cecchini
,
Brian A. Coghlan
,
Robert Cowles
,
U. Epting
,
T. Genovese
,
J. Gomes
,
David L. Groep
,
M. Gug
,
Andrew Hanushevsky
,
M. Helm
,
Jens Jensen
,
C. Kanellopoulos
,
David P. Kelsey
,
R. Marco
,
I. Neilson
,
Sophie Nicoud
,
David O'Callaghan
,
Darcy Quesnel
,
I. Schaeffner
,
L. Shamardin
,
Dane Skow
,
M. Sova
,
Anders Wäänänen
,
Pawel Wolniewicz
, and
Wei Xing
.
EGC,
volume 3470 of Lecture Notes in Computer Science,
page 285-295.
Springer,
(
2005
)
2 years and 3 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Interoperation of world-wide production e-Science infrastructures.
Morris Riedel
,
Erwin Laure
,
Thomas Soddemann
,
Laurence Field
,
John-Paul Navarro
,
James Casey
,
Maarten Litmaath
,
Jean-Philippe Baud
,
Birger Koblitz
,
Charlie Catlett
,
Dane Skow
,
Cindy Zheng
,
Philip M. Papadopoulos
,
Mason J. Katz
,
Neha Sharma 0001
,
Oxana Smirnova
,
Balázs Kónya
,
Peter W. Arzberger
,
Frank Würthwein
,
Abhishek Singh Rana
,
Terrence Martin
,
M. Wan
,
Von Welch
,
Tony Rimovsky
,
Steven Newhouse
,
Andrea Vanni
,
Yoshio Tanaka
,
Yusuke Tanimura
,
Tsutomu Ikegami
,
David Abramson
,
Colin Enticott
,
Graham Jenkins
,
Ruth Pordes
,
Steven Timm
,
Gidon Moont
,
Mona Aggarwal
,
D. Colling
,
Olivier van der Aa
,
Alex Sim
,
Vijaya Natarajan
,
Arie Shoshani
,
Junmin Gu
,
S. Chen
,
Gerson Galang
,
Riccardo Zappi
,
Luca Magnoni
,
Vincenzo Ciaschini
,
Michele Pace
,
Valerio Venturi
,
Moreno Marzolla
,
Paolo Andreetto
,
Robert Cowles
,
Shaowen Wang
,
Yuji Saeki
,
Hitoshi Sato
,
Satoshi Matsuoka
,
Putchong Uthayopas
,
Somsak Sriprayoonsakul
,
Oscar Koeroo
,
Matthew Viljoen
,
Laura Pearlman
,
Stephen Pickles
,
David Wallom
,
Glenn Moloney
,
Jerome Lauret
,
Jim Marsteller
,
Paul Sheldon
,
Surya Pathak
,
Shaun De Witt
,
Jiri Mencák
,
Jens Jensen
,
Matt Hodges
,
Derek Ross
,
Sugree Phatanapherom
,
Gilbert Netzer
,
Anders Rhod Gregersen
,
Mike Jones
,
S. Chen
,
Péter Kacsuk
,
Achim Streit
,
Daniel Mallmann
,
Felix Wolf
,
Thomas Lippert
,
Thierry Delaitre
,
Eduardo Huedo
, and
Neil Geddes
.
Concurrency and Computation: Practice and Experience
21(8):961-990
(
2009
)
Morris Riedel
,
Erwin Laure
,
Thomas Soddemann
,
Laurence Field
,
John-Paul Navarro
,
James Casey
,
Maarten Litmaath
,
Jean-Philippe Baud
,
Birger Koblitz
,
Charlie Catlett
,
Dane Skow
,
Cindy Zheng
,
Philip M. Papadopoulos
,
Mason J. Katz
,
Neha Sharma 0001
,
Oxana Smirnova
,
Balázs Kónya
,
Peter W. Arzberger
,
Frank Würthwein
,
Abhishek Singh Rana
,
Terrence Martin
,
M. Wan
,
Von Welch
,
Tony Rimovsky
,
Steven Newhouse
,
Andrea Vanni
,
Yoshio Tanaka
,
Yusuke Tanimura
,
Tsutomu Ikegami
,
David Abramson
,
Colin Enticott
,
Graham Jenkins
,
Ruth Pordes
,
Steven Timm
,
Gidon Moont
,
Mona Aggarwal
,
D. Colling
,
Olivier van der Aa
,
Alex Sim
,
Vijaya Natarajan
,
Arie Shoshani
,
Junmin Gu
,
S. Chen
,
Gerson Galang
,
Riccardo Zappi
,
Luca Magnoni
,
Vincenzo Ciaschini
,
Michele Pace
,
Valerio Venturi
,
Moreno Marzolla
,
Paolo Andreetto
,
Robert Cowles
,
Shaowen Wang
,
Yuji Saeki
,
Hitoshi Sato
,
Satoshi Matsuoka
,
Putchong Uthayopas
,
Somsak Sriprayoonsakul
,
Oscar Koeroo
,
Matthew Viljoen
,
Laura Pearlman
,
Stephen Pickles
,
David Wallom
,
Glenn Moloney
,
Jerome Lauret
,
Jim Marsteller
,
Paul Sheldon
,
Surya Pathak
,
Shaun De Witt
,
Jiri Mencák
,
Jens Jensen
,
Matt Hodges
,
Derek Ross
,
Sugree Phatanapherom
,
Gilbert Netzer
,
Anders Rhod Gregersen
,
Mike Jones
,
S. Chen
,
Péter Kacsuk
,
Achim Streit
,
Daniel Mallmann
,
Felix Wolf
,
Thomas Lippert
,
Thierry Delaitre
,
Eduardo Huedo
, and
Neil Geddes
.
Concurrency and Computation: Practice and Experience
21(8):961-990
(
2009
)
2 years and 3 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
The Communication and Care Plan: A novel approach to patient-centered clinical information systems.
Michael Hogarth
,
Kathy Hajopoulos
,
Meg Young
,
Neil Cowles
,
John Churin
,
Bethany Hornthal
, and
Laura Esserman
.
Journal of Biomedical Informatics
43(5-Supplement-1):S6-S8
(
2010
)
Michael Hogarth
,
Kathy Hajopoulos
,
Meg Young
,
Neil Cowles
,
John Churin
,
Bethany Hornthal
, and
Laura Esserman
.
Journal of Biomedical Informatics
43(5-Supplement-1):S6-S8
(
2010
)
2 years and 6 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Using a First Order Logic to Verify That Some Set of Reals Has No Lesbegue Measure.
John R. Cowles
, and
Ruben Gamboa
.
ITP,
volume 6172 of Lecture Notes in Computer Science,
page 25-34.
Springer,
(
2010
)
John R. Cowles
, and
Ruben Gamboa
.
ITP,
volume 6172 of Lecture Notes in Computer Science,
page 25-34.
Springer,
(
2010
)
2 years and 9 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Acoustic observations of finescale zooplankton distributions in the Oregon upwelling region
M.M. Sutor
,
T.J. Cowles
,
W.T. Peterson
, and
S.D. Pierce
.
Deep-Sea Research II
(
2005
)
doi:10.1016/j.dsr2.2004.09.029.
M.M. Sutor
,
T.J. Cowles
,
W.T. Peterson
, and
S.D. Pierce
.
Deep-Sea Research II
(
2005
)
doi:10.1016/j.dsr2.2004.09.029.
3 years and 3 months ago
by
anamarg
1
imported
imported
URL
DOI
TeX
Comparison of acoustic and net sampling systems to determine patterns in zooplankton distribution
M. Sutor
,
T.J. Cowles
,
W.T. Peterson
, and
J. Lamb
.
Journal of Geophysical Research
(
2005
)
doi:10.1029/2004JC002681.
M. Sutor
,
T.J. Cowles
,
W.T. Peterson
, and
J. Lamb
.
Journal of Geophysical Research
(
2005
)
doi:10.1029/2004JC002681.
3 years and 3 months ago
by
anamarg
1
imported
imported
URL
DOI
TeX
Parallelization of the Fvcom Coastal Ocean Model.
Geoffrey W. Cowles
.
IJHPCA
22(2):177-193
(
2008
)
Geoffrey W. Cowles
.
IJHPCA
22(2):177-193
(
2008
)
3 years and 6 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Markov chain Monte Carlo convergence diagnostics: A comparative review
M.K. Cowles
, and
B.P. Carlin
.
Journal of the American Statistical Association
91(434):883-904
(
1996
)
M.K. Cowles
, and
B.P. Carlin
.
Journal of the American Statistical Association
91(434):883-904
(
1996
)
3 years and 8 months ago
by
gregoryy
1
imported
imported
URL
DOI
TeX
BibSonomy is offered by the
KDE group
of the University of Kassel, the
DMIR group
of the University of Würzburg, and the
L3S Research Center
, Germany.
Privacy & Terms of Use
-
Contact