Computer Science

Filter
Chapter

Search results

  • 2023

    On the generalization power of overfitted two-layer neural tangent Kernel models

    Ju, P., Lin, X. & Shroff, N. B., Dec 21 2023, Artificial Intelligence for Edge Computing. p. 111-135 25 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • 2021

    Digital twin with a perspective from manufacturing industry

    Wang, H., Chen, S., Sami, M. S. U. I., Rahman, F. & Tehranipoor, M., Jun 1 2021, Emerging Topics in Hardware Security. p. 27-59 33 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    3 Scopus citations

  • Multi-adversarial variational autoencoder nets for simultaneous image generation and classification

    Imran, A. A. Z. & Terzopoulos, D., 2021, Advances in Intelligent Systems and Computing. p. 249-271 23 p. (Advances in Intelligent Systems and Computing; vol. 1232).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    1 Scopus citations
  • 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 proceeding › Chapter › peer-review

    4 Scopus citations
  • 2019

    Distributed consensus protocols and algorithms

    Xiao, Y., Zhang, N., Li, J., Lou, W. & Hou, Y. T., Mar 15 2019, Blockchain for Distributed Systems Security. p. 25-50 26 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    55 Scopus citations

  • The rising TIDE of Wright State University: Context, connections, and consequences

    Doom, T., Gallagher, J., Raymer, M. & Timmerman, K., Jan 14 2019, Culturally Responsive Strategies for Reforming STEM Higher Education: Turning the TIDES on Inequity. p. 201-216 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    1 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 proceeding › Chapter › peer-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 proceeding › Chapter

  • 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 proceeding › Chapter › peer-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 proceeding › Chapter › peer-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 proceeding › Chapter › peer-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 proceeding › Chapter › peer-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 proceeding › Chapter › peer-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 proceeding › Chapter › peer-review

    35 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 proceeding › Chapter › peer-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 proceeding › Chapter › peer-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 proceeding › Chapter › peer-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 proceeding › Chapter › peer-review

    4 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 proceeding › Chapter › peer-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 proceeding › Chapter › peer-review

    Open Access
    33 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 proceeding › Chapter › peer-review

    54 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 proceeding › Chapter › peer-review

    95 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 proceeding › Chapter › peer-review

    6 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 proceeding › Chapter › peer-review

    28 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 proceeding › Chapter › peer-review

    Open Access
    13 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 proceeding › Chapter › peer-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 proceeding › Chapter › peer-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 proceeding › Chapter › peer-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 proceeding › Chapter › peer-review

    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 proceeding › Chapter › peer-review

    Open Access
    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 proceeding › Chapter › peer-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 proceeding › Chapter › peer-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 proceeding › Chapter › peer-review

    Open Access
    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 proceeding › Chapter › peer-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 proceeding › Chapter › peer-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 proceeding › Chapter › peer-review

    5 Scopus citations