Vulnerability detection method for blockchain smart contracts based on metamorphic testing by Jinfu CHEN, Zhenxin WANG, Saihua CAI, Qiaowei FENG, Yuhao CHEN, Rongtian XU, KwakuKudjo Patrick

“…Aimed at the defects of existing test methods, a vulnerability detection method for blockchain smart contracts based on metamorphic testing was proposed, which could generate test cases for specific functions in blockchain smart contracts to detect possible vulnerabilities.According to the possible security vulnerabilities, different metamorphosis relationships were designed and then metamorphic testing was performed.Through verifying whether the metamorphic relationship between the source test case and the subsequent test case was satisfied, whether the smart contract had related security vulnerabilities was judged.The experimental results show that the proposed method can effectively detect the security vulnerabilities in the smart contracts.…”
Get full text

Bentayga-I: Development of a Low-Cost and Open-Source Multispectral CubeSat for Marine Environment Monitoring and Prevention by Adrián Rodríguez-Molina, Alejandro Santana, Felipe Machado, Yubal Barrios, Emma Hernández-Suárez, Ámbar Pérez-García, María Díaz, Raúl Santana, Antonio J. Sánchez, José F. López

Get full text

scikit-fda: A Python Package for Functional Data Analysis by Carlos Ramos-Carreño, José Luis Torrecilla, Miguel Carbajo-Berrocal, Pablo Marcos, Alberto Suárez

“…In particular, it conforms to the scikit-learn application programming interface so as to take advantage of the functionality for machine learning provided by this package: Pipelines, model selection, and hyperparameter tuning, among others. …”
Get full text

Hybrid harbor seal and jellyfish optimization technique for selecting the optimal location of hybrid renewable energy system by Radwa S. A. Gad, Hegazy Zaher, H. Al-Wahsh, M. H. Eid, Wael M. AlMetwaly, Islam M. Abdelqawee

Get full text

Data- and knowledge-derived functional landscape of human solute carriers by Ulrich Goldmann, Tabea Wiedmer, Andrea Garofoli, Vitaly Sedlyarov, Manuel Bichler, Ben Haladik, Gernot Wolf, Eirini Christodoulaki, Alvaro Ingles-Prieto, Evandro Ferrada, Fabian Frommelt, Shao Thing Teoh, Philipp Leippe, Gabriel Onea, Martin Pfeifer, Mariah Kohlbrenner, Lena Chang, Paul Selzer, Jürgen Reinhardt, Daniela Digles, Gerhard F Ecker, Tanja Osthushenrich, Aidan MacNamara, Anders Malarstig, David Hepworth, Giulio Superti-Furga

“…To advance SLC research, we developed a comprehensive knowledgebase that integrates systematic multi-omics data sets with selected curated information from public sources. We annotated SLC substrates through literature curation, compiled SLC disease associations using data mining techniques, and determined the subcellular localization of SLCs by combining annotations from public databases with an immunofluorescence imaging approach. …”
Get full text

Organic and Conventional Coffee Beans, Infusions, and Grounds as a Rich Sources of Phenolic Compounds in Coffees from Different Origins by Alicja Ponder, Karol Krakówko, Marcin Kruk, Sebastian Kuliński, Rafał Magoń, Daniel Ziółkowski, Elvyra Jariene, Ewelina Hallmann

Get full text

Insights into the electronic and atomic structures of cerium oxide-based ultrathin films and nanostructures using high-brilliance light sources by Paola Luches, Federico Boscherini

“…High-brilliance light sources, such as synchrotrons and free-electron lasers, allow researchers to probe the structural, electronic, and dynamic properties of functional materials at an unprecedented level of detail. …”
Get full text

Accelerate Mass Transport of Proton and Carbon Sources by Super‐Hygroscopic and Porous Nanosheets for Continuous CO2‐To‐Ethylene Upgrade by Silong Dong, Guobin Wen, Xinyu Yang, Xiaowen Zhang, Shuxuan Liu, Haoyang Xiong, Yinyi Liu, Kai Zong, Hao Li, Yifan Li, Yi Cui, Bohua Ren, Xin Wang, Mingliang Jin, Zhongwei Chen

“…Inspired by Tillandsia leaves, which efficiently capture H2O and CO2 from the air, copper nanosheets with dual‐functional channels are we designed: the superhygroscopic network enables capillary condensation, converting H2O(g) into H2O(l) to form H2O channels that ensure a stable supply of protons, while the CO2 channels formed by the microporous structure enhance the diffusion of CO2, thus enriching the carbon source. …”
Get full text

A DFT insight into the potential of cycloparaphenylenes as efficient sensors for detecting Paracetamol by Wael A. Mahdi, Adel Alhowyan, Ahmad J. Obaidullah

“…This study presents a computational investigation into the sensing capabilities of methylene-bridged [n]cycloparaphenylene ([n]MCPP, where n= 6, 8, and 10) nanorings for the detection of paracetamol using density functional theory (DFT) calculations. …”
Get full text

The Bright Feature Transform for Prominent Point Scatterer Detection and Tone Mapping by Gregory D. Vetaw, Suren Jayasuriya

“…We then modify the BFT to present a difference of trigonometric functions to mitigate speckle scatterers and other random noise sources found in the imagery. …”
Get full text

An energy storage planning method for improving the security of receiving-end system considering the selection of power conversion systems by Haibo Zhang, Kai Wei, Yukang Hu, Quan Hu

Get full text

Encapsulation Techniques to Enhance Astaxanthin Utilization as Functional Feed Ingredient by Matteo Vitale, Joaquin Gomez-Estaca, Janete Chung, Seong-Chea Chua, Daniela Maria Pampanin

“…Overall, these findings demonstrate the potential of the selected encapsulation techniques to optimize the stability, bioavailability, and functionality of AX, providing valuable insights to improve its utilization as a functional ingredient in fish feed formulations.…”
Get full text

Ti3C2Tx@Pt nanocomposite based colorimetric and electrochemical dual-mode platform for glucose detection by Xuming Sun, Mingyan Zhang, Jinlong Chang, Linyan Xie, Qiongqiong Ren, Wenshuai Jiang, Zhen Jin, Shiqi Pan, Xiuli Yang, Wu Ren

“…Glucose is the main source of energy in cellular metabolism and is essential for normal cellular function and growth. …”
Get full text

CERTAINTY/UNCERTAINTY AS GRAMMATICAL AND AS A HIDDEN FUNCTIONAL-SEMANTIC CATEGORY by Hanna M. Udovichenko

“…For the pair of languages being studied, Ukrainian (source language, non-article) and English (target language, article) were selected. …”
Get full text

Today’s Mechanisms of Financing the 4th Energy-Transition by E. V. Altukhova

“…Current trends of sustainable development define priorities and new approaches to sources and forms of financing. Serious impact on selection of finance mechanisms is made by sectoral specific features demonstrating key lines of development. …”
Get full text

Classification and Carbon-Stock Estimation of Mangroves in Dongzhaigang Based on Multi-Source Remote Sensing Data Using Google Earth Engine by Ruiwen Zhang, Jianchao Fan

Get full text

YOLOX-LS: Strong Gravitational Lenses Detection in the DECaLS with Deep Learning by Yangyang Liu, Liangping Tu, Jianxi Li, Jiawei Miao, Gengqi Lin, Chenying Zhao

“…We apply the YOLOX algorithm as the basic framework and improve it by selecting the optimal optimizer, activation function, attention mechanism, and loss function. …”
Get full text

ChiMSource improves the accuracy of studies on novel amino acid sequences by predicting alternative sources of mass spectrometry-derived peptides by Umut Çakır, Noujoud Gabed, Ali Yurtseven, Igor Kryvoruchko

“…Here, we present a highly flexible program that predicts alternative chimeric and non-chimeric sources of peptides detected by MS proteomics.…”
Get full text

Harnessing polydiacetylene (PDA): A review of structural mechanics and infectious disease detection by Soumendu Patra, Harshita Shand, Sayan Ghosal, Suvankar Ghorai

“…These biosensors can also be functionalized with particular capture agents, such as antibodies or nucleic acid probes, to selectively bind and detect the target analytes. …”
Get full text

Quantifying Truthfulness: A Probabilistic Framework for Atomic Claim-Based Misinformation Detection by Fahim Sufi, Musleh Alsulami

“…This paper addresses this gap by proposing a novel probabilistic framework that decomposes complex assertions into semantically atomic claims and computes their veracity through a structured evaluation of source credibility and evidence frequency. Each atomic unit is matched against a curated corpus of 11,928 cyber-related news entries using a binary alignment function, and its truthfulness is quantified via a composite score integrating both source reliability and support density. …”
Get full text