Filter
Chapter

Search results

  • 2020

    A Secure and Distributed Architecture for Vehicular Cloud

    Mistareehi, H., Islam, T., Lim, K. & Manivannan, D., 2020, Lecture Notes in Networks and Systems. p. 127-140 14 p. (Lecture Notes in Networks and Systems; vol. 96).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    3 Scopus citations
  • 2018

    Truncation dimension for function approximation

    Kritzer, P., Pillichshammer, F. & Wasilkowski, G. W., May 23 2018, Contemporary Computational Mathematics - A Celebration of the 80th Birthday of Ian Sloan. p. 771-792 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    4 Scopus citations
  • 2017

    4.1.1.7 Virtual Unwrapping: A Computational Approach for Reading Damaged Manuscripts

    Seales, W. B., Parker, C. S. & Chapman, C., 2017, Textual History of the Bible. Lange, A. (ed.). Vol. 4.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Dynamic view synthesis with an array of cameras

    Yang, R., Wang, H. & Zhang, C., Jan 1 2017, Computational Photography: Methods and Applications. p. 471-506 36 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • Inferring network topologies in MANETs: Application to service redeployment

    Silvestri, S., Holbert, B., Novotny, P., La Porta, T., Wolf, A. & Swami, A., Feb 1 2017, Advances in Computer Communications and Networks From Green, Mobile, Pervasive Networking to Big Data Computing. p. 127-154 28 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • 2016

    The GENI desktop

    Griffioen, J., Fei, Z., Nasir, H., Carpenter, C., Reed, J., Wu, X. & Rivera P., S., Jan 1 2016, The GENI Book. p. 381-406 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    1 Scopus citations
  • 2015

    Contrasting modes of representation for inflectional systems: Some implications for computing morphological complexity

    Stump, G. & Finkel, R. A., Mar 1 2015, Understanding and Measuring Morphological Complexity.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    5 Scopus citations
  • Using visual analytics to inform rheumatoid arthritis patient choices

    Mihail, R. P., Jacobs, N., Goldsmith, J. & Lohr, K., Jan 1 2015, Serious Games Analytics: Methodologies for Performance Measurement, Assessment, and Improvement. p. 211-231 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    2 Scopus citations
  • 2014

    Genomes of plant-associated clavicipitaceae

    Schardl, C. L., Young, C. A., Moore, N., Krom, N., Dupont, P. Y., Pan, J., Florea, S., Webb, J. S., Jaromczyk, J., Jaromczyk, J. W., Cox, M. P. & Farman, M. L., 2014, Advances in Botanical Research. p. 291-327 37 p. (Advances in Botanical Research; vol. 70).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    30 Scopus citations
  • 2013

    An Introduction to Graph Theory

    Ware, S., Jan 1 2013, Practical Graph Mining with R. p. 9-26 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • Cluster Analysis

    Padmanabhan, K., Harrison, B., Wilson, K., Warren, M. L., Bright, K., Mosiman, J., Kancherla, J., Phung, H., Miller, B. & Shamseldin, S., Jan 1 2013, Practical Graph Mining with R. p. 205-238 34 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • Frequent Subgraph Mining

    Harrison, B. E., Smith, J. C., Ware, S. G., Chen, H. W., Chen, W. & Khatri, A., Jan 1 2013, Practical Graph Mining with R. p. 167-204 38 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    1 Scopus citations
  • Studying the role of humans in the traceability loop

    Dekhtyar, A. & Hayes, J. H., Oct 1 2013, Software and Systems Traceability. Vol. 9781447122395. p. 241-261 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    3 Scopus citations
  • Uncertain data: Representations, query processing, and applications

    Ge, T., Dekhtyar, A. & Goldsmith, J., 2013, Advances in Probabilistic Databases for Uncertain Information Management. p. 67-108 42 p. (Studies in Fuzziness and Soft Computing; vol. 304).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    3 Scopus citations
  • 2012

    Connecting first-order ASP and the logic FO(ID) through reducts

    Truszczynski, M., 2012, Correct Reasoning: Essays on Logic-Based AI in Honor of Vladimir Lifschitz. Esra, E., Joohyung, L., Yuliya, L. & David, P. (eds.). p. 543-559 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7265).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    24 Scopus citations
  • The grand challenge of traceability (v1.0)

    Gotel, O., Cleland-Huang, J., Hayes, J. H., Zisman, A., Egyed, A., Grünbacher, P., Dekhtyar, A., Antoniol, G. & Maletic, J., Oct 1 2012, Software and Systems Traceability. Vol. 9781447122395. p. 343-409 67 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    48 Scopus citations
  • Traceability fundamentals

    Gotel, O., Cleland-Huang, J., Hayes, J. H., Zisman, A., Egyed, A., Grünbacher, P., Dekhtyar, A., Antoniol, G., Maletic, J. & Mäder, P., Oct 1 2012, Software and Systems Traceability. Vol. 9781447122395. p. 3-22 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    80 Scopus citations
  • 2011

    Remote 3d medical consultation

    Welch, G., Sonnenwald, D. H., Fuchs, H., Cairns, B., Mayer-Patel, K., Yang, R., State, A., Towles, H., Ilie, A., Krishnan, S. & Söderholm, H. M., 2011, Virtual Realities: Dagstuhl Seminar 2008. p. 139-159 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    4 Scopus citations
  • 2009

    Principal parts and degrees of paradigmatic transparency

    Finkel, R. & Stump, G., Sep 1 2009, Analogy in Grammar: Form and Acquisition.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    23 Scopus citations
  • 2008

    Chapter 6 Nonmonotonic Reasoning

    Brewka, G., Niemelä, I. & Truszczyński, M., 2008, Handbook of Knowledge Representation. Harmelen, F., Lifschitz, V. & Porter, B. (eds.). p. 239-284 46 p. (Foundations of Artificial Intelligence; vol. 3).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    11 Scopus citations
  • Separating routing policy from mechanism in the network layer

    Dutta, R., Griffioen, J., Calvert, K. L., Ascigil, O. & Yuan, S., Jan 1 2008, Next-Generation Internet: Architectures and Protocols. Vol. 9780521113687. p. 216-237 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • 2005

    Operating systems

    Finkel, R., Jan 1 2005, Computers, Software Engineering, and Digital Devices. p. 18-1-18-18

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • Parallel Computation in Simulating Diffusion and Deformation in Human Brain

    Kang, N., Zhang, J. & Carlson, E. S., Jun 9 2005, Parallel Computing for Bioinformatics and Computational Biology: Models, Enabling Technologies, and Case Studies. p. 121-146 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • 2004

    Challenges in Implementing an ESP Service

    Calvert, K. L., Griffioen, J., Imam, N. & Li, J., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Wakamiya, N., Solarski, M. & Sterbenz, J. (eds.). p. 3-19 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2982).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    Open Access
    2 Scopus citations
  • Satisfiability and computing van der Waerden numbers

    Dransfield, M. R., Marek, V. W. & Truszczyński, M., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Giunchiglia, E. & Tacchella, A. (eds.). p. 1-13 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2919).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    8 Scopus citations
  • What is an operating system?

    Finkel, R., Jan 1 2004, Computer Science Handbook, Second Edition. p. 80-1-80-17

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    2 Scopus citations
  • 2003

    A sixth order finite difference scheme for the convection diffusion equation

    Zhang, J. & Sun, H., Jun 2 2003, Computational Fluid and Solid Mechanics 2003. p. 1209-1211 3 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    1 Scopus citations
  • Local-search techniques for propositional logic extended with cardinality constraints

    Liu, L. & Truszczyński, M., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Rossi, F. (ed.). p. 495-509 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2833).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    14 Scopus citations
  • 1983

    ON ADMISSIBLE FAMILIES OF SETS.

    Truszczynski, M., 1983, Notes and Reports in Computer Science and Applied Mathematics. p. 201-221 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • OPTIMAL F-GRAPHS FOR BALANCED FAMILIES OF SETS.

    Iwanski, C. & Truszczynski, M., 1983, Notes and Reports in Computer Science and Applied Mathematics. p. 223-246 24 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • OPTIMAL F-GRAPHS FOR THE FAMILY OF ALL K-SUBSETS OF AN N-SET.

    Lonc, Z., Traczyk, T. & Truszczynski, M., 1983, Notes and Reports in Computer Science and Applied Mathematics. p. 247-270 24 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    5 Scopus citations