You are currently viewing a new version of our website. To view the old version click .

Most Recent

  • Article
  • Open Access

Formal Verification of Transcompiled Mobile Applications Using First-Order Logic

  • Ahmad Ahmad Muhammad,
  • Mahitap Ayman,
  • Samer A. Elhossany,
  • Walaa Medhat,
  • Sahar Selim,
  • Hala Zayed,
  • Ahmed H. Yousef,
  • Axel Jantsch and
  • Nahla Elaraby

The increasing interest in automated code conversion and transcompilation—driven by the need to support multiple platforms efficiently—has raised new challenges in verifying that translated codes preserve the intended behaviors of the ori...

  • Article
  • Open Access

As a key node of the energy internet, the park-level integrated energy system undertakes the dual functions of improving energy supply reliability and promoting low-carbon development in the transformation of the global energy structure. The need to...

  • Article
  • Open Access

Artifacts remain a major challenge in electroencephalogram (EEG) recordings, often degrading the accuracy of clinical diagnosis, brain computer interface (BCI) systems, and cognitive research. Although recent deep learning approaches have advanced EE...

  • Article
  • Open Access

The multi-passage lubrication system is adopted to meet the demand of the main heat generation parts (gears and bearings) in the three-stage planetary transmission system of a large tracked vehicle. As rotational speed increases, the flow regime insi...

  • Article
  • Open Access

Surrealism applies metaphors to create a vocabulary of contexts and scenes. Can AI interpret surrealism? What occurs if a negative prompt is input for 3D reconstruction? This study aims to generate surreal images in AI and to assess the subsequent 3D...

  • Review
  • Open Access

A Bibliometric and Network Analysis of Digital Twins and BIM in Water Distribution Systems

  • Chiamba Ricardo Chiteculo Canivete,
  • Mercy Chitauro,
  • Martina Flörke and
  • Maduako E. Okorie

The increasing complexity of water distribution systems (WDSs) and the growing demand for sustainable infrastructure management have spurred interest in Building Information Modelling (BIM) and Digital Twin (DT) technologies. This study presents a co...

  • Systematic Review
  • Open Access
308 Views
32 Pages

Artificial Intelligence in Solar-Assisted Greenhouse Systems: A Technical, Systematic and Bibliometric Review of Energy Integration and Efficiency Advances

  • Edwin Villagran,
  • John Javier Espitia,
  • Fabián Andrés Velázquez,
  • Andres Sarmiento,
  • Diego Alejandro Salinas Velandia and
  • Jader Rodriguez

Protected agriculture increasingly requires solutions that reduce energy consumption and environmental impacts while maintaining stable microclimatic conditions. The integration of Artificial Intelligence (AI), Machine Learning (ML), and Deep Learnin...

  • Article
  • Open Access
518 Views
22 Pages

In the context of intelligent manufacturing, the integrated scheduling problem of dual rail-guided vehicles (RGVs) and multiple parallel processing equipment in flexible manufacturing systems has gained increasing importance. This problem exhibits sp...

  • Article
  • Open Access
200 Views
41 Pages

The integration of connected vehicles into smart city infrastructure introduces critical cybersecurity challenges for the Internet of Vehicles (IoV), where resource-constrained vehicles and powerful roadside units (RSUs) must collaborate for secure c...

  • Article
  • Open Access
181 Views
22 Pages

To improve the load frequency control (LFC) performance of power systems incorporating virtual power plants (VPPs) while reducing network resource consumption, a model predictive control (MPC) method based on a mixed time/event-triggered mechanism (M...

Get Alerted

Add your email address to receive forthcoming issues of this journal.

XFacebookLinkedIn
Technologies - ISSN 2227-7080