Search Results for Semantics. - Narrowed by: Computer science.

Modelling and planning dialogue from formal semantics

2026-04-09T09:06:41Z

by Funk, John Adam, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10836293
Format: Books

Working material for the lectures of Robert L. Constable.

2026-04-09T09:06:41Z

by Basin, Davis A.
Format: Books

Thinking computers and virtual persons : essays on the intentionality of machines

2026-04-09T09:06:41Z

by Dietrich, Eric.
ScienceDirect http://www.sciencedirect.com/science/book/9780122154959
Format: Electronic Resources

A Data-driven Situation-aware Framework for Predictive Analysis in Smart Environments

2026-04-09T09:06:41Z

by Gholami, Hoda, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10790347
Format: Books

Learning Disentangled Representations in Deep Visual Analysis

2026-04-09T09:06:41Z

by Peng, Xi, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10902040
Format: Books

Ontology-based Domain-specific Semantic Similarity Analysis and Applications

2026-04-09T09:06:41Z

by Song, Xuebo, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10791610
Format: Books

Context-Preserving Visual Analytics of Multi-Scale Spatial Aggregation

2026-04-09T09:06:41Z

by Zhang, Jiawei, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10808507
Format: Books

A Deep Learning Architecture for Histology Image Classification

2026-04-09T09:06:41Z

by Kao, Chia-Yu, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10751144
Format: Books

Advances in Knowledge Discovery and Management Volume 6

2026-04-09T09:06:41Z

by Guillet, Fabrice. editor.
http://dx.doi.org/10.1007/978-3-319-45763-5
Format: Electronic Resources

The DS-Pnet modeling formalism for cyber-physical system development

2026-04-09T09:06:41Z

by Pereira, Fernando Joaquim Ganhão, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10798781
Format: Books

Monitoring and Information Alignment in Pursuit of an IoT-Enabled Self-Sustainable Interoperability

2026-04-09T09:06:41Z

by Ferreira, José Alexandre Pires, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10803686
Format: Books

Advances in computers. Volume 17

2026-04-09T09:06:41Z

by Yovits, M. C. (Marshall Clinton)
ScienceDirect https://www.sciencedirect.com/science/book/9780120121175 ScienceDirect https://www.sciencedirect.com/science/bookseries/00652458/17
Format: Electronic Resources

Wide-Area Software-Defined Storage

2026-04-09T09:06:41Z

by Nelson, Jude Christopher, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10824272
Format: Books

Exploiting Implicit Belief to Resolve Sparse Usage Problem in Usage-Based Specification Mining

2026-04-09T09:06:41Z

by Khairunnesa, Samantha Syeda, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10640103
Format: Books

Lightweight Programming Abstractions for Increased Safety and Performance

2026-04-09T09:06:41Z

by Osvald, Leo, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10808010
Format: Books

SAF-Dl: Semantic Analysis Framework for Deep Learning Open Source Projects

2026-04-09T09:06:41Z

by Tripathi, Rashmi, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10825611
Format: Books

Practical Formal Techniques and Tools for Developing LLVM's Peephole Optimizations

2026-04-09T09:06:41Z

by Menendez, David, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10902033
Format: Books

Invariant preservation in geo-replicated data stores

2026-04-09T09:06:41Z

by Sousa, Valter Balegas de, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10798766
Format: Books

Techniques for Memory-efficiency, Low-latency and High-throughput in RDMA-based Datacenter Networks and Applications

2026-04-09T09:06:41Z

by Xue, Jiachen, author.
http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10262181
Format: Books

Advances in computers. Volume 41

2026-04-09T09:06:41Z

by Zelkowitz, Marvin V., 1945-
ScienceDirect https://www.sciencedirect.com/science/book/9780120121410 ScienceDirect https://www.sciencedirect.com/science/bookseries/00652458/41
Format: Electronic Resources

Proceedings of the 23rd International Conference on Industrial Engineering and Engineering Management 2016 Theory and Application of Industrial Engineering

2026-04-09T09:06:41Z

by Qi, Ershi. editor.
http://dx.doi.org/10.2991/978-94-6239-255-7
Format: Electronic Resources