David Lewis

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2021
On Covering Numbers, Young Diagrams, and the Local Dimension of Posets.
SIAM J. Discret. Math., 2021

The order dimension of divisibility.
J. Comb. Theory A, 2021

A Real Time Processing system for big data in astronomy: Applications to HERA.
Astron. Comput., 2021

2020
Rainbow saturation of graphs.
J. Graph Theory, 2020

2018
Computers May Not Make Mistakes but Many Consumers Do.
Proceedings of the HCI in Business, Government, and Organizations, 2018

We Don't Know S***** (Search).
Proceedings of the First Biennial Conference on Design of Experimental Search & Information Retrieval Systems, 2018

2015
An empirical study of segment prioritization for incrementally retrained post-editing-based SMT.
Proceedings of Machine Translation Summit XV: Papers, 2015

FALCON: Federated Active Linguistic data CuratiON.
Proceedings of the 18th Annual Conference of the European Association for Machine Translation, 2015

2011
Whistleblowing And Data Protection Principles: Is The Road To Reconciliation Really That Rocky?
Eur. J. Law Technol., 2011

Examining the relationship among student perception of support, course satisfaction, and learning outcomes in online learning.
Internet High. Educ., 2011

2010
Efficient FPGAs using nanoelectromechanical relays.
Proceedings of the ACM/SIGDA 18th International Symposium on Field Programmable Gate Arrays, 2010

2009
Animated Demonstrations: Evidence of Improved Performance Efficiency and the Worked Example Effect.
Proceedings of the Human Centered Design, 2009

2001
The Role of XML in TMN Evolution.
Proceedings of the 2001 IEEE/IFIP International Symposium on Integrated Network Management, 2001

2000
A Review of Approaches to Developing Service Management Systems.
J. Netw. Syst. Manag., 2000

1999
470 MHz digital filter on delta-sigma modulated signals.
Proceedings of the IEEE 1999 Custom Integrated Circuits Conference, 1999

Complex Logarithmic Number System Arithmetic Using High-Radix Redundant CORDIC Algorithms.
Proceedings of the 14th IEEE Symposium on Computer Arithmetic (Arith-14 '99), 1999

1998
Library/Computing Center Mergers: The Shape of the Future, or an Evil Fad?
Proceedings of the 26th annual ACM SIGUCCS conference on User services, 1998

1997
Reuters-21578 Text Categorization Collection.
Dataset, September, 1997

Hierarchical partitioning for field-programmable systems.
Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997

1995
Initial Experiences of Creating Multimedia Computer Simulations to Replace Pharmacology Practicals.
Br. J. Educ. Technol., 1995

1981
Ordering semantics and premise semantics for counterfactuals.
J. Philos. Log., 1981

1979
Scorekeeping in a language game.
J. Philos. Log., 1979

1978
Characteristics And Problems Encountered In Different Database Applications (Panel Discussion).
Proceedings of the Proceedings 1978 ACM Annual Conference, 1978

1977
Possible-world semantics for counterfactual logics: A rejoinder.
J. Philos. Log., 1977

1974
Intensional logics without interative axioms.
J. Philos. Log., 1974

1973
Counterfactuals and comparative possibility.
J. Philos. Log., 1973

1971
Closure of Classes of Formal Languages under Substitution Operators.
PhD thesis, 1971


  Loading...