Academic Articles & Research Papers

BFLP: blockchain-based federated learning protocol with verifiable contribution proof

Abstract Cross-institutional federated learning suffers from centralized trust fragility, poisoning attacks, and the lack of verifiable contribution-based incentives. This paper proposes BFLP, a blockchain-based federated learning protocol ...

Long-term salinity is associated with deteriorated soil properties, rhizosphere microbiome restructuring, and elevated wheat crown rot: evidence from a 19-year gradient experiment and a 3-year remediation verification.

TUDCA was identified as a potential therapeutic drug for nonalcoholic steatohepatitis complicated with hypercholesterolemia targeting ADRA2C by integrated bioinformatics and experimental verification.

A Spatiotemporal Uncertainty-Aware Task Planning Framework for Cooperative Vehicle-UAV Remote Sensing Monitoring and Verification in Complex Terrain.

Bridging the gap between health insurance eligibility and uptake: A multistate quantitative analysis of entitlement-based verification patterns under India's PM-JAY Scheme.

A SAM2 and VLM-Based Automatic Radiological Reporting System for Pneumothorax Detection

Background/Objectives: Pneumothorax, caused by air accumulation in the pleural space, can lead to lung collapse and, if diagnosis is delayed, respiratory or cardiovascular deterioration. Most deep-learning studies on pneumothorax address cl...

High Performance IoT Cloud Computing Framework Using Pub/Sub Techniques

The Internet of Things is attracting attention as a solution to rural sustainability crises, such as slowing income, exports, and growth rates due to the aging of industries. To develop a high-performance IoT platform, we designed and imple...

An automated qualitative analysis of real-time systems using Timed Petri net and SPIN

Verification of real-time system properties using formal models can improve system design and quality. The Timed Petri net is a formal model for modelling and designing real-time systems with time constraints. Furthermore, model checking is...

Software engineering for security

Integrating Security Considerations smoothly into early life-cycle activities: uniform application of cost-benefit analyses to both functional, and security requrements; unified modeling approaches to integrate the engineering of both funct...

A Comparative Analysis of the Chloroplast Genomes of Four Polygonum Medicinal Plants

Polygonum is a generalized genus of the Polygonaceae family that includes various herbaceous plants. In order to provide aid in understanding the evolutionary and phylogenetic relationship in Polygonum at the chloroplast (cp) genome-scale l...

A Trust-Boundary Reference Architecture for Secure Cyber-Physical Agriculture: Design and Software-Based Proof-of-Concept for Smart Irrigation

Smart irrigation is an operational technology (OT) problem as much as an Internet of Things (IoT) one: software decisions act directly on valves, pumps, pressure and water delivery, so a spoofed reading or a replayed command has physical co...

Simulation and experimental verification of the edge effect of composites on the infiltration process of RTM forming

To study the influence of edge effects on the resin filling flow pattern in the RTM process of composite materials, the finite element software PAM-RTM was used to simulate and analyze the impregnation process of the blade preforms in RTM.B...

Forestry at the EU’s Doorstep – How Much are We Ready in the Area of Occupational Safety in Forestry?

According to the classification of business activities in the National Classification of Activities, agriculture, forestry and fishery together account for 3.43% of all injuries recorded in 2009, which places them in the lower part of the a...

Research Progress on the Temperature Field of Steel-Concrete Composite Bridge

The research of the temperature effect of steel-concrete composite bridges is of great significance to ensure the safety and durability. The latest research progress in the field of composite bridge temperature field is introduced, includin...

Radio communication-based method for analysis of train driving in an ERTMS signaling environment

Abstract Background ERTMS is an important project improving cross-border interoperability throughout Europe by a single rail signaling standard. One advantage following this development is a standardized radio signaling, which can be tracke...

Spatiotemporal Speed Planning for Multi-Vehicle Cooperative Driving With Dynamic Following Relationships

In Autonomous Valet Parking scenarios, multiple vehicles operate cooperatively in low-speed environments where the leading-vehicle constraint may be dynamically reconstructed due to path transitions. Under such conditions, conventional spee...

Numerical investigation of corroded middle‐high strength pipeline subjected to combined internal pressure and axial compressive loading

Abstract Buried oil and gas pipelines may face the threat of geological disasters such as landslides, faults, and floods. However, long‐term buried oil and gas pipelines often have corrosion defects, which bring greater challenges to the sa...

Introducing uncertainty of radar-rainfall estimates to the verification of mesoscale model precipitation forecasts

A simple measure of the uncertainty associated with using radar-derived rainfall estimates as "truth" has been introduced to the Numerical Weather Prediction (NWP) verification process to assess the effect on forecast skill and er...

FAM83A as a Potential Biological Marker Is Regulated by miR-206 to Promote Cervical Cancer Progression Through PI3K/AKT/mTOR Pathway

Background and Objective: Chemotherapy and radiotherapy are effective treatment options for cervical cancer (CC), but their efficacy is limited by short survival rate of about 5 years particularly for advance stage CC. Bioinformatics analys...

Physical Properties of Modified Polyphenylene Oxide as a Composite Material for Hydrogen Fuel Cell Stack Enclosure Suitable for Injection Molding

There is an increasing need for securing development technology for suitable materials to obtain more productive and lightweight automobile parts, including hydrogen fuel cell stack enclosures. Due to the poor moldability of Poly-Phenylene ...