Results 51 to 60 of about 24,609 (181)

Practical applications of probabilistic model checking to communication protocols [PDF]

, 2012
Probabilistic model checking is a formal verification technique for the analysis of systems that exhibit stochastic behaviour. It has been successfully employed in an extremely wide array of application domains including, for example, communication and ...
Alur, Alur, Barnat, Berendsen, Bianco, Ciesinski, Courcoubetis, Duflot, Duflot, Gonsalves, Guirado, Hansson, Henzinger, Herault, Hinton, Jeannet, Katoen, Katoen, Kwiatkowska, Kwiatkowska, Kwiatkowska, Kwiatkowska, Kwiatkowska, Kwiatkowska, Kwiatkowska, Riedl, Roy, Rutten, Segala, Tribastone, Younes, Younes, Yovine   +32 more
core   +2 more sources

Anomaly Detection and Localization With State‐of‐the‐Art Deep Learning Models to Support Quality Inspection in Car Manufacturing

Engineering Reports, Volume 8, Issue 3, March 2026.
This work presents a deep learning framework for sealant inspection in automotive manufacturing, leveraging synthetic data to address the scarcity of real defects. Integrated with state‐of‐the‐art deep learning methods, the approach enhances anomaly detection and localization, demonstrating practical applicability and robustness under real‐world ...
Francesco Manigrasso, Davide Calandra, Lia Morra, Fabrizio Lamberti   +3 more
wiley   +1 more source

Catalysts for change: Museum gardens in a planetary emergency

PLANTS, PEOPLE, PLANET, Volume 8, Issue 2, Page 401-410, March 2026.
Natural history museums are often seen as places with indoor galleries full of dry‐dusty specimens, usually of animals. But if they have gardens associated with them, museums can use living plants to create narratives that link outside spaces to inside galleries, bringing to life the challenges facing biodiversity.
Ed Baker, Paul Kenrick, Sandra Knapp, Tom McCarter, John Tweddle   +4 more
wiley   +1 more source

IDLB: An SDN‐Based Load‐Balancing Routing Protocol for Autonomous Satellite Constellation Networks

International Journal of Satellite Communications and Networking, Volume 44, Issue 2, Page 109-127, March/April 2026.
ABSTRACT Routing in satellite constellation networks with intersatellite links has become an important aspect to enable broadband Internet access and to integrate into terrestrial networks. However, their dynamic characteristics and large physical size require specifically tailored solutions.
Manuel M. H. Roth, Hartmut Brandt, Hermann Bischl, David Fernández Piñas, Guray Acar   +4 more
wiley   +1 more source

KAUSTSat: Saudi Arabia's First Hyperspectral CubeSat Mission for Earth Observation

Earth and Space Science, Volume 13, Issue 3, March 2026.
Abstract Developed by the King Abdullah University of Science and Technology (KAUST) to support research in atmospheric science and remote sensing, KAUSTSat represented Saudi Arabia's (and the Middle East's) first research‐focused hyperspectral CubeSat mission for Earth observation.
Victor Angulo, Dario Scilla, Jorge L. Rodriguez, Naif Alsalem, Kasper Johansen, Matthew F. McCabe   +5 more
wiley   +1 more source

Experimental control system of the X‐ray magnetic circular dichroism endstation at Hefei Light Source‐II

Journal of Synchrotron Radiation, Volume 33, Issue 2, Page 351-361, March 2026.
An Experimental Control System leveraging Bluesky and EPICS has been developed for the X‐ray Magnetic Circular Dichroism endstation at Hefei Light Source‐II. The design of a simulation debugging environment and the performance of three distinct scan modes have also been discussed.The Hefei Light Source‐II (HLS‐II) facility is undergoing upgrades to its
Anbo Kong, Liuguo Chen, Kai Chen, DaDi Zhang, Xiaokang Sun, Gongfa Liu   +5 more
wiley   +1 more source

A Multi‐Layered Analysis of Energy Consumption in Spark

Concurrency and Computation: Practice and Experience, Volume 38, Issue 3, February 2026.
ABSTRACT Although energy has become a major concern in data processing systems, it is usually hard to get a deep understanding of how performance and energy consumption relate to each other when planning how to configure a computing environment to execute a specific data‐oriented workload.
Nestor D. O. Volpini, Vinícius Dias, Dorgival Guedes   +2 more
wiley   +1 more source

Development and Testing of a Low‐Cost Soil Moisture Sensor for Real‐Time Irrigation Scheduling

Irrigation and Drainage, Volume 75, Issue 1, Page 173-187, February 2026.
ABSTRACT Effective irrigation scheduling is essential for improved water management in irrigated areas, with soil moisture monitoring recognized as one of the most effective methods. However, challenges such as the high cost of sensors and the difficulties in monitoring large areas hinder their practical application, particularly for smallholder ...
Edmealem Temesgen Ebstu, Samuel Dagalo Hatiye, Demelash Wendimagegnehu Goshime, Johannes Dirk Dingemanse, Demiso Daba Dugassa, Tafesse Fitensa, Getachew Enssa, Chanako Dane Chare, Destaw Akil Areru, Yared Godine Demeke   +9 more
wiley   +1 more source

RaPro: A Novel 5G Rapid Prototyping System Architecture

, 2017
We propose a novel fifth-generation (5G) rapid prototyping (RaPro) system architecture by combining FPGA-privileged modules from a software defined radio (or FPGA-coprocessor) and high-level programming language for advanced algorithms from multi-core ...
Gao, Feifei, Han, Bin, Huang, Zhichao, Jin, Shi, Wen, Chao-Kai, Yang, Xi, Zhang, Senjie   +6 more
core   +1 more source

Digital frequency domain multiplexing readout electronics for the next generation of millimeter telescopes

, 2014
Frequency domain multiplexing (fMux) is an established technique for the readout of transition-edge sensor (TES) bolometers in millimeter-wavelength astrophysical instrumentation. In fMux, the signals from multiple detectors are read out on a single pair
Austermann, Barron, Benson, Bock, de Haan, Grainger, Hattori, Hazumi, Henning, Kermish, Khosropanah, Tomaru   +11 more
core   +1 more source