Showing 821 - 840 results of 7,253 for search '"Computer Science"', query time: 0.28s Refine Results
  1. 821
    A Static Analysis Framework for Livelock Freedom in CSP

    A Static Analysis Framework for Livelock Freedom in CSP by Joel Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell

    Published 2013-09-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  2. 822
    Service for fault tolerance in the Ad Hoc Networks based on Multi Agent Systems

    Service for fault tolerance in the Ad Hoc Networks based on Multi Agent Systems by Ghalem Belalem, Esma Insaf Djebbar, Abderahmann Benaissa, Ali Cherif Brakeche

    Published 2011-02-01
    “…Computer Science Journal of Moldova…”
    Get full text
    Article
  3. 823
    Security Policies as Membranes in Systems for Global Computing

    Security Policies as Membranes in Systems for Global Computing by Daniele Gorla, Matthew Hennessy, Vladimiro Sassone

    Published 2005-12-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  4. 824
    Analysis and design of scalable pre-processing techniques of instances for imbalanced Big Data problems. Applications in humanitarian emergencies situations.

    Analysis and design of scalable pre-processing techniques of instances for imbalanced Big Data problems. Applications in humanitarian emergencies situations. by María José Basgall

    Published 2022-10-01
    “…Journal of Computer Science and Technology…”
    Get full text
    Article
  5. 825
    A Universal Ordinary Differential Equation

    A Universal Ordinary Differential Equation by Olivier Bournez, Amaury Pouly

    Published 2020-02-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  6. 826
    The intellectual hypertext for knowledge transfer

    The intellectual hypertext for knowledge transfer by N. Andrienko

    Published 1994-11-01
    “…Computer Science Journal of Moldova…”
    Get full text
    Article
  7. 827
    The assessment of usefulness modern IT tools of data analysis Big Data

    The assessment of usefulness modern IT tools of data analysis Big Data by Rafał Wasiluk, Piotr Muryjas

    Published 2017-12-01
    “…Journal of Computer Sciences Institute…”
    Get full text
    Article
  8. 828
    Empirical Analysis of Phrase-Based Statistical Machine Translation System for English to Hindi Language

    Empirical Analysis of Phrase-Based Statistical Machine Translation System for English to Hindi Language by Arun Babhulgaonkar, Shefali Sonavane

    Published 2022-05-01
    “…Vietnam Journal of Computer Science…”
    Get full text
    Article
  9. 829
    Monoidal Width

    Monoidal Width by Elena Di Lavore, Paweł Sobociński

    Published 2023-09-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  10. 830
    Undergraduate research in software engineering. An experience and evaluation report

    Undergraduate research in software engineering. An experience and evaluation report by Gerardo Matturro

    Published 2023-03-01
    “…Journal of Universal Computer Science…”
    Get full text
    Article
  11. 831
    A topological interpretation of three Leibnizian principles within the functional extensions

    A topological interpretation of three Leibnizian principles within the functional extensions by Marco Forti

    Published 2018-07-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  12. 832
    Intelligent Vision Based Decision Making System for Aviation Accidents and Incidents

    Intelligent Vision Based Decision Making System for Aviation Accidents and Incidents by Monika Lamba, Seema Verma, Pardeep Kumar

    Published 2023-07-01
    “…Journal of Universal Computer Science…”
    Get full text
    Article
  13. 833
    The 3rd International Day on Computer Science and Applied Mathematics (ICSAM’23)

    The 3rd International Day on Computer Science and Applied Mathematics (ICSAM’23) by Abdeslam Jakimi, Mohamed Oualla

    Published 2023-07-01
    “…Computer Sciences & Mathematics Forum…”
    Get full text
    Article
  14. 834
    Wykorzystanie User Experience w procesie poprawy GUI aplikacji

    Wykorzystanie User Experience w procesie poprawy GUI aplikacji by Bartłomiej Kultys, Marek Miłosz

    Published 2016-11-01
    “…Journal of Computer Sciences Institute…”
    Get full text
    Article
  15. 835
    Modified graph-based algorithm to analyze security threats in IoT

    Modified graph-based algorithm to analyze security threats in IoT by Ferhat Arat, Sedat Akleylek

    Published 2023-12-01
    “…PeerJ Computer Science…”
    Get full text
    Article
  16. 836
    Semi-2DCAE: a semi-supervision 2D-CNN AutoEncoder model for feature representation and classification of encrypted traffic

    Semi-2DCAE: a semi-supervision 2D-CNN AutoEncoder model for feature representation and classification of encrypted traffic by Jun Cui, Longkun Bai, Guangxu Li, Zhigui Lin, Penggao Zeng

    Published 2023-11-01
    “…PeerJ Computer Science…”
    Get full text
    Article
  17. 837
    Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?

    Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment? by Nadia Creignou, Reinhard Pichler, Stefan Woltran

    Published 2018-10-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  18. 838
    Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi

    Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi by Jose Espirito Santo, Ralph Matthes, Luis Pinto

    Published 2009-05-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  19. 839
    Using of P2P Networks for Acceleration of RTE Tasks Solving

    Using of P2P Networks for Acceleration of RTE Tasks Solving by Adrian Iftene

    Published 2008-07-01
    “…Computer Science Journal of Moldova…”
    Get full text
    Article
  20. 840
    Alzheimer’s disease diagnosis and classification using deep learning techniques

    Alzheimer’s disease diagnosis and classification using deep learning techniques by Waleed Al Shehri

    Published 2022-12-01
    “…PeerJ Computer Science…”
    Get full text
    Article

Search Tools: