David Lewis
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
2021
SIAM J. Discret. Math., 2021
Astron. Comput., 2021
2020
2018
Proceedings of the HCI in Business, Government, and Organizations, 2018
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
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
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
Proceedings of the 2001 IEEE/IFIP International Symposium on Integrated Network Management, 2001
2000
J. Netw. Syst. Manag., 2000
1999
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
Proceedings of the 26th annual ACM SIGUCCS conference on User services, 1998
1997
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
1979
1978
Characteristics And Problems Encountered In Different Database Applications (Panel Discussion).
Proceedings of the Proceedings 1978 ACM Annual Conference, 1978
1977
J. Philos. Log., 1977
1974
1973
1971
Closure of Classes of Formal Languages under Substitution Operators.
PhD thesis, 1971