Source: Software and systems modeling 20(3), 611-639 (2021). doi:10.1007/s10270-021-00876-zSoftware and Systems Modeling, 20, 611–639Software and systems modelingSoftware and systems

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Tractable Lexical-Functional Grammar

Authors : Ronald M. Kaplan; Jürgen Wedekind

Subjects: 050101 languages & linguistics; Linguistics and Language; Grammar

Source: Computational Linguistics. 46:515-569

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Off-the-shelf automated analysis of liveness properties for just paths

Authors : Bas Luttik; Mark Bouwman; Tim A. C. Willemse ...

Subjects: Critical section; Property (philosophy); Computer Networks and Communications

Source: Acta Informatica, 57(3-5), 551-590. Springer

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

New analytical formalisms used in finite element analysis of robots with elastic elements

Authors : Sorin Vlase; Marin Marin; Iuliu Negrean

Subjects: robotics; Science (General); gibbs-appell

Source: Journal of Taibah University for Science, Vol 14, Iss 1, Pp 1335-1341 (2020)

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

A Recommender System for Mobility-as-a-Service Plans Selection

Authors : Domokos Esztergár-Kiss; Attila Aba; Efthimios Bothos

Subjects: smart cities; Computer science; mobility as a service

Source: SustainabilityVolume 13Issue 15Sustainability, Vol 13, Iss 8245, p 8245 (2021)

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Grounding Language Processing: The Added Value of Specifying Linguistic/Compositional Representations and Processes

Authors : Pia Knoeferle

Subjects: Consciousness. Cognition; Computer science; Sentence processing

Source: Journal of CognitionJournal of Cognition, Vol 4, Iss 1 (2021)Journal of Cognition; Vol 4, No 1 (2021); 24

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

An Incremental Algorithm for Computing the Grounded Extension of Dynamic Abstract Argumentation Frameworks

Authors : Francesco Parisi; Sergio Greco; Gianvincenzo Alfano

Subjects: Computational model; Persuasion; Theoretical computer science

Source: Group Decision and Negotiation. 28:935-960

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

An automated system repair framework with signal temporal logic

Authors : Ebru Aydin Gol; Mert Ergurtuna; Beyazit Yalcinkaya

Subjects: Dynamical systems theory; Computer Networks and Communications; Computer science

Source: Acta Informatica

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Theoretical calculations of nonlinear optical calculations of 2D materials

Authors : G. B. Ventura; J. M. Viana Parente Lopes; D. J. Passos

Subjects: Physics; Formalism (philosophy of mathematics); Theoretical physics

Source: EPJ Web of Conferences, Vol 233, p 03001 (2020)

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

نتائج البحث

فلترة النتائج

Studying the $$\alpha$$-Decay Half-Lives of Nuclei in the Range $${68\leqslant Z\leqslant 118}$$ by Double-Folding and Cluster Formation Formalisms

Multi-paradigm modelling for cyber–physical systems

Tractable Lexical-Functional Grammar

Off-the-shelf automated analysis of liveness properties for just paths

New analytical formalisms used in finite element analysis of robots with elastic elements

A Recommender System for Mobility-as-a-Service Plans Selection

Grounding Language Processing: The Added Value of Specifying Linguistic/Compositional Representations and Processes

An Incremental Algorithm for Computing the Grounded Extension of Dynamic Abstract Argumentation Frameworks

An automated system repair framework with signal temporal logic

Theoretical calculations of nonlinear optical calculations of 2D materials

اتصل بنا

اتبع