-
601
Quantum–Classical Mechanics: Statistical Approach to Molecular Collisions
Published 2023-04-01“…Computer Sciences & Mathematics Forum…”
Get full text
Article -
602
Diversification in an image retrieval system based on text and image processing
Published 2014-11-01“…Computer Science Journal of Moldova…”
Get full text
Article -
603
Essential Convexity and Complexity of Semi-Algebraic Constraints
Published 2012-10-01“…Logical Methods in Computer Science…”
Get full text
Article -
604
Optimizing e-commerce warehousing through open dimension management in a three-dimensional bin packing system
Published 2023-10-01“…PeerJ Computer Science…”
Get full text
Article -
605
The First-Order Theory of Ground Tree Rewrite Graphs
Published 2014-02-01“…Logical Methods in Computer Science…”
Get full text
Article -
606
General Recursion via Coinductive Types
Published 2005-07-01“…Logical Methods in Computer Science…”
Get full text
Article -
607
Integrity Constraints Revisited: From Exact to Approximate Implication
Published 2022-01-01“…Logical Methods in Computer Science…”
Get full text
Article -
608
A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata
Published 2007-07-01“…Logical Methods in Computer Science…”
Get full text
Article -
609
Local Redundancy in SAT: Generalizations of Blocked Clauses
Published 2018-10-01“…Logical Methods in Computer Science…”
Get full text
Article -
610
On the Complexity of Equivalence and Minimisation for Q-weighted Automata
Published 2013-03-01“…Logical Methods in Computer Science…”
Get full text
Article -
611
On Small Types in Univalent Foundations
Published 2023-05-01“…Logical Methods in Computer Science…”
Get full text
Article -
612
Medical Image Registration by means of a Bio-Inspired Optimization Strategy
Published 2012-07-01“…Computer Science Journal of Moldova…”
Get full text
Article -
613
Further Remarks on Irrational Systems and Their Applications
Published 2022-12-01“…Computer Sciences & Mathematics Forum…”
Get full text
Article -
614
Yet Another Method for Image Segmentation based on Histograms and Heuristics
Published 2012-07-01“…Computer Science Journal of Moldova…”
Get full text
Article -
615
Understanding the black-box: towards interpretable and reliable deep learning models
Published 2023-11-01“…PeerJ Computer Science…”
Get full text
Article -
616
Comparison of web application performance on the example of Laravel and Vaadin frameworks
Published 2022-03-01“…Journal of Computer Sciences Institute…”
Get full text
Article -
617
Analyzing Complex Words in Hindi using Parameters of Classical Readability Formulae (Part 1)
Published 2021-12-01“…Computer Science Journal of Moldova…”
Get full text
Article -
618
Multi-angle perception and convolutional neural network for service quality evaluation of cross-border e-commerce logistics enterprise
Published 2024-02-01“…PeerJ Computer Science…”
Get full text
Article -
619
Finding Translation Examples for Under-Resourced Language Pairs or for Narrow Domains; the Case for Machine Translation
Published 2012-07-01“…Computer Science Journal of Moldova…”
Get full text
Article -
620
The height of piecewise-testable languages and the complexity of the logic of subwords
Published 2019-04-01“…Logical Methods in Computer Science…”
Get full text
Article