Results 81 to 90 of about 57,646 (303)
FinOps-Aware Budget-Constrained Optimization for Cloud Resource Management
Applied SciencesWith the rise of Financial Operations (FinOps), cloud resource management requires the enforcement of strict budgetary guardrails rather than soft cost objectives.
Choong-Hee Cho
doaj +1 more source
A Provenance Tracking Model for Data Updates [PDF]
, 2012 For data-centric systems, provenance tracking is particularly important when the system is open and decentralised, such as the Web of Linked Data. In this paper, a concise but expressive calculus which models data updates is presented.
Ciobanu, Gabriel, Horne, Ross
core +3 more sources
A Lightweight Procedural Layer for Hybrid Experimental–Computational Workflows in Materials Science
Advanced Engineering Materials, EarlyView.We unveil a prototype hybrid‐workflow framework that fuses automatedcomputation with hands‐on experiments. Built atop pyiron, a lightweight, parameterized layer translates procedure descriptions into executable manual steps, syncing instrument settings, human interventions, and data capture in real‐time today.
Steffen Brinckmann +8 more
wiley +1 more source
MoleculesLithium-ion batteries (LIBs) are pivotal for energy storage in electric vehicles and renewable systems, but how to effectively monitor their conditions and ensure their operational reliability is still a concern today.
Xiong Shu +5 more
doaj +1 more source
A Process Calculus for Expressing Finite Place/Transition Petri Nets
, 2010 We introduce the process calculus Multi-CCS, which extends conservatively CCS with an operator of strong prefixing able to model atomic sequences of actions as well as multiparty synchronization.
Gorrieri, Roberto, Versari, Cristian
core +2 more sources
On Asynchrony and Choreographies [PDF]
, 2017 Choreographic Programming is a paradigm for the development of concurrent software, where deadlocks are prevented syntactically. However, choreography languages are typically synchronous, whereas many real-world systems have asynchronous communications ...
Cruz-Filipe, Luís, Montesi, Fabrizio
core +3 more sources
Advanced Functional Materials, EarlyView.Wafer‐scale two‐dimensioanl In2Se3 oxidized into InOx on sodium‐embedded beta‐alumina enables multifunctional reconfigurable electronics. Sodium ions accumulate within distinct spatial distribution under drain‐controlle and gate‐controlled operation. Drain‐control operation gives controllability of ultraviolet‐driven optoelectronic synaptic conductance
Jinhong Min +13 more
wiley +1 more source
Dependency-Constrained Cascading Rescheduling: Network Evolution and Long-Term Adaptation
MathematicsTraditional scheduling theory optimizes initial task assignments under static assumptions, yet operational systems face repeated disruptions requiring both immediate rescheduling and long-term structural adaptation.
TzeHoung Lee, Xue-Ming Yuan
doaj +1 more source
Advanced Healthcare Materials, EarlyView.Cerebral organoids are transforming brain research, yet the field remains fragmented. This comprehensive systematic review maps 738 studies published between 2014 and 2024 to uncover trends, gaps, and opportunities across neuroscience. Introducing OrganoidMap—an interactive, open‐access platform to explore and compare models—this work enables ...
Anna Wolfram +10 more
wiley +1 more source