Showing 681 - 700 results of 7,253 for search '"Computer Science"', query time: 0.29s Refine Results
  1. 681
    Sistem Informasi Berbasis Web untuk Mempercepat Penyeleksian Calon Penerima Beasiswa PPA dan BBP di Politeknik Negeri Bengkalis

    Sistem Informasi Berbasis Web untuk Mempercepat Penyeleksian Calon Penerima Beasiswa PPA dan BBP di Politeknik Negeri Bengkalis by Hendrianjas Hendrianjas, Lidya Wati, Rezki Kurniati

    Published 2018-08-01
    “…Indonesian Journal of Computer Science…”
    Get full text
    Article
  2. 682
    Comparison of frameworks for developing web applications in PHP

    Comparison of frameworks for developing web applications in PHP by Kamil Pawelec, Piotr Kopniak

    Published 2022-03-01
    “…Journal of Computer Sciences Institute…”
    Get full text
    Article
  3. 683
    TRX: A Formally Verified Parser Interpreter

    TRX: A Formally Verified Parser Interpreter by Adam Koprowski, Henri Binsztok

    Published 2011-06-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  4. 684
    Computing the sparse matrix vector product using block-based kernels without zero padding on processors with AVX-512 instructions

    Computing the sparse matrix vector product using block-based kernels without zero padding on processors with AVX-512 instructions by Bérenger Bramas, Pavel Kus

    Published 2018-04-01
    “…PeerJ Computer Science…”
    Get full text
    Article
  5. 685
    Visibly Tree Automata with Memory and Constraints

    Visibly Tree Automata with Memory and Constraints by Hubert Comon-Lundh, Florent Jacquemard, Nicolas Perrin

    Published 2008-06-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  6. 686
    Sahlqvist via Translation

    Sahlqvist via Translation by Willem Conradie, Alessandra Palmigiano, Zhiguang Zhao

    Published 2019-02-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  7. 687
    On Separation by Locally Testable and Locally Threshold Testable Languages

    On Separation by Locally Testable and Locally Threshold Testable Languages by Thomas Place, Lorijn van Rooijen, Marc Zeitoun

    Published 2014-09-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  8. 688
    Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets

    Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets by Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König

    Published 2008-10-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  9. 689
    Presenting Distributive Laws

    Presenting Distributive Laws by Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot

    Published 2015-08-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  10. 690
    AI-Based Adaptive Learning: A Systematic Mapping of the Literature

    AI-Based Adaptive Learning: A Systematic Mapping of the Literature by Aymane Ezzaim, Aziz Dahbi, Abdelfatteh Haidine, Abdelhak Aqqal

    Published 2023-10-01
    “…Journal of Universal Computer Science…”
    Get full text
    Article
  11. 691
    Researches in Artificial Intelligence in Republic of Moldova

    Researches in Artificial Intelligence in Republic of Moldova by Yu. Pechersky

    Published 1994-11-01
    “…Computer Science Journal of Moldova…”
    Get full text
    Article
  12. 692
    Linear Dependent Type Theory for Quantum Programming Languages

    Linear Dependent Type Theory for Quantum Programming Languages by Peng Fu, Kohei Kishida, Peter Selinger

    Published 2022-09-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  13. 693
    Initial Algebra Semantics for Cyclic Sharing Tree Structures

    Initial Algebra Semantics for Cyclic Sharing Tree Structures by Makoto Hamana

    Published 2010-09-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  14. 694
    On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics

    On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics by Matthias Hoelzel, Richard Wilke

    Published 2021-07-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  15. 695
    A Mutual Learning Framework for Pruned and Quantized Networks

    A Mutual Learning Framework for Pruned and Quantized Networks by Xiaohai Li, Yiqiang Chen, Jindong Wang

    Published 2023-04-01
    “…Journal of Computer Science and Technology…”
    Get full text
    Article
  16. 696
    Unification and Logarithmic Space

    Unification and Logarithmic Space by Clément Aubert, Marc Bagnol

    Published 2018-07-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  17. 697
    Reversing Place Transition Nets

    Reversing Place Transition Nets by Hernán Melgratti, Claudio Antares Mezzina, Irek Ulidowski

    Published 2020-10-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  18. 698
    Effect of visual imagery in COVID-19 social media posts on users’ perception

    Effect of visual imagery in COVID-19 social media posts on users’ perception by Waleed M. Al-nuwaiser

    Published 2022-11-01
    “…PeerJ Computer Science…”
    Get full text
    Article
  19. 699
    Making first order linear logic a generating grammar

    Making first order linear logic a generating grammar by Sergey Slavnov

    Published 2023-11-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  20. 700
    Axiomatization of betweenness in order-theoretic trees

    Axiomatization of betweenness in order-theoretic trees by Bruno Courcelle

    Published 2021-02-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article

Search Tools: