Item request has been placed!

Item request cannot be made.

Processing Request

Search Results

Display Settings

Results per page: 10

Sort By: Relevance

Your Filters

Subject : 01 natural sciences

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

Application of regional culture in wooden furniture styling design based on extension semantics and shape grammar: Taking Su-Style stool as an example

Authors : Guanlan Xue; Jinglian Chen

Subjects: 0106 biological sciences; wooden furniture; extension semantics

Source: BioResources, Vol 20, Iss 1, Pp 248-267 (2024)

Read Online Read More Add to Saved list

Academic Journal

Weighted knowledge bases with typicality and defeasible reasoning in a gradual argumentation semantics

Authors : Alviano M.; Giordano L.; Dupre D. T.

Subjects: Preferential semantics; description logic; many-valued logic

Source: Intelligenza Artificiale. 18:153-174

Read Online Read More Add to Saved list

Academic Journal

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

Authors : Din, Crystal; Hähnle, Reiner; Henrio, Ludovic ...

Subjects: CCS Concepts; Programming logic; Theory of computation → Parallel computing models

Source: ACM Transactions on Programming Languages and Systems (TOPLAS)ACM Transactions on Programming Languages and Systems (TOPLAS), 2024, 46 (1), pp.1-58. ⟨10.1145/3648439⟩ACM Transactions

Read Online Read More Add to Saved list

Academic Journal

Towards Better Semantics Exploration for Browser Fuzzing

Authors : Chijin Zhou; Quan Zhang; Lihua Guo ...

Subjects: Browser Security; 0103 physical sciences; 01 natural sciences

Source: Proceedings of the ACM on Programming Languages. 7:604-631

Read More Add to Saved list

Academic Journal

Modular SAT-based techniques for reasoning tasks in team semantics

Authors : Arnaud Durand; Juha Kontinen; Jouko Väänänen ...

Subjects: FOS: Computer and information sciences; Computer Science - Logic in Computer Science; 0102 computer and information sciences

Source: arXiv

Read Online Read More Add to Saved list

Academic Journal

Semantics-Native Communication via Contextual Reasoning

Authors : Hyowoon Seo; Jihong Park; Mehdi Bennis

Subjects: semantics-native; semantic coding; semantic communication

Source: IEEE Transactions on Cognitive Communications and Networking. 9:604-617

Read Online Read More Add to Saved list

Academic Journal

Good-for-Game QPTL: An Alternating Hodges Semantics

Authors : Bellier, Dylan; Benerecetti, Massimo; Monica, Dario Della ...

Subjects: FOS: Computer and information sciences; Computer Science - Logic in Computer Science; Computer Science - Computational Complexity

Source: ACM Transactions on Computational LogicACM Transactions on Computational Logic, 2023, 24 (1), pp.1-57. ⟨10.1145/3565365⟩

Read Online Read More Add to Saved list

Academic Journal

A Profunctorial Semantics for Quantum Supermaps

Authors : James Hefford; Matt Wilson;

Subjects: FOS: Computer and information sciences; Quantum Physics; Computer Science - Logic in Computer Science

Source: LICS '24: 39th Annual ACM/IEEE Symposium on Logic in Computer ScienceLICS 2024-39th Annual ACM/IEEE Symposium on Logic in Computer ScienceLICS 2024-39th Annual ACM/IEEE Symposium on Logic

Read Online Read More Add to Saved list

Academic Journal

A Categorical Framework for Program Semantics and Semantic Abstraction

Authors : Katsumata, Shin-Ya; Rival, Xavier; Dubut, Jérémy ...

Subjects: FOS: Computer and information sciences; Monads; D.3.1

Source: MFPS 2023-Mathematical Foundations of Program SemanticsMFPS 2023-Mathematical Foundations of Program Semantics, Jun 2023,

Read Online Read More Add to Saved list

Academic Journal

Base-extension semantics for modal logic

Authors : Eckhardt, Timo; Pym, David J

Subjects: Computer Science - Logic in Computer Science; proof-theoretic semantics; Modal logic

Source: Logic Journal of the IGPL.

Read Online Read More Add to Saved list