Results 11 to 20 of about 7,282 (120)
Hardware acceleration of number theoretic transform for zk‐SNARK
Engineering Reports, EarlyView., 2023 An FPGA‐based hardware accelerator with a multi‐level pipeline is designed to support the large‐bitwidth and large‐scale NTT tasks in zk‐SNARK. It can be flexibly scaled to different scales of FPGAs and has been equipped in the heterogeneous acceleration system with the help of HLS and OpenCL.
Haixu Zhao +6 more
wiley +1 more source
Addressing performance requirements in the FDT-based design of distributed systems [PDF]
, 1992 The development of distributed systems is generally regarded as a complex and costly task, and for this reason formal description techniques such as LOTOS and ESTELLE (both standardized by the ISO) are increasingly used in this process. Our experience is
Schot, Jeroen
core +3 more sources
A Maclaurin-series expansion approach to coupled queues with phase-type distributed service times [PDF]
, 2016 International ...
De Cuypere, Eline +3 more
core +4 more sources
The Necessity of Dynamic Workflow Managers for Advancing Self‐Driving Labs and Optimizers
Advanced Intelligent Discovery, EarlyView.We assess the maturity and integration readiness of key methodologies for Materials Acceleration Platforms, highlighting the need for dynamic workflow managers. Demonstrating this, we integrate PerQueue into a color‐mixing robot, showing how flexible orchestration improves coordination and optimization.
Simon K. Steensen +6 more
wiley +1 more source
Factorization identities for reflected processes, with applications [PDF]
, 2013 We derive factorization identities for a class of preemptive-resume queueing systems, with batch arrivals and catastrophes that, whenever they occur, eliminate multiple customers present in the system.
Boxma, Onno J. +2 more
core +2 more sources
AI &Innovation, EarlyView.ABSTRACT The rapid advancement of large language model (LLM) technology is profoundly transforming the practice of social science research. Scholarly discussions on Artificial Intelligence (AI)'s role in social science research can be organised into three levels: AI as a research tool, AI as a methodological infrastructure and AI as a quasi‐cognitive ...
Jie Xiong
wiley +1 more source
Fueling Tomorrow: Scenario Planning for the Future of Gas Stations
Business Strategy and the Environment, EarlyView.ABSTRACT Transport electrification is reshaping the service infrastructures that mediate everyday mobility, yet most electrification scenario studies remain macrolevel and offer limited insight into how incumbent forecourt (gas‐station) networks can adapt under deep uncertainty.
Joao Gabriel Rosa +2 more
wiley +1 more source
Towards Characterization of Five‐List‐Colorability of Toroidal Graphs
Journal of Graph Theory, EarlyView.ABSTRACT Through computer‐assisted enumeration, we list minimal obstructions for 5‐choosability of graphs on the torus with the following additional property: There exists a cyclic system of non‐contractible triangles around the torus where the consecutive triangles are at distance at most four.
Zdeněk Dvořák +1 more
wiley +1 more source
About a possible analytic approach for walks in the quarter plane with arbitrary big jumps [PDF]
, 2014 In this note, we consider random walks in the quarter plane with arbitrary big jumps. We announce the extension to that class of models of the analytic approach of [G. Fayolle, R. Iasnogorodski, and V.
Fayolle, Guy, Raschel, Kilian
core +6 more sources
International Journal of Satellite Communications and Networking, EarlyView.ABSTRACT Low Earth Orbit (LEO) satellite communication systems have evolved into a critical component of global broadband networks, enabling wide‐area connectivity, IoT services, and intelligent multilayer satellite–terrestrial integration. Despite rapid advancements in constellation deployment, routing mechanisms, resource management, and LEO–5G/6G ...
Wei‐Hao Su +2 more
wiley +1 more source