## Found 1,143 Documents (Results 1–100)

100
MathJax

MSC:  68Qxx
Full Text:

### Convergence details about $$k$$-DPP Monte-Carlo sampling for large graphs. (English)Zbl 07523480

MSC:  05C50 60G55 68T05
Full Text:

### Composition color algebras. (English)Zbl 07515330

MSC:  17A70 17A75
Full Text:

### Hafnian point processes and quasi-free states on the CCR algebra. (English)Zbl 07510938

MSC:  60G55 46L30 60G15
Full Text:

MSC:  62-XX
Full Text:

### Tensor Arnoldi-Tikhonov and GMRES-type methods for ill-posed problems with a t-product structure. (English)Zbl 1481.65060

MSC:  65F22 65F10 15A69
Full Text:

### A study on team bisimulation and H-team bisimulation for BPP nets. (English)Zbl 07437214

MSC:  68Q85 03B45
Full Text:

### Encoding safety in $$\mathrm{CLL}_R$$. (English)Zbl 07437213

MSC:  68Q85 68Q60 03B44
Full Text:

### Six model categories for directed homotopy. (English)Zbl 07528809

MSC:  18C35 55U35 18G55 68Q85
Full Text:

Full Text:

Full Text:

### Spanning tree constrained determinantal point processes are hard to (approximately) evaluate. (English)Zbl 07443018

MSC:  68-XX 15-XX
Full Text:

Full Text:

MSC:  68-XX
Full Text:

### Tripartite non-causal games with multi-settings. (English)Zbl 07420926

MSC:  81Pxx 15Axx 47Lxx
Full Text:

MSC:  68-XX
Full Text:

Full Text:

MSC:  68Qxx
Full Text:

Full Text:

Full Text:

Full Text:

### TT-QI: faster value iteration in tensor train format for stochastic optimal control. (English. Russian original)Zbl 1469.49026

Comput. Math. Math. Phys. 61, No. 5, 836-846 (2021); translation from Zh. Vychisl. Mat. Mat. Fiz. 61, No. 5, 865-877 (2021).
MSC:  49K45 90C39 65F99
Full Text:

### Deadlock and WCET analysis of barrier-synchronized concurrent programs. (English)Zbl 1473.68050

MSC:  68N30 68Q85
Full Text:

Full Text:

### Tensor Krylov subspace methods with an invertible linear transform product applied to image processing. (English)Zbl 1465.65035

MSC:  65F22 15A69 94A08
Full Text:

### A global variant of the COCR method for the complex symmetric Sylvester matrix equation $$AX+XB=C$$. (English)Zbl 07351736

MSC:  65-XX 15-XX
Full Text:

### Failure trace semantics for a process algebra with time-outs. (English)Zbl 07350777

MSC:  03B70 68-XX
Full Text:

### Pfaffian point processes from free fermion algebras: perfectness and conditional measures. (English)Zbl 1459.60109

MSC:  60G55 46L53 46L30
Full Text:

### Low synchronization Gram-Schmidt and generalized minimal residual algorithms. (English)Zbl 1474.65103

Reviewer: Miroslav Rozloznik
MSC:  65F25 65F10 65Y05
Full Text:

### It sometimes works: a lifting algorithm for repair of stochastic process algebra models. (English)Zbl 07440846

Hermanns, Holger (ed.), Measurement, modelling and evaluation of computing systems. 20th international GI/ITG conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12040, 190-207 (2020).
MSC:  68M20 68M15 68Q85
Full Text:

### Verifying quantum communication protocols with ground bisimulation. (English)Zbl 1473.68115

Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12079, 21-38 (2020).
Full Text:

### Lie symmetry analysis on pricing weather derivatives by partial differential equations. (English)Zbl 07392818

Silvestrov, Sergei (ed.) et al., Algebraic structures and applications. Selected papers based on the presentations at the international conference on stochastic processes and algebraic structures – from theory towards applications, SPAS 2017, Västerås and Stockholm, Sweden, October 4–6, 2017. Cham: Springer. Springer Proc. Math. Stat. 317, 875-901 (2020).
MSC:  22Exx 65D32 91B25 76M60
Full Text:

### A note on adaptivity in factorized approximate inverse preconditioning. (English)Zbl 07376166

MSC:  65F05 65F25
Full Text:

### Modeling big data processing programs. (English)Zbl 1475.68081

Carvalho, Gustavo (ed.) et al., Formal methods: foundations and applications. 23rd Brazilian symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12475, 101-118 (2020).
MSC:  68N30 68Q85 68T09
Full Text:

### Map-Reduce process algebra: a formalism to describe directed acyclic graph task-based jobs in parallel environments. (English)Zbl 1475.68038

Gribaudo, Marco (ed.) et al., Analytical and stochastic modelling techniques and applications. 25th international conference, ASMTA 2019, Moscow, Russia, October 21–25, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12023, 85-99 (2020).
Full Text:

Full Text:

### Modelling patterns of gene regulation in the bond-calculus. (English)Zbl 1458.92039

Gupta, Ankit (ed.) et al., Proceedings of SASB 2018, the 9th international workshop on static analysis and systems biology, Freiburg, Germany, August 28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 350, 117-138 (2020).
MSC:  92C42 92D10
Full Text:

### BiLQ: an iterative method for nonsymmetric linear systems with a quasi-minimum error property. (English)Zbl 1458.65032

MSC:  65F10 65F25 65F50
Full Text:

### A complete proof system for 1-free regular expressions modulo bisimilarity. (English)Zbl 07299489

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 465-478 (2020).
MSC:  68-XX
Full Text:

### A fuzzy modal logic for fuzzy transition systems. (English)Zbl 1452.68126

Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 348, 85-103 (2020).
MSC:  68Q85 03B45 03B52
Full Text:

### Psi-calculi revisited: connectivity and compositionality. (English)Zbl 07288621

MSC:  03B70 68-XX
Full Text:

Full Text:

### Improvement of analytic hierarchy process based on the refinement of the procedures for the formation of pairwise comparison matrices. (English. Russian original)Zbl 07285124

Cybern. Syst. Anal. 56, No. 4, 603-610 (2020); translation from Kibern. Sist. Anal. 2020, No. 4, 98-107 (2020).
MSC:  65Fxx 68-XX
Full Text:

### Exact sampling of determinantal point processes without eigendecomposition. (English)Zbl 1472.60085

MSC:  60G55 65F99
Full Text:

### Discrete time stochastic and deterministic Petri box calculus dtsdPBC. (English)Zbl 1448.68352

MSC:  68Q85 68Q55 68Q87
Full Text:

### Causal reasoning for safety in Hennessy Milner logic. (English)Zbl 1471.68133

MSC:  68Q60 03B70 68Q85
Full Text:

### Calculation of transition probabilities in quantum mechanics with a nonnegative distribution function in the Maple computer algebra system. (English. Russian original)Zbl 1450.81069

Comput. Math. Math. Phys. 60, No. 1, 82-89 (2020); translation from Zh. Vychisl. Mat. Mat. Fiz. 60, No. 1, 88-95 (2020).
Full Text:

Full Text:

### Inputs and outputs in CSP. A model and a testing theory. (English)Zbl 1446.68103

MSC:  68Q85 68Q60
Full Text:

### The measure on the original space from a product measure. (English)Zbl 1447.62039

MSC:  62G07 60G15 28A35
Full Text:

### Modeling block structured project scheduling with resource constraints. (English)Zbl 1437.68162

Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 12th international conference, LSSC 2019, Sozopol, Bulgaria, June 10–14, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11958, 484-492 (2020).
Full Text:

Full Text:

### Time-reversal homotopical properties of concurrent systems. (English)Zbl 1440.18009

MSC:  18C40 55U99 68Q85
Full Text:

### Direct global Lanczos method for large linear systems with multiple right-hand sides. (English)Zbl 1449.65056

MSC:  65F10 65F25
Full Text:

Full Text:

Full Text:

MSC:  68M14
Full Text:

### Veronese representation of projective Hjelmslev planes over some quadratic alternative algebras. (English)Zbl 1436.51005

MSC:  51C05 51E24
Full Text:

### Iterative Tikhonov regularization of tensor equations based on the Arnoldi process and some of its generalizations. (English)Zbl 1432.65049

MSC:  65F22 65F05 65F10
Full Text:

### A calculus of branching processes. (English)Zbl 1436.68212

MSC:  68Q85 68Q45
Full Text:

### Generalizing the hypergraph Laplacian via a diffusion process with mediators. (English)Zbl 1442.05145

MSC:  05C65 05C50
Full Text:

### Accurate and interval estimates of the probability of network service availability for communication networks. (English)Zbl 07380319

Vishnevskiy, Vladimir M. (ed.) et al., Distributed computer and communication networks. 22nd international conference, DCCN 2019, Moscow, Russia, September 23–27, 2019. Revised selected papers. Cham: Springer. Commun. Comput. Inf. Sci. 1141, 15-26 (2019).
MSC:  90B18 90B25
Full Text:

MSC:  91B06
Full Text:

### Numerical factorization of a matrix-function with exponential factors in an anti-plane problem for a crack with process zone. (English)Zbl 1462.74177

MSC:  74S99 65F99 74R10
Full Text:

### On semilattice of Linux processes’ states. (Russian. English summary)Zbl 1455.68041

MSC:  68N25 06A12 68P05
Full Text:

### On the Cayley-Dickson process for dialgebras. (English)Zbl 1439.17002

MSC:  17A15 17A01
Full Text:

### A computational method for large-scale differential symmetric Stein equation. (English)Zbl 1427.65041

MSC:  65F10 65F99
Full Text:

Full Text:

MSC:  81P68
Full Text:

MSC:  81P40
Full Text:

### Probabilistic process algebra to unifying quantum and classical computing in closed systems. (English)Zbl 1428.81062

MSC:  81P68 68W01 68Q85
Full Text:

### An axiomatization for quantum processes to unifying quantum and classical computing. (English)Zbl 1468.81032

MSC:  81P68 81P45
Full Text:

Full Text:

### From box algebra to interval temporal logic. (English)Zbl 1423.68312

MSC:  68Q85 03B44
Full Text:

MSC:  68Q85
Full Text:

Full Text:

### Constructing weak simulations from linear implications for processes with private names. (English)Zbl 1447.68008

MSC:  68Q85 03B70 03F52
Full Text:

### Cloud service security adaptive target detection algorithm based on bio-inspired performance evaluation process algebra. (English)Zbl 1438.68016

MSC:  68M11 68M25 68Q85
Full Text:

### Research on weight calculation method of fuzzy consistent matrix. (Chinese. English summary)Zbl 1438.15069

MSC:  15B15 65F99

### State-feedback control for a class of timed Petri nets subject to marking constraints. (English)Zbl 1422.93080

MSC:  93B52 93C65 68Q85
Full Text:

### Correctness checking of a quantum protocol for reliable communications via feedback. (English)Zbl 1438.81005

MSC:  81P45 81P70
Full Text:

Full Text:

### Diffusion operator and spectral analysis for directed hypergraph Laplacian. (English)Zbl 1428.05184

MSC:  05C50 05C65 60J60
Full Text:

### Cause-effect structures. An algebra of nets with examples of applications. (English)Zbl 1435.68009

Lecture Notes in Networks and Systems 45. Cham: Springer (ISBN 978-3-030-20460-0/pbk; 978-3-030-20461-7/ebook). xvii, 142 p. (2019).
MSC:  68-02 68Q85
Full Text:

### Arnoldi decomposition, GMRES, and preconditioning for linear discrete ill-posed problems. (English)Zbl 1417.65119

MSC:  65F22 65F10 65F35
Full Text:

MSC:  68Q85
Full Text:

### A new view of generalized Clifford algebras. (English)Zbl 1415.15025

MSC:  15A66 18D10 16S35
Full Text:

### Reliable restricted process theory. (English)Zbl 1412.68151

MSC:  68Q85 68M12 68Q60
Full Text:

### On the choice of subspace for large-scale Tikhonov regularization problems in general form. (English)Zbl 1434.65042

MSC:  65F22 65F10 65F50
Full Text:

### A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency. (English)Zbl 1425.68293

MSC:  68Q85 68N30 68T15
Full Text:

Full Text:

Full Text:

### Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours. (English)Zbl 1408.68101

MSC:  68Q85 68Q87
Full Text:

### Completeness for identity-free Kleene lattices. (English)Zbl 07378562

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 18, 17 p. (2018).
MSC:  68Q85
Full Text:

Full Text:

### Modeling and analysis of MVB network process data communication based on maximum algebra. (Chinese. English summary)Zbl 1474.94003

MSC:  94A05 68M10
Full Text:

Full Text:

### Designing an IT infrastructure. (English. Russian original)Zbl 1407.68049

Cybern. Syst. Anal. 54, No. 6, 977-992 (2018); translation from Kibern. Sist. Anal. 2018, No. 6, 141-158 (2018).
Full Text:

all top 5

all top 5

all top 5

all top 3

all top 3