default search action
Theoretical Computer Science, Volume 893
Volume 893, November 2021
- Lila Kari:
Editorial. iii - Tatjana Petrov, Claudia Igler, Ali Sezgin, Thomas A. Henzinger, Calin C. Guet:
Long lived transients in gene regulation. 1-16 - Guilherme C. P. Innocentini, Arran Hodgkinson, Fernando Antoneli, Arnaud Debussche, Ovidiu Radulescu:
Push-forward method for piecewise deterministic biochemical simulations. 17-40 - Isabel Cristina Pérez-Verona, Mirco Tribastone, Andrea Vandin:
A large-scale assessment of exact lumping of quantitative models in the BioModels repository. 41-59 - Luping Zhang, Fei Xu, Ajeesh Ramanujan, K. G. Subramanian:
Control languages accepted by labeled spiking neural P systems with rules on synapses. 60-71 - Emilie Allart, Joachim Niehren, Cristian Versari:
Computing difference abstractions of linear equation systems. 72-104 - Lirun Su, Fusheng Yu:
Matrix approach to spanning matroids of rough sets and its application to attribute reduction. 105-116 - Yasuhiro Takahashi, Yuki Takeuchi, Seiichiro Tani:
Classically simulating quantum circuits with local depolarizing noise. 117-132 - Tingting Bao, Qian Yang, Hong Peng, Xiaohui Luo, Jun Wang, Xiaoxiao Song:
Computational power of sequential dendrite P systems. 133-145 - Laszlo Gyongyosi:
Post-processing optimization for continuous-variable quantum key distribution. 146-158 - Feng Shi, Frank Neumann, Jianxin Wang:
Time complexity analysis of evolutionary algorithms for 2-hop (1, 2)-minimum spanning tree problem. 159-175 - Yu Luan, Mei Lu, Yi Zhang:
The fractional (strong) matching preclusion number of complete k-partite graph. 176-182 - Jing Wang:
The generalized 3-connectivity of two kinds of regular networks. 183-190 - Mahmoud Bentriou, Paolo Ballarini, Paul-Henry Cournède:
Automaton-ABC: A statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models. 191-219
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.