Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Burak Ekici"'
Publikováno v:
Journal of Medical Ultrasound, Vol 31, Iss 4, Pp 337-338 (2023)
Externí odkaz:
https://doaj.org/article/224999e8ced34103b2e463c0295c47de
Autor:
Burak Ekici
Publikováno v:
Axioms, Vol 12, Iss 1, p 43 (2022)
In this paper, we develop, in the proof assistant Coq, a definitional interpreter and a type-checker for a simply typed functional language, and formally prove that the mentioned type-checker is sound with respect to the definitional interpreter via
Externí odkaz:
https://doaj.org/article/5574250b86c544a28e15630986be53eb
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 301, Iss Proc. PxTP 2019, Pp 18-26 (2019)
This work is a part of an ongoing effort to prove the correctness of invertibility conditions for the theory of fixed-width bit-vectors, which are used to solve quantified bit-vector formulas in the Satisfiability Modulo Theories (SMT) solver CVC4. W
Externí odkaz:
https://doaj.org/article/05aa5ad7ef454eb39cdbfc45c402d87f
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 210, Iss Proc. HaTT 2016, Pp 21-29 (2016)
This extended abstract reports on current progress of SMTCoq, a communication tool between the Coq proof assistant and external SAT and SMT solvers. Based on a checker for generic first-order certificates implemented and proved correct in Coq, SMTCoq
Externí odkaz:
https://doaj.org/article/335c3647e78b4b0ba2cce2137b6db648
Autor:
Burak Ekici
Publikováno v:
Discrete Mathematics & Theoretical Computer Science, Vol vol. 20 no. 2, Iss Automata, Logic and Semantics (2018)
In this paper, we facilitate the reasoning about impure programming languages, by annotating terms with “decorations”that describe what computational (side) effect evaluation of a term may involve. In a point-free categorical language,called the
Externí odkaz:
https://doaj.org/article/8a7215cc2f404cf0b7ac0870acdfc3d1
Autor:
Burak EKİCİ, Hidayet TAKCI
Publikováno v:
Afyon Kocatepe University Journal of Sciences and Engineering. 22:1016-1027
Bilgisayar ağlarına yapılan saldırılar günden güne artarken ve saldırıların nitelikleri de sürekli olarak değişmektedir. Ağ saldırıları, bilgisayar ağlarına zarar vererek bilgi güvenliğini ortadan kaldırmaktadır. Bu durum kişi
Publikováno v:
Journal of Ultrasound in Medicine.
Autor:
Burak Ekici
Publikováno v:
Turkish Journal of Mathematics. 46:1538-1552
Autor:
Burak EKİCİ, Hidayet TAKCI
Publikováno v:
Volume: 8, Issue: 2 646-655
Bilecik Şeyh Edebali Üniversitesi Fen Bilimleri Dergisi
Bilecik Şeyh Edebali Üniversitesi Fen Bilimleri Dergisi
Electronic mail is a kind of digital letter sent over the Internet. A lot of documents such as, images, videos, and music can be transferred via electronic mail. E-mails are often preferred due to their cheapness and easy usage. E-mail is an effectiv
Autor:
Cezary Kaliszyk, Burak Ekici
(co)Monads are used to encapsulate impure operations of a computation. A (co)monad is determined by an adjunction and further determines a specific type of adjunction called the (co)Kleisli adjunction. Mac Lane introduced the comparison theorem which
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5c8aee3483587af25c1d60bcf2b3e0d7
https://hdl.handle.net/11413/7921
https://hdl.handle.net/11413/7921