Results 111 to 120 of about 186,455 (231)
Schedulability analysis of timed CSP models using the PAT model checker [PDF]
, 2012 Timed CSP can be used to model and analyse real-time and concurrent behaviour of embedded control systems. Practical CSP implementations combine the CSP model of a real-time control system with prioritized scheduling to achieve efficient and orderly use ...
Broenink, Jan F. +2 more
core +1 more source
The continuing significance of chiral agrochemicals
Pest Management Science, Volume 81, Issue 4, Page 1697-1716, April 2025.In the time frame 2018–2023, around 43% of the 35 chiral agrochemicals introduced to the market (herbicides, fungicides, insecticides, acaricides, and nematicides) contain one or more stereogenic centers in the molecule, and almost 69% of them have been marketed as racemic mixtures of enantiomers or stereoisomers.
Peter Jeschke
wiley +1 more source
River Research and Applications, EarlyView.ABSTRACT Ditches are essential elements of the agricultural landscape because of their role as habitat or refuge for aquatic species, especially in homogenized and intensively cultivated areas. However, data on the biodiversity associated with agricultural ditches, and its variation over time, are underrepresented in ecological research.
Michela Rappocciolo +5 more
wiley +1 more source
Remote Sensing in Ecology and Conservation, EarlyView.Tree canopy height is a key indicator of forest biomass and structure, yet accurate mapping across the Amazon remains challenging. Here, we generated a canopy height map of the Amazon forest at ~4.8 m resolution using Planet NICFI imagery and a deep learning U‐Net model trained with airborne LiDAR data.
Fabien H. Wagner +21 more
wiley +1 more source
Sustainable Development, EarlyView.ABSTRACT Air transport is one of the fastest‐growing sources of greenhouse gas emissions, yet it remains one of the most difficult sectors to decarbonize. The sector's climate impact is amplified by two factors: the steady rise in passenger demand and the absence of commercially viable low‐carbon technologies for long‐haul flights.
Jouni K. Juntunen +2 more
wiley +1 more source
Small, EarlyView.Engineered malaria antigens enable in vivo bioconjugation to submicron biopolymer particles in E. coli. Two antigens are co‐tethered at high density and defined stoichiometry. The resulting thermostable particles elicit strong, durable antibody and T‐cell responses, conferring robust protection and blocking mosquito transmission.
Nivethika Sivakumaran +10 more
wiley +1 more source
A Resource Efficient Ising Model‐Based Quantum Sudoku Solver
Software: Practice and Experience, EarlyView.ABSTRACT Background Quantum algorithms exploit superposition and parallelism to address complex combinatorial problems, many of which fall into the non‐polynomial (NP) class. Sudoku, a widely known logic‐based puzzle, is proven to be NP‐complete and thus presents a suitable testbed for exploring quantum optimization approaches.
Wen‐Li Wang +5 more
wiley +1 more source
Safety Science and Technology, EarlyView.Based on the challenges and motivations of global PFAS bans, this review highlights recent advances in strategies achieving UL‐94 V‐0 flame retardancy in polycarbonate while maintaining critical comprehensive performances, offering perspectives for future R&D. ABSTRACT This review focuses on the recent advancements in the development of UL‐94 V‐0 rated
Ting Sai +8 more
wiley +1 more source