Ethereum Smart Contracts Under Scrutiny: A Survey of Security Verification Tools, Techniques, and Challenges by Mounira Kezadri Hamiaz, Maha Driss

Get full text

A Novel Data Analytics Methodology for Discovering Behavioral Risk Profiles: The Case of Diners During a Pandemic by Thouraya Gherissi Labben, Gurdal Ertek

Get full text

Focal Correlation and Event-Based Focal Visual Content Text Attention for Past Event Search by Pranita P. Deshmukh, S. Poonkuntran

Get full text

An Algorithm Based on Connectivity Properties for Finding Cycles and Paths on Kidney Exchange Compatibility Graphs by Roger Z. Ríos-Mercado, L. Carolina Riascos-Álvarez, Jonathan F. Bard

“…Kidney-paired donation programs assist patients in need of a kidney to swap their incompatible donor with another incompatible patient–donor pair for a suitable kidney in return. …”
Get full text

The Ubimus Plugging Framework: Deploying FPGA-Based Prototypes for Ubiquitous Music Hardware Design by Damián Keller, Aman Jagwani, Victor Lazzarini

“…The emergent field of embedded computing presents a challenging scenario for ubiquitous music (ubimus) design. …”
Get full text

Effective Heuristics for Solving the Multi-Item Uncapacitated Lot-Sizing Problem Under Near-Minimal Storage Capacities by Warut Boonphakdee, Duangrat Hirunyasiri, Peerayuth Charnsethikul

Get full text

Comparative Analysis of Machine Learning Models for Predicting Interfacial Bond Strength of Fiber-Reinforced Polymer-Concrete by Miljan Kovačević, Marijana Hadzima-Nyarko, Predrag Petronijević, Tatijana Vasiljević, Miroslav Radomirović

Get full text

Model Predictive Control of Spatially Distributed Systems with Spatio-Temporal Logic Specifications by Ikkei Komizu, Koichi Kobayashi, Yuh Yamashita

Get full text

An Innovative Process Chain for Precision Agriculture Services by Christos Karydas, Miltiadis Iatrou, Spiros Mourelatos

Get full text

CrystalShift: A Versatile Command-Line Tool for Crystallographic Structural Data Analysis, Modification, and Format Conversion Prior to Solid-State DFT Calculations of Organic Crys... by Ilona A. Isupova, Denis A. Rychkov

“…These options are especially valuable for studying the mechanical properties of molecular crystals with potential applications in organic materials science. Written in the C programming language, <i>CrystalShift</i> offers computational efficiency and compatibility with widely used crystallographic formats such as CIF, POSCAR, and XYZ. …”
Get full text

Exploring Deep Learning Model Opportunities for Cervical Cancer Screening in Vulnerable Public Health Regions by Renan Chaves de Lima, Juarez Antonio Simões Quaresma

Get full text

Development and Evaluation of a Machine Learning Model for Predicting 30-Day Readmission in General Internal Medicine by Abdullah M. Al Alawi, Mariya Al Abdali, Al Zahraa Ahmed Al Mezeini, Thuraiya Al Rawahia, Eid Al Amri, Maisam Al Salmani, Zubaida Al-Falahi, Adhari Al Zaabi, Amira Al Aamri, Hatem Al Farhan, Juhaina Salim Al Maqbali

Get full text

Integration of Distributed Energy Resources in Unbalanced Networks Using a Generalized Normal Distribution Optimizer by Laura Sofía Avellaneda-Gómez, Brandon Cortés-Caicedo, Oscar Danilo Montoya, Jesús M. López-Lezama

Get full text

Waiting Time Control Chart for M/G/1 Retrial Queue by Yih-Bey Lin, Tzu-Hsin Liu, Yu-Cheng Tsai, Fu-Min Chang

Get full text

Utilizing Virtual Worlds for Training Professionals: The Case of Soft Skills Training of Smart City Engineers and Technicians by Maria Rigou, Vasileios Gkamas, Isidoros Perikos, Konstantinos Kovas, Polyxeni Kontodiakou

Get full text

Automated Cervical Cancer Screening Using Single-Cell Segmentation and Deep Learning: Enhanced Performance with Liquid-Based Cytology by Mariangel Rodríguez, Claudio Córdova, Isabel Benjumeda, Sebastián San Martín

Get full text

A Graph-Based Learning Framework for Compiler Loop Auto-Vectorization by Yao Xiao, Nesreen K. Ahmed, Mihai Capotă, Guixiang Ma, Theodore L. Willke, Shahin Nazarian, Paul Bogdan

“…The single instruction multiple data (SIMD) capability in modern processors is critical to improving the performance of current compute-intensive programs. Modern compilers use vectorization techniques to exploit the SIMD capability, by detecting data parallelism in scalar source code and transforming a group of scalar instructions into vector-based instructions. …”
Get full text

Exploring faculty experiences with generative artificial intelligence tools integration in second language curricula in Chinese higher education by Javed Iqbal, Vafa Asgarova, Zarqa Farooq Hashmi, Berty Nsolly Ngajie, Muhammad Zaheer Asghar, Hanna Järvenoja

Get full text

Dynamic demand response strategies for load management using machine learning across consumer segments by Ravi Kumar Goli, Nazeer Shaik, Manju Sree Yalamanchili

Get full text

Mathematical modeling of malaria vaccination with seasonality and immune feedback. by Zhuolin Qu, Denis Patterson, Lihong Zhao, Joan Ponce, Christina J Edholm, Olivia F Prosper Feldman, Lauren M Childs

Get full text