Zobrazeno 1 - 10
of 2 414
pro vyhledávání: '"[INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]"'
Autor:
Paweł Parys
Publikováno v:
Discrete Mathematics & Theoretical Computer Science, Vol vol. 22 no. 4, Iss Automata, Logic and Semantics (2020)
We consider nondeterministic higher-order recursion schemes as recognizers of languages of finite words or finite trees. We propose a type system that allows to solve the simultaneous-unboundedness problem (SUP) for schemes, which asks, given a set o
Externí odkaz:
https://doaj.org/article/80aec6a61b1b432695b73a279022ee67
Autor:
Paulevé, Loïc, Sené, Sylvain
Publikováno v:
Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools
Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools, Wiley, 2022, 978-1-119-71658-7
Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools, Wiley, 2022, 978-1-119-71658-7
International audience; Boolean networks are a mathematical model which has been widely used since decades in the context of biological regulation networks qualitative modelling. They consist in collections of entities, each having two possible local
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d0b501a872ad4a1f13eeceae06fcf882
https://doi.org/10.1002/9781119716600.ch6
https://doi.org/10.1002/9781119716600.ch6
Autor:
Al Serhali, Antonio, Niehren, Joachim
Publikováno v:
27th International Conference on Implementation and Application of Automata (CIAA)
27th International Conference on Implementation and Application of Automata (CIAA), Sep 2023, famagusta, Cyprus
27th International Conference on Implementation and Application of Automata (CIAA), Sep 2023, famagusta, Cyprus
International audience; Earliest query answering (EQA) is the problem to enumerate certain query answers on streams at the earliest events. We consider EQA for regular monadic queries on hedges or nested words defined by deterministic stepwise hedge
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e833e758557ca536e9d5328390e41e78
https://inria.hal.science/hal-04106420/document
https://inria.hal.science/hal-04106420/document
Autor:
Al Serhali, Antonio, Niehren, Joachim
Publikováno v:
24th International Symposium on Fundamentals of Computation Theory, FCT 2023
24th International Symposium on Fundamentals of Computation Theory, FCT 2023, Sep 2023, famagusta, Cyprus
24th International Symposium on Fundamentals of Computation Theory, FCT 2023, Sep 2023, famagusta, Cyprus
International audience; We show how to evaluate stepwise hedge automata (SHAs) with subtree projection. Since this requires to pass finite state information top-down, we introduce the notion of downward stepwise hedge automata. We then use them in or
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______4254::1428f86295806733cdd908799018a881
https://inria.hal.science/hal-04165835
https://inria.hal.science/hal-04165835
Autor:
Zekeng Ndadji, Milliam Maxime, Nguedia Momo, Daniela Marionne, Tonle Noumbo, Franck Bruno, Tchoupé Tchendji, Maurice
Éditeurs: Mathieu Roche, Nabil Gmati, Amel Ben Abda, Marcellin Nkenlifack
Workflow languages are a key component of the Business Process Management (BPM) discipline: they are used to model business processes in order to facilitate their automat
Workflow languages are a key component of the Business Process Management (BPM) discipline: they are used to model business processes in order to facilitate their automat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=06cdd3ff4700::fbf3237ef62754ccb49f0942a5a6ac04
https://arima.episciences.org/11183
https://arima.episciences.org/11183
Autor:
Vandenhove, Pierre
Publikováno v:
Computer Science and Game Theory [cs.GT]. Université Paris-Saclay; Université de Mons, 2023. English. ⟨NNT : 2023UPASG029⟩
We study two-player zero-sum turn-based games on graphs, a framework of choice in theoretical computer science. Such games model the possibly infinite interaction between a computer system (often called reactive) and its environment. The system, seen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::96702db02b773a738d4bdcf41a54bcfd
https://theses.hal.science/tel-04095220
https://theses.hal.science/tel-04095220
This paper introduces a robust class of functions from finite words to integers that we call Z-polyregular functions. We show that it admits natural characterizations in terms of logics, Z-rational expressions, Z-rational series and transducers. We t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::31acb0a13194be3fc91c0b5b89fa1f9b
https://hal.science/hal-04097227/document
https://hal.science/hal-04097227/document
Publikováno v:
Lecture Notes in Computer Science
ATVA 2022-20th International Symposium on Automated Technology for Verification and Analysis
ATVA 2022-20th International Symposium on Automated Technology for Verification and Analysis, Oct 2022, Beijing, China. pp.1-16
Automated Technology for Verification and Analysis ISBN: 9783031199912
ATVA 2022-20th International Symposium on Automated Technology for Verification and Analysis
ATVA 2022-20th International Symposium on Automated Technology for Verification and Analysis, Oct 2022, Beijing, China. pp.1-16
Automated Technology for Verification and Analysis ISBN: 9783031199912
International audience; We consider the problem of repairing inconsistent real-time requirements with respect to two consistency notions: non-vacuity, which means that each requirement can be realized without violating other ones, and rt-consistency,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::30795b7532f69ac1f38b55c8f59f214f
https://hal.science/hal-03777464/document
https://hal.science/hal-03777464/document
The teaching of computer ethics on computer science and related degree programmes. a European survey
Autor:
Andrea Curley, Gordana Dodig-Crnkovic, Brendan Tierney, Stephane Maag, Anna Becevel, Svetlana Tikhonenko, Damian Gordon, Francesco Agresta, J.Paul Gibson, Michael Collins, Ioannis Stavrakakis, Dympna O'Sullivan, Emma Murphy, Cristina Pereira, Viola Schiaffonati, Radu Dobrin
Publikováno v:
International Journal of Ethics Education
International Journal of Ethics Education, 2021, 6 (2), ⟨10.1007/s40889-021-00135-1⟩
International Journal of Ethics Education, 7(1), 101-129. Springer Nature
International Journal of Ethics Education, 2021, 6 (2), ⟨10.1007/s40889-021-00135-1⟩
International Journal of Ethics Education, 7(1), 101-129. Springer Nature
Within the Computer Science community, many ethical issues have emerged as significant and critical concerns. Computer ethics is an academic field in its own right and there are unique ethical issues associated with information technology. It encompa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1900631d1587542bbedff017bfb0e314
https://doi.org/10.1007/s40889-021-00135-1
https://doi.org/10.1007/s40889-021-00135-1
This paper considers traffic management in metro networks, and techniques to allow fleets of trains to recover from bunching situations. We address this problem as a controller synthesis question. Controllers decide online train speeds and dwell dura
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c97e8b058839e54899bbc8872705a0e4
https://hal.inria.fr/hal-03777459
https://hal.inria.fr/hal-03777459