Research Output

Filter
Conference contribution
2020

A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper

Fu, P., Kishida, K., Ross, N. J. & Selinger, P., Jul 9 2020, Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings. p. 153-168 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

Linear Dependent Type Theory for Quantum Programming Languages: Extended Abstract

Fu, P., Kishida, K. & Selinger, P., 2020, LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery, p. 440-453 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2018

On the Normativity of Pure General Logic

Newton, A. M., Oct 2018, (Accepted/In press) Natur und Freiheit: Akten des XII. Internationalen Kant-Kongresses. Waibel, V. L., Ruffing, M. & Wagner, D. (eds.). De Gruyter

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2016

Discerning the intellectual focus of annotations

Jett, J., Cole, T. W., Dubin, D. & Renear, A. H., Jan 1 2016, Proceedings of Balisage: The Markup Conference 2016. Mulberry Tecnologies, Inc., (Balisage Series on Markup Technologies; vol. 17).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2014

Panel - The ethics of nuclear energy in the post-Fukushima Era

Gardoni, P., Hillerbrand, R., Murphy, C. & Taebi, B., Jan 1 2014, 2014 IEEE International Symposium on Ethics in Science, Technology and Engineering, ETHICS 2014. Institute of Electrical and Electronics Engineers Inc., 6893373. (2014 IEEE International Symposium on Ethics in Science, Technology and Engineering, ETHICS 2014).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2013

Kant on the Form of Aesthetic Judgment

Newton, A. M., Oct 2013, Kant und die Philosophie in weltbürgerlicher Absicht: Akten des XI. Kant-Kongresses 2010. Bacin, S., Ferrarin, A., La Rocca, C. & Ruffing, M. (eds.). De Gruyter, Vol. 4. p. 169-180 22 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2012

The logical form of the proposition expressed by a metadata record

Wickett, K. M. & Renear, A. H., Jul 11 2012, JCDL '12 - Proceedings of the 12th ACM/IEEE-CS Joint Conference on Digital Libraries. p. 413-414 2 p. (Proceedings of the ACM/IEEE Joint Conference on Digital Libraries).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards a logical form for descriptive metadata

Wickett, K. M., Urban, R. J. & Renear, A. H., Mar 6 2012, Proceedings of the 2012 iConference: Culture, Design, Society, iConference 2012. p. 574-575 2 p. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2011

Classification and moral evaluation of uncertainties in engineering modeling

Murphy, C., Gardoni, P. & Harris, C. E., Jun 13 2011, Vulnerability, Uncertainty, and Risk: Analysis, Modeling, and Management - Proceedings of the ICVRAM 2011 and ISUMA 2011 Conferences. p. 417-424 8 p. (Vulnerability, Uncertainty, and Risk: Analysis, Modeling, and Management - Proceedings of the ICVRAM 2011 and ISUMA 2011 Conferences).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2010

Applications of an implementation story for non-sentential models

Waskan, J., Oct 14 2010, Model-Based Reasoning in Science and Technology: Abduction, Logic, and Computational Discovery. Magnani, L., Carnielli, W. & Pizzi, C. (eds.). p. 463-476 14 p. (Studies in Computational Intelligence; vol. 314).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

There are no documents

Renear, A. H. & Wickett, K. M., Dec 1 2010, Proceedings of Balisage: The Markup Conference 2010. (Balisage Series on Markup Technologies; vol. 5).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2009

Documents cannot be edited

Renear, A. H. & Wickett, K. M., Dec 1 2009, Proceedings of Balisage: The Markup Conference 2009. (Balisage Series on Markup Technologies; vol. 3).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2008

Collection/item metadata relationships

Renear, A. H., Wickett, K. M., Urban, R. J., Dubin, D. S. & Shreeves, S. L., 2008, Metadata for Semantic and Social Applications: Proceedings of the International Conference on Dublin Core and Metadata Applications, Berlin, 22-26 September 2008. Greenberg, J. & Klas, W. (eds.). Singapore: DCMI, p. 80-89 10 p. (Proceedings of the International Conference on Dublin Core and Metadata Applications).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

The return of the trivial: Problems formalizing collection/item metadata relationships

Renear, A. H., Wickett, K. M., Urban, R. J. & Dubin, D. S., Dec 22 2008, JCDL'08: Proceedings of the 8th ACM/IEEE-CS Joint Conference on Digital Libraries 2008. 1 p. (Proceedings of the ACM International Conference on Digital Libraries).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

When digital objects change - Exactly what changes?

Renear, A. H., Dubin, D. & Wickett, K. M., 2008, ASIST 2008: Proceedings of the 71st ASIST Annual Meeting: People Transforming Information - Information Transforming People. American Society for Information Science and Technology, Vol. 45.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2007

How incorrect information delivers correct search results: A pragmatic analysis of queries

Lee, J. H. & Renear, A. H., 2007, ASIST 2007 Proceedings of the 70th ASIS and T Annual Meeting - Joining Research and Practice: Social Computing and Information Science. Vol. 44.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Three of the four FRBR group 1 entity types are roles, not types

Renear, A. H. & Dubin, D., Dec 1 2007, ASIST 2007 Proceedings of the 70th ASIS and T Annual Meeting - Joining Research and Practice: Social Computing and Information Science. Vol. 44.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

What exactly is an item in the digital world?

Floyd, I. R. & Renear, A. H., Jan 1 2007, ASIST 2007 Proceedings of the 70th ASIS and T Annual Meeting - Joining Research and Practice: Social Computing and Information Science. American Society for Information Science and Technology, Vol. 44.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2003

XML semantics and digital libraries

Renear, A., Dubin, D., Sperberg-McQueen, C. M. & Huitfeldt, C., Jan 1 2003, Proceedings - 2003 Joint Conference on Digital Libraries, JCDL 2003. Delcambre, L., Henry, G. & Marshall, C. C. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 303-305 3 p. 1204879. (Proceedings of the ACM/IEEE Joint Conference on Digital Libraries; vol. 2003-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2002

Towards a Semantics for XML Markup

Renear, A., Dubin, D., Sperberg-McQueen, C. M. & Huitfeldt, C., Dec 1 2002, Proceedings of the 2002 ACM Symposium on Document Engineering. Furuta, R., Maletic, J. I., Munson, E., Furuta, R., Maletic, J. I. & Munson, E. (eds.). p. 119-126 8 p. (Proceedings of the 2002 ACM Symposium on Document Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2000

Same, Models and Representation

Lasersohn, P., 2000, SALT 10: Proceedings of the 10th Semantics and Linguistic Theory Conference. Jackson, B. & Matthews, T. (eds.). Ithaca: Linguistic Society of America, Vol. 10. p. 83-97 (Semantics and Linguistic Theory; vol. 10).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1996

Adnominal Conditionals

Lasersohn, P., 1996, SALT 6: Proceedings of the 6th Semantics and Linguistic Theory Conference. Galloway, T. & Spence, J. (eds.). Linguistic Society of America, p. 154-166 (Semantics and Linguistic Theory; vol. 6).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1993

Lexical Distributivity and Implicit Arguments

Lasersohn, P., 1993, SALT 3: Proceedings from the 3rd Semantics and Linguistic Theory Conference. Lahiri, U. & Wyner, A. Z. (eds.). Linguistic Society of America, p. 145-161 (Semantics and Linguistic Theory; vol. 3).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1987

Collective Nouns and Distributive Determiners

Lasersohn, P. N., 1987, CLS 23: Papers from the 23rd Annual Regional Meeting of the Chicago Linguistic Society. Need, B., Schiller, E. & Bosch, A. (eds.). Chicago: Chicago Linguistic Society, p. 215-229

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1986

The Semantics of Appositive and Pseudo-Appositive NP’s

Lasersohn, P. N., 1986, ESCOL 86: Proceedings of the Third Eastern States Conference on Linguistics. Marshall, F. (ed.). p. 311-322

Research output: Chapter in Book/Report/Conference proceedingConference contribution