Official Conference Program & Book of Abstracts

Conference Program

13–15 October 2026 · Kuwait College of Science & Technology (KCST) · Hybrid Format

Browse the interactive reading layer derived from the official PDF. The PDF remains the authoritative source.

39 schedule records · 76 papers

Tuesday, October 13, 2026

09:00 - 09:20

OpeningAuditorium

Opening Ceremony & Welcome Address Chair: Prof. Mohamed Trabelsi

09:20 - 10:00

KeynoteKCST Auditorium & Zoom

Keynote Speaker I “AI-Driven Energy Transition: Intelligent, Flexible, and Resilient Integrated Energy Systems” Mousa Marzband, Professor at King Abdulaziz University, Saudi Arabia

Join Zoom

10:00 - 10:15

Break

Coffee & Networking Break

10:15 - 11:30

TutorialHall C & Zoom

Tutorial 1 (Part I): Artificial Intelligence for Energy Internet Intelligent Power Routing in Packetized Energy Networks Tutorial Speakers: Hadi Y. Kanaan (Lebanon), Amani Fawaz (Lebanon)

Join Zoom

11:30 - 11:45

Break

Short Break

11:45 - 12:45

TutorialHall C & Zoom

Tutorial 1 (Part II): Artificial Intelligence for Energy Internet Intelligent Power Routing in Packetized Energy Networks Tutorial Speakers: Hadi Y. Kanaan (Lebanon), Amani Fawaz (Lebanon)

Join Zoom

12:45 - 13:45

Break

Lunch Break

13:45 - 15:00

Technical SessionHall C & Zoom

TS1: Artificial Intelligence for Engineering Applications (Part I)

Session Chair: Dr. Zied Bouida

Join Zoom
  • ID032 [IP] Artificial Intelligence Enabled Curriculum Transformation Through an Intelligent Ecosystem for Future Workforce Readiness. — Ziad Salem, Hessa Alanjari, Frishtay Fatima, and Abdullatif Baba
  • ID085 [OL] Comparative Analysis of Traditional Machine Learning and Graph Neural Network Models for Anti-Money Laundering Detection. — Aman Reddy, Areesha Hamad, Glen Anton Paul, Manikandan Pradeep, Mohammad Hasheer, Umar Syed, Syama Kurungodathil, and Asmath Famnaz
  • ID086 [IP] Integrated Load-Flow and CCT-Based Transient-Stability Assessment of Photovoltaic Penetration in the IEEE 14-Bus System Under Variable Loading and Fault Conditions. — Mustafa Alhariri, Rashad M. Kamel, and Sultan S. Alanzi
  • ID095 [OL] AI-Driven Intrusion Detection Framework for Industrial IoT in Smart Grid Environments. — Mohamed H. Saad, Basem Elhalawany, and Ramy Samy
  • ID017 [IP] Uncertainty-Aware Physics-Informed Neural Networks for Degree of Polymerization Estimation in Oil-Immersed Power Transformers. — Alamera Nouran Alquennah, Mohammad Alshaikh Saleh, Ali Ghrayeb, Haitham Abu-Rub, Shady Khalil, Mohammed Al-Hajri, and Sunil Khatri
Technical SessionF-004 & Zoom

TS2: Renewable Energy, Distributed Generation, and Smart Grids (Part I)

Session Chair: Eng. Khalid Sakat

Join Zoom
  • ID087 [OL] Toward Smart Livestock Infrastructure: Sensor Benchmarking for Methane Monitoring in Green Dairy Farm Systems. — Usama Mokashi, Wesam Rohouma, Shady Khalil, Rachid Benlamri, and Ajna Shukkoor
  • ID063 [OL] Droop-Based Grid-Forming Inverter Control for a PV/BESS Microgrid Integrated with the IEEE 13- Bus Distribution System. — Muhammad Salim Khan , Amira Mohammed, Shady Khalil, Mostafa Farrag, and Mohamed Massaoudi
  • ID096 [OL] Green Hydrogen Production from Harvested Rainwater: Evidence, Challenges, and Conceptual System Integration. — Mrinmoy Das, Ramesh Kumar, Gianluca Gatto, Suman Jana, and Amit Kumar
  • ID114 [OL] Economic Evaluation of Utility -Scale Solar Photovoltaics, Onshore Wind, and Supercritical Coal Power Plants Using Annual Worth Analysis. — Aisyah Nadya Faradina , Shabriya Ridzqi Rahman, Filscha Nurprihatin, Hendy Tannady, Ali Vaezi, and Michael Nayat Young
  • ID122 [OL] A Supervisory Zonal Multi -Agent Volt/VAR Controller for Active Distribution Networks. — Muhammad Usman
Technical SessionF-010 & Zoom

TS3: Power Converters and Energy Storage Systems

Session Chair: Eng. Abdelrahman Serhan

Join Zoom
  • ID123 [OL] Assessing EV Penetration Impacts on Urban Air Quality: A Kigali Case Study. — Samuel Chukwuma, Kevi Jonathan Iradukunda, Temidayo Akanmu, and Jesse Thornburg
  • ID024 [OL] Air-Lead Control of PEM Fuel Cells for EV Powertrains using Converter-Based OER Regulation and DC-Bus Stabilization. — Iyad Ameur, Mohamed Bougrine , Atallah Benalia, Abdelhamid Rabhi, Mohamed Trabelsi, and Mohammed Benmiloud
  • ID093 [OL] FPGA-in-the-Loop Validation of P&O and Fuzzy Logic MPPT Controllers for Photovoltaic Systems. — Brahim Attia, Olfa Bel Hadj Brahim Kechiche, Hazem Dridi, Mahmoud Hamouda, and Xibo Yuan
  • ID102 [OL] Thermal State Estimation -Assisted Self -Healing Interleaved SEPIC Converter for Reliable PV Battery Charging. — Manoharan S, Mahalakshmi B, Gianluca Gatto, and Amit Kumar
  • ID048 [OL] NLADRC Control for Five Phase PMSM -Based Naval Propulsion Under Disturbances and Fault Conditions. — Khouloud Ben Hammouda, Ramzi Trabelsi, Mohamed Trabelsi, and Riadh Abdelati

15:00 - 15:15

Break

Coffee Break

15:15 - 16:30

Technical SessionHall C & Zoom

TS4: Artificial Intelligence for Engineering Applications (Part II)

Session Chair: Dr. Ali Alfayly

Join Zoom
  • ID116 [IP] Quantum Machine Learning for Efficient and Sustainable Robotics: A Review. — Ali Alfayly , Mahmood Seyyedzadeh, Amir Ghavifekr, Hooman Esmaielzadeh, and Amir Ghiasi
  • ID056 [OL] Vision-Based Cattle Weight Estimation: A Systematic Review of Computer Vision Models and Image Acquisition Methods. — Marcus Joshua Fortes, Ajna Shukkoor, Usama Mokashi, Shady Khalil, and Wesam Rohouma
  • ID022 [IP] A Danger -Aware Heuristic Pathfinding Algorithm for Safe Autonomous Navigation in 2D Engineering Environments. — Hajar Alsulaili, Muneerah Alshammeri, and Manar Almutairi
  • ID066 [OL] A Unified Vision -Based System for Cattle Weight Estimation and Behavior Detection. — Ajna Shukkoor, Wesam Rohouma, Shady Khalil, Rachid Benlamri, Amit Khandakar, and Usama Mokashi
  • ID055 [OL] Deep Learning-Based Cattle Behavior Classification from Visual Data: A Comparative Review. — Josh Allen San Diego, Ajna Shukkoor, Usama Mokashi, Shady Khalil, and Wesam Rohouma
Technical SessionF-004 & Zoom

TS5: Renewable Energy, Distributed Generation, and Smart Grids (Part II)

Session Chair: Dr. Seraj Fayyad

Join Zoom
  • ID034 [OL] Validation of Acoustic Propagation Models for Wind Farm Noise Assessment: An End -to-End Reproducible Workflow Using Python and Power BI. — Emna Annabi, Mohamed W. Jmal, and Ali Wali
  • ID043 [OL] Experimental Performance Comparison of Different Monofacial and Bifacial PV Modules in Outdoor Conditions. — Daniela Olivares Baqué, Alejandro González Moreno, Alberto Dolara, and Sonia Leva
  • ID083 [OL] Innovative Economic Valorization Strategies for Industrial Photovoltaic Systems: Revamping, Repowering and Storage. — Giacomo Manzan, Sonia Leva, and Marco Mussetta
  • ID111 [OL] Blockchain-Enabled Stackelberg Pricing for RealTime Decentralized Microgrid Energy Management: A Hardware -Validated Framework. — Abdullah Umar , Vijayakumar Gali, Prashant Jamwal, Shady Khalil, Mostafa Farrag, Ajay Kumar, and Nitin Gupta
  • ID075 [OL] Governor Valve Actuator Systems for Smart Grids: A Review of Control, Fault Diagnosis, and Predictive Maintenance. — Naji Alqallaf, Alamera Nouran Alquennah, and Mohamed Trabelsi
Technical SessionF-010 & Zoom

TS6: Cloud-Edge Computing, IoT, and Renewable Energy

Session Chair: Dr. Julian Webber

Join Zoom
  • ID023 [OL] From LLM-First to Governance-Bound Hybrid Execution: An Experimental Study of Reliability and Safety in Energy API Automation. — Swapneswar Sundar Ray
  • ID121 [OL] Planning IoT -Enabled Road Management in Kuwait: Assessment, Technology Mapping, and a Pilot-Deployment Priority Index. — Haya Albader and Naser Alselahi
  • ID127 [OL] Analysis of Expenditure and User Dissatisfaction Optimization in Residential Energy Management Systems Using Social Network Optimization. — Andrea Montuoro , Alessandro Niccolai, and Francesco Grimaccia
  • ID064 [OL] Generalizable solar irradiance prediction from satellite data using spatial –temporal graph attention network. — Konin Pierre- Claver Kakou , Georg Frey, Daud Mustafa Minhas, and Jörg Trentmann
  • ID069 [OL] Threshold-Based Sensitivity Assessment of Industrial PV -BESS Systems from Energy Balances to Economic Viability. — Nicoletta Matera, Riccardo Ramaschi, Emanuele Ogliari, Sonia Leva, Francesco Torchiaro, and Enrico Lamanna

19:00 - 21:00

Social

Gala Dinner (Badge/Invitation Required)

Wednesday, October 14, 2026

09:00 - 09:45

KeynoteHall C & Zoom

Keynote Speaker II “Micro-Grid Implementation: Challenges and Solutions” Hatem Zeineldin, Professor and Chair of the Department of Electrical Engineering at Khalifa University, UAE Chair: Dr. Zied Bouida

Join Zoom

09:45 - 11:00

Technical SessionHall C & Zoom

TS7: IoT-Enabled Green Energy Systems and Smart Infrastructure (Part I)

Session Chair: Dr. Zied Bouida

Join Zoom
  • ID026 [IP] Adaptive and Context -Aware Zero Trust Security for Scalable IoT Ecosystems. — Omar Dib and Belal Ali
  • ID062 [IP] Resilience Analysis of V2X Communication Protocols for IoT-Enabled Smart City Infrastructure: A Kuwait Environmental Case Study. — Othman Aldaher and Yousef Alsaqabi
  • ID074 [IP] MCP-Driven Conversational AI Agent for Real -Time IIoT Energy Budget Control in Industrial Environments. — Omar Dib, Tarek Adi, Abdullah Shamout, Ahmed Amin, and Sulaiman Alrefai
  • ID090 [IP] AgroSense: An Automated Smart Hydroponic System with Edge AI Diagnostics for Arid Regions. — Othman Aldaher, Muhammad Sohaib, and Omar Hammuda
  • ID097 [IP] A Cloud–Edge PM2.5 Forecasting. — Huda Alrashidi and Ghita Berrada
Special SessionH-106 & Zoom

Special Session 1: AI-Driven Smart Materials and Sensing Systems for Advanced Energy Technologies (Part I)

Organizers: Inés Abdellaziz, Férid Chaffar Akkari, Naoufal Khemiri, Nabila Elbitri (Tunisia)

Join Zoom
  • ID045 [IP] Smart Nano material Enhanced ZincRich Coatings for Sustainable Corrosion Resistance in Energy Applications. — Abeer Alfarhan and Abdulmuhsen Akbar
  • ID038 [OL] A Hybrid CNN –XGBoost for EEG -Based Alzheimer's Monitoring and Energy Prediction in next generation intelligent biomedical implants. — Yosra Ben Fadhel , Kamal Al -Haddad, Olfa Bel Hadj Brahim Kechiche, and Mahmoud Hamouda
  • ID065 [OL] Physical properties of CuMgSnS Powders and Thin Films. — Oumaima Hammami, Mounir Kanzari, and Naoufel Khemiri
  • ID081 [OL] Effect of a Multi-stage Cooling System on the Performance of a Mini Photovoltaic Panel. — Marwa Hamza, Olfa Bel Hadj Brahim Kechiche, and Habib Sammouda
Special SessionF-010 & Zoom

Special Session 2: Real-Time Embedded Artificial Intelligence Systems (Part I)

Organizers: Imen Werda, Amina Kessentini, Amna Maraoui (Tunisia)

Join Zoom
  • ID052 [IP] LLM-Powered In-Vehicle Assistants: IoT Architecture and Case Study. — Mai Alotaibi, Sameerah Alajmi, Aliah Alsulail, Retaj Alsaeedi, and Basem Elhalawany
  • ID070 [OL] Real-Time Selective Harmonic Mitigation in Multilevel Inverters Based on Gradient -Based Search Algorithm and Artificial Neural Network. — Noman Liaqat, Amir Ghasemian, Sobhan Mohamadian, Maria Gabriella Cimoroni, Concettina Buccella, and Carlo Cecati
  • ID113 [IP] An IoT-Enabled and Machine Learning -Supported Framework for Irrigation Decision Support. — Ghaliah Alhajraf and Ismaeel Al Ridhawi
  • ID061 [OL] Hardware acceleration in FPGA-SoC of a lightweight neural network for partition optimization in the ECM encoder. — Sourour Soltani, Amna Maraoui, and Imen Werda

11:00 - 11:15

Break

Coffee Break

11:15 - 12:30

Technical SessionHall C & Zoom

TS8: Artificial Intelligence for Engineering Applications (Part III)

Session Chair: Dr. Murad Khan

Join Zoom
  • ID128 [IP] SEE: Prompt -Guided Structured Semantic Scene Understanding with LLaVA -OneVision for Surveillance Video. — Maria Khan and Hafiza Hina Kanwal
  • ID117 [OL] An Attention -Based Neural Network Method for Acoustic Anomaly Detection in Pipelines. — Muhammad Zia Ur Rehman, Omar Khattab, Zurasha Zaryab, Ismail Kashif, Ahsan A Raza, Murad Khan
  • ID099 [IP] AI-Driven Crime Hotspot Prediction and Energy -Aware Patrol Allocation for Sustainable Smart Cities. — Mohamad Hoda
  • ID053 [OL] Large Language Models for Low-Resource and Agglutinative Languages: A Systematic Review. — Adil Akhmetov, Mohammed Alaa Ala'Anzy, Malek Ali, and Adnan Saeed
  • ID047 [OL] Mallat Scattering Transform -Based Multiscale 3 branch CNN –BiLSTM Framework for Accurate Solar Irradiance Forecasting. — Mariem Mallat, Olfa Bel Hadj Brahim Kechiche, Mahmoud Hamouda, Houcine Oudira, and Aissa Chouder
Special SessionH-106 & Zoom

Special Session 1: AI-Driven Smart Materials and Sensing Systems for Advanced Energy Technologies (Part II)

Organizers: Inés Abdellaziz, Férid Chaffar Akkari, Naoufal Khemiri, Nabila Elbitri (Tunisia)

Join Zoom
  • ID105 [OL] Compositional Engineering of CuO -SnO2 Thin Films: Influence on Structural, Optical, Morphological and Electrical Properties. — Nourhéne Mansouri and Bitri Nabila
  • ID106 [OL] Oblique angle of deposition enhanced the photo-response performance of CuSbS2 thin films. — Mouna Idoudi, Ferid Chaffar Akkari, and Mounir Kanzari
  • ID119 [OL] Spray-Coated CuO/rGO Hybrid Thin Films for Room -Temperature H2S Gas Sensing. — Imen Hemmedi and Bitri Nabila
  • ID120 [OL] Deposition Time-Controlled Structural, Optical, Electrical, and Carrier Transport of RF Magnetron Sputtered ZnO-SnO Thin Films. — Emna Ben Sassi and Fatma Chaabouni
Special SessionF-010 & Zoom

Special Session 2: Real-Time Embedded Artificial Intelligence Systems (Part II)

Organizers: Imen Werda, Amina Kessentini, Amna Maraoui (Tunisia)

Join Zoom
  • ID035 [OL] A Smart Solar Panel Cleaning System Using Machine Learning and Embedded Systems. — Milia Habib, Maria Tedros, Saraa El Hazzouri, Zaher Merhi, Abdelrazzak Merheb, and Mohamad Kanaan
  • ID076 [OL] A Lightweight Embedded AI-Based UAV System for Real-Time Diseased Tree Detection. — Bouthaina Abdallah, Fatma Belghith, and Nouri Masmoudi
  • ID078 [OL] Toward Edge-AI Precision Livestock Farming: A Low -Power Wearable LoRa Sensor Node for Heat Stress and Activity Monitoring. — Usama Mokashi, Wesam Rohouma, Rachid Benlamri, Shady Khalil, Amith Khandakar, Arselene Ayari, Mujtaba Fida Ul Haq, Reza Alam, and Ajna Shukkoor
  • ID098 [OL] Real-Time Fall and Crash Detection for Electric Micromobility Using IMU Sensor Fusion and Edge - Deployed Machine Learning. — Asel Rohouma, Mohamed Rohouma, Ajna Shukkoor, and Shady Khalil

12:30 - 13:15

Break

Lunch Break

13:15 - 14:30

Technical SessionHall C & Zoom

TS9: Renewable Energy, Distributed Generation, and Smart Grids (Part III)

Session Chair: Prof. Hadi Y. Kanaan

Join Zoom
  • ID071 [IP] A Finite -Set Model Predictive Control Approach for Enhanced Energy Sharing in Fuel Cell / Supercapacitor Fed OEWIM Based Electric Drive. — Khaled Safsouf, Jean Sawma, and Hadi Kanaan
  • ID010 [OL] Impact of Bulk and Interface Defects on 2T Perovskite/ACIGS and 2J/3J All -Perovskite TSCs. — Nour El I Boukortt , Antonio Garcia Loureiro, Salvatore Patanè, Mohamed Trabelsi, Trupti Ranjan Lenka, and Ahmad Abushattal
  • ID107 [IP] A Behaviour -Level Zero -Trust Digital Twin for Secure ATM and Cash -Kiosk Maintenance. — Jumanah Alfailakawi, Anfal Almutairi, Aalyah Alotaibi, Khaled Allanqawi, and Basil Alothman
  • ID124 [OL] Multi-Parametric Performance Evaluation of Six - and Twelve -Sector Direct Power Control for Grid-Connected Converters under Partial Load Conditions. — Mohamed Amine Fnaiech, Salwa Baserrah, Ebrahim Abdulrahman Hasan, Khaled Zehar, Mohamed Trabelsi, and Hani Vahedi
  • ID134 [OL] Single-Switch MPPT Control of a PMSG Wind Turbine for Standalone and DC -Grid-Connected Residential Buses. — Maged Bauomy, Haytham Gamal, Adel Shaltout, Shady Khalil, & Morcos Metry
Technical SessionF-010 & Zoom

TS10: Artificial Intelligence for Automation of Energy Systems

Session Chair: Eng. Mustafa Al-Hariri

Join Zoom
  • ID036 [OL] Predictive Climate -Aware Intelligent Energy Management System for Fuel Cell Hybrid Electric Vehicles Under Kuwait Extreme Summer Conditions. — Ghaneemah Alasfour , Wael Farag, and Zakariya Dalala
  • ID054 [OL] AI-Driven Identification of Compound Climate Hazard Pathways: Enhancing Energy Efficiency and Operational Resilience in Water Infrastructure. — Renalda El-Samra
  • ID072 [OL] A Lightweight Reproducible Multimodal Surrogate Learning Framework for EL-Free Photovoltaic Degradation Estimation from HDR Images. — Marcello Polenghi, Roberto Caldelli, Emanuele Ogliari, and Valsamis Ntouskos
  • ID132 [OL] Comparing Large Language Models and Machine -Learning Methods for Short -Term Electricity Price Forecasting. — Seyed Ali Hosseini, Paria Valizadeh, Sven Tomforde, and Francesco Grimaccia
  • ID125 [OL] Effect of Post-Training Quantization on Residential Electrical Load Demand Anomaly Detection. — Giuseppe La Tona, Massimiliano Luna, and Maria Di Piazza

14:30 - 15:00

Tutorial

Short Break before Tutorial 2

15:00 - 16:00

TutorialOnline Session on Zoom

Tutorial 2 (Part I): Machine Learning Techniques for Energy Output Prediction Tutorial Speakers: Lotfi Snoussi (Tunisia), Olfa Fakhfakh (Tunisia)

Session Chair: Dr. Olfa Belhajbrahim

Join Zoom

16:00 - 16:15

Break

Short Break

16:15 - 17:30

TutorialOnline Session on Zoom

Tutorial 2 (Part II): Machine Learning Techniques for Energy Output Prediction Tutorial Speakers: Lotfi Snoussi (Tunisia), Olfa Fakhfakh (Tunisia)

Join Zoom

18:00 - 20:00

Social

Cultural Tour: Souk Al Mubarakiya

Thursday, October 15, 2026

09:00 - 09:45

KeynoteHall C & Zoom

Keynote Speaker III “Electric Vehicle to Vehicle (V2V) Charging” Vinod Khadkikar, Professor at Khalifa University, Abu Dhabi, UAE Chair: Prof. M. Murugappan

Join Zoom

09:45 - 10:30

10:30 - 10:45

Break

Coffee Break

10:45 - 12:00

Technical SessionHall C & Zoom

TS11: IoT-Enabled Green Energy Systems and Smart Infrastructure (Part II)

Session Chair: Prof. M. Murugappan

Join Zoom
  • ID110 [OL] Ergodic Capacity Analysis of Coordinated NOMA Transmission for LEO Satellite IoT Networks. — Anas Elsayed, Mohamed Elsayed, Ahmed Samir, Esraa M. Eid, Hala M. Abd Elkader, and Basem M. Elhalawany
  • ID112 [IP] Compute-Aware Adaptive Intrusion Detection for ATM Edge Networks. — Anfal Almutairi, Aalyah Alotaibi, Jumanah Alfailakawi, Khaled Allanqawi, and Basil Al Othman
  • ID130 [IP] Explainable Short-Term Photovoltaic Power Forecasting for PAIoT Energy Management. — Sara Salman and Zied Bouida
  • ID131 [IP] IoT-Enabled AI Fusion for Early-Onset Alzheimer’s Disease: A Survey and Preliminary Analysis. — Joicy John and Zied Bouida
  • ID030 [OL] Energy-Aware Routing in Software -Defined Optical Networks via Reinforcement Learning. — Skander Abid, Mourad Menif, and Latifa Guesmi
Technical SessionF-010 & Zoom

TS12: Artificial Intelligence for Engineering Applications (Part IV)

Session Chair: Eng. Layal Nabaa

Join Zoom
  • ID089 [OL] Robust Teacher Detection and Single -Target Tracking in Computer Science Laboratory Videos Using Spatial Context and Hybrid Vision Models. — Raoufi Elyousfi and Taoufik Ladhari
  • ID094 [OL] Accuracy Is Not Edge: An Honest, Leakage -Safe, Cost -Aware Benchmark of Machine -Learning Trade-Signal Selection on Indian (NSE) Equities. — Gauransh Kalla and Kartik Gupta
  • ID109 [OL] ML-based multi-layered hazard classification for runaway reactions in hybrid systems. — Amani Grati, Alamera Nouran Alquennah, Marcelo Castier, and Luc Vechot
  • ID126 [OL] Intelligent Learning and Assessment Ecosystems: A Multi-Agent AI Framework for Exam Analysis and Adaptive Learning. — Belhassen Guettat and Aymen Ben Brik
  • ID029 [OL] Multi-Sensing Deep Learning Framework for PEMFC Degradation Forecasting Under Heterogeneous Operating Conditions. — Ahmad Braydi, Elena Breaz, Issam Salhi, Fei Gao, Qian Xun

12:00 - 12:15

OtherHall C

Huawei ICT Competition 2026–2027 (Middle East & Central Asia) Announcement and Call for Students’ Participation Presented by: Ms. Tingting and Prof. Abolfazl Niya

12:15 - 12:45

ClosingHall C & Zoom

Closing & Award Ceremony Chair: Prof. Mohamed Trabelsi

12:45 - 13:30

Lunch

Lunch

The revised official PDF opens through the View official PDF link and is also available as a direct download.