×

Found 493 Documents (Results 1–100)

100
MathJax

ATLAS: automated amortised complexity analysis of self-adjusting data structures. (English) Zbl 07498176

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 99-122 (2021).
MSC:  68P05 68N18
PDF BibTeX XML Cite
Full Text: DOI

Public announcement logic in HOL. (English) Zbl 07437025

Martins, Manuel A. (ed.) et al., Dynamic logic. New trends and applications. Third international workshop, Dalí 2020, Prague, Czech Republic, October 9–10, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12569, 222-238 (2020).
MSC:  03B42 68V15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Paul Klee’s “Honey-writing”. Some reflections on the relation of automatism, automation, machines and mathematics. (English) Zbl 1454.00031

Emmer, Michele (ed.) et al., Imagine math 7. Between culture and mathematics. Proceedings of the international conference on mathematics and culture, Venice, Italy, March 29–31, 2019. Cham: Springer. 5-29 (2020).
MSC:  00A66
PDF BibTeX XML Cite
Full Text: DOI

Programmable manufacturing advisor – a tool for automating decision-making in production systems. (English. Russian original) Zbl 1436.90001

Autom. Remote Control 80, No. 11, 1929-1948 (2019); translation from Avtom. Telemekh. 2019, No. 11, 3-23 (2019).
PDF BibTeX XML Cite
Full Text: DOI

Completion for logically constrained rewriting. (English) Zbl 1462.68098

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 30, 18 p. (2018).
MSC:  68Q42 68V15
PDF BibTeX XML Cite
Full Text: DOI

A methodology of automation cost assessment under given defective products probability. (English. Russian original) Zbl 1401.90067

Autom. Remote Control 79, No. 5, 940-946 (2018); translation from Avtom. Prom. 2016, No. 8, 57-60 (2016).
MSC:  90B30 93E03 93E20
PDF BibTeX XML Cite
Full Text: DOI

Automated amortised resource analysis for term rewrite systems. (English) Zbl 06900734

Gallagher, John P. (ed.) et al., Functional and logic programming. 14th international symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10818, 214-229 (2018).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI arXiv

TacticToe: learning to reason with HOL4 tactics. (English) Zbl 1403.68224

Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 15-143 (2017).
MSC:  68T15 68T05
PDF BibTeX XML Cite
Full Text: DOI arXiv

Automatically proving equivalence by type-safe reflection. (English) Zbl 1367.68257

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, 40-55 (2017).
MSC:  68T15 68N30
PDF BibTeX XML Cite
Full Text: DOI Link

Latency exploitation in wavelet-based multirate circuit simulation. (English) Zbl 1382.65226

Bartel, Andreas (ed.) et al., Scientific computing in electrical engineering. SCEE 2014. Proceedings of the 10th international conference, Wuppertal, Germany, July 22–25, 2014. Cham: Springer (ISBN 978-3-319-30398-7/hbk; 978-3-319-30399-4/ebook). Mathematics in Industry 23. The European Consortium for Mathematics in Industry, 13-20 (2016).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Automating the first-order theory of rewriting for left-linear right-ground rewrite systems. (English) Zbl 1387.68149

Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 36, 12 p. (2016).
MSC:  68Q42 68T15
PDF BibTeX XML Cite
Full Text: DOI

Improving automatic confluence analysis of rewrite systems by redundant rules. (English) Zbl 1366.68125

Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 257-268 (2015).
MSC:  68Q42 68T15
PDF BibTeX XML Cite
Full Text: DOI

Rectangle placement for VLSI testing. (English) Zbl 1459.68221

Michel, Laurent (ed.), Integration of AI and OR techniques in constraint programming. 12th international conference, CPAIOR 2015, Barcelona, Spain, May 18–22, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9075, 18-30 (2015).
MSC:  68U05 68T20 90C59
PDF BibTeX XML Cite
Full Text: DOI

SEPIA: search for proofs using inferred automata. (English) Zbl 1465.68284

Felty, Amy P. (ed.) et al., Automated deduction – CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1–7, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9195, 246-255 (2015).
MSC:  68V15
PDF BibTeX XML Cite
Full Text: DOI arXiv

A component-oriented model for wastewater pumping plants. (English) Zbl 1418.93020

Ferrier, Jean-Louis (ed.) et al., Informatics in control, automation and robotics. 9th international conference, ICINCO 2012, Rome, Italy, July 28–31, 2012. Revised selected papers. Cham: Springer. Lect. Notes Electr. Eng. 283, 281-295 (2014).
MSC:  93A30 93C15 93C83 93-04
PDF BibTeX XML Cite
Full Text: DOI

Automated detection type body and shape deformation for robotic welding line. (English) Zbl 1426.94009

Świątek, Jerzy (ed.) et al., Advances in systems science. Proceedings of the international conference on systems science 2013 (ICSS 2013), Wroclaw, Poland, September 10–12, 2013. Cham: Springer. Adv. Intell. Syst. Comput. 240, 229-240 (2014).
MSC:  94A08 90B30 90B25
PDF BibTeX XML Cite
Full Text: DOI

Bio-imaging and visualization for patient-customized simulations. Papers based on the presentations at the workshop, held during the 16th international conference on medical image computing and computerr assisted intervention, MICCAI 2013, Nagoya, Japan, September 22–26, 2013. (English) Zbl 1314.92011

Lecture Notes in Computational Vision and Biomechanics 13. Cham: Springer (ISBN 978-3-319-03589-5/hbk; 978-3-319-03590-1/ebook). xiv, 137 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI

Compositional computational reflection. (English) Zbl 1416.68171

Klein, Gerwin (ed.) et al., Interactive theorem proving. 5th international conference, ITP 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8558, 374-389 (2014).
MSC:  68T15 68Q60
PDF BibTeX XML Cite
Full Text: DOI Link

Conditional confluence (system description). (English) Zbl 1416.68181

Dowek, Gilles (ed.), Rewriting and typed lambda calculi. Joint international conference, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8560, 456-465 (2014).
MSC:  68T15 68Q42
PDF BibTeX XML Cite
Full Text: DOI

Automated complexity analysis based on context-sensitive rewriting. (English) Zbl 1416.68092

Dowek, Gilles (ed.), Rewriting and typed lambda calculi. Joint international conference, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8560, 257-271 (2014).
MSC:  68Q42 68Q25
PDF BibTeX XML Cite
Full Text: DOI

AutomationML as a shared model for offline- and realtime-simulation of production plants and for anomaly detection. (English) Zbl 1308.93171

Ferrier, Jean-Louis (ed.) et al., Informatics in control, automation and robotics. 8th international conference, ICINCO 2011, Noordwijkerhout, The Netherland, July 28–31, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-31352-3/hbk; 978-3-642-31353-0/ebook). Lecture Notes in Electrical Engineering 174, 195-209 (2013).
MSC:  93C95 90B25 90B30
PDF BibTeX XML Cite
Full Text: DOI

Mtac: a monad for typed tactic programming in Coq. (English) Zbl 1323.68236

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, 87-100 (2013).
MSC:  68N30 68T15
PDF BibTeX XML Cite
Full Text: DOI

Parameter-invariant actuator fault diagnostics in cyber-physical systems with application to building automation. (English) Zbl 1300.94132

Tarraf, Danielle C. (ed.), Control of cyber-physical systems. Invited papers based on the presentations at the workshop at Johns Hopkins University, Baltimore, MD, USA, March 20–21, 2013. Cham: Springer (ISBN 978-3-319-01158-5/pbk; 978-3-319-01159-2/ebook). Lecture Notes in Control and Information Sciences 449, 179-196 (2013).
MSC:  94C12 93C95
PDF BibTeX XML Cite
Full Text: DOI

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