Source: GECCO CompanionEvolutionary ComputationEvolutionary Computation, Massachusetts Institute of Technology Press (MIT Press), In press, ⟨10.1162/evco_a_00293⟩Evolutionary Computation

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

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

A Feature-based Survey of Model View Approaches

Authors : Hugo Bruneliere; Jordi Cabot; Erik Burger ...

Subjects: Computer science; Complex system; [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Source: MoDELSSoftware and Systems ModelingSoftware and Systems Modeling, 2019, 18 (3), pp.1931-1952. ⟨10.1007/s10270-017-0622-9⟩Proceedings of the 21th

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

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

Regular Transducer Expressions for Regular Transformations

Authors : Vrunda Dave; Shankara Narayanan Krishna; Paul Gastin ...

Subjects: FOS: Computer and information sciences; Monoid; Pure mathematics

Source: LICSInformation and ComputationInformation and Computation, 2022, 282, pp.104655. ⟨10.1016/j.ic.2020.104655⟩

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

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

A reconstruction of default conditionals within epistemic logic

Authors : Christos Moyzes; Costas D. Koutras; Christos Rantsoudis ...

Subjects: Knowledge representation and reasoning; Statement (logic); Computer science

Source: SACFundamenta InformaticaeFundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2019, 166 (2), pp.167-197. ⟨10.3233/FI-2019-1799⟩

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

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

Solving Rank-Constrained Semidefinite Programs in Exact Arithmetic

Authors : Simone Naldi;

Subjects: [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]; Computer Science - Symbolic Computation; FOS: Computer and information sciences

Source: ISSACJournal of Symbolic ComputationJournal of Symbolic Computation, Elsevier, 2018, 85, pp.206-223. ⟨10.1016/j.jsc.2017.07.009⟩

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

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

Denotational semantics of recursive types in synthetic guarded domain theory

Authors : Rasmus Ejlers Møgelberg; Marco Paviotti

Subjects: FOS: Computer and information sciences; Computer Science - Logic in Computer Science; Double recursion

Source: LICSMøgelberg, R E & Paviotti, M 2016, Denotational semantics of recursive types in synthetic guarded domain theory . in LICS '16 Proceedings of the 31st Annual

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

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

Proof checking and logic programming

Authors : Dale Miller;

Subjects: Theoretical computer science; Computer science; focused proof

Source: PPDPFormal Aspects of ComputingFormal Aspects of Computing, Springer Verlag, 2017, 29 (3), pp.383-399 ⟨10.1007/s00165-016-0393-z⟩Formal Aspects of Computing, 2017, 29 (3),

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

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

Separating regular languages with first-order logic

Authors : Thomas Place; Marc Zeitoun;

Subjects: FOS: Computer and information sciences; Computer Science - Logic in Computer Science; [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO]

Source: CSL-LICSLogical Methods in Computer ScienceLogical Methods in Computer Science, Logical Methods in Computer Science Association, 2016, 12 (1), ⟨10.2168/LMCS-12(1:5)2016⟩CSL-LICS

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

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

Proposing Multimodal Integration Model Using LSTM and Autoencoder

Authors : Hiroyuki Iizuka; Wataru Noguchi; Masahito Yamamoto

Subjects: Decodes; 0209 industrial biotechnology; Computer science

Source: EAI Endorsed Transactions on Security and Safety, Vol 3, Iss 10, Pp 1-8 (2016)

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

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

Transporting functions across ornaments

Authors : DagandPierre-Evariste; McBrideConor;

Subjects: FOS: Computer and information sciences; Theoretical computer science; Computer science

Source: ICFPJournal of Functional ProgrammingJournal of Functional Programming, Cambridge University Press (CUP), 2014, 24 (2-3), pp.67. ⟨10.1017/S0956796814000069⟩Journal of Functional

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

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