Ảnh bìa

Composable partial multiparty session types for open systems

CC BY

Lưu vào:

Hiển thị chi tiết
Tác giả chính:	Claude, Stolze, Marino, Miculan, Pietro Di, Gianantonio
Định dạng:	Sách
Ngôn ngữ:	English
Nhà xuất bản:	Springer 2023
Chủ đề:	well-established framework distributed systems
Truy cập trực tuyến:	https://link.springer.com/article/10.1007/s10270-022-01040-x https://dlib.phenikaa-uni.edu.vn/handle/PNK/7723
Từ khóa:	Thêm từ khóa Không có từ khóa, Hãy là người đầu tiên đánh dấu biểu ghi này!

Tài liệu tương tự

Affine-Invariant Ensemble Transform Methods for Logistic Regression
theo: Jakiw, Pidstrigach, và những người khác
Nhà xuất bản: (2023)

From assessment to a decision: a global framework for the management of energy use in wastewater systems
theo: Jorge, C., và những người khác
Nhà xuất bản: (2023)

Asymptotic behavior of plate equations driven by colored noise on unbounded domains
theo: Xiao Bin, Yao
Nhà xuất bản: (2023)

The emergence of a virus variant: dynamics of a competition model with cross-immunity time-delay validated by wastewater surveillance data for COVID-19
theo: Bruce, Pell, và những người khác
Nhà xuất bản: (2023)

Switched hyperbolic balance laws and differential algebraic equations
theo: Raul, Borsche, và những người khác
Nhà xuất bản: (2023)

What is a framework? Understanding their purpose, value, development and use
theo: Partelow, Stefan
Nhà xuất bản: (2023)

Automated cloud resources provisioning with the use of the proximal policy optimization
theo: Włodzimierz, Funika, và những người khác
Nhà xuất bản: (2023)

Spatial–temporal distribution and evolution of the socialist built heritage in China, 1949–1978
theo: Ma, Xidong, và những người khác
Nhà xuất bản: (2023)

On Rigidity for the Four-Well Problem Arising in the Cubic-to-Trigonal Phase Transformation
theo: Angkana, Rüland, và những người khác
Nhà xuất bản: (2023)

Sphere Face Model: A 3D morphable model with hypersphere manifold latent space using joint 2D/3D training
theo: Diqiong, Jiang, và những người khác
Nhà xuất bản: (2023)

Parameter estimation in reliability and life span models /
theo: Cohen, A. Clifford
Nhà xuất bản: (1988)

Unisolvence of Symmetric Node Patterns for Polynomial Spaces on the Simplex
theo: W. A., Mulder
Nhà xuất bản: (2023)

Modified orca predation algorithm: developments and perspectives on global optimization and hybrid energy systems
theo: Marwa M., Emam, và những người khác
Nhà xuất bản: (2023)

Dynamic linkages between tourism, economic growth, trade, energy demand and carbon emission evidence from EU
theo: Nnamdi Chinwendu, Nwaeze, và những người khác
Nhà xuất bản: (2023)

Geometrically Nonlinear Behaviour of Functionally Graded Beam and Frame Structures Under Mechanical Loading
theo: Thi Thu Hoai, Bui, và những người khác
Nhà xuất bản: (2022)

Adversarial classification via distributional robustness with Wasserstein ambiguity
theo: Nam Ho-, Nguyen, và những người khác
Nhà xuất bản: (2023)

Global video object segmentation with spatial constraint module
theo: Yadang, Chen, và những người khác
Nhà xuất bản: (2023)

The weighted cross-shareholding complex network: a copula approach to concentration and control in financial markets
theo: Roy, Cerqueti, và những người khác
Nhà xuất bản: (2023)

Uncrewed autonomous marine vessels test the limits of maritime safety frameworks
theo: Humphries, Fran, và những người khác
Nhà xuất bản: (2023)

A Research Toward Chinese Named Entity Recognition Based on Transfer Learning
theo: Hui, Kang, và những người khác
Nhà xuất bản: (2023)

Completed sample correlations and feature dependency-based unsupervised feature selection
theo: Tong, Liu, và những người khác
Nhà xuất bản: (2023)

A μ-mode BLAS approach for multidimensional tensor-structured problems
theo: Marco, Caliari, và những người khác
Nhà xuất bản: (2023)

Đề tài: Tìm hiểu và xây dựng ứng dụng với VueJS
theo: Chu Tuấn, Hùng, và những người khác
Nhà xuất bản: (2023)

Comparison of Phosphorus and Phytase Activity Distribution in Wheat, Rye, Barley and Oats and Their Impact on a Potential Phytate Separation
theo: Natalie, Mayer, và những người khác
Nhà xuất bản: (2023)

Hypergraph-based importance assessment for binary classification data
theo: Pawel, Misiorek, và những người khác
Nhà xuất bản: (2023)

ICE-GCN: An interactional channel excitation-enhanced graph convolutional network for skeleton-based action recognition
theo: Shuxi, Wang, và những người khác
Nhà xuất bản: (2023)

Hochschild homology, and a persistent approach via connectivity digraphs
theo: Luigi, Caputi, và những người khác
Nhà xuất bản: (2023)

The income gap reporting framework in public not-for-profit organizations: the British Museum case
theo: Paolo, Ferri, và những người khác
Nhà xuất bản: (2023)

Self-assembled BiFeO3@MIL-101 nanocomposite for antimicrobial applications under natural sunlight
theo: Pulvirenti, Luca, và những người khác
Nhà xuất bản: (2023)

Biometric Systems: IntechOpen Book Series Biomedical Engineering, Volume 8
theo: Sarfraz, Muhammad
Nhà xuất bản: (2023)

Towards achieving a high degree of situational awareness and multimodal interaction with AR and semantic AI in industrial applications
theo: Juan, Izquierdo-Domenech, và những người khác
Nhà xuất bản: (2023)

A Systemic Perspective on Organizations: International Experience with the Systemic Constellation Method
theo: Salome, Scholtens, và những người khác
Nhà xuất bản: (2023)

Signals and systems /
theo: Haykin, Simon S., 1931-
Nhà xuất bản: (2002)

Crystal structures of two camelid nanobodies raised against GldL, a component of the type IX secretion system from Flavobacterium johnsoniae
theo: T. T. N. Trinh, và những người khác
Nhà xuất bản: (2021)

Introduction to Systems Biology: Workbook for Flipped-Classroom Teaching
theo: Thomas, Sauter, và những người khác
Nhà xuất bản: (2023)

Multi Robot Systems
theo: Lazinica, Aleksandar
Nhà xuất bản: (2023)

Learning Elliptic Partial Differential Equations with Randomized Linear Algebra
theo: Nicolas, Boullé, và những người khác
Nhà xuất bản: (2023)

The Inter-American Human Rights System
theo: Engstrom, Par
Nhà xuất bản: (2022)

Complexity, Dynamics, Control, and Applications of Nonlinear Systems with Multistability
theo: Viet-Thanh Pham, và những người khác
Nhà xuất bản: (2020)

Biases in scholarly recommender systems: impact, prevalence, and mitigation
theo: Michael, Färber, và những người khác
Nhà xuất bản: (2023)