Results 91 to 100 of about 16,277 (238)

A Higher-Order Language for Markov Kernels and Linear Operators

, 2023
Abstract Much work has been done to give semantics to probabilistic programming languages. In recent years, most of the semantics used to reason about probabilistic programs fall in two categories: semantics based on Markov kernels and semantics based on linear operators.
openaire   +3 more sources

Artificial intelligence empowers targeted protein degradation: Core technological innovations, multi‐scenario applications, and translational prospects

Smart Molecules, EarlyView.
AI is transforming TPD by improving the design, prediction, and optimization of degraders such as PROTACs, molecular glues, and LYTACs. This review summarizes key AI‐driven advances, highlights applications across drug discovery stages, and discusses remaining challenges and future directions for accelerating the development of therapies against ...
Shuanglin Qin, Rui Peng, Guangshuai Zhang, Si Yan, Jin Xiao, Zishu Liu, Ziyu Tan, Qingqing Xie, Shangjie Li, Wei Luo, Xiaohe Xiao   +10 more
wiley   +1 more source

Severity‐Based Reliability Assessment of Energy Communities

Safety Science and Technology, EarlyView.
We develop a severity‐based semi‐Markov framework that replaces binary generation‐demand adequacy with a time‐varying, multistate classification of renewable‐energy shortfalls. The method quantifies shortfall probability, magnitude, persistence, first‐passage time, and unsafe occupation, and derives a cyclo‐stationary severity law to support safety ...
Guglielmo D'Amico, Filippo Petroni, Salvatore Vergine   +2 more
wiley   +1 more source

Research on the coupling coordination characteristics and convergence of digital finance and regional sustainable development: evidence from Chinese city clusters

Scientific Reports
The study examines the digital finance (DF) and regional sustainable development (RSD) across 90 cities within six major city clusters in China over the period from 2011 to 2020.
Qiguang An, Yongkai Wang, Qinggang Meng, Ruoyu Wang, Qian Xie   +4 more
doaj   +1 more source

DQN‐Guided Subset‐Induced OCSVM Kernel Approximation for Imbalanced Anomaly Detection

IEEJ Transactions on Electrical and Electronic Engineering, EarlyView.
Anomaly detection under limited normal data remains a fundamental challenge due to severe class imbalance and scarcity of anomalies. We propose a novel framework that reformulates support vector selection in One‐Class SVM as a sequential decision‐making problem.
Wenqian Yu, Jiaying Wu, Jinglu Hu
wiley   +1 more source

Assessing physiological, behavioral and movement responses to Suprelorin implant delivery methods in free‐ranging eastern grey kangaroos Macropus giganteus

Wildlife Biology, EarlyView.
Overabundant populations of eastern grey kangaroos Macropus giganteus in peri‐urban areas pose ecological and social challenges. Current management strategies are often hindered by animal welfare and logistical concerns. This study aimed to assess stress responses of kangaroos to two contraceptive delivery methods.
Fabiola R. O. Silva, Sebastien Comte, Tamara Keeley, Maquel Brandimarti, Catherine A. Herbert   +4 more
wiley   +1 more source

Estimating crippling loss from hunting with multistate models: a case study on northern bobwhites

Wildlife Biology, EarlyView.
Hunting as a recreational pursuit provides an important ecosystem service worldwide. Harvest management plays a vital role in regulating wildlife take to ensure long‐term population sustainability and meet value‐based objectives (e.g. hunter satisfaction). However, managers rarely have complete control or observability of harvest mortality.
Amanda S. Cramer, Justin A. Rectenwald, William B. Lewis, Michael A. Hazelbaker, Alexander L. Jackson, Holly K. Lott, Geoff Beane, D. Clay Sisson, Melanie R. Kunkel, Nicole M. Nemeth, James A. Martin   +10 more
wiley   +1 more source

Factors influencing wintering turfgrass field use in Atlantic brant

Wildlife Biology, EarlyView.
Atlantic brant Branta bernicla hrota increasingly use turfgrass fields, such as baseball fields and golf courses, throughout their wintering range. Most studies have focused on their primary food source, submerged aquatic vegetation, while studies of other goose species worldwide have examined field use in different contexts, including agricultural ...
David J. Weber, Christopher K. Williams, Theodore C. Nichols, Joshua C. Stiller   +3 more
wiley   +1 more source

Assessing survey techniques for eastern spotted skunks: camera traps, detection dogs, and scent lures

Wildlife Society Bulletin, EarlyView.
Experimental layout comparing 3 survey methods (tree‐mounted cameras, enclosed camera traps, and a detection dog) and 2 scent lures (rabbit urine and weasel gland paste) for detecting eastern spotted skunks (Spilogale putorius) in Florida, USA. All survey methods yielded low but similar detection probabilities.
Kendyl N. Hassler, Andrea L. Sylvia, Lisa M. Smith   +2 more
wiley   +1 more source

Measurement, dynamic evolution and pollution emission effects of the coupling of green finance and digital technology-evidence from China

Frontiers in Environmental Science
This study uses the game theory combination weighting method to measure the level of coordinated development of green finance and digital technology coupling in China.
Ke Liu, Ran Du, Bo Xu, Jiaxin He, Zhaoping Wang   +4 more
doaj   +1 more source