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)

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

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

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

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

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

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 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

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

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

An automated system repair framework with signal temporal logic

Theoretical calculations of nonlinear optical calculations of 2D materials

اتصل بنا

اتبع