Zobrazeno 1 - 10
of 4 467
pro vyhledávání: '"Karra, A."'
We consider parameterized verification problems for networks of timed automata (TAs) that communicate via disjunctive guards or lossy broadcast. To this end, we first consider disjunctive timed networks (DTNs), i.e., networks of TAs that communicate
Externí odkaz:
http://arxiv.org/abs/2408.05190
Weblogs, comprised of records detailing user activities on any website, offer valuable insights into user preferences, behavior, and interests. Numerous recommendation algorithms, employing strategies such as collaborative filtering, content-based fi
Externí odkaz:
http://arxiv.org/abs/2403.00822
Assortment planning, integral to multiple commercial offerings, is a key problem studied in e-commerce and retail settings. Numerous variants of the problem along with their integration into business solutions have been thoroughly investigated in the
Externí odkaz:
http://arxiv.org/abs/2311.12241
Autor:
Madeleine Goedegebuure, Matthew I. Bury, Xinlong Wang, Pasquale Sanfelice, Federico Cammarata, Larry Wang, Tiffany T. Sharma, Nachiket Rajinikanth, Vikram Karra, Vidhika Siddha, Arun K. Sharma, Guillermo A. Ameer
Publikováno v:
Bioactive Materials, Vol 41, Iss , Pp 553-563 (2024)
Chronic bladder dysfunction due to bladder disease or trauma is detrimental to affected patients as it can lead to increased risk of upper urinary tract dysfunction. Current treatment options include surgical interventions that enlarge the bladder wi
Externí odkaz:
https://doaj.org/article/bfe054c49e4a4b7c8ae09fb2a6f13f69
The dynamics of a power system with a significant presence of renewable energy resources are growing increasingly nonlinear. This nonlinearity is a result of the intermittent nature of these resources and the switching behavior of their power electro
Externí odkaz:
http://arxiv.org/abs/2309.07814
The rewards a blockchain miner earns vary with time. Most of the time is spent mining without receiving any rewards, and only occasionally the miner wins a block and earns a reward. Mining pools smoothen the stochastic flow of rewards, and in the ide
Externí odkaz:
http://arxiv.org/abs/2309.02297
Pore-resolved direct numerical simulations (DNS) are performed to investigate the interactions between streamflow turbulence and groundwater flow through a randomly packed porous sediment bed for three permeability Reynolds numbers, $Re_K$, of 2.56,
Externí odkaz:
http://arxiv.org/abs/2308.08039
Autor:
Karra, Kiran, Mellan, Tom, Silva, Maria, Madrigal-Cianci, Juan P., Cortes, Axel Cubero, Zhang, Zixuan
In this paper, we outline a framework for modeling utility-based blockchain-enabled economic systems using Agent Based Modeling (ABM). Our approach is to model the supply dynamics based on metrics of the cryptoeconomy. We then build autonomous agents
Externí odkaz:
http://arxiv.org/abs/2307.15200
Motivated by CO2 capture and sequestration (CCS) design considerations, we consider the coupled effects of permeability heterogeneity and background flow on the dissolution of a supercritical CO2 lens into an underlying deep, confined aquifer. We pre
Externí odkaz:
http://arxiv.org/abs/2305.12575
Publikováno v:
VMCAI 2024
We introduce new techniques for the parameterized verification of disjunctive timed networks (DTNs), i.e., networks of timed automata (TAs) that communicate via location guards that enable a transition only if there is another process in a given loca
Externí odkaz:
http://arxiv.org/abs/2305.07295