×

Found 1,158 Documents (Results 1–100)

100
MathJax

Alternative characterizations of probabilistic trace equivalences on coherent resolutions of nondeterminism. (English) Zbl 1483.68224

Gribaudo, Marco (ed.) et al., Quantitative evaluation of systems. 17th international conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12289, 35-53 (2020).
MSC:  68Q85 68Q10
PDF BibTeX XML Cite
Full Text: DOI

Interactive genetic algorithm to collect user perceptions. Application to the design of stemmed glasses. (English) Zbl 1436.90173

Bennis, Fouad (ed.) et al., Nature-inspired methods for metaheuristics optimization. Algorithms and applications in science and engineering. Cham: Springer. Model. Optim. Sci. Technol. 16, 35-51 (2020).
MSC:  90C59
PDF BibTeX XML Cite
Full Text: DOI HAL

The ILLTP library for intuitionistic linear logic. (English) Zbl 1486.03026

Ehrhard, Thomas (ed.) et al., Proceedings of the joint international workshop on linearity & trends in linear logic and applications, Linearity-TLLA 2018, Oxford, UK, July 7–8, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 292, 118-132 (2019).
PDF BibTeX XML Cite
Full Text: arXiv Link

A formalisation of nominal C-matching through unification with protected variables. (English) Zbl 1433.68186

Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 47-65 (2019).
MSC:  68Q42 68V15 68V20
PDF BibTeX XML Cite
Full Text: DOI

An approach for certifying homotopy continuation paths. Univariate case. (English) Zbl 1467.65056

Arreche, Carlos (ed.), Proceedings of the 43rd international symposium on symbolic and algebraic computation, ISSAC 2018, New York, NY, USA, July 16–19, 2018. New York, NY: Association for Computing Machinery (ACM). 399-406 (2018).
MSC:  65H20 65G40 68V15
PDF BibTeX XML Cite
Full Text: DOI

PDE apps for acoustic ducts: a parametrized component-to-system model-order-reduction approach. (English) Zbl 1435.65011

Radu, Florin Adrian (ed.) et al., Numerical mathematics and advanced applications. ENUMATH 2017. Selected papers based on the presentations at the European conference, Bergen, Norway, September 25–29, 2017. Cham: Springer. Lect. Notes Comput. Sci. Eng. 126, 3-33 (2018).
PDF BibTeX XML Cite
Full Text: DOI

Interactive multiobjective robust optimization with NIMBUS. (English) Zbl 1421.90192

Baum, Marcus (ed.) et al., Simulation science. First international workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017. Revised selected papers. Cham: Springer. Commun. Comput. Inf. Sci. 889, 60-76 (2018).
MSC:  90C90 90C29
PDF BibTeX XML Cite
Full Text: DOI Link

A system approach to mathematical and computer modeling of geomigration processes using FreeFem++ and parallelization of computations. (English. Russian original) Zbl 1393.93064

Cybern. Syst. Anal. 54, No. 2, 284-294 (2018); translation from Kibern. Sist. Anal. 2018, No. 2, xx (2018).
PDF BibTeX XML Cite
Full Text: DOI

Numerical simulation of fractional-differential filtration-consolidation dynamics within the framework of models with non-singular kernel. (English. Russian original) Zbl 1393.93018

Cybern. Syst. Anal. 54, No. 2, 193-204 (2018); translation from Kibern. Sist. Anal. 2018, No. 2, 26-37 (2018).
MSC:  93A30 34A08 65L12 68Q10
PDF BibTeX XML Cite
Full Text: DOI

Lattice Boltzmann flow simulation on Android devices for interactive mobile-based learning. (English) Zbl 1487.76059

Desprez, Frédéric (ed.) et al., Euro-Par 2016: parallel processing workshops. Euro-Par 2016 international workshops, Grenoble, France, August 24–26, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10104, 3-15 (2017).
PDF BibTeX XML Cite
Full Text: DOI

Computing quantiles in Markov chains with multi-dimensional costs. (English) Zbl 1457.68112

Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 30, 12 p. (2017).
PDF BibTeX XML Cite
Full Text: Link

Certificates for triangular equivalence and rank profiles. (English) Zbl 1451.65046

Burr, Michael (ed.), Proceedings of the 42nd international symposium on symbolic and algebraic computation, ISSAC 2017, Kaiserslautern, Germany, July 25–28, 2017. New York, NY: Association for Computing Machinery (ACM). 133-140 (2017).
MSC:  65F40 65C05
PDF BibTeX XML Cite
Full Text: DOI arXiv

Towards verification of cyber-physical systems with UTP and Isabelle/HOL. (English) Zbl 1485.68150

Gibson-Robinson, Thomas (ed.) et al., Concurrency, security, and puzzles. Essays dedicated to Andrew William Roscoe on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10160, 39-64 (2017).
MSC:  68Q60 68Q85 68V15
PDF BibTeX XML Cite
Full Text: DOI Link

Interactive proofs in higher-order concurrent separation logic. (English) Zbl 1380.68341

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). 205-217 (2017).
MSC:  68T15 03B70 68N30 68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI Link

WorkflowFM: a logic-based framework for formal process specification and composition. (English) Zbl 06778414

de Moura, Leonardo (ed.), Automated deduction – CADE 26. 26th international conference on automated deduction, Gothenburg, Sweden, August 6–11, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10395, 357-370 (2017).
PDF BibTeX XML Cite
Full Text: DOI Link

A verified algorithm enumerating event structures. (English) Zbl 1367.68245

Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 239-254 (2017).
MSC:  68T15 05A15 06-04 68Q10 68U35
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Compiling process networks to interaction nets. (English) Zbl 1482.68155

Corradini, Andrea (ed.) et al., Proceedings of the 9th international workshop on computing with terms and graphs, TERMGRAPH 2016, Eindhoven, The Netherlands, April 8, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 225, 5-14 (2016).
MSC:  68Q85 68Q10 68Q42
PDF BibTeX XML Cite
Full Text: arXiv Link

Reversible multiparty sessions with checkpoints. (English) Zbl 1478.68190

Gebler, Daniel (ed.) et al., Proceedings of the combined 23rd international workshop on expressiveness in concurrency and 13th workshop on structural operational semantics, EXPRESS/SOS 2016, Québec City, Canada, August 22, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 222, 60-74 (2016).
MSC:  68Q85 68Q10
PDF BibTeX XML Cite
Full Text: arXiv Link

Secure two-party computation in applied pi-calculus: models and verification. (English) Zbl 1457.68180

Ganty, Pierre (ed.) et al., Trustworthy global computing. 10th international symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9533, 1-15 (2016).
MSC:  68Q85 68Q10 68Q60
PDF BibTeX XML Cite
Full Text: DOI Link

An algebra of synchronous atomic steps. (English) Zbl 1427.68197

Fitzgerald, John (ed.) et al., FM 2016: formal methods. 21st international symposium, Limassol, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9995, 352-369 (2016).
MSC:  68Q85 68N30 68V15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Ability to count messages is worth \(\Theta(\Delta)\) rounds in distributed computing. (English) Zbl 1401.68230

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 357-366 (2016).
PDF BibTeX XML Cite
Full Text: DOI

Distinguishing hidden Markov chains. (English) Zbl 1401.68086

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 66-75 (2016).
MSC:  68Q10 60J22 68Q87
PDF BibTeX XML Cite
Full Text: DOI arXiv

Soundness in negotiations. (English) Zbl 1392.68298

Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 12, 13 p. (2016).
MSC:  68Q85 68Q10 68Q25
PDF BibTeX XML Cite
Full Text: DOI

A streaming algorithm for the undirected longest path problem. (English) Zbl 1397.68143

Sankowski, Piotr (ed.) et al., 24th annual European symposium on algorithms, ESA 2016, Aarhus, Denmark, August 22–24, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-015-6). LIPIcs – Leibniz International Proceedings in Informatics 57, Article 56, 17 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI

Optimal principal component analysis in distributed and streaming models. (English) Zbl 1381.62140

Wichs, Daniel (ed.) et al., Proceedings of the 48th annual ACM SIGACT symposium on theory of computing, STOC ’16, Cambridge, MA, USA, June 19–21, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4132-5). 236-249 (2016).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software