نتائج البحث

A term rewriting technique for decision graphs

• Authors : Badban, Bahareh

Subjects: Term Rewrite System; First-Order Logic; Decision Procedure

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

Learning and Rewriting in Fuzzy Rule Graphs

• Authors : Fischer, Ingrid; Koch, Manuel; Berthold, Michael R.

Subjects: ddc:004

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

On the verification of SCOOP programs

• Authors : Caltais, Georgiana; Meyer, Bertrand

Subjects: SCOOP; Operational semantics; Alias analysis

• Source: Science of Computer Programming. 2017, 133(2), pp. 194-215. ISSN 0167-6423. eISSN 1872-7964. Available under: doi:10.1016/j.scico.2016.08.005

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

Myth and Intersections of Myth and Gender in Canadian Culture : Margaret Atwood’s Revision of the 'Odyssey' in 'The Penelopiad'

• Authors : Nischik, Reingard M.

Subjects: ddc:810

• Source: Zeitschrift für Anglistik und Amerikanistik. De Gruyter. 2020, 68(3), pp. 251-272. ISSN 0044-2305. eISSN 2196-4726. Available under: doi:10.1515/zaa-2020-2003

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

DyNetKAT : An Algebra of Dynamic Networks

• Authors : Caltais, Georgiana; Hojjat, Hossein; Mousavi, Mohammad Reza

Subjects: Software Defined Networks; Dynamic Updates; Dynamic Network Reconfiguration

• Source: BOUYER, Patricia, Hrsg., Lutz SCHRÖDER, Hrsg. Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences

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

OptiDose : Computing the Individualized Optimal Drug Dosing Regimen Using Optimal Control

• Authors : Bachmann, Freya; Koch, Gilbert; Pfister, Marc

Subjects: Optimal control; Model predictive control; Quasi-Newton methods

• Source: Journal of Optimization Theory and Applications. Springer. 2021, 189(1), pp. 46-65. ISSN 0022-3239. eISSN 1573-2878. Available under: doi:10.1007/s10957-021-01819-w

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

'Why didn't you just stay where you were, a relic in the memory of poets?' : Yoruban ritual and sororal commonality in Fémi Òsófisan's 'Tègónni: An African Antigone'

• Authors : Wald, Christina

Subjects: Fémi Òsófisan; Ismene; postcolonial rewritings

• Source: The Journal of Commonwealth Literature. Sage Publications. 2021, 56(2), pp. 201-217. ISSN 0021-9894. eISSN 1741-6442. Available under: doi:10.1177/0021989418773142

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

Inverse Procedural Modeling of Branching Structures by Inferring L-Systems

• Authors : Guo, Jianwei; Jiang, Haiyong; Benes, Bedrich

Subjects: ddc:004

• Source: ACM Transactions on Graphics. Association for Computing Machinery (ACM). 2020, 39(5), pp. 1-13. ISSN 0730-0301. eISSN 1557-7368. Available under: doi:10.1145/3394105

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

An execution environment for C-SPARQL queries

• Authors : Barbieri, Davide Francesco; Braga, Daniele; Ceri, Stefano

Subjects: ddc:004

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

Monad comprehensions : a versatile representation for queries

• Authors : Grust, Torsten

Subjects: ddc:004

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