Journal Articles
(Publications are listed alphabetically by title)
Pages
Formal approaches to teamwork. We Will Show Them: Essays in Honour of Dov Gabbay. 2005;1:39-68.
Formal Modeling Of Middleware-based Distributed Systems. Electronic Notes in Theoretical Computer Science. 2004;108:21-37.
Formal verification of an intrusion-tolerant group membership protocol. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS E SERIES D. 2003;86(12):2612-2622.
Formalizing dynamic software updating. Proceedings of the Second International Workshop on Unanticipated Software Evolution (USE). 2003.
Fostering advances in interdisciplinary climate science. Proceedings of the National Academy of Sciences. 2013;(Supplement_114869243Supplement_1):3653-3656.
Four algorithms for the efficient computation of truncated pivoted QR approximations to a sparse matrix. Numerische Mathematik. 1999;83(2):313-323.
Fourier Analysis of Iterative Methods for Elliptic Problems. SIAM Review. 1989;31(1):20-49.
Fourier analysis of multigrid for a model two-dimensional convection-diffusion equation. BIT Numerical Mathematics. 2006;46(2):283-306.
Fragment completion in humans and machines. NIPS. 2001:27-34.
Frequentist and Bayesian Coverage Estimations for Stratified Fault-Injection. DEPENDABLE COMPUTING AND FAULT TOLERANT SYSTEMS. 1998;11:43-62.
From bowling alone to tweeting together: technology-mediated social participation. Interactions. 2010;17(2):64-67.
From Determinacy to Systaltic Arrays. Computers, IEEE Transactions on. 1987;C-36(11):1355-1359.
From instances to classes in probabilistic relational models. Proc. ICML 2000 Workshop on Attribute-Value and Relational Learning. 2000.
From New Zealand to Mongolia: Co-designing and deploying a digital library for the world's children. Special issue of Children, Youth and Environments: Children in Technological Environments: Interaction, Development, and Design. 2009.
From Principles to Practice with Class in the First Year. arXiv:1306.4713 [cs]. 2013.
From sample similarity to ensemble similarity: probabilistic distance measures in reproducing kernel Hilbert space. Pattern Analysis and Machine Intelligence, IEEE Transactions on. 2006;28(6):917-929.
From syntactic encodings to thematic roles: Building lexical entries for interlingual MT. Machine Translation. 1994;9(3):221-250.
From terabytes to insights. Communications of the ACM. 2003;46(7):25-27.
From Videos to Verbs: Mining Videos for Activities using a cascade of dynamical systems (Supplemental Material). Relation. 2008;10(1.13):9944.
Full Spectrum Modeling: From Simplicity to Elaboration and Realism in Urban Pattern Formation. North american association computational social and organization sciences conference (NAACSOS). 2007.
Fully abstract characterizations of testing preorders for probabilistic processes. CONCUR'94: Concurrency Theory. 1994:497-512.
Fully deadline-coupled planning: One step at a time. Methodologies for Intelligent Systems. 1991:589-599.
Functional Analysis of Hes-1 in Preadipocytes. Molecular EndocrinologyMolecular Endocrinology. 2006;20(3):698-705.
Functional and psychosocial effects of multimodality limb-sparing therapy in patients with soft tissue sarcomas. Journal of Clinical Oncology. 1989;7(9):1217.
Functional connectivity in fMRI: A modeling approach for estimation and for relating to local circuits. Neuroimage. 2007;34(3):1093-1107.
Functional Diversification of Paralogous Transcription Factors via Divergence in DNA Binding Site Motif and in Expression. PLoS ONEPLoS ONE. 2008;3(6):e2345.
Fundamental laws and assumptions of software maintenance. Empirical Software Engineering. 1997;2(2):119-131.
Future directions for human‐computer interaction. International Journal of Human-Computer Interaction. 1990;2(1):73-90.
Future link prediction in the blogosphere for recommendation. Proceedings of the International Conference on Weblogs and Social Media (ICWSM). 2011.
FutureRank: Ranking scientific articles by predicting their future PageRank. Proceedings of the 9th SIAM International Conference on Data Mining. 2009:533-544.
Fuzzy svm ensembles for relevance feedback in image retrieval. Image and Video Retrieval. 2006:350-359.
Gabriel: A design environment for DSP. Acoustics, Speech and Signal Processing, IEEE Transactions on. 1989;37(11):1751-1762.
GAGE: A Critical Evaluation of Genome Assemblies and Assembly Algorithms. Genome Research. 2012;22(3):557-567.
Gait recognition using image self-similarity. EURASIP J. Appl. Signal Process.. 2004;2004:572-585.
Gait-based human identification from a monocular video sequence. Handbook on Pattern Recognition and Computer Vision. 2004.
Gait-based human identification using appearance matching. Optical and Digital Techniques for Information Security. 2005:271-295.
GATA and Nkx factors synergistically regulate tissue-specific gene expression and development in vivo. Development. 2007;134(1):189-198.
Gauss, Statistics, and Gaussian Elimination. Journal of Computational and Graphical Statistics. 1995;4(1):1-11.
GCCS: A graphical coordination language for system specification. Coordination Languages and Models. 2000:207-212.
GDDT--A graphical design and documentation tool for software development. Computers & Graphics. 1984;8(3):309-323.
Gene Coexpression Network Topology of Cardiac Development, Hypertrophy, and FailureClinical Perspective. Circulation: Cardiovascular GeneticsCirc Cardiovasc Genet. 2011;4(1):26-35.
Gene Prediction with Glimmer for Metagenomic Sequences Augmented by Classification and Clustering. Nucleic Acids ResearchNucl. Acids Res.. 2012;40(1):e9 - e9.
Gene Profiling of Human Adipose Tissue During Evoked Inflammation In Vivo. DiabetesDiabetes. 2009;58(10):2211-2219.
Generalizations of Markov model to characterize biological sequences. BMC Bioinformatics. 2005;6(1):219.
Generalized photometric stereo and its application to face recognition. International Journal of Computer Vision. 2004.
Generalized View‐Dependent Simplification. Computer Graphics Forum. 1999;18(3):83-94.
Generalizing invariants for 3-D to 2-D matching. Applications of Invariance in Computer Vision. 1994:415-434.
Generating A Parsing Lexicon from an LCS-Based Lexicon. LREC 2002 Workshop Proceedings: Linguistic Knowledge Acquisition and Representation: Bootstrapping Annotated Language Data. 2002.
Generating and Querying Semantic Web Environments for Photo Libraries (2005). Institute for Systems Research Technical Reports. 2005.
Generating compact code from dataflow specifications of multirate signal processing algorithms. Circuits and Systems I: Fundamental Theory and Applications, IEEE Transactions on. 1995;42(3):138-150.