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

100
MathJax

MSC:  68Qxx
Full Text:

Full Text:

### Estimation of the conditional stability of an ill-posed initial-boundary problem for a high-order mixed type equation. (English)Zbl 07465543

MSC:  65N20 35M13 35M33
Full Text:

### Estimation of conditional stability of the boundary-value problem for the system of parabolic equations with changing direction of time. (English)Zbl 07458560

MSC:  35-XX 65-XX
Full Text:

### A theory of monitors. (English)Zbl 1475.68206

MSC:  68Q85 68Q60
Full Text:

MSC:  62H30
Full Text:

### Concurrent correctness in vector space. (English)Zbl 1472.68092

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 151-173 (2021).
MSC:  68Q60 68N19 68Q85
Full Text:

### Reverse AD at higher types: pure, principled and denotationally correct. (English)Zbl 1473.68058

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 607-634 (2021).
Full Text:

MSC:  68Qxx
Full Text:

### On a seminonlocal boundary value problem for a multidimensional loaded mixed type equation of the second kind. (English)Zbl 1465.35314

MSC:  35M12 35B45
Full Text:

Full Text:

### Completeness criteria for a linear model of classification algorithms with respect to families of decision rules. (English. Russian original)Zbl 07424552

Dokl. Math. 101, No. 1, 57-59 (2020); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 490, 67-70 (2020).
MSC:  68-XX 93-XX
Full Text:

### Implementation correctness for replicated data types, categorically. (English)Zbl 07369994

Pun, Violet Ka I. (ed.) et al., Theoretical aspects of computing – ICTAC 2020. 17th international colloquium, Macau, China, November 30 – December 4, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12545, 283-303 (2020).
MSC:  68Qxx
Full Text:

MSC:  68Q45
Full Text:

### On the unique solvability of a seminonlocal boundary value problem for the loaded Chaplygin equation in a rectangle. (Russian. English summary)Zbl 1474.35488

MSC:  35M10 35M12
Full Text:

### Linearizability on hardware weak memory models. (English)Zbl 1451.68030

MSC:  68M07 68Q85
Full Text:

### Constructing optimized constraint-preserving application conditions for model transformation rules. (English)Zbl 1451.68140

MSC:  68Q42 68Q60
Full Text:

### Ill-posed boundary value problem for mixed type system equations with two degenerate lines. (Russian. English summary)Zbl 1444.35160

MSC:  35R25 47A52 35C10
Full Text:

### Priority inheritance protocol proved correct. (English)Zbl 1468.68036

MSC:  68M20 68V15
Full Text:

Full Text:

### On the foundations of computing. (English)Zbl 1450.68001

Oxford: Oxford University Press (ISBN 978-0-19-883564-6/hbk; 978-0-19-883565-3/pbk). xix, 296 p. (2020).
MSC:  68-02 68-03 68Q01
Full Text:

### On the complexity of the correctness problem for non-zeroness test instruction sequences. (English)Zbl 1436.68079

MSC:  68N30 68Q25
Full Text:

### Nonlocal boundary value problems for the second order mixed type differential equation. (English)Zbl 07382352

MSC:  65N20 47A52 35M12
Full Text:

Full Text:

### Towards a theory of randomized shared memory algorithms. (English)Zbl 07298669

Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 156 (2019).
MSC:  68M14 68W15
Full Text:

MSC:  35M13
Full Text:

### How to make a microprocessor computer that correctly executes multiprocess programs. (English)Zbl 1448.68037

Malkhi, Dahlia (ed.), Concurrency. The works of Leslie Lamport. New York, NY: Association for Computing Machinery (ACM). ACM Books 29, 197-201 (2019).
MSC:  68M07 68M14
Full Text:

### Constructing constraint-preserving interaction schemes in adhesive categories. (English)Zbl 1444.68086

Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 139-153 (2019).
MSC:  68Q42 18A30
Full Text:

### Correctness, explanation and intention. (English)Zbl 1457.68035

Manea, Florin (ed.) et al., Computing with foresight and industry. 15th conference on computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11558, 62-71 (2019).
Full Text:

### Certification of breadth-first algorithms by extraction. (English)Zbl 1434.68090

Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 45-75 (2019).
MSC:  68N18 68P05
Full Text:

### Constructing optimized validity-preserving application conditions for graph transformation rules. (English)Zbl 1429.68092

Guerra, Esther (ed.) et al., Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11629, 177-194 (2019).
MSC:  68Q42
Full Text:

### A linear inverse problem for a multidimensional mixed-type second-order equation of the first-kind. (English. Russian original)Zbl 1427.35354

Russ. Math. 63, No. 6, 8-18 (2019); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2019, No. 6, 11-22 (2019).
MSC:  35R30 35M10
Full Text:

### Testing real-time systems using determinization techniques for automata over timed domains. (English)Zbl 07142673

Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11884, 124-133 (2019).
MSC:  68Qxx
Full Text:

### Estimates of characteristics of localization methods for discontinuities of the first kind of a noisy function. (Russian, English)Zbl 1438.65019

Sib. Zh. Ind. Mat. 22, No. 1, 3-12 (2019); translation in J. Appl. Ind. Math. 13, No. 1, 1-10 (2019).
Full Text:

Full Text:

### Parallel-correctness and containment for conjunctive queries with union and negation. (English)Zbl 1433.68117

MSC:  68P15 68Q17
Full Text:

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

MSC:  81P45 81P70
Full Text:

### The Goursat-type problem for a hyperbolic equation and system of third order hyperbolic equations. (Russian. English summary)Zbl 1438.74034

MSC:  74E35 74K20
Full Text:

Full Text:

### Perturbation bootstrap in adaptive Lasso. (English)Zbl 1420.62305

MSC:  62J07 62G09 62E20
Full Text:

MSC:  68U05
Full Text:

### Nominal unification with atom-variables. (English)Zbl 1395.68096

MSC:  68N30 68Q17 68Q25 68Q42 68T15
Full Text:

Full Text:

### Unique perfect matchings and proof nets. (English)Zbl 1462.03030

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 25, 20 p. (2018).
Full Text:

### Conditional correctness and approximate solution of boundary value problem for the system of second order mixed-type equations. (English)Zbl 07325411

MSC:  35-XX 34-XX
Full Text:

### Binary correspondences and the inverse problem of chemical kinetics. (English)Zbl 1463.34062

MSC:  34A55 92C45 34E15
Full Text:

### On the complexity of compressing obfuscation. (English)Zbl 1457.94092

Shacham, Hovav (ed.) et al., Advances in cryptology – CRYPTO 2018. 38th annual international cryptology conference, Santa Barbara, CA, USA, August 19–23, 2018. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 10993, 753-783 (2018).
MSC:  94A60 68P25
Full Text:

MSC:  68Q85
Full Text:

MSC:  35G15
Full Text:

### Two-party quantum private comparison using single photons. (English)Zbl 1412.81056

MSC:  81P45 81P94 94A60
Full Text:

### On an inverse problem for the multidimensional equation mixed type of the first kind of the second order with periodic conditions. (Russian. English summary)Zbl 1406.35483

MSC:  35R30 35M10
Full Text:

MSC:  39A70
Full Text:

### What is reasoning? (English)Zbl 1406.03028

Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser (ISBN 978-3-319-65429-4/hbk; 978-3-319-65430-0/ebook). Studies in Universal Logic, 153-163 (2018).
Full Text:

### Perfect secure computation in two rounds. (English)Zbl 1443.94042

Beimel, Amos (ed.) et al., Theory of cryptography. 16th international conference, TCC 2018, Panaji, India, November 11–14, 2018. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 11239, 152-174 (2018).
MSC:  94A60
Full Text:

### Calibrated percentile double bootstrap for robust linear regression inference. (English)Zbl 1406.62076

MSC:  62J05 62G15 62G35
Full Text:

MSC:  68N99
Full Text:

### Single-server blind quantum computation with quantum circuit model. (English)Zbl 1448.81264

MSC:  81P68 81P73
Full Text:

### Verifying minimum spanning tree algorithms with Stone relation algebras. (English)Zbl 1401.68247

MSC:  68R10 03B35 03G15 05C22 68Q60 68T15
Full Text:

### Constant runtime complexity of term rewriting is semi-decidable. (English)Zbl 1478.68111

MSC:  68Q42 68N30 68Q25
Full Text:

### Fuzzy inference systems preserving Moser-Navara axioms. (English)Zbl 1397.03042

MSC:  03B52 68T37 93C42
Full Text:

MSC:  68N30
Full Text:

### Securing a compiler transformation. (English)Zbl 1425.68060

MSC:  68N20 68Q17
Full Text:

### Proof pearl: constructive extraction of cycle finding algorithms. (English)Zbl 06946991

Avigad, Jeremy (ed.) et al., Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10895, 370-387 (2018).
MSC:  68T15
Full Text:

### An algebraic framework for minimum spanning tree problems. (English)Zbl 1401.68246

MSC:  68R10 05C22 05C85 68T15
Full Text:

MSC:  68N30
Full Text:

### Logic + control: on program construction and verification. (English)Zbl 1425.68051

MSC:  68N17 68Q60
Full Text:

### An introduction to the analysis of algorithms. 3rd updated and revised edition. (English)Zbl 1393.68004

Hackensack, NJ: World Scientific (ISBN 978-981-3235-90-8/hbk; 978-981-3235-92-2/ebook). xv, 312 p. (2018).
Full Text:

### Equivalence checking of two functional programs using inductive theorem provers. (English)Zbl 1419.68038

MSC:  68N18 68T15
Full Text:

MSC:  35R12

### Correctness of a two-dimensional Cauchy problem for a polynomial difference operator with constant coefficients. (English)Zbl 07325337

MSC:  05-XX 42-XX
Full Text:

### Optimal routing by landmarks in the time-dependent networks. (Russian. English summary)Zbl 07311437

MSC:  90-XX 68-XX
Full Text:

### Formalization of inverse problems and its applications. (Russian. English summary)Zbl 1438.34075

MSC:  34A55 92E20
Full Text:

### The linear inverse problem for the mixed type equation of the second kind of the second order with nonlocal boundary conditions in three-dimensional space. (Russian. English summary)Zbl 07025784

MSC:  34M10 35M20
Full Text:

### Extended dynamic state and instances spawning model in IPCL. (Ukrainian. English summary)Zbl 1413.68017

MSC:  68N15 68N19

MSC:  68N19

### A contact problem for a rigid punch and an elastic half-space as the inverse problem. (Ukrainian)Zbl 1413.74082

MSC:  74M15 74A10

### The Gevrey boundary value problem for a third order equation. (Russian. English summary)Zbl 1413.35267

MSC:  35K65 35K35 35M10
Full Text:

### On the problem of optimal control in the coefficients of an elliptic equation. (Russian. English summary)Zbl 1413.49027

MSC:  49K20 35J25
Full Text:

Full Text:

### The approximate correctness of systems based on $$\delta$$-bisimulation. (English)Zbl 1392.68309

Luo, Mao-Kang (ed.) et al., Proceedings of the 7th international symposium on domain theory and its applications (ISDT), Shijiazhuang, China, June 2–6, 2017. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 333, 73-87 (2017).
MSC:  68Q85 06B23 68Q60
Full Text:

### Attributed transition systems with hidden transitions. (English. Russian original)Zbl 1400.68127

Cybern. Syst. Anal. 53, No. 4, 524-534 (2017); translation from Kibern. Sist. Anal. 2017, No. 4, 37-49 (2017).
MSC:  68Q60 68Q45
Full Text:

### Preserving syntactic correctness while editing mathematical formulas. (English)Zbl 1383.68095

Kotsireas, Ilias S. (ed.) et al., Applications of computer algebra, Kalamata, Greece, July 20–23, 2015. Cham: Springer (ISBN 978-3-319-56930-7/hbk; 978-3-319-56932-1/ebook). Springer Proceedings in Mathematics & Statistics 198, 459-471 (2017).
MSC:  68U15 68U35
Full Text:

Full Text:

### Analysis of the structure of attributed transition systems without hidden transitions. (English. Russian original)Zbl 1380.93005

Cybern. Syst. Anal. 53, No. 2, 165-175 (2017); translation from Kibern. Sist. Anal. 2017, No. 2, 3-15 (2017).
MSC:  93A10 93B25 03E75
Full Text:

### Quantum private comparison based on $$\chi$$-type entangled states. (English)Zbl 1387.81185

MSC:  81P94 81P40 94A60
Full Text:

MSC:  68Q85
Full Text:

### On query result integrity over encrypted data. (English)Zbl 1422.68064

MSC:  68P25 68P05 94A62
Full Text:

### Invariants of quantum programs: characterisations and generation. (English)Zbl 1380.68135

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 818-832 (2017).
MSC:  68N30 81P68
Full Text:

### Thresholded semantic framework for a fully integrated fuzzy logic language. (English)Zbl 1372.68053

MSC:  68N17 68Q55
Full Text:

### Existence of a solution to a system of partial differential algebraic equations of arbitrary index. (English. Russian original)Zbl 1373.35089

J. Math. Sci., New York 224, No. 5, 796-814 (2017); translation from Probl. Mat. Anal. 88, 171-188 (2017).
MSC:  35F35 35L50
Full Text:

### Monitorability for the Hennessy-Milner logic with recursion. (English)Zbl 1370.68203

MSC:  68Q60 03B44 68Q85
Full Text:

### Verifying integer programming results. (English)Zbl 1418.90176

Eisenbrand, Friedrich (ed.) et al., Integer programming and combinatorial optimization. 19th international conference, IPCO 2017, Waterloo, ON, Canada, June 26–28, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10328, 148-160 (2017).
MSC:  90C11
Full Text:

### A unified approach of program verification. (English)Zbl 1414.68019

MSC:  68N30 68Q60
Full Text:

### Downward transference of mice and universality of local core models. (English)Zbl 1419.03047

MSC:  03E45 03E05 03E55
Full Text:

### Two-party quantum private comparison with five-qubit entangled states. (English)Zbl 1366.81144

MSC:  81P94 94A60
Full Text:

Full Text:

### The abstract state machines method for modular design and analysis of programming languages. (English)Zbl 1361.68025

MSC:  68N15 68N20
Full Text:

MSC:  68N17
Full Text:

all top 5

all top 5

all top 5

all top 3

all top 3