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 : qa1-939

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

A Finite Representation of Durational Action Timed Automata Semantics

Authors : Ahmed Bouzenada; Djamel Eddine Saidouni; Gregorio Díaz

Subjects: maximality-based semantics; real-time systems; timed automata

Source: Mathematics, Vol 12, Iss 24, p 4008 (2024)

Read Online Read More Add to Saved list

Academic Journal

Recommendation Model Based on Higher-Order Semantics and Node Attention in Heterogeneous Graph Neural Networks

Authors : Siyue Li; Tian Jin; Hao Luo

Subjects: recommendation system; heterogeneous graph neural network; attention mechanism

Source: Mathematics, Vol 13, Iss 9, p 1479 (2025)

Read Online Read More Add to Saved list

Academic Journal

Paraconsistent Labeling Semantics for Abstract Argumentation

Authors : Yuanlei Lin

Subjects: abstract argumentation; QA1-939; 0202 electrical engineering, electronic engineering, information engineering

Source: Mathematics, Vol 12, Iss 5, p 688 (2024)

Read Online Read More Add to Saved list

Academic Journal

A Relational Semantics for Ockham’s Modalities

Authors : Davide Falessi; Fabien Schang

Subjects: logical relations; modalities; numbering semantics

Source: Axioms, Vol 12, Iss 5, p 445 (2023)

Read Online Read More Add to Saved list

Academic Journal

A relational semantics for the logic of bounded lattices

Authors : Luciano J. González

Subjects: logic of bounded lattice; polarity; two-sorted frame

Source: Mathematica Bohemica, Vol 144, Iss 3, Pp 225-240 (2019)

Read Online Read More Add to Saved list

Academic Journal

The Rating Scale Paradox: Semantics Instability versus Information Loss

Authors : Jacopo Giacomelli

Subjects: T57-57.97; 03 medical and health sciences; Applied mathematics. Quantitative methods

Source: Standards, Vol 2, Iss 3, Pp 352-365 (2022)Standards; Volume 2; Issue 3; Pages: 352-365

Read Online Read More Add to Saved list

Academic Journal

Trace and Stable Failures Semantics for CSP-Agda

Authors : Bashar Igried; Anton Setzer

Subjects: FOS: Computer and information sciences; Computer Science - Logic in Computer Science; Computer Science - Programming Languages

Source: Electronic Proceedings in Theoretical Computer Science, Vol 258, Iss Proc. CoALP-Ty 2016, Pp 36-51 (2017)

Read Online Read More Add to Saved list

Academic Journal

A Modular Structural Operational Semantics for Delimited Continuations

Authors : Sculthorpe, N; Torrini, P; Mosses, PD ...

Subjects: FOS: Computer and information sciences; Computer Science - Programming Languages; D.3.3

Source: Electronic Proceedings in Theoretical Computer Science, Vol 212, Iss Proc. WoC 2015, Pp 63-80 (2016)Electronic Proceedings in Theoretical Computer Science

Read Online Read More Add to Saved list

Academic Journal

Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models

Authors : Toro, Mauricio; Philippou, Anna; Arboleda, S. ...

Subjects: FOS: Computer and information sciences; 0301 basic medicine; Computation theory

Source: Electronic Proceedings in Theoretical Computer Science, Vol 204, Iss Proc. DCM 2015, Pp 79-94 (2016)Electronic Proceedings in Theoretical Computer Science, EPTCS11th International Workshop

Read Online Read More Add to Saved list

Academic Journal

Basic Core Fuzzy Logics and Algebraic Routley–Meyer-Style Semantics

Authors : Yang, Eunsuk

Subjects: (core) fuzzy logics; implicational tonoid fuzzy logics; operational semantics

Source: Axioms, Vol 10, Iss 4, p 273 (2021)AxiomsVolume 10Issue 4

Read Online Read More Add to Saved list