Results 121 to 130 of about 3,712,155 (267)
Journal of Microscopy, EarlyView.Abstract In situ synchrotron X‐ray computed tomography enables dynamic material studies. However, automated segmentation remains challenging due to complex imaging artefacts – like ring and cupping effects – and limited training data. We present a methodology for deep learning‐based segmentation by transforming high‐quality ex situ laboratory data to ...
Tristan Manchester +6 more
wiley +1 more source
Contingent capital: A tale of two valuations
Journal of Risk and Insurance, EarlyView.Abstract This study investigates the valuation gap between buyers and sellers of insurers' contingent capital, driven by asymmetric exposures to tax benefits, capital injections, and bankruptcy costs. We develop a novel Twin‐Tree Model with Jumps (TTMJ) that models the insurer's asset value dynamics by incorporating catastrophe risk, insolvency risk ...
Tian‐Shyr Dai +3 more
wiley +1 more source
Word Predictability as a Measure of Second Language Proficiency
Language Learning, EarlyView.Abstract This study introduces predictabilityBERT, a novel metric for assessing second language (L2) proficiency based on the predictability of word choices in learner language production. Using BERT (Devlin et al., 2019), we calculated the conditional probability of each word in a text given its surrounding context.
Langdon Holmes +3 more
wiley +1 more source
International Transactions in Operational Research, Volume 34, Issue 1, Page 460-500, January 2027.Abstract The application of automated ground vehicles (AGVs) is well‐established in closed environments such as port terminals, while their operation in open areas remains challenging. In this work, we set out to overcome this limitation by introducing platooning as a transfer mode in heterogeneous vehicle networks.
Nadia Pourmohammad‐Zia +2 more
wiley +1 more source
Vessel arrival planning with full information
International Transactions in Operational Research, Volume 34, Issue 1, Page 372-396, January 2027.Abstract Planning efficiency and timely arrival of vessels is crucial to smooth operations of maritime transport networks, ensuring optimal utilization of resources and minimizing operational costs. Coordination between vessel operators and terminals has the potential to reduce costs, fuel consumption, and waiting time.
Pim Willem Antoon van Leeuwen +1 more
wiley +1 more source
Optimal scheduling of smart home appliances using mixed-integer linear programming [PDF]
, 2012 In the last years we have witnessed an increasing interest in smart buildings, in particular for what concerns optimal energy management, renewable energy sources, and smart appliances.
Sartor, Giorgio
core
Multi‐objective maritime vessel routing with safety considerations
International Transactions in Operational Research, Volume 34, Issue 1, Page 337-371, January 2027.Abstract The routing of maritime vessels is a challenging optimization problem that involves finding an adequate balance between conflicting and multiple objectives. This paper proposes a methodology based on inverse optimization to find appropriate objective weights that account for conflicting objectives. To formulate the inverse optimization problem,
Nazanin Sharif +4 more
wiley +1 more source
Straddle carrier routing optimization at container terminals utilizing telemetry‐based prediction
International Transactions in Operational Research, Volume 34, Issue 1, Page 429-459, January 2027.Abstract Efficient vehicle routing and scheduling for horizontal transport means on container terminals can reduce lead times and travel distances, resulting in fuel savings and productivity gains. We apply machine learning to emulate operational processes, bridging the gap between theoretical optimization models and real‐world practices at container ...
Julian Neugebauer +3 more
wiley +1 more source
Advanced Chemical Engineering, Volume 1, Issue 2, December 2026.A two‐scale framework bridges process‐level physics and system‐level decision‐making for electrified green methanol production. Replacing computationally demanding reactor simulations with an interpretable symbolic‐regression surrogate enables rapid techno‐economic and life‐cycle assessment. The framework reveals how process performance propagates into
Yuanjing Zhao +5 more
wiley +1 more source
Reformulation and decomposition of integer programs [PDF]
In this survey we examine ways to reformulate integer and mixed integer programs. Typically, but not exclusively, one reformulates so as to obtain stronger linear programming relaxations, and hence better bounds for use in a branch-and-bound based ...
WOLSEY , Laurence +1 more
core