-
1201
A Distribution Law for CCS and a New Congruence Result for the pi-calculus
Published 2008-05-01“…Logical Methods in Computer Science…”
Get full text
Article -
1202
OBLEA: A New Methodology to Optimise Bluetooth Low Energy Anchors in Multi-occupancy Location Systems
Published 2023-06-01“…Journal of Universal Computer Science…”
Get full text
Article -
1203
A Hoare logic for the coinductive trace-based big-step semantics of While
Published 2015-02-01“…Logical Methods in Computer Science…”
Get full text
Article -
1204
Query sampler: generating query sets for analyzing search engines using keyword research tools
Published 2023-06-01“…PeerJ Computer Science…”
Get full text
Article -
1205
Containerization methods in internet service applications
Published 2020-06-01“…Journal of Computer Sciences Institute…”
Get full text
Article -
1206
Automated composition of Galician Xota—tuning RNN-based composers for specific musical styles using deep Q-learning
Published 2023-05-01“…PeerJ Computer Science…”
Get full text
Article -
1207
A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems
Published 2012-03-01“…Logical Methods in Computer Science…”
Get full text
Article -
1208
Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity
Published 2019-12-01“…Logical Methods in Computer Science…”
Get full text
Article -
1209
Extension by Conservation. Sikorski's Theorem
Published 2018-10-01“…Logical Methods in Computer Science…”
Get full text
Article -
1210
An ensemble learning-based feature selection algorithm for identification of biomarkers of renal cell carcinoma
Published 2024-01-01“…PeerJ Computer Science…”
Get full text
Article -
1211
MCNMF-Unet: a mixture Conv-MLP network with multi-scale features fusion Unet for medical image segmentation
Published 2024-01-01“…PeerJ Computer Science…”
Get full text
Article -
1212
Leveraging index compression techniques to optimize the use of co-processors
Published 2024-04-01“…Journal of Computer Science and Technology…”
Get full text
Article -
1213
Resilience of political leaders and healthcare organizations during COVID-19
Published 2022-10-01“…PeerJ Computer Science…”
Get full text
Article -
1214
Evaluation scheme design of college information construction based on a combined algorithm
Published 2023-05-01“…PeerJ Computer Science…”
Get full text
Article -
1215
Effective short-term forecasts of Saudi stock price trends using technical indicators and large-scale multivariate time series
Published 2023-01-01“…PeerJ Computer Science…”
Get full text
Article -
1216
Your blush gives you away: detecting hidden mental states with remote photoplethysmography and thermal imaging
Published 2024-03-01“…PeerJ Computer Science…”
Get full text
Article -
1217
ELI: an IoT-aware big data pipeline with data curation and data quality
Published 2023-10-01“…PeerJ Computer Science…”
Get full text
Article -
1218
Data aggregation algorithm for wireless sensor networks with different initial energy of nodes
Published 2024-03-01“…PeerJ Computer Science…”
Get full text
Article -
1219
Dagger linear logic for categorical quantum mechanics
Published 2021-11-01“…Logical Methods in Computer Science…”
Get full text
Article -
1220
On Sizes of Linear and Tree-Like Proofs for any Formulae Families in Some Systems of Propositional Calculus
Published 2022-06-01“…Mathematical Problems of Computer Science…”
Get full text
Article