Results 91 to 100 of about 272 (146)

Recent Advances in Fault Diagnosis and Opacity Analysis in Discrete Event Systems. [PDF]

Sensors (Basel)
Mangini AM, Liu R, Duan W, Zhang S, Fanti MP.   +4 more
europepmc   +1 more source

Generalized Revenge. [PDF]

Australas J Philos, 2020
Murzi J, Rossi L.
europepmc   +1 more source

ASP-assisted symbolic regression for interpretable modelling of 3D laminar channel flow. [PDF]

Sci Rep
Aravanis T, Chrimatopoulos G, Ferdows M, Xenos M, Tzirtzilakis EE.   +4 more
europepmc   +1 more source

Structured Prompt Interrogation and Recursive Extraction of Semantics (SPIRES): a method for populating knowledge bases using zero-shot learning. [PDF]

Bioinformatics
Caufield JH, Hegde H, Emonet V, Harris NL, Joachimiak MP, Matentzoglu N, Kim H, Moxon S, Reese JT, Haendel MA, Robinson PN, Mungall CJ.   +11 more
europepmc   +1 more source

Advancing Code Obfuscation: Novel Opaque Predicate Techniques to Counter Dynamic Symbolic Execution

Computers, Materials & Continua
Yan Cao, Zhizhuang Zhou, Yan Zhuang
openaire   +1 more source

Making sense of transformer success. [PDF]

Front Artif Intell
Angius N, Perconti P, Plebe A, Acciai A.
europepmc   +1 more source

Case Marking in Hindi as the Weaker Language. [PDF]

Front Psychol, 2019
Montrul S, Bhatia A, Bhatt R, Puri V.
europepmc   +1 more source

Oracle-guided Efficient Opaque Predicate Detection with Mixed Boolean Arithmetic Deobfuscation

KIISE Transactions on Computing Practices
Hyeongchang Jeon, Seoyeon Kang, Seoksu Lee, Eun-Sun Cho   +3 more
openaire   +1 more source

The Semantic Units Framework, a technology-agnostic representational approach to FAIR and CLEAR knowledge infrastructures. [PDF]

Sci Data
Vogt L.
europepmc   +1 more source

A full formal representation of Arrow's impossibility theorem. [PDF]

PLoS One
Yamamoto K.
europepmc   +1 more source