×

Found 1,273 Documents (Results 1–100)

100
MathJax

Timed Petri nets with reset for pipelined synchronous circuit design. (English) Zbl 07493571

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 55-75 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Netter: probabilistic, stateful network models. (English) Zbl 1472.68012

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, 486-508 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Optimising attractor computation in Boolean automata networks. (English) Zbl 07405978

Leporati, Alberto (ed.) et al., Language and automata theory and applications. 15th international conference, LATA 2021, Milan, Italy, March 1–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12638, 68-80 (2021).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv

Synthesizing context-free grammars from recurrent neural networks. (English) Zbl 1467.68077

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 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. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 351-369 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

On satisficing in quantitative games. (English) Zbl 1467.68161

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 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. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 20-37 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

A stochastic automata network description for spatial DNA-methylation models. (English) Zbl 1484.92030

Hermanns, Holger (ed.), Measurement, modelling and evaluation of computing systems. 20th international GI/ITG conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12040, 54-64 (2020).
MSC:  92C42 92C40 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Synthesizing barrier certificates using neural networks. (English) Zbl 07300866

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 25, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI

Conformance verification for neural network models of glucose-insulin dynamics. (English) Zbl 07300854

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 13, 12 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI

AReN: assured ReLU NN architecture for model predictive control of LTI systems. (English) Zbl 07300847

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 6, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Gathering of robots in a grid with mobile faults. (English) Zbl 1444.68017

Catania, Barbara (ed.) et al., SOFSEM 2019: theory and practice of computer science. 45th international conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11376, 164-178 (2019).
PDF BibTeX XML Cite
Full Text: DOI Link

Reachability design through approximate Bayesian computation. (English) Zbl 1422.92052

Bortolussi, Luca (ed.) et al., Computational methods in systems biology. 17th international conference, CMSB 2019, Trieste, Italy, September 18–20, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11773, 207-223 (2019).
PDF BibTeX XML Cite
Full Text: DOI

A computational model of Internet addiction phenomena in social networks. (English) Zbl 1461.91231

Cerone, Antonio (ed.) et al., Software engineering and formal methods. SEFM 2017 collocated workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4–5, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10729, 86-100 (2018).
MSC:  91D30 68Q45 92C20
PDF BibTeX XML Cite
Full Text: DOI

Pattern matching in link streams: a token-based approach. (English) Zbl 1427.68182

Khomenko, Victor (ed.) et al., Application and theory of Petri nets and concurrency. 39th international conference, PETRI NETS 2018, Bratislava, Slovakia, June 24–29, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10877, 227-247 (2018).
MSC:  68Q85 68Q45
PDF BibTeX XML Cite
Full Text: DOI HAL

Consensus decoding of recurrent neural network basecallers. (English) Zbl 1392.92008

Jansson, Jesper (ed.) et al., Algorithms for computational biology. 5th international conference, ALCoB 2018, Hong Kong, China, June 25–26, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-91937-9/pbk; 978-3-319-91938-6/ebook). Lecture Notes in Computer Science 10849. Lecture Notes in Bioinformatics, 128-139 (2018).
PDF BibTeX XML Cite
Full Text: DOI

Better complexity bounds for cost register automata. (English) Zbl 1435.68138

Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 24, 14 p. (2017).
MSC:  68Q45 68Q06 68Q25
PDF BibTeX XML Cite
Full Text: DOI

Improving the timed automata approach to biological pathway dynamics. (English) Zbl 1431.68059

Aceto, Luca (ed.) et al., Models, algorithms, logics and tools. Essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10460, 96-111 (2017).
MSC:  68Q45 92C42
PDF BibTeX XML Cite
Full Text: DOI Link

The arduous road of modelling: excerpts from records of an enjoyable co-operation of nearly 20 years. (English) Zbl 1395.68005

Konstantinidis, Stavros (ed.) et al., The role of theory in computer science. Essays dedicated to Janusz Brzozowski. Hackensack, NJ: World Scientific (ISBN 978-981-3148-19-2/hbk; 978-981-3148-21-5/ebook). 83-120 (2017).
PDF BibTeX XML Cite
Full Text: DOI Link

Cospan/Span(Graph): an algebra for open, reconfigurable automata networks. (English) Zbl 1433.68223

Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 2, 17 p. (2017).
MSC:  68Q70 18M05 68Q85
PDF BibTeX XML Cite
Full Text: DOI

On the cost of simulating a parallel Boolean automata network by a block-sequential one. (English) Zbl 1485.68136

Gopal, T. V. (ed.) et al., Theory and applications of models of computation. 14th annual conference, TAMC 2017, Bern, Switzerland, April 20–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10185, 112-128 (2017).
MSC:  68Q45 68R10
PDF BibTeX XML Cite
Full Text: DOI arXiv

Fault localization of timed automata using maximum satisfiability. (English) Zbl 1461.68103

Liu, Shaoying (ed.) et al., Structured object-oriented formal language and method. 5th international workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9559, 72-85 (2016).
MSC:  68Q45 68M15
PDF BibTeX XML Cite
Full Text: DOI

On the flora of asynchronous locally non-monotonic Boolean automata networks. (English) Zbl 1401.68140

Paulevé, Loïc (ed.) et al., Post-proceedings of the 6th international workshop on static analysis and systems biology (SASB 2015), Saint-Malo, France, September 8, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 326, 3-25 (2016).
MSC:  68Q45 68R10 92C42
PDF BibTeX XML Cite
Full Text: DOI arXiv

Formal techniques for safety-critical systems. Fourth international workshop, FTSCS 2015, Paris, France, November 6–7, 2015. Revised selected papers. (English) Zbl 1393.68009

Communications in Computer and Information Science 596. Cham: Springer (ISBN 978-3-319-29509-1/pbk; 978-3-319-29510-7/ebook). x, 271 p. (2016).
MSC:  68-06 68M15 68N99 68Q60 68U20 00B25
PDF BibTeX XML Cite
Full Text: DOI

A language-theoretical approach to descriptive complexity. (English) Zbl 1436.68130

Brlek, Srečko (ed.) et al., Developments in language theory. 20th international conference, DLT 2016, Montréal, Canada, July 25–28, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9840, 64-76 (2016).
MSC:  68Q19 68Q45 94C11
PDF BibTeX XML Cite
Full Text: DOI

Using duality in circuit complexity. (English) Zbl 1443.68063

Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 10th international conference, LATA 2016, Prague, Czech Republic, March 14–18, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9618, 283-294 (2016).
MSC:  68Q06 68Q17 68Q70
PDF BibTeX XML Cite
Full Text: DOI arXiv

Lipschitz robustness of timed I/O systems. (English) Zbl 1475.68154

Jobstmann, Barbara (ed.) et al., Verification, model checking, and abstract interpretation. 17th international conference, VMCAI 2016, St. Petersburg, FL, USA, January 17–19, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9583, 250-267 (2016).
MSC:  68Q45 68Q06 68Q25
PDF BibTeX XML Cite
Full Text: DOI arXiv

On observability of automata networks via computational algebra. (English) Zbl 1451.68154

Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 9th international conference, LATA 2015, Nice, France, March 2–6, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8977, 249-262 (2015).
MSC:  68Q45 68W30
PDF BibTeX XML Cite
Full Text: DOI

Energy-time tradeoff in recurrent neural nets. (English) Zbl 1341.68052

Koprinkova-Hristova, Petia (ed.) et al., Artificial neural networks. Methods and applications in bio-/neuroinformatics. Selected and extended papers based on the presentations at the 23rd international conference on artificial neural networks, ICANN 2013, Sofia, Bulgaria, September 10–13, 2013. Cham: Springer (ISBN 978-3-319-09902-6/hbk; 978-3-319-09903-3/ebook). Springer Series in Bio-/Neuroinformatics 4, 51-62 (2015).
MSC:  68Q05 68Q45 92B20
PDF BibTeX XML Cite
Full Text: DOI

Visibly counter languages and the structure of \(\mathrm {NC}^{1}\). (English) Zbl 1465.68078

Italiano, F. (ed.) et al., Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24–28, 2015. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 9235, 384-394 (2015).
MSC:  68Q06 68Q15 68Q45
PDF BibTeX XML Cite
Full Text: DOI

A circuit complexity approach to transductions. (English) Zbl 1465.68076

Italiano, F. (ed.) et al., Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24–28, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9234, 141-153 (2015).
MSC:  68Q06 68Q45
PDF BibTeX XML Cite
Full Text: DOI Link

Fluid model checking of timed properties. (English) Zbl 1465.68171

Sankaranarayanan, Sriram (ed.) et al., Formal modeling and analysis of timed systems. 13th international conference, FORMATS 2015, Madrid, Spain, September 2–4, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9268, 172-188 (2015).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Asynchronous dynamics of Boolean automata double-cycles. (English) Zbl 1465.68163

Calude, S. (ed.) et al., Unconventional computation and natural computation. 14th international conference, UCNC 2015, Auckland, New Zealand, August 30 – September 3, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9252, 250-262 (2015).
MSC:  68Q45 37B15
PDF BibTeX XML Cite
Full Text: DOI

Expressive power of non-deterministic evolving recurrent neural networks in terms of their attractor dynamics. (English) Zbl 1465.68084

Calude, S. (ed.) et al., Unconventional computation and natural computation. 14th international conference, UCNC 2015, Auckland, New Zealand, August 30 – September 3, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9252, 144-156 (2015).
PDF BibTeX XML Cite
Full Text: DOI

Measuring communication in parallel communicating finite automata. (English) Zbl 1464.68151

Ésik, Zoltán (ed.) et al., Proceedings of the 14th international conference on automata and formal languages, AFL’14, Szeged, Hungary, May 27–29, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 151, 124-138 (2014).
MSC:  68Q45 68Q06
PDF BibTeX XML Cite
Full Text: arXiv Link

External interactions on hybrid models of biological systems. (English) Zbl 1402.92198

Fages, François (ed.) et al., Formal methods in macro-biology. First international conference, FMMB 2014, Nouméa, New Caledonia, September 22–24, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-10397-6/pbk). Lecture Notes in Computer Science 8738. Lecture Notes in Bioinformatics, 63-81 (2014).
PDF BibTeX XML Cite
Full Text: DOI

Model-checking in systems biology – from micro to macro. (English) Zbl 1402.92199

Fages, François (ed.) et al., Formal methods in macro-biology. First international conference, FMMB 2014, Nouméa, New Caledonia, September 22–24, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-10397-6/pbk). Lecture Notes in Computer Science 8738. Lecture Notes in Bioinformatics, 1-22 (2014).
MSC:  92C42 92C30 68Q45
PDF BibTeX XML Cite
Full Text: DOI

A computational model of XACML-based access control management in distributed networks. (English) Zbl 1432.68264

Beckmann, Arnold (ed.) et al., Language, life, limits. 10th conference on computability in Europe, CiE 2014, Budapest, Hungary, June 23–27, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8493, 265-274 (2014).
MSC:  68Q60 68Q06 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Pairwise rational kernels obtained by automaton operations. (English) Zbl 1302.68178

Holzer, Markus (ed.) et al., Implementation and application of automata. 19th international conference, CIAA 2014, Giessen, Germany, July 30 – August 2, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08845-7/pbk). Lecture Notes in Computer Science 8587, 332-345 (2014).
MSC:  68Q45 92C42
PDF BibTeX XML Cite
Full Text: DOI

Expressivity of time-varying graphs. (English) Zbl 1351.68195

Gąsieniec, Leszek (ed.) et al., Fundamentals of computation theory. 19th international symposium, FCT 2013, Liverpool, UK, August 19–21, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40163-3/pbk). Lecture Notes in Computer Science 8070, 95-106 (2013).
MSC:  68R10 68Q45
PDF BibTeX XML Cite
Full Text: DOI Link

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