×

Found 1,282 Documents (Results 1–100)

A survey of model learning techniques for recurrent neural networks. (English) Zbl 07719258

Jansen, Nils (ed.) et al., A journey from process algebra via timed automata to model learning. Essays dedicated to Frits Vaandrager on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13560, 81-97 (2022).
MSC:  68T07 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Logic synthesis for VLSI-based combined finite state machines. Synthesis targeting ASICs, CPLDs and FPGAs. (English) Zbl 1502.68007

Lecture Notes in Electrical Engineering 922. Cham: Springer (ISBN 978-3-031-16026-4/hbk; 978-3-031-16029-5/pbk; 978-3-031-16027-1/ebook). xv, 291 p. (2022).
MSC:  68-02 68Q45 94C11
PDF BibTeX XML Cite
Full Text: DOI

Learning finite state models from recurrent neural networks. (English) Zbl 1502.68263

ter Beek, Maurice H. (ed.) et al., Integrated formal methods. 17th international conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13274, 229-248 (2022).
MSC:  68T05 68Q32 68Q45
PDF BibTeX XML Cite
Full Text: DOI

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

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 HAL

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 arXiv

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

Complex systems dynamics. An introduction to automata networks. Volume II. Translated from the French. Reprint of the 1989 edition. (English) Zbl 1502.37001

Milton Park, Abingdon: Routledge (ISBN 978-0-367-00299-2/hbk; 978-0-367-15286-4/pbk; 978-0-429-03285-1/ebook). xvii, 190 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI

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

On fixable families of Boolean networks. (English) Zbl 1515.68162

Mauri, Giancarlo (ed.) et al., Cellular automata. 13th international conference on cellular automata for research and industry, ACRI 2018, Como, Italy, September 17–21, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11115, 396-405 (2018).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Towards self-organizing sensor networks: game-theoretic \(\epsilon\)-learning automata-based approach. (English) Zbl 1515.68083

Mauri, Giancarlo (ed.) et al., Cellular automata. 13th international conference on cellular automata for research and industry, ACRI 2018, Como, Italy, September 17–21, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11115, 125-136 (2018).
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

Sequential relational decomposition. (English) Zbl 1497.68172

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 432-441 (2018).
PDF BibTeX XML Cite
Full Text: DOI arXiv

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

Checking sequence generation for symbolic input/output FSMs by constraint solving. (English) Zbl 1518.68349

Fischer, Bernd (ed.) et al., Theoretical aspects of computing – ICTAC 2018. 15th international colloquium, Stellenbosch, South Africa, October 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11187, 354-375 (2018).
MSC:  68T20 68M15 68Q45
PDF BibTeX XML Cite
Full Text: DOI

The exact complexity of star-complement-star. (English) Zbl 1509.68133

Câmpeanu, Cezar (ed.), Implementation and application of automata. 23rd international conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10977, 223-235 (2018).
MSC:  68Q45 68R10 94C15
PDF BibTeX XML Cite
Full Text: DOI

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

Constraint identification using modified Hoare logic on hybrid models of gene networks. (English) Zbl 1515.68158

Schewe, Sven (ed.) et al., 24th international symposium on temporal representation and reasoning, TIME 2017, Mons, Belgium, October 16–18, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 90, Article 5, 21 p. (2017).
MSC:  68Q45 03B70 92C42
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

Expressive power of evolving neural networks working on infinite input streams. (English) Zbl 1495.68058

Klasing, Ralf (ed.) et al., Fundamentals of computation theory. 21st international symposium, FCT 2017, Bordeaux, France, September 11–13, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10472, 150-163 (2017).
PDF BibTeX XML Cite
Full Text: DOI HAL

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

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software