| 1 |
Meta-Analysis of the Functional Neuroimaging Literature with Probabilistic Logic Programming
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03590714 ; 2022 (2022)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
INFORMATION WARS’ PATHOGENIC TEXTS NEUTRALIZATION ALGORITHM ; АЛГОРИТМ НЕЙТРАЛИЗАЦИИ ПАТОГЕННЫХ ТЕКСТОВ ИНФОРМАЦИОННЫХ ВОЙН ; АЛГОРИТМ НЕЙТРАЛІЗАЦІЇ ПАТОГЕННИХ ТЕКСТІВ ІНФОРМАЦІЙНИХ ВОЄН
|
|
|
|
In: Opera in linguistica ukrainiana; № 25 (2018); 236-248 ; Записки з українського мовознавства; № 25 (2018); 236-248 ; 2415-7562 ; 2414-0627 (2018)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
XMG2: Describing Description Languages
|
|
|
|
In: Logical Aspects of Computational Linguistics (LACL 2016) ; https://hal.archives-ouvertes.fr/hal-01361316 ; Logical Aspects of Computational Linguistics (LACL 2016), Dec 2016, Nancy, France. pp.255-272, ⟨10.1007/978-3-662-53826-5_16⟩ ; http://lacl.gforge.inria.fr/lacl-2016/index-presentation.html (2016)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Tracing vs. Partial Evaluation ; Tracing vs. Partial Evaluation: Comparing Meta-Compilation Approaches for Self-Optimizing Interpreters
|
|
|
|
In: Proceedings of ACM International Conference on Object Oriented Programming Systems Languages & Applications (OOPSLA '15) ; https://hal.inria.fr/hal-01205345 ; Proceedings of ACM International Conference on Object Oriented Programming Systems Languages & Applications (OOPSLA '15), Oct 2015, Pittsburgh, PA, United States. ⟨10.1145/2814270.2814275⟩ (2015)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Extensible Document-Based Model Web Engineering
|
|
|
|
In: Research Challenges in Information Science (RCIS), 2013 IEEE Seventh International Conference on ; https://hal.archives-ouvertes.fr/hal-01073662 ; Research Challenges in Information Science (RCIS), 2013 IEEE Seventh International Conference on, May 2013, Paris, France. pp.1 - 11, ⟨10.1109/RCIS.2013.6577713⟩ (2013)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Generative unbinding of names
|
|
|
|
In: http://www.cl.cam.ac.uk/~amp12/papers/genun/genun-popl.pdf (2007)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
"Programação neurolinguística: transformação e persuasão no metamodelo" ; Neuro-Linguistic Programming: transformation and persuasion in meta-model.
|
|
Azevedo, Regina Maria. - : Biblioteca Digital de Teses e Dissertações da USP, 2006. : Universidade de São Paulo, 2006. : Escola de Comunicações e Artes, 2006
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Quality of Service-Driven Requirements Analyses for Component Composition: A Two-Level Grammar++ Approach
|
|
|
|
In: DTIC (2005)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
Theory of objects and application to the C++ language
|
|
In: https://www.lrde.epita.fr/dload/20021030-Seminar/gawedzki1002_objects_cpp_report.pdf (2002)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Reconstruction of paradigm shifts
|
|
|
|
In: http://www.cwi.nl/~ralf/waga99.pdf (1999)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
Putting Declarative Meta Control to Work
|
|
|
|
In: DTIC AND NTIS (1998)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
Primitive Recursion for Higher Order Abstract Syntax
|
|
|
|
In: DTIC AND NTIS (1996)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
Tools for Testing Denotational Semantic Definitions of Programming Languages.
|
|
|
|
In: DTIC AND NTIS (1983)
|
|
BASE
|
|
Show details
|
|
|
| 16 |
Meta-Language Utterances in Purposive Discourse.
|
|
|
|
In: DTIC AND NTIS (1982)
|
|
BASE
|
|
Show details
|
|
|
| 17 |
Semantics of Programming Languages—Denotational seman-
|
|
|
|
In: http://www-kasm.nii.ac.jp/papers/takeda/09/koide09elw.pdf
|
|
BASE
|
|
Show details
|
|
|
| 18 |
Semantics of Programming Languages—Denotational seman-
|
|
|
|
In: http://www-kasm.nii.ac.jp/~koide/SWCLOS2/KoideELW.pdf
|
|
BASE
|
|
Show details
|
|
|
|
|
