Results 1 to 10 of about 228,589 (307)
Journal of Functional Programming, 2015 Abstract We show that the syntactically rich notion of strictly positive families can be reduced to a core type theory with a fixed number of type constructors exploiting the novel notion of indexed containers. As a result, we show indexed containers provide normal forms for strictly positive families in much the same way that ...
Thorsten Altenkirch +4 more
openaire +2 more sources
Литьë и металлургия, 2023 The article describes technological solutions for casting blanks for containers for transportation of nuclear waste. As examples, calculations of external refrigerators are proposed to solve the issues of directional crystallization of the casting ...
A. N. Poddubny
doaj +1 more source
CASE: A Context-Aware Storage Placement and Retrieval Ecosystem
IEEE Access, 2022 Emerging cloud-native technologies, such as container-runtime and container-orchestrator offer unprecedented agility in developing and running applications, especially when combined with microservice-style architecture.
Ganesh Chandrasekaran +4 more
doaj +1 more source
A Unified Vendor-Agnostic Solution for Big Data Stream Processing in a Multi-Cloud Environment
Applied Sciences, 2023 The field of cloud computing has witnessed tremendous progress, with commercial cloud providers offering powerful distributed infrastructures to small and medium enterprises (SMEs) through their revolutionary pay-as-you-go model. Simultaneously, the rise
Thalita Vergilio +2 more
doaj +1 more source
Optimization models of a two-component nuclear energy system with thermal and fast reactors in a closed nuclear fuel cycle [PDF]
Nuclear Energy and Technology, 2019 The article presents a description and some illustrative results of the application of two optimization models for a two-component nuclear energy system consisting of thermal and fast reactors in a closed nuclear fuel cycle.
Andrey A. Andrianov +4 more
doaj +3 more sources
Energies, 2023 Microservice architectures exploit container-based virtualized services, which rarely use hardware-based cryptography. A trusted platform module (TPM) offers a hardware root for trust in services that makes use of cryptographic operations.
Antonio J. Cabrera-Gutiérrez +5 more
doaj +1 more source
Balanced Leader Distribution Algorithm in Kubernetes Clusters
Sensors, 2021 Container-based virtualization is becoming a de facto way to build and deploy applications because of its simplicity and convenience. Kubernetes is a well-known open-source project that provides an orchestration platform for containerized applications ...
Nguyen Dinh Nguyen, Taehong Kim
doaj +1 more source
Applied Sciences, 2021 Cloud computing manages system resources such as processing, storage, and networking by providing users with multiple virtual machines (VMs) as needed.
Syed Asif Raza Shah +5 more
doaj +1 more source
comorment/containers: CoMorMent-Containers-v1.1
, 2022 CoMorMent-Containers-v1.1 This is the first maintenance/feature release of the CoMorMent-Containers project. Confer also the CHANGELOG for an overview of changes since the initial v1.0.0 release What's Changed Fixes incorrect --vcfField format by ...
John Shorter +4 more
core +1 more source
comorment/containers: CoMorMent-Containers-v1.3.6
, 2023 This is 6th minor/bugfix release of the CoMorMent-Containers project since v1.3.0 release Confer also the CHANGELOG for an overview of changes since the v1.3.0 release What's Changed LDpred2.R: if --merge-by-rsid is used, ignore --col-bp by @espenhgn ...
John Shorter +6 more
core +1 more source