- Research Article
- 10.1016/j.is.2026.102724
Histrio: Actor-based programming and correctness guarantees for serverless environments
- Aug 01, 2026
- Information Systems
- Luca De Martini + 2 more +2
Publications from 2021 to 2026
Showing 10 of 13,367 papers
Histrio: Actor-based programming and correctness guarantees for serverless environments
Navigating the sustainability transition in aviation: the case of liquid hydrogen aircraft adoption by low-cost airlines
• Airline organizational transformation process induced by LH2 aircraft adoption. • Dynamic capabilities to navigate radical sustainability transition in aviation. • Managerial challenges for low-cost airlines induced by LH2 aircraft technology. • Operating model changes and implications for low-cost airline business model. • Adjustments required by integration of LH2 aircraft into existing fleets.
Read moreMulti-action predictive maintenance for lithium-ion batteries based on stacked bilinear neural network
Acetylcholine-protective activity of chemo-enzymatically synthesized aryl vicinal diols and hydroxy ketones.
Modeling VOC emissions from hydrocarbon tanks: mechanistic insights vs. inventory approaches
Volatile Organic Compounds (VOCs) released from storage tanks represent a major source of air pollutants in refineries and petrochemical facilities. This study benchmarks the phenomenological tank–headspace model of Rota et al. (2001) against the standard US EPA’s AP-42 methodology using one year of hourly operational data from diesel tanks. The former formulation was re-implemented through numerical stabilization with flux limiters and a condensation sub-model, improving robustness under steep gradients and enabling to capture the possible vapor recondensation absent from the original scheme. Both approaches reproduce seasonal emission cycles but diverge in their ability to resolve transient events: the mechanistic model captures filling/emptying peaks and headspace dynamics, while AP-42 remains primarily temperature-driven. Annual emission totals are comparable, with AP-42 offering a rapid, low-input solution for inventories, and Rota et al. (2001) providing enhanced temporal resolution for short-term exposure. Results highlight a trade-off between computational demand and temporal resolution, with implications for regulatory versus process-level applications.
Read moreKnowledge graph-driven process reasoning of human-robot collaborative disassembly strategy for end-of-life products
• A novel disassembly process reasoning method combines KG-driven GAT with information decomposition modular. • The SURD mechanism enables the network structure for semantic information and relation analysis. • KG-driven process reasoning provides the decision support for disassembly task allocations and tool selections. • A practical demonstration is accomplished through the overall disassembly strategy of the battery pack. Due to the complex structures and heterogeneous information inherent in End-of-Life (EOL) products, determining optimal disassembly solutions based on Human-Robot Collaboration (HRC) remains a challenging task. As structural and functional uncertainties in EOL products increase, traditional disassembly approaches struggle to meet the practical disassembly demands. Although various algorithms have been proposed for optimizing disassembly processes, significant challenges persist. These include the limited adaptability of existing models and difficulties in representing dynamic structured information effectively. To address these challenges, this study proposes a novel method combining knowledge graph-driven neural networks with an information decomposition module. This mechanism enables the network to discover structural semantic information and relational connections, facilitating the prediction of optimal disassembly strategies and enhancing the process reasoning capability of EOL product data and knowledge. Similarly, the proposed method provides reliable decision support for HRC disassembly task allocations and tool selections, enabling efficient and safe disassembly operations within complex disassembly processes. Finally, we demonstrate the method’s efficacy by using an example of an EOL battery pack, reasoning optimal disassembly strategies and potential process relations in the complex HRC disassembly scenario.
Read moreComplementing complementary science with repertoires: The case of phage therapy.
This article proposes a conceptual analysis of Chang's notion of complementary science through a case study on the revival of phage therapy. Complementary science urges historians and philosophers to recover and extend Kuhn losses - prematurely abandoned systems of practice. The revival of phage therapy, which involves aligning not only epistemic but also material, social, regulatory and clinical elements, reveals the need to extend Chang's framework with Ankeny and Leonelli's notion of repertoires. This conceptual shift proves broadly fruitful. For complementary science, it highlights the normative and ethical dimensions involved in identifying Kuhn losses and foregrounds its transdisciplinary nature. It also clarifies how established repertoires can function both as ambivalent inspirations and entrenched obstacles for emerging ones. Finally, it helps reframe the historical trajectory and contemporary assessment of phage therapy, showing a plurality of benefits and of possible developments independently of its full reintegration into the Western pharmacopoeia. More generally, the article illustrates the value of an integrated history and philosophy of science attentive to the interlinked material, epistemic and social elements involved in scientific practices.
Read more“Getting things done” or “Doing the right things”? Micro-foundations of product-service strategies in Earth Observation
Breaking the status-quo: How bias awareness and metacognitive engagement sequentially debias entrepreneurial decisions
Causality-enhanced system reliability and safety analysis: An overview