Found 1,530 Documents (Results 1–100)
Mathematical methods in region-based theories of space: the case of Whitehead points. (English) Zbl 07865510
A mixed logic with binary operators. arXiv:2408.09581
Preprint, arXiv:2408.09581 [math.LO] (2024).
The category of topological spaces and open maps does not have products. arXiv:2407.13951
Preprint, arXiv:2407.13951 [math.CT] (2024).
Failure of the Blok-Esakia Theorem in the monadic setting. arXiv:2405.09401
Preprint, arXiv:2405.09401 [math.LO] (2024).
A calculus for modal compact Hausdorff spaces. arXiv:2402.00528
Preprint, arXiv:2402.00528 [math.LO] (2024).
Reduction for asynchronous Boolean networks: elimination of negatively autoregulated components. (English) Zbl 07908427
Criterion of completeness and submaximal ultraclones for linear hyperfunctions of rank 2. (Russian. English summary) Zbl 1529.08014
Stabilized isogeometric formulation of the Stokes problem on overlapping patches. (English) Zbl 1536.65153
McKinsey-Tarski algebras: an alternative pointfree approach to topology. (English) Zbl 1525.18013
Reviewer: Joaquín Luna-Torres (Cartagena)
Boolean-arithmetic equations: acquisition and uses. (English) Zbl 07745673
Cire, Andre A. (ed.), Integration of constraint programming, artificial intelligence, and operations research. 20th international conference, CPAIOR 2023, Nice, France, May 29 – June 1, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13884, 378-394 (2023).
Kripke contexts, double Boolean algebras with operators and corresponding modal systems. (English) Zbl 07727822
Functional reducts of the countable atomless Boolean algebra. (English) Zbl 1532.03050
Reviewer: James Monk (Boulder)
Exploring search space trees using an adapted version of Monte Carlo tree search for combinatorial optimization problems. (English) Zbl 1520.90177
Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras. (English) Zbl 07601551
Hyperidentities. Boolean and De Morgan structures. (English) Zbl 1505.06001
Singapore: World Scientific (ISBN 978-981-12-5491-8/hbk; 978-981-12-5493-2/ebook). xxvii, 532 p. (2023).
Reviewer: Ivan Chajda (Přerov)
Local finiteness in varieties of MS4-algebras. arXiv:2312.16754
Preprint, arXiv:2312.16754 [math.LO] (2023).
Betweenness algebras. arXiv:2309.00159
Preprint, arXiv:2309.00159 [math.LO] (2023).
On the structure of modal and tense operators on a boolean algebra. arXiv:2308.08664
Preprint, arXiv:2308.08664 [math.LO] (2023).
On Boolean reliability algebra. arXiv:2307.14357
Preprint, arXiv:2307.14357 [cs.LO] (2023).
Near-unanimity-closed minions of Boolean functions. arXiv:2305.12904
Preprint, arXiv:2305.12904 [math.RA] (2023).
An adaptive genetic algorithm-based and AND/OR graph approach for the disassembly line balancing problem. (English) Zbl 1523.90147
Speedup the optimization of maximal closure of a node-weighted directed acyclic graph. (English) Zbl 07702290
MSC:
90Bxx
Stone representation theorem for Boolean algebras in the topos \(M\mathbf{Set}\). (English) Zbl 1514.18005
Reviewer: Peeter Normak (Tallinn)
Quadratic and higher-order unconstrained binary optimization of railway rescheduling for quantum computing. (English) Zbl 1508.90026
A variety of algebras closely related to subordination algebras. (English) Zbl 1515.06019
Reviewer: Ignacio Viglizzo (Bahía Blanca)
QUBO software. (English) Zbl 1507.90121
Punnen, Abraham P. (ed.), The quadratic unconstrained binary optimization problem. Theory, algorithms, and applications. Cham: Springer. 301-311 (2022).
A combinatorial cut-and-lift procedure with an application to 0-1 second-order conic programming. (English) Zbl 1506.90159
A theorem of Mumford and Ramanujam for universal algebras. (English) Zbl 1506.20096
Reviewer: Wiesław A. Dudek (Wrocław)
Solving dependency quantified Boolean formulas using quantifier localization. (English) Zbl 1489.68394
Measure and integration on Boolean algebras of regular open subsets in a topological space. (English) Zbl 1494.06007
The Vietoris functor and modal operators on rings of continuous functions. (English) Zbl 1521.54004
Reviewer: Sami Lazaar (Sidi Daoued)
Canonicity in power and modal logics of finite achronal width. arXiv:2207.12596
Preprint, arXiv:2207.12596 [math.LO] (2022).
The pseudofinite monadic second order theory of words. arXiv:2202.07774
Preprint, arXiv:2202.07774 [math.LO] (2022).
Sample efficient algorithms for learning quantum channels in PAC model and the approximate state discrimination problem. (English) Zbl 1543.81073
Hsieh, Min-Hsiu (ed.), 16th conference on the theory of quantum computation, communication and cryptography, virtual conference, TQC 2021, July 5–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 197, Article 3, 22 p. (2021).
Improved computational approaches and heuristics for zero forcing. (English) Zbl 07549340
MSC:
90-XX
Self-commuting operations. (English) Zbl 1529.08011
MSC:
08A40
On the representation of Boolean magmas and Boolean semilattices. (English) Zbl 1506.06005
Madarász, Judit (ed.) et al., Hajnal Andréka and István Németi on unity of science. From computing to relativity theory through algebraic logic. Cham: Springer. Outst. Contrib. Log. 19, 289-312 (2021).
On the semilattice of modal operators and decompositions of the discriminator. (English) Zbl 1506.03128
Madarász, Judit (ed.) et al., Hajnal Andréka and István Németi on unity of science. From computing to relativity theory through algebraic logic. Cham: Springer. Outst. Contrib. Log. 19, 207-231 (2021).
On some intervals in the lattice of ultraclones of rank 2. (Russian. English summary) Zbl 1506.08002
Existence, coexistence and uniqueness of fixed points in parallel and sequential dynamical systems over directed graphs. (English) Zbl 1478.90019
Complexity assessments for decidable fragments of set theory. I: A taxonomy for the Boolean case. (English) Zbl 1498.03112
Minimax problem of suppressing a communication network. (English. Russian original) Zbl 1473.90038
Comput. Math. Math. Phys. 61, No. 8, 1364-1373 (2021); translation from Zh. Vychisl. Mat. Mat. Fiz. 61, No. 8, 1390-1400 (2021).
Overlapping multipatch isogeometric method with minimal stabilization. (English) Zbl 1475.65185
Reviewer: Vit Dolejsi (Praha)
A tacit assumption behind Lewis triviality that is not applicable to product space conditional event algebra. (English) Zbl 1483.03035
Kreinovich, Vladik (ed.), Statistical and fuzzy approaches to data processing, with applications to econometrics and other areas. In honor of Hung T. Nguyen’s 75th birthday. Cham: Springer. Stud. Comput. Intell. 892, 111-126 (2021).
Reviewer: Ioan Tomescu (Bucureşti)
On algebraic and topological semantics of the modal logic of common knowledge S4CI. arXiv:2111.05676
Preprint, arXiv:2111.05676 [math.LO] (2021).
Retail Store Layout Optimization for Maximum Product Visibility. arXiv:2105.09299
Preprint, arXiv:2105.09299 [math.OC] (2021).
First order logic properly displayed. arXiv:2105.06877
Preprint, arXiv:2105.06877 [math.LO] (2021).
MSC:
03B10
03B35
03B45
03B47
03F03
03F05
03F07
03G05
03G10
03G15
03G30
06A06
06A11
06D10
06D50
06E15
Derivative operations for classes \(\mathcal{C}_N\) of Boolean functions. (English) Zbl 1528.94135
Drechsler, Rolf (ed.) et al., Advanced Boolean techniques. Selected papers from the 13th international workshop on Boolean problems, Bremen, Germany, September 19–21, 2018. Cham: Springer. 51-82 (2020).
Quantum image processing: the pros and cons of the techniques for the internal representation of the image. A reply to: “A comment on: “Quantum image processing?””. (English) Zbl 1508.81502
Topological features determining the error in the inference of networks using transfer entropy. (English) Zbl 1524.62019
A note on the fast computation of transitive closure of graphs and the multiplication of integer matrices. (English. Russian original) Zbl 1465.05177
Mosc. Univ. Math. Bull. 75, No. 6, 239-245 (2020); translation from Vestn. Mosk. Univ., Ser. I 75, No. 6, 14-19 (2020).
On irreduceability of Boolean functions with respect to commutative associative operation. (English. Russian original) Zbl 1484.06051
Mosc. Univ. Math. Bull. 75, No. 4, 169-171 (2020); translation from Vestn. Mosk. Univ., Ser. I 75, No. 4, 51-53 (2020).
Raney algebras and duality for \(T_0\)-spaces. (English) Zbl 1464.54016
Reviewer: Xiaoquan Xu (Zhangzhou)
Function perturbation impact on stability in distribution of probabilistic Boolean networks. (English) Zbl 1510.93237
Handling heterogeneous structures and materials using blending schemes in V-reps. (English) Zbl 1460.65016
MSC:
65D17
A characterisation of ordered abstract probabilities. (English) Zbl 1503.81018
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). 944-957 (2020).
Monadic Boolean algebras with an automorphism and their relation to \({\mathbf{Df}}_{\mathbf{2}} \)-algebras. (English) Zbl 1436.06035
Rounding meshes in 3D. (English) Zbl 1445.68251
Boolean FIP ring extensions. (English) Zbl 1439.13023
Reviewer: Grigore Călugăreanu (Cluj-Napoca)
Filter Results by …
Document Type
- Journal Articles (1,215)
- Collection Articles (201)
- Books (86)
- arXiv Preprints (28)
all
top 5
Author
- Hammer, Peter Ladislaw (21)
- Bezhanishvili, Guram (16)
- Couceiro, Miguel (15)
- Lehtonen, Erkko (14)
- Németi, István (14)
- Düntsch, Ivo (13)
- Venema, Yde (13)
- Escudero, Laureano Fernando (12)
- Celani, Sergio Arturo (11)
- Denecke, Klaus Dieter (11)
- Balas, Egon (9)
- Rosenberg, Ivo G. (9)
- Rudeanu, Sergiu (9)
- Andréka, Hajnal (8)
- Goldblatt, Robert Ian (8)
- Hodkinson, Ian Martin (8)
- Hansen, Pierre (7)
- Harding, John (7)
- Jónsson, Bjarni (7)
- Waldhauser, Tamás (7)
- Bezhanishvili, Nick (6)
- Burkard, Rainer E. (6)
- Ghilardi, Silvio (6)
- Givant, Steven R. (6)
- Gruszczyński, Rafał (6)
- Hsiang, Jieh (6)
- Marichal, Jean-Luc (6)
- Minoux, Michel Andre (6)
- Pal’chunov, Dimitriĭ Evgen’evich (6)
- Pardalos, Panos M. (6)
- Protasov, Igor Volodymyrovych (6)
- Sayed Ahmed, Tarek (6)
- Abad, Manuel (5)
- Boros, Endre (5)
- Carai, Luca (5)
- Díaz Varela, José Patricio (5)
- Guignard, Monique (5)
- Movsisyan, Yuri Movses (5)
- Nishimura, Hirokazu (5)
- Orłowska, Ewa S. (5)
- Pinto, Sandra Marques (5)
- Plateau, Gérard (5)
- Sharankhaev, Ivan Konstantinovich (5)
- Strusevich, Vitaly A. (5)
- Aslanyan, Vahagn A. (4)
- Badmaev, Sergeĭ Aleksandrovich (4)
- Bartoszewicz, Artur (4)
- Billionnet, Alain (4)
- de Werra, Dominique (4)
- Gadasin, V. A. (4)
- Kellerer, Johann (4)
- Litak, Tadeusz (4)
- Madarász, Judit X. (4)
- Mal’tsev, Ivan Anatol’evich (4)
- Monteiro, Luiz F. (4)
- Morandi, Patrick J. (4)
- Oliveira-Martins, M. Teresa F. (4)
- Panteleev, Vladimir Innokent’evich (4)
- Pulmannová, Sylvia (4)
- Rao, P. Koteswara (4)
- Sain, Ildikó (4)
- Schölzel, Karsten (4)
- Tembrowski, Bronisław (4)
- Valverde, Jose C. (4)
- Winter, Michael (4)
- Aigner, Martin (3)
- Alaev, Pavel Evgenievich (3)
- Aledo, Juan Ángel (3)
- Alekseev, O. G. (3)
- Beasley, John E. (3)
- Chajda, Ivan (3)
- Crama, Yves (3)
- Deo, Narsingh (3)
- Dietrich, Brenda L. (3)
- Dragalin, Albert G. (3)
- Du, Ding-Zhu (3)
- Dzik, Wojciech (3)
- Figallo, Aldo Victorio (3)
- Foldes, Stephan (3)
- Gehrke, Mai (3)
- Haddad, Lucien (3)
- Halperin, Dan (3)
- Harland, James A. (3)
- Hoffman, Karla Leigh (3)
- Hwang, Frank Kwangming (3)
- Ibaraki, Toshihide (3)
- Jaumard, Brigitte (3)
- Jipsen, Peter (3)
- Jörnsten, Kurt O. (3)
- Karmarkar, Narendra K. (3)
- Kennington, Jeffery L. (3)
- Khaled, Mohamed (3)
- Kleine Büning, Hans (3)
- Kochenberger, Gary A. (3)
- Kozen, Dexter C. (3)
- Kudryavtsev, Valeriĭ Borisovich (3)
- Laporte, Gilbert (3)
- Leung, Janny M. Y. (3)
- Levin, Vitaliĭ Il’ich (3)
- Li, Haitao (3)
- and 2,001 more Authors
all
top 5
Serial
- Algebra Univers. (50)
- Eur. J. Oper. Res. (37)
- IEEE Trans. Reliab. (29)
- Comput. Oper. Res. (29)
- Ann. Oper. Res. (27)
- Networks (24)
- Discrete Appl. Math. (21)
- J. Oper. Res. Soc. (20)
- Stud. Log. (19)
- Oper. Res. (18)
- Ann. Pure Appl. Logic (17)
- Manage. Sci. (13)
- Int. J. Theor. Phys. (11)
- Theor. Comput. Sci. (10)
- Bull. Sect. Log., Univ. Łódź, Dep. Log. (10)
- Math. Program. (10)
- Log. J. IGPL (10)
- IEEE Trans. Commun. (9)
- Izv. Irkutsk. Gos. Univ., Ser. Mat. (9)
- J. Symb. Log. (8)
- Sib. Math. J. (8)
- Order (8)
- J. Mult.-Val. Log. Soft Comput. (8)
- RAIRO, Rech. Opér. (7)
- J. Appl. Non-Class. Log. (7)
- Math. Log. Q. (7)
- Int. J. Syst. Sci. (6)
- Mosc. Univ. Math. Bull. (6)
- Demonstr. Math. (6)
- IEEE Trans. Comput. (6)
- Izv. Akad. Nauk SSSR, Tekh. Kibern. (6)
- Nav. Res. Logist. (6)
- Rep. Math. Logic (6)
- Int. J. Prod. Res. (6)
- J. Autom. Reasoning (6)
- Comput.-Aided Des. (6)
- J. Log. Comput. (6)
- ORSA J. Comput. (6)
- Fundam. Inform. (6)
- Discrete Math. (5)
- Appl. Math. Comput. (5)
- INFOR (5)
- Inf. Sci. (5)
- J. Assoc. Comput. Mach. (5)
- Math. Oper. Res. (5)
- SIAM J. Comput. (5)
- Oper. Res. Lett. (5)
- Discrete Math. Appl. (5)
- Autom. Remote Control (5)
- Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. (5)
- Quantum Inf. Process. (5)
- Methods Oper. Res. (5)
- Comput. Electr. Eng. (4)
- IEEE Trans. Inf. Theory (4)
- J. Math. Phys. (4)
- Automatica (4)
- J. Oper. Res. Soc. Japan (4)
- Math. Slovaca (4)
- Int. J. Found. Comput. Sci. (4)
- Ann. Télécommun. (4)
- Elektron. Informationsverarbeitung Kybernetik (4)
- IBM J. Res. Dev. (4)
- Probl. Peredachi Inf. (4)
- Tatra Mt. Math. Publ. (4)
- Bul. Acad. Științe Repub. Mold., Mat. (4)
- Mult.-Valued Log. (4)
- Dokl. Math. (4)
- Lect. Notes Econ. Math. Syst. (4)
- Math. Syst. Econ. (4)
- Bell Syst. Tech. J. (3)
- Commun. Algebra (3)
- Inf. Process. Lett. (3)
- J. Franklin Inst. (3)
- Phys. Lett., A (3)
- Acta Cybern. (3)
- Commentat. Math. Univ. Carol. (3)
- Computing (3)
- Ekon.-Mat. Obz. (3)
- Found. Control Eng. (3)
- Fundam. Math. (3)
- IEEE Trans. Autom. Control (3)
- Ind. Math. (3)
- Nanta Math. (3)
- Notre Dame J. Formal Logic (3)
- Opsearch (3)
- Zb. Rad., Prir.-Mat. Fak., Univ. Novom Sadu, Ser. Mat. (3)
- OR Spektrum (3)
- Eng. Cybern. (3)
- Math. Pract. Theory (3)
- Optimization (3)
- Sov. J. Comput. Syst. Sci. (3)
- J. Inf. Process. Cybern. (3)
- Math. Comput. Modelling (3)
- Diskretn. Mat. (3)
- Int. J. Algebra Comput. (3)
- Alkalmazott Mat. Lapok (3)
- Appl. Math. Modelling (3)
- Linear Algebra Appl. (3)
- SIAM J. Appl. Math. (3)
- Bull. Pol. Acad. Sci., Math. (3)
- and 374 more Serials
all
top 5
Year of Publication
- 2024 (11)
- 2023 (24)
- 2022 (19)
- 2021 (24)
- 2020 (30)
- 2019 (31)
- 2018 (26)
- 2017 (36)
- 2016 (40)
- 2015 (31)
- 2014 (36)
- 2013 (34)
- 2012 (36)
- 2011 (22)
- 2010 (26)
- 2009 (26)
- 2008 (32)
- 2007 (26)
- 2006 (26)
- 2005 (26)
- 2004 (24)
- 2003 (29)
- 2002 (16)
- 2001 (28)
- 2000 (20)
- 1999 (43)
- 1998 (33)
- 1997 (20)
- 1996 (27)
- 1995 (36)
- 1994 (36)
- 1993 (45)
- 1992 (43)
- 1991 (50)
- 1990 (55)
- 1989 (43)
- 1988 (33)
- 1987 (21)
- 1986 (12)
- 1985 (27)
- 1984 (24)
- 1983 (23)
- 1982 (21)
- 1981 (23)
- 1980 (20)
- 1979 (25)
- 1978 (29)
- 1977 (30)
- 1976 (27)
- 1975 (23)
- 1974 (17)
- 1973 (12)
- 1972 (13)
- 1971 (8)
- 1970 (3)
- 1969 (2)
- 1968 (2)
- 1967 (2)
- 1966 (4)
- 1965 (6)
- 1964 (3)
- 1963 (2)
- 1962 (1)
- 1961 (1)
- 1959 (1)
- 1956 (1)
- 1955 (1)
- 1878 (2)
- 1877 (1)
all
top 3
Main Field
- 90-XX (754)
- 06-XX (530)
- 03-XX (448)
- 94-XX (288)
- 68-XX (259)
- 08-XX (194)
- 05-XX (136)
- 65-XX (136)
- 81-XX (52)
- 54-XX (45)
- 60-XX (44)
- 20-XX (40)
- 93-XX (34)
- 91-XX (33)
- 62-XX (29)
- 15-XX (28)
- 18-XX (27)
- 52-XX (20)
- 28-XX (19)
- 49-XX (16)
- 46-XX (14)
- 92-XX (13)
- 00-XX (12)
- 13-XX (12)
- 37-XX (10)
- 01-XX (8)
- 16-XX (8)
- 11-XX (7)
- 22-XX (7)
- 47-XX (5)
- 74-XX (5)
- 35-XX (4)
- 82-XX (4)
- 12-XX (3)
- 39-XX (3)
- 42-XX (3)
- 43-XX (3)
- 70-XX (3)
- 76-XX (3)
- 14-XX (2)
- 34-XX (2)
- 51-XX (2)
- 26-XX (1)
- 31-XX (1)
- 41-XX (1)
- 45-XX (1)
- 53-XX (1)
- 57-XX (1)
- 58-XX (1)
Biographic Reference
all
top 3
Software
- CPLEX (13)
- CGAL (7)
- LINDO (7)
- JBool (6)
- 2D Regularized Boolean Set-Operations (5)
- OR-Library (5)
- 2D Arrangement (4)
- Coq (4)
- Knapsack (4)
- Mizar (4)
- Quaffle (4)
- RAReQS (4)
- DepQBF (3)
- GAMS (3)
- Matlab (3)
- Walksat (3)
- XMP (3)
- 2D Minkowski sums (2)
- ALGOL 60 (2)
- Algorithm 37 (2)
- Algorithm 447 (2)
- CAQE (2)
- Chaff (2)
- E Theorem Prover (2)
- Gurobi (2)
- HOL (2)
- Isabelle/HOL (2)
- MINOS (2)
- MathOverflow (2)
- MiniSat (2)
- OSL (2)
- PL/I (2)
- PSPLIB (2)
- QAPLIB (2)
- QUBE (2)
- Tabu search (2)
- VAMPIRE (2)
- VRP (2)
- XPRESS (2)
- 2D polygons (1)
- 3D envelopes (1)
- 3D spherical kernel (1)
- ABC (1)
- ADAM (1)
- AMPL (1)
- ARACNE (1)
- ASYNPLEX (1)
- Algorithm 360 (1)
- Algorithm 457 (1)
- Algorithm 97 (1)
- AlphaZero (1)
- BARON (1)
- BOB (1)
- BOSS-Quattro (1)
- Biq Mac (1)
- Bloqqer (1)
- Bonmin (1)
- BoolFilter (1)
- CCSL (1)
- CHIP (1)
- CORO (1)
- CPU Benchmarks (1)
- CRAN (1)
- CVC Lite (1)
- Cbc (1)
- Cork (1)
- CutFEM (1)
- DDSIP (1)
- DISCOUNT (1)
- ESOLID (1)
- EXACUS (1)
- Excel (1)
- FAIR.m (1)
- FES (1)
- FraCaS (1)
- G12 (1)
- GAP (1)
- GNU parallel (1)
- GPC (1)
- GQTPAR (1)
- GRASP (1)
- GitHub (1)
- Glucose (1)
- HQSpre (1)
- Hadamard (1)
- Hyperheuristics (1)
- IETI (1)
- ILOG SCHEDULE (1)
- IRIT (1)
- Igatools (1)
- ImageMagick (1)
- Jason (1)
- KL-ONE (1)
- L-BFGS (1)
- L-BFGS-B (1)
- LBFGS-B (1)
- LEDA (1)
- LINGO (1)
- LOQO (1)
- Lambda Free RPOs (1)
- and 71 more Software Packages