Results 151 to 160 of about 2,146,136 (293)

Artificial Intelligence in the Food Industry: Transforming Safety, Efficiency, and Sustainability From Farm to Fork

eFood, Volume 7, Issue 3, June 2026.
This review synthesizes AI advancements in food systems, leveraging machine learning, computer vision, robotics, and IoT for 96%–100% accurate quality inspection, 30% reduced downtime, and enhanced traceability from farm to fork. It highlights transformative potential in sustainability and SDGs while addressing data, ethical, and scalability challenges
Muhammad Waqar, Mariyam Shahid, Manat Chaijan, Worawan Panpipat, Djilali Benabdelmoumene, Ahmed Mediani, Abdifetah Ibrahim Omar, Sabrin R. M. Ibrahim, Qudrat Ullah, Temesgen Anjulo Ageru   +9 more
wiley   +1 more source

Leakage-resilient storage scheme for cryptographic applications

, 2016
Since the side-channel attacks arise as a huge threat for cryptographic schemes than previously realized, it is necessary to implement proven-secure leakage-resilient cryptographic schemes and use them for real-world purposes.
Alawatugoda, Janaka, Danushka Eranga, Nalaka Jayanath, Chinthaka Somathilaka, Eranga, Danushka, Roshan Ragel, Janaka Alawatugoda, Ragel, Roshan, Jayanath, Nalaka, Somathilaka, Chinthaka   +9 more
core   +1 more source

A Trust‐Based Random Forest Approach for Detecting Blackhole Attacks in Vehicular Ad Hoc Networks

Engineering Reports, Volume 8, Issue 6, June 2026.
A multi‐metric trust framework combined with Random Forest learning detects and mitigates blackhole attacks in VANETs. By dynamically isolating malicious vehicles, the model sustains high packet delivery, low latency, and accurate intrusion detection under severe attack conditions.
Mohammed Al‐Shabi, Anmar Abuhamdah, Fawaz Alanazi, Asma A. Alahashmi, Fuad Alsarari, Abdulbasit A. Darem   +5 more
wiley   +1 more source

Constructing formal models of cryptographic protocols from Alice&Bob style specifications via LLM

Scientific Reports
Automated formal analysis is a fundamental method for ensuring the security of cryptographic protocol design. This approach entails two stages: formal modeling and formal analysis.
Qiang Li, Jihong Han, Lin Yuan, Xiangcheng Li, Xiaoyu Wang   +4 more
doaj   +1 more source

Wide‐Bandgap Semiconductor‐Based Neuromorphic Computing

Information &Functional Materials, Volume 3, Issue 2, Page 66-100, June 2026.
Wide‐bandgap semiconductors enable robust, low‐power neuromorphic devices for extreme environments. This review outlines material advantages, device physics, integration, and future directions for next‐generation brain‐inspired computing. ABSTRACT Neuromorphic computing has emerged as a promising paradigm to overcome the energy inefficiency and data ...
Hongyu Tang, Pengsheng Min, Yang Zhang, Qingchun Zhang, Wanlu Zhang, Ruiqian Guo, Guoqi Zhang   +6 more
wiley   +1 more source

Efficient anonymous authentication protocol for internet of vehicles based on Chinese cryptographic SM2

网络与信息安全学报
A critical component of cybersecurity protection in the internet of vehicles (IoV) was identity authentication. However, many existing authentication schemes were plagued by low efficiency and incompatibility with domestic cryptographic algorithms.
SU Binting, FANG He, XU Li
doaj  

Tailoring Spatial Correlations With Quantum Interference

Laser &Photonics Reviews, Volume 20, Issue 11, 5 June 2026.
Imposing spatial structure on interfering photons fundamentally reshapes their correlations. By controlling the mutual distinguishability of two photons, we write and edit these correlations, encoding information that is invisible to conventional intensity measurements and revealed only through their joint behavior.
Carlo Schiano, Bereneice Sephton, Elnaz Darsheshdar, Lorenzo Marrucci, Corrado de Lisio, Vincenzo D'Ambrosio   +5 more
wiley   +1 more source

Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code [PDF]

, 2008
Pironti, Alfredo, Sisto, Riccardo, Riccardo Sisto, Alfredo Pironti   +3 more
core   +1 more source

Opportunities and challenges in protein structure prediction

Quantitative Biology, Volume 14, Issue 2, June 2026.
Abstract Deep learning methods, particularly exemplified by AlphaFold2, have revolutionized the field of protein structure prediction—an achievement recognized by the 2024 Nobel Prize in Chemistry awarded to its core developers. Despite this remarkable achievement, the broader protein folding problem is far from solved. Key challenges—each representing
Wenkai Wang, Baoquan Su, Chenxiao Xiang, Jianyi Yang   +3 more
wiley   +1 more source

Efficient Simulation of Noisy Entanglement Generation

Advanced Quantum Technologies, Volume 9, Issue 6, June 2026.
End‐to‐end entanglement distribution is essential for future quantum internet. The work introduces analytical tools and an upgraded SeQUeNCe simulator for scalable, realistic entanglement‐generation simulations. The method directly estimates success probability, output state, and fidelity under practical noise sources, including dark counts and ...
Lorenzo Brevi, Federico Grasselli, Alessandro Caraceni, Massimiliano Proietti, Massimiliano Dispenza, Enrico Prati   +5 more
wiley   +1 more source