Result 1 to 20 of 22 total
Natural-language syntax as procedures for interpretation: the dynamics of ellipsis construal. (English)
Lecomte, Alain (ed.) et al., Ludics, dialogue and interaction. PRELUDE project ‒ 2006‒2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19210-4/pbk). Lecture Notes in Computer Science 6505. Lecture Notes in Artificial Intelligence, 114-133 (2011).
1
Hmm-kalign: A tool for generating sub-optimal hmm alignments. (English)
Bioinformatics 23, No. 22, 3095-3097 (2007).
2
Detection of a tandem brct in nbs1 and xrs2 with functional implications in the DNA damage response. (English)
Bioinformatics 22, No. 11, 1289-1292 (2006).
3
Sequence-dominance grammars. (English)
Artemov, Sergei (ed.) et al., We will show them! Essays in honour of Dov Gabbay on his 60th birthday. Volume 2. London: College Publications (ISBN 1-904987-12-5/pbk; 1-904987-26-5/hbk). Tributes 2, 341-370 (2005).
4
ABCD modeling of crosstalk coupling noise to analyze the signal integrity losses on the victim interconnect in DSM chips (English)
VLSI Design, 354-359 (2005).
5
Sequence-dominance grammars (English)
We Will Show Them! (2), 341-370 (2005).
6
Modeling and analysis of crosstalk coupling effect on the victim interconnect using the ABCD network model (English)
DFT, 174-182 (2004).
7
io-port 02095927 Leibfried, D.;
Demarco, B.;
Meyer, V.;
Rowe, M.;
Ben-Kish, A.;
Barrett, M.;
Britton, J.;
Hughes, J.;
Itano, W.M.;
Jelenkovic, B.M.;
Langer, C.;
Lucas, D.;
Rosenband, T.;
Wineland, D.J.
Quantum information with trapped ions at NIST. (English)
J. Mod. Opt. 50, No. 6-7, 1115-1129 (2003).
8
io-port 05320192 Rowe, M.A.;
Ben-Kish, A.;
DeMarco, B.;
Leibfried, D.;
Meyer, V.;
Beall, J.;
Britton, J.;
Hughes, J.;
Itano, W.M.;
Jelenkovic, B.;
Langer, C.;
Rosenband, T.;
Wineland, D.J.
Transport of quantum states and separation of ions in a dual RF ion trap. (English)
Quantum Inf. Comput. 2, No. 4, 257-271 (2002).
9
io-port 50223837 Rowej, M. A.;
Ben-Kish, Amit;
Demarco, Brian;
Leibfried, Dietrich;
Meyer, Volker;
Beall, Jim;
Britton, Joe;
Hughes, J.;
Itano, Wayne M.;
Jelenkovic, Brana;
Langer, Chris;
Rosenband, Till;
Wineland, David J.
Transport of quantum states and separation of ions in a dual RF ion trap (English)
Quantum Information & Computation 2, No. 4, 257-271 (2002).
10
Indefinites as epsilon terms: A labelled deduction account. (English)
Bunt, Harry (ed.) et al., Computing meaning. Vol. 1. Dordrecht: Kluwer Academic Publishers. Stud. Linguist. Philos. 73, 203-218 (2001).
11
Sequential construction of logical forms. (English)
Moortgat, Michael (ed.), Logical aspects of computational linguistics. 3rd international conference, LACL ’98, Grenoble, France, December 14-16, 1998. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 2014, 159-178 (2001).
12
Recent results in trapped-ion quantum computing at NIST (English)
Quantum Information & Computation 1, No. 4, 113-123 (2001).
13
Dynamic syntax - the flow of language understanding (English)
Dynamic syntax - the flow of language understanding, I-XII, 1-348 (2001).
14
Sequential construction of logical forms (English)
LACL, 159-178 (1998).
15
Modal logic and model-theoretic syntax. (English)
Rijke, Maarten de (ed.), Advances in intensional logic. Dordrecht: Kluwer Academic Publishers. Appl. Log. Ser. 7, 29-60 (1997).
16
Language understanding: A procedural perspective (English)
LACL, 228-247 (1996).
17
A proof-theoretic treatment of assignments. (English)
Bull. IGPL 3, No.2-3, 223-242 (1995).
18
A proof system for finite trees (English)
CSL, 86-105 (1995).
19
Linguistics, logic and finite trees. (English)
Bull. IGPL 2, No.1, 3-29 (1994).
20
Result 1 to 20 of 22 total
Start
Contact
Print
General Help
