Performance Evaluation of VGG_19 Model for Brain Tumor Datasets

JOURNAL ARTICLE published 3 May 2024 in International Journal of Scientific Research in Computer Science, Engineering and Information Technology

Sign Recognition and Voice Conversion Device for Dumb

JOURNAL ARTICLE published 3 May 2024 in International Journal of Scientific Research in Computer Science, Engineering and Information Technology

H-ACO with Consecutive Bases Pairing Constraint for Designing DNA Sequences

JOURNAL ARTICLE published 29 April 2024 in Interdisciplinary Sciences: Computational Life Sciences

Research funded by National Natural Science Foundation of China (62272418,62102058) | Basic Public Welfare Research Program of Zhejiang Province (LGG18E050011)

Authors: Xuwei Yang | Donglin Zhu | Can Yang | Changjun Zhou

Negative correlation between soil salinity and soil organic carbon variability

JOURNAL ARTICLE published 30 April 2024 in Proceedings of the National Academy of Sciences

Research funded by EC | ERC | HORIZON EUROPE European Research Council (101086179) | NILU SIS-EO (B121004) | NILU (B106057)

Authors: Amirhossein Hassani | Pete Smith | Nima Shokri

Harnessing quantum information to advance computing

JOURNAL ARTICLE published 26 April 2024 in Nature Computational Science

Enriching surface-ordered defects on WO ₃ for photocatalytic CO ₂ -to-CH ₄ conversion by water

JOURNAL ARTICLE published 30 April 2024 in Proceedings of the National Academy of Sciences

Research funded by MOST | National Natural Science Foundation of China (22272024 52222102 51871058 21961142019 22032002 U1905214 21425309)

Authors: Sikang Xue | Changgeng Wei | Min Shen | Xiaocong Liang | Jiali Wang | Can Yang | Wandong Xing | Sibo Wang | Wei Lin | Zhiyang Yu | Yidong Hou | Jimmy C. Yu | Xinchen Wang

Mechanizing Session-Types: Enforcing Linearity without Linearity

JOURNAL ARTICLE published 23 April 2024 in Electronic Proceedings in Theoretical Computer Science

Authors: Brigitte Pientka

JOURNAL ISSUE published 23 April 2024 in Electronic Proceedings in Theoretical Computer Science

Editors: Temur Kutsia | Daniel Ventura | David Monniaux | José F. Morales

More Church-Rosser Proofs in BELUGA

JOURNAL ARTICLE published 23 April 2024 in Electronic Proceedings in Theoretical Computer Science

Authors: Alberto Momigliano | Martina Sassella

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis

JOURNAL ARTICLE published 23 April 2024 in Electronic Proceedings in Theoretical Computer Science

Authors: Temur Kutsia | Daniel Ventura | David Monniaux | José F. Morales

Cutting a Proof into Bite-Sized Chunks (Incrementally Proving Termination in Higher-Order Term Rewriting)

JOURNAL ARTICLE published 23 April 2024 in Electronic Proceedings in Theoretical Computer Science

Authors: Cynthia Kop

Embedding Differential Dynamic Logic in PVS

JOURNAL ARTICLE published 23 April 2024 in Electronic Proceedings in Theoretical Computer Science

Authors: J. Tanner Slagel | Mariano Moscato | Lauren White | César A. Muñoz | Swee Balachandran | Aaron Dutle

Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification

JOURNAL ARTICLE published 23 April 2024 in Electronic Proceedings in Theoretical Computer Science

Authors: Márk Somorjai | Mihály Dobos-Kovács | Zsófia Ádám | Levente Bajczi | András Vörös

CHC-COMP 2023: Competition Report

JOURNAL ARTICLE published 23 April 2024 in Electronic Proceedings in Theoretical Computer Science

Authors: Emanuele De Angelis | Hari Govind V K

Semi-Substructural Logics with Additives

JOURNAL ARTICLE published 23 April 2024 in Electronic Proceedings in Theoretical Computer Science

Authors: Niccolò Veltri | Cheng-Syuan Wan

Data Abstraction, Arrays, Maps, and Completeness, aka "Cell Morphing"

JOURNAL ARTICLE published 23 April 2024 in Electronic Proceedings in Theoretical Computer Science

Authors: David Monniaux

An Encoding for CLP Problems in SMT-LIB

JOURNAL ARTICLE published 23 April 2024 in Electronic Proceedings in Theoretical Computer Science

Authors: Daneshvar Amrollahi | Hossein Hojjat | Philipp Rümmer

Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms

JOURNAL ARTICLE published 23 April 2024 in Electronic Proceedings in Theoretical Computer Science

Authors: Thaynara Arielly de Lima | Andréia Borges Avelar | André Luiz Galdino | Mauricio Ayala-Rincón

Proof Terms for Higher-Order Rewriting and Their Equivalence

JOURNAL ARTICLE published 23 April 2024 in Electronic Proceedings in Theoretical Computer Science

Authors: Pablo Barenbaum

Stalnaker's Epistemic Logic in Isabelle/HOL

JOURNAL ARTICLE published 23 April 2024 in Electronic Proceedings in Theoretical Computer Science

Authors: Laura P. Gamboa Guzman | Kristin Y. Rozier