Keywords: Sentiment analysis; Opinion mining; Spatio-temporal analysis; User location; nlp; Artificial intelligence; 68Q55; 68T50;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: 54A99; 06B30; 68Q55; c-space; Locally finitary compact; Coherent; Restriction and corestriction; Probabilistic powerdomain;
Keywords: 68N15; 68N17; 68Q55; 91A05; Game semantics; Intensional logic programming; Non-monotonicity;
Keywords: 68Q55; 68N15; 18C20; 18C50; Game semantics; Control operators; Computational monads; Exceptions; Continuations; Delimited control;
Keywords: 03B70; 03F52; 68Q55; 37A40; Linear logic; Dynamic semantics; Denotational semantics; Interaction graphs; Geometry of interaction; Measurable dynamics;
Keywords: 68Q55; 54A05; 06B35; 18B30Domain theory; Information systems; Formal topology; Coherence; Semantics
Keywords: 68Q55; 68Q60; 18C50; 03B70Reduced ML; Contextual equivalence; Full abstraction; Game semantics; ML-like references; Nominal techniques
Keywords: 68Q55; 03B70; 03F52; 18C50Game semantics; Full completeness; History-sensitive strategies; Sequentiality
Creating emoji lexica from unsupervised sentiment analysis of their descriptions
Keywords: Emoji analysis; Sentiment analysis; Opinion mining; Nlp; Artificial intelligence; 68Q55; 68T50;
Realizability for Peano arithmetic with winning conditions in HON games
Keywords: 03B70; 03F30; 68Q55; 18D15; Classical realizability; Peano arithmetic; Hyland Ong game semantics;
A game semantics for disjunctive logic programming
Keywords: 03B70; 68N17; 68Q55; 91A40; Logic programming; Disjunctive logic programming; Game semantics; Logic programming semantics;
Conduché property and Tree-based categories
Keywords: 18D20; 68Q55;
Partial metric monoids and semivaluation spaces
Keywords: 22A15; 22A26; 54E35; 54H12; 68Q55; Partial metric monoid; Quasi-metric; Weightable; Meet semilattice; Semivaluation; Interval domain; Domain of words; Dual complexity space;
CCS with Hennessy's merge has no finite-equational axiomatization
Keywords: 08A70; 03B45; 03C05; 68Q10; 68Q45; 68Q55; 68Q70; Concurrency; Process algebra; CCS; Bisimulation; Hennessy's merge; Left merge; Communication merge; Equational logic; Complete axiomatizations; Non-finitely based algebras;
A tutorial on coinductive stream calculus and signal flow graphs
Keywords: 68Q10; 68Q55; 65A85; Streams; Coinduction; Coalgebra; Signal flow graphs;