Found 31 Documents (Results 1–31)
Accurate and interval estimates of the probability of network service availability for communication networks. (English) Zbl 1484.90024
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).
Integrating ship movement scheduling and tug assignment within a canal harbor. (English) Zbl 1456.90081
Paolucci, Massimo (ed.) et al., Advances in optimization and decision science for society, services and enterprises. ODS, Genoa, Italy, September 4–7, 2019. Proceedings of the international conference on optimization and decision science. Cham: Springer. AIRO Springer Ser. 3, 13-22 (2019).
MSC:
90B35
Mixed-integer linear representability, disjunctions, and Chvátal functions – modeling implications. (English) Zbl 1434.90101
Logical-probabilistic modeling on the modular principle. (Russian. English summary) Zbl 1437.62378
Breaking symmetries to rescue sum of squares: the case of makespan scheduling. (English) Zbl 1436.90080
Lodi, Andrea (ed.) et al., Integer programming and combinatorial optimization. 20th international conference, IPCO 2019, Ann Arbor, MI, USA, May 22–24, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11480, 427-441 (2019).
Algebras of Bernoulli distributions with a single limit point. (English. Russian original) Zbl 1448.60007
Mosc. Univ. Math. Bull. 74, No. 4, 135-140 (2019); translation from Vestn. Mosk. Univ., Ser. I 74, No. 4, 3-9 (2019).
The completeness criterion for closure operator with the equality predicate branching on the set of multioperations on two-element set. (English) Zbl 1516.06016
On the number of clonoids. (English) Zbl 1436.08005
Reviewer: Ivan Chajda (Přerov)
Atoms in infinite dimensional free sequence-set algebras. (English) Zbl 1450.03011
Reviewer: Roger Maddux (Ames)
A strict implication calculus for compact Hausdorff spaces. (English) Zbl 1446.03041
Reviewer: Osamu Sonobe (Follonica)
Complexity of bifix-free regular languages. (English) Zbl 1429.68110
MSC:
68Q45
Sparse probabilistic Boolean network problems: a partial proximal-type operator splitting method. (English) Zbl 1438.90059
Calculating the cardinality of some classes of binary matrices using bitwise operations – a polynomial algorithm. (English) Zbl 1492.68147
An extension of de Vries duality to completely regular spaces and compactifications. (English) Zbl 1412.54034
Reviewer: Dieter Leseberg (Berlin)
The finitely axiomatizable complete theories of non-associative arrow frames. (English) Zbl 1457.03043
Reviewer: Alex Citkin (Warren)
Modeling the stochastic nature of gene regulation with Boolean networks. (English) Zbl 1409.92168
Robeva, Raina (ed.) et al., Algebraic and combinatorial computational biology. Amsterdam: Elsevier/Academic Press. Math. Sci. Eng., 147-173 (2019).
Algebraic formulation and topological structure of Boolean networks with state-dependent delay. (English) Zbl 1419.91096
A formula for systems of Boolean polynomial equations and applications to computational complexity. arXiv:1907.09686
Preprint, arXiv:1907.09686 [math.LO] (2019).
Mechanization of Separation in Generic Extensions. arXiv:1901.03313
Preprint, arXiv:1901.03313 [cs.LO] (2019).
Filter Results by …
Document Type
- Journal Articles (25)
- Collection Articles (4)
- arXiv Preprints (2)
all
top 5
Author
- Khaled, Mohamed (3)
- Bezhanishvili, Guram (2)
- Németi, István (2)
- Yashunskiĭ, Alekseĭ Dmitrievich (2)
- Aguilar, Boris (1)
- Aledo, Juan Ángel (1)
- Alsaadi, Fuad Eid Salem (1)
- Andréka, Hajnal (1)
- Appleby, Marcus (1)
- Aslan, Tuğba (1)
- Basu, Amitabh (1)
- Bengtsson, Ingemar (1)
- Beyersdorff, Olaf (1)
- Bezhanishvili, Nick (1)
- Blinkhorn, Joshua (1)
- Cao, Jinde (1)
- Chen, Jianli (1)
- Chew, Leroy (1)
- Deng, Kangkang (1)
- di Tollo, Giacomo (1)
- Díaz, Luis Guillermo (1)
- Ellerman, David P. (1)
- Ferens, Robert (1)
- Flammia, Steven T. (1)
- Fussner, Wesley (1)
- Goyeneche, Dardo (1)
- Gunther, Emmanuel (1)
- Holliday, Wesley H. (1)
- Li, Haitao (1)
- Litak, Tadeusz (1)
- Liu, Yang (1)
- Lu, Jianquan (1)
- Lyubashenko, N. (1)
- Machide, Tomoya (1)
- Martin, Richard Kipp (1)
- Martinez, Silvia (1)
- Morandi, Patrick J. (1)
- Mundici, Daniele (1)
- Murrugarra, David (1)
- Olberding, Bruce M. (1)
- Pagano, Miguel (1)
- Palmigiano, Alessandra (1)
- Panteleev, Vladimir Innokent’evich (1)
- Peng, Zheng (1)
- Pesenti, Raffaele (1)
- Petris, Matteo (1)
- Ryan, Christopher Thomas (1)
- Sánchez Terraf, Pedro (1)
- Santoli, Thomas (1)
- Schmidt, Renate A. (1)
- Sparks, Athena (1)
- Suda, Martin (1)
- Szykuła, Marek (1)
- Tsitsiashvili, Gurami Sh. (1)
- Valverde, Jose C. (1)
- Venema, Yde (1)
- Verdugo, Víctor (1)
- Verschae, José (1)
- Vishtal, D. (1)
- Wang, Guanyi (1)
- Wang, Liqing (1)
- Yolchyan, M. A. (1)
- Yordzhev, Krasimir Yankov (1)
- Zheng, Yating (1)
all
top 5
Serial
- Algebra Univers. (5)
- Mosc. Univ. Math. Bull. (1)
- Adv. Math. (1)
- Appl. Math. Comput. (1)
- Colloq. Math. (1)
- J. Comput. Appl. Math. (1)
- Math. Oper. Res. (1)
- Theor. Comput. Sci. (1)
- Topology Appl. (1)
- Syst. Control Lett. (1)
- Ann. Pure Appl. Logic (1)
- J. Autom. Reasoning (1)
- J. Ind. Manag. Optim. (1)
- J. Phys. A, Math. Theor. (1)
- Discrete Math. Algorithms Appl. (1)
- Rev. Symb. Log. (1)
- Dal’nevost. Mat. Zh. (1)
- Izv. Irkutsk. Gos. Univ., Ser. Mat. (1)
- Proc. Yerevan State Univ., Phys. Math. Sci. (1)
- Art Discrete Appl. Math. (1)
- J. Appl. Log. - IfCoLog J. Log. Appl. (1)