## Found 791 Documents (Results 1–100)

100
MathJax

### Properties of a class of Toeplitz words. (English)Zbl 07540190

MSC:  68R15 11B85 68V15
Full Text:

MSC:  62C20
Full Text:

### Robust food-energy-water-environmental security management: Stochastic quasigradient procedure for linkage of distributed optimization models under asymmetric information and uncertainty. (English. Ukrainian original)Zbl 07514994

Cybern. Syst. Anal. 58, No. 1, 45-57 (2022); translation from Kibern. Sist. Anal. 58, No. 1, 55-69 (2022).
MSC:  90C30 91B74
Full Text:

### False discovery rate control with unknown null distribution: is it possible to mimic the oracle? (English)Zbl 1486.62222

MSC:  62J15 62C20 62P10
Full Text:

### Say No to case analysis: automating the drudgery of case-based proofs. (English)Zbl 07495101

Maneth, Sebastian (ed.), Implementation and application of automata. 25th international conference, CIAA 2021, virtual event, July 19–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12803, 14-24 (2021).
MSC:  68Q45
Full Text:

MSC:  91B06
Full Text:

### Tableau-based decision procedure for non-Fregean logic of sentential identity. (English)Zbl 07437071

Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 41-57 (2021).
MSC:  03B35 68V15
Full Text:

### Contextual deliberation and the choice-valuation preference reversal. (English)Zbl 1470.91085

MSC:  91B06 91B08 91-05
Full Text:

### Optimal disclosure risk assessment. (English)Zbl 1468.62263

MSC:  62G05 62C20
Full Text:

### Selecting the best alternative based on its quantile. (English)Zbl 1466.90038

MSC:  90B50 91B05
Full Text:

### Subword complexity of the Fibonacci-Thue-Morse sequence: the proof of Dekking’s conjecture. (English)Zbl 07337404

MSC:  11B85 68R15
Full Text:

Full Text:

### Neuroscience experiment applied to investigate decision-maker behavior in the tradeoff elicitation procedure. (English)Zbl 07563083

MSC:  91Bxx 90-XX 00Bxx
Full Text:

### Characterization of Electre I choice procedures. (English)Zbl 1466.62240

MSC:  62C25 90B50
Full Text:

### Deciding differential privacy for programs with finite inputs and outputs. (English)Zbl 07299465

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). 141-154 (2020).
MSC:  68-XX
Full Text:

### A note on decomposition of sources of variability in perceptual decision-making. (English)Zbl 1455.91078

MSC:  91B06 91E30
Full Text:

MSC:  03B44
Full Text:

### A new proof of FDR control based on forward filtration. (English)Zbl 1445.62036

MSC:  62F03 62J15 62C05
Full Text:

### About the temporal logic of the lexicographic products of unbounded dense linear orders: a new study of its computability. (English)Zbl 1484.03030

Ju, Shier (ed.) et al., Nonclassical logics and their applications. Post-proceedings of the 8th international workshop on logic and cognition, WOLC 2016, Guangzhou, China, December 5–9, 2016. Singapore: Springer. Log. Asia: Stud. Log. Libr., 67-83 (2020).
Full Text:

### Additive number theory via automata theory. (English)Zbl 1475.11040

MSC:  11B85 11A63 68Q45
Full Text:

### A decision procedure and complete axiomatization for projection temporal logic. (English)Zbl 07188529

MSC:  03B44 03B35 68V20
Full Text:

### An efficient decision procedure for propositional projection temporal logic. (English)Zbl 1478.03031

Du, Ding-Zhu (ed.) et al., Computing and combinatorics. 25th international conference, COCOON 2019, Xi’an, China, July 29–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11653, 503-515 (2019).
MSC:  03B44
Full Text:

### Decidability of several concepts of finiteness for simple types. (English)Zbl 1446.03036

MSC:  03B40 03B25
Full Text:

### Equivalence checking of prefix-free transducers and deterministic two-tape automata. (English)Zbl 1425.68239

Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 146-158 (2019).
MSC:  68Q45
Full Text:

### On the equivalence between iterated application of choice rules and common belief of applying these rules. (English)Zbl 1417.91127

MSC:  91A35 91A26
Full Text:

### Discussing incomplete 2-tuple fuzzy linguistic preference relations in multi-granular linguistic MCGDM with unknown weight information. (English)Zbl 1415.91105

MSC:  91B06 03E72 68T37
Full Text:

Full Text:

### Formally verified approximations of definite integrals. (English)Zbl 1468.68301

MSC:  68V15 65D30 65G30
Full Text:

### Deciding univariate polynomial problems using untrusted certificates in Isabelle/HOL. (English)Zbl 1468.68298

MSC:  68V15 12D10 68W30
Full Text:

MSC:  82-XX
Full Text:

### Lagrange’s theorem for binary squares. (English)Zbl 07378335

Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 18, 14 p. (2018).
MSC:  68Qxx
Full Text:

### Decision making with interval-valued intuitionistic fuzzy preference relations based on additive consistency analysis. (English)Zbl 1448.91083

MSC:  91B06 91B86
Full Text:

### Sums of palindromes: an approach via automata. (English)Zbl 07228445

Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 96, Article 54, 12 p. (2018).
MSC:  11B13 68Q45 68R15
Full Text:

### Fractional order crowd dynamics. Cyber-human system modeling and control. (English)Zbl 1415.91001

Fractional Calculus in Applied Sciences and Engineering 4. Berlin: De Gruyter (ISBN 978-3-11-047281-3/hbk; 978-3-11-047398-8/ebook). xiii, 123 p. (2018).

Full Text:

### Lazy automata techniques for WS1S. (English)Zbl 1452.03090

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 407-425 (2017).
MSC:  03D05 03B25 68Q45
Full Text:

Full Text:

MSC:  68T37
Full Text:

### The invariant optimal sampling plan in a sequentially planned decision procedure. (English)Zbl 1373.62420

MSC:  62L10 62C25 60G40
Full Text:

Full Text:

### Covering-based multigranulation decision-theoretic rough sets. (English)Zbl 1366.91053

MSC:  91B06 68T37
Full Text:

Full Text:

Full Text:

### Preference structures: qualitative judgements based on smooth t-conorms. (English)Zbl 1427.68306

MSC:  68T37 91B06
Full Text:

MSC:  68V15
Full Text:

### Simulation of relay-races. (English)Zbl 1416.91037

MSC:  91A20 90C40 91A22
Full Text:

### The logic of conditional beliefs: neighbourhood semantics and sequent calculus. (English)Zbl 1400.03030

Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. London: College Publications (ISBN 978-1-84890-201-5/pbk). 322-341 (2016).
MSC:  03B42 03F05

### Consistency and consensus of intuitionistic fuzzy preference relations in group decision making. (English)Zbl 1371.91044

Angelov, Plamen (ed.) et al., Imprecision and uncertainty in information representation and processing. New tools based on intuitionistic fuzzy sets and generalized nets. Cham: Springer (ISBN 978-3-319-26301-4/hbk; 978-3-319-26302-1/ebook). Studies in Fuzziness and Soft Computing 332, 189-206 (2016).
MSC:  91B06
Full Text:

### Quasi-decidability of a fragment of the first-order theory of real numbers. (English)Zbl 1437.03047

MSC:  03B25 03B35 03D78
Full Text:

MSC:  68T37
Full Text:

Full Text:

### New metric procedure of multi-decisions makers choice. (English)Zbl 1358.91050

MSC:  91B14 91B06
Full Text:

### Family-wise separation rates for multiple testing. (English)Zbl 1360.62214

MSC:  62G10 62H15 62C20 65C60
Full Text:

### Proving tight bounds on univariate expressions with elementary functions in Coq. (English)Zbl 1386.68151

MSC:  68T15 41A58 65G50
Full Text:

MSC:  90B50
Full Text:

### Satisfiability of linear time mu-calculus on finite traces. (English)Zbl 1476.68178

Dinh, Thang N. (ed.) et al., Computing and combinatorics. 22nd international conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2–4, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9797, 611-622 (2016).
MSC:  68Q85 03B44
Full Text:

Full Text:

### Closed, palindromic, rich, privileged, trapezoidal, and balanced words in automatic sequences. (English)Zbl 1338.11039

MSC:  11B85 68R15
Full Text:

### Convexity issues in multivariate multiple testing of treatments vs. control. (English)Zbl 1328.62350

MSC:  62H15 62F03 62C05
Full Text:

### A canonical form based decision procedure and model checking approach for propositional projection temporal logic. (English)Zbl 1370.68200

MSC:  68Q60 03B44
Full Text:

### Analyzing ultimate positivity for solvable systems. (English)Zbl 1356.37035

MSC:  37C20 03B25 20F10
Full Text:

### Nested antichains for WS1S. (English)Zbl 1420.68186

Baier, Christel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9035, 658-674 (2015).
MSC:  68T15 03B25 03B35 03D05
Full Text:

### On critical path in project scheduling using topsis ranking of more generalized interval valued fuzzy numbers. (English)Zbl 1371.90054

MSC:  90B35 90B50
Full Text:

### A coalgebraic decision procedure for WS1S. (English)Zbl 1373.03015

Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 487-503 (2015).
MSC:  03B25 03D05 68T15
Full Text:

### Optimal tableau method for constructive satisfiability testing and model synthesis in the alternating-time temporal logic $$\mathrm{ATL}^+$$. (English)Zbl 1367.68246

MSC:  68T15 03B44 68Q25
Full Text:

### Formally-verified decision procedures for univariate polynomial computation based on Sturm’s and Tarski’s theorems. (English)Zbl 1356.68196

MSC:  68T15 03B35
Full Text:

### “NeuralDEA” – a framework using neural network to re-evaluate DEA benchmarks. (English)Zbl 1332.90354

MSC:  90C59 90C08 90B50
Full Text:

Full Text:

### A generalization of the partition problem. (English)Zbl 1369.62203

MSC:  62L10 62F07 62F03
Full Text:

Full Text:

### Capturing the severity of type II errors in high-dimensional multiple testing. (English)Zbl 1327.62432

MSC:  62J15 62C10 62F03
Full Text:

### Learning the parameters of a non compensatory sorting model. (English)Zbl 1405.90067

Walsh, Toby (ed.), Algorithmic decision theory. 4th international conference, ADT 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-23113-6/pbk; 978-3-319-23114-3/ebook). Lecture Notes in Computer Science 9346. Lecture Notes in Artificial Intelligence, 153-170 (2015).
MSC:  90B50 91B06 90C11
Full Text:

### Mechanical proofs of properties of the Tribonacci word. (English)Zbl 1350.68218

Manea, Florin (ed.) et al., Combinatorics on words. 10th international conference, WORDS 2015, Kiel, Germany, September 14–17, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-23659-9/pbk; 978-3-319-23660-5/ebook). Lecture Notes in Computer Science 9304, 170-190 (2015).
MSC:  68R15 03B25 03B35 11B85 68T15
Full Text:

### A unified approach to estimating a normal mean matrix in high and low dimensions. (English)Zbl 1328.62053

MSC:  62C10 62F10 62J07
Full Text:

### Corrigendum to: “Simple estimators of false discovery rates given as few as one or two $$p$$-values without strong parametric assumptions”. (English)Zbl 1311.62110

MSC:  62J15 62C12 62F15
Full Text:

### An approach to multicore parallelism using functional programming: a case study based on Presburger arithmetic. (English)Zbl 1304.68130

MSC:  68Q60 68N18
Full Text:

### Small-scale inference: empirical Bayes and confidence methods for as few as a single comparison. (English)Zbl 1416.62430

MSC:  62J15 62A01 62C12
Full Text:

### Decidability of logic of correlated knowledge. (English)Zbl 1387.03015

MSC:  03B42 03B25 03B35
Full Text:

### A decision procedure for satisfiability in separation logic with inductive predicates. (English)Zbl 1401.68111

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 25, 10 p. (2014).
Full Text:

### Modified iterative aggregation procedure for maintenance optimisation of multi-component systems with failure interaction. (English)Zbl 1317.62006

MSC:  62C25 60J10
Full Text:

### A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions. (English)Zbl 1329.03045

MSC:  03B25 03E30
Full Text:

### Restricted likelihood representation and decision-theoretic aspects of meta-analysis. (English)Zbl 1400.62025

MSC:  62C05 62F10 62F99
Full Text:

### A practical decision procedure for propositional projection temporal logic with infinite models. (English)Zbl 1358.68188

MSC:  68Q60 03B44
Full Text:

Full Text:

### Optimal multiple decision statistical procedure for inverse covariance matrix. (English)Zbl 1417.62151

Demyanov, Vladimir F. (ed.) et al., Constructive nonsmooth analysis and related topics. New York, NY: Springer. Springer Optim. Appl. 87, 205-216 (2014).
MSC:  62H15
Full Text:

### Unified procedure for bipolar method. (English)Zbl 1333.90063

Zadnik Stirn, Lidija (ed.) et al., SOR ’13 proceedings. The 12th international symposium on operational research in Slovenia, Dolenjske Toplice, Slovenia, September 25–27, 2013. Ljubljana: Slovenian Society Informatika (SDI), Section for Operational Research (SOR) (ISBN 978-961-6165-40-2/pbk). 213-218 (2013).
MSC:  90B50

### Verified decision procedures for MSO on words based on derivatives of regular expressions. (English)Zbl 1323.68346

Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 3-12 (2013).
MSC:  68Q45 03B25 03D05 68N18 68T15
Full Text:

### Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers. (English)Zbl 1296.03013

MSC:  03B44 68Q17 68Q25
Full Text:

### On a multiple three-decision problem for comparing several treatments with the best control. (English)Zbl 1462.62121

MSC:  62F03 62F07
Full Text:

### Decidability and complexity via mosaics of the temporal logic of the lexicographic products of unbounded dense linear orders. (English)Zbl 1398.03078

Fontaine, Pascal (ed.) et al., Frontiers of combining systems. 9th international symposium, FroCoS 2013, Nancy, France, September 18–20, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40884-7/pbk). Lecture Notes in Computer Science 8152. Lecture Notes in Artificial Intelligence, 151-164 (2013).
MSC:  03B44 03B25 68Q25
Full Text:

### A multiple three-decision procedures for comparing several treatments with a control under heteroscedasticity. (English)Zbl 1301.62027

MSC:  62F03 62J15
Full Text:

### Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge. (English)Zbl 1277.68254

MSC:  68T27 03B35 03B42 68T15 68T42
Full Text:

Full Text:

### Cooperative Markov decision processes: time consistency, greedy players satisfaction, and cooperation maintenance. (English)Zbl 1282.90226

MSC:  90C40 91A15
Full Text:

### Empirical Bayes interval estimates that are conditionally equal to unadjusted confidence intervals or to default prior credibility intervals. (English)Zbl 1296.92018

MSC:  92B15 62C12
Full Text:

### Computation with finitely $$L$$-presented groups. (English)Zbl 1298.20044

Göttingen: Univ. Göttingen (Diss.). 186 p. (2012).
Full Text:

### On the positive fragment of the polymodal provability logic GLP. (English. Russian original)Zbl 1315.03113

Math. Notes 91, No. 3, 318-333 (2012); translation from Mat. Zametki 3, 331-346 (2012).
MSC:  03F45 03B45
Full Text:

### Proof Pearl: regular expression equivalence and relation algebra. (English)Zbl 1269.68090

MSC:  68T15 03G15 68Q45
Full Text:

### The critical exponent is computable for automatic sequences. (English)Zbl 1285.68138

MSC:  68R15 11B85
Full Text:

all top 5

all top 5

all top 5

all top 3

all top 3