| Author | Title | Year | Journal/Proceedings | Reftype | DOI/URL |
|---|---|---|---|---|---|
| Buneman, P., Cheney, J., Tan, W.C. & Vansummeren, S. | Curated databases. [BibTeX] |
2008 | PODS, pp. 1-12 | inproceedings | URL |
BibTeX:
@inproceedings{conf/pods/BunemanCTV08,
author = {Peter Buneman and James Cheney and Wang Chiew Tan and Stijn Vansummeren},
title = {Curated databases.},
booktitle = {PODS},
publisher = {ACM},
year = {2008},
pages = {1-12},
url = {http://dblp.uni-trier.de/db/conf/pods/pods2008.html#BunemanCTV08}
}
|
|||||
| Cheney, J. | Flux: FunctionaL Updates for XML (extended report) [BibTeX] |
2008 | CoRR Vol. abs/0807.1211 |
article | URL |
BibTeX:
@article{journals/corr/abs-0807-1211,
author = {James Cheney},
title = {Flux: FunctionaL Updates for XML (extended report)},
journal = {CoRR},
year = {2008},
volume = {abs/0807.1211},
note = {informal publication},
url = {http://dblp.uni-trier.de/db/journals/corr/corr0807.html#abs-0807-1211}
}
|
|||||
| Cheney, J. | Toward a general theory of names: binding and scope. [BibTeX] |
2005 | MERLIN, pp. 33-40 | inproceedings | URL |
BibTeX:
@inproceedings{conf/icfp/Cheney05a,
author = {James Cheney},
title = {Toward a general theory of names: binding and scope.},
booktitle = {MERLIN},
publisher = {ACM},
year = {2005},
pages = {33-40},
url = {http://dblp.uni-trier.de/db/conf/icfp/merlin2005.html#Cheney05a}
}
|
|||||
| Cheney, J., Buneman, P. & Ludäscher, B. | Report on the Principles of Provenance Workshop. [BibTeX] |
2008 | SIGMOD Record Vol. 37(1), pp. 62-65 |
article | URL |
BibTeX:
@article{journals/sigmod/CheneyBL08,
author = {James Cheney and Peter Buneman and Bertram Ludäscher},
title = {Report on the Principles of Provenance Workshop.},
journal = {SIGMOD Record},
year = {2008},
volume = {37},
number = {1},
pages = {62-65},
url = {http://dblp.uni-trier.de/db/journals/sigmod/sigmod37.html#CheneyBL08}
}
|
|||||
| Cheney, J. & Dahl, M. | Resource bound analysis for database queries. [BibTeX] |
2008 | PLAS, pp. 67-78 | inproceedings | URL |
BibTeX:
@inproceedings{conf/pldi/CheneyD08,
author = {James Cheney and Morten Dahl},
title = {Resource bound analysis for database queries.},
booktitle = {PLAS},
publisher = {ACM},
year = {2008},
pages = {67-78},
url = {http://dblp.uni-trier.de/db/conf/pldi/plas2008.html#CheneyD08}
}
|
|||||
| Cheney, J. & Urban, C. | Nominal logic programming. [BibTeX] |
2008 | ACM Trans. Program. Lang. Syst. Vol. 30(5) |
article | URL |
BibTeX:
@article{journals/toplas/CheneyU08,
author = {James Cheney and Christian Urban},
title = {Nominal logic programming.},
journal = {ACM Trans. Program. Lang. Syst.},
year = {2008},
volume = {30},
number = {5},
url = {http://dblp.uni-trier.de/db/journals/toplas/toplas30.html#CheneyU08}
}
|
|||||
| Muller, P.G., Crow, R.E. & Cheney, C.D. | Schedule-induced locomotor activity in humans. | 1979 | Journal of the Experimental Analysis of Behavior Vol. 31(1), pp. 83-90 |
article | URL |
| Abstract: In two experiments, humans received tokens either on a fixed-interval schedule for plunger pulling or various response-nondependent fixed-time schedules ranging from 16 to 140 seconds. Locomotor activity such as walking, shifting weight, or pacing was recorded in quarters of the interreinforcement interval to examine the induced characteristics of that behavior in humans. While performance was variable, several characteristics were present that have counterparts in experiments with nonhumans during periodic schedules of food reinforcement: (a) first quarter rates, and sometimes overall rates, of locomotor activity were greater during intervals that terminated in a visual stimulus and token delivery than those without: (b) overall rates of locomotor activity were greater during fixed-time 16-second schedules than during fixed-time 80- or 140-second schedules; (c) rates of locomotor activity decreased during the interreinforcement intervals; (d) locomotor activity was induced by response-dependent and response-nondependent token delivery. These results showed that the rate and temporal pattern of locomotor activity can be schedule-induced in humans. | |||||
BibTeX:
@article{citeulike:841649,
author = {P. G. Muller and R. E. Crow and C. D. Cheney},
title = {Schedule-induced locomotor activity in humans.},
journal = {Journal of the Experimental Analysis of Behavior},
year = {1979},
volume = {31},
number = {1},
pages = {83--90},
url = {http://dx.doi.org/10.1901/jeab.1979.31-83}
}
|
|||||
| Urban, C., Cheney, J. & Berghofer, S. | Mechanizing the Metatheory of LF. [BibTeX] |
2008 | LICS, pp. 45-56 | inproceedings | URL |
BibTeX:
@inproceedings{conf/lics/UrbanCB08,
author = {Christian Urban and James Cheney and Stefan Berghofer},
title = {Mechanizing the Metatheory of LF.},
booktitle = {LICS},
publisher = {IEEE Computer Society},
year = {2008},
pages = {45-56},
url = {http://dblp.uni-trier.de/db/conf/lics/lics2008.html#UrbanCB08}
}
|
|||||
| Urban, C., Cheney, J. & Berghofer, S. | Mechanizing the Metatheory of LF [BibTeX] |
2008 | CoRR Vol. abs/0804.1667 |
article | URL |
BibTeX:
@article{journals/corr/abs-0804-1667,
author = {Christian Urban and James Cheney and Stefan Berghofer},
title = {Mechanizing the Metatheory of LF},
journal = {CoRR},
year = {2008},
volume = {abs/0804.1667},
note = {informal publication},
url = {http://dblp.uni-trier.de/db/journals/corr/corr0804.html#abs-0804-1667}
}
|
|||||
| Yarman, C.E., Yazici, B. & Cheney, M. | Bistatic Synthetic Aperture Radar Imaging for Arbitrary Flight Trajectories. [BibTeX] |
2008 | IEEE Transactions on Image Processing Vol. 17(1), pp. 84-93 |
article | URL |
BibTeX:
@article{journals/tip/YarmanYC08,
author = {Can Evren Yarman and Birsen Yazici and M. Cheney},
title = {Bistatic Synthetic Aperture Radar Imaging for Arbitrary Flight Trajectories.},
journal = {IEEE Transactions on Image Processing},
year = {2008},
volume = {17},
number = {1},
pages = {84-93},
url = {http://dblp.uni-trier.de/db/journals/tip/tip17.html#YarmanYC08}
}
|
|||||
Created by JabRef on 06/09/2008.