Volchenkov, Evgeny Interpretation problems: general mechanism and fundamental limitations of classical methods. (English) Zbl 1511.68118 Kybernetes 44, No. 5, 692-704 (2015). MSC: 68Q04 PDFBibTeX XMLCite \textit{E. Volchenkov}, Kybernetes 44, No. 5, 692--704 (2015; Zbl 1511.68118) Full Text: DOI
Dershowitz, Nachum; Falkovich, Evgenia Cellular automata are generic. (English) Zbl 1476.68161 Dal Lago, Ugo (ed.) et al., Proceedings of the tenth international workshop on developments of computational models, DCM 2014, Vienna, Austria, July 13, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 179, 17-32 (2015). MSC: 68Q80 68Q04 PDFBibTeX XMLCite \textit{N. Dershowitz} and \textit{E. Falkovich}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 179, 17--32 (2015; Zbl 1476.68161) Full Text: arXiv Link
Rowe, Reuben N. S. Encoding the factorisation calculus. (English) Zbl 1476.68182 Crafa, Silvia (ed.) et al., Proceedings of the combined 22th international workshop on expressiveness in concurrency and 12th workshop on structural operational semantics, EXPRESS/SOS 2015, Madrid, Spain, August 31, 2015. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 190, 76-90 (2015). MSC: 68Q85 03B40 PDFBibTeX XMLCite \textit{R. N. S. Rowe}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 190, 76--90 (2015; Zbl 1476.68182) Full Text: arXiv Link
Ganchev, Hristo; Sariev, Andrey Definability of jump classes in the local theory of the \(\omega\)-enumeration degrees. (English) Zbl 1474.03099 God. Sofiĭ. Univ., Fak. Mat. Inform. 102, 207-224 (2015). MSC: 03D30 03D28 PDFBibTeX XMLCite \textit{H. Ganchev} and \textit{A. Sariev}, God. Sofiĭ. Univ., Fak. Mat. Inform. 102, 207--224 (2015; Zbl 1474.03099) Full Text: Link
Vatev, Stefan V. On the notion of jump structure. (English) Zbl 1474.03104 God. Sofiĭ. Univ., Fak. Mat. Inform. 102, 171-206 (2015). MSC: 03D45 03D30 03C57 PDFBibTeX XMLCite \textit{S. V. Vatev}, God. Sofiĭ. Univ., Fak. Mat. Inform. 102, 171--206 (2015; Zbl 1474.03104) Full Text: Link
Guin, Lakshmi Narayan Spatial patterns through Turing instability in a reaction-diffusion predator-prey model. (English) Zbl 07313336 Math. Comput. Simul. 109, 174-185 (2015). MSC: 35-XX 92-XX PDFBibTeX XMLCite \textit{L. N. Guin}, Math. Comput. Simul. 109, 174--185 (2015; Zbl 07313336) Full Text: DOI
Bozzini, Benedetto; Gambino, Gaetana; Lacitignola, D.; Lupo, Salvatore; Sammartino, Marco Maria Luigi; Sgura, Ivonne Weakly nonlinear analysis of Turing patterns in a morphochemical model for metal growth. (English) Zbl 1443.82017 Comput. Math. Appl. 70, No. 8, 1948-1969 (2015). MSC: 82D25 PDFBibTeX XMLCite \textit{B. Bozzini} et al., Comput. Math. Appl. 70, No. 8, 1948--1969 (2015; Zbl 1443.82017) Full Text: DOI
Zheng, Qianqian; Shen, Jianwei Pattern formation in the FitzHugh-Nagumo model. (English) Zbl 1443.92071 Comput. Math. Appl. 70, No. 5, 1082-1097 (2015). MSC: 92C20 92C50 35B32 PDFBibTeX XMLCite \textit{Q. Zheng} and \textit{J. Shen}, Comput. Math. Appl. 70, No. 5, 1082--1097 (2015; Zbl 1443.92071) Full Text: DOI
Piątkowski, Jacek Timed models of security protocols including delays in the network. (English) Zbl 07251908 J. Appl. Math. Comput. Mech. 14, No. 3, 127-139 (2015). MSC: 68M12 68Q05 PDFBibTeX XMLCite \textit{J. Piątkowski}, J. Appl. Math. Comput. Mech. 14, No. 3, 127--139 (2015; Zbl 07251908) Full Text: DOI
Zheng, Qianqian; Shen, Jianwei Dynamics and pattern formation in a cancer network with diffusion. (English) Zbl 1457.92087 Commun. Nonlinear Sci. Numer. Simul. 27, No. 1-3, 93-109 (2015). MSC: 92C50 92C15 PDFBibTeX XMLCite \textit{Q. Zheng} and \textit{J. Shen}, Commun. Nonlinear Sci. Numer. Simul. 27, No. 1--3, 93--109 (2015; Zbl 1457.92087) Full Text: DOI
Wang, Xueying; Wang, Jin Analysis of cholera epidemics with bacterial growth and spatial movement. (English) Zbl 1448.92353 J. Biol. Dyn. 9, Suppl. 1, 233-261 (2015). MSC: 92D30 34D23 35Q92 PDFBibTeX XMLCite \textit{X. Wang} and \textit{J. Wang}, J. Biol. Dyn. 9, 233--261 (2015; Zbl 1448.92353) Full Text: DOI
Luttik, Bas; Yang, Fei Executable behaviour and the \(\pi \)-calculus (extended abstract). (English) Zbl 1433.68255 Knight, Sophia (ed.) et al., Proceedings of the 8th interaction and concurrency experience workshop, ICE’15, Grenoble, France, June 4–5, 2015. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 189, 37-52 (2015). MSC: 68Q85 68Q09 68Q55 PDFBibTeX XMLCite \textit{B. Luttik} and \textit{F. Yang}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 189, 37--52 (2015; Zbl 1433.68255) Full Text: arXiv Link
Debois, Søren; Hildebrandt, Thomas; Slaats, Tijs Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes. (English) Zbl 1427.68188 Bjørner, Nikolaj (ed.) et al., FM 2015: formal methods. 20th international symposium, Oslo, Norway, June 24–26, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9109, 143-160 (2015). MSC: 68Q85 68Q45 68Q60 PDFBibTeX XMLCite \textit{S. Debois} et al., Lect. Notes Comput. Sci. 9109, 143--160 (2015; Zbl 1427.68188) Full Text: DOI
Cook, Byron; Khlaaf, Heidy; Piterman, Nir Fairness for infinite-state systems. (English) Zbl 1420.68122 Baier, Christel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9035, 384-398 (2015). MSC: 68Q60 PDFBibTeX XMLCite \textit{B. Cook} et al., Lect. Notes Comput. Sci. 9035, 384--398 (2015; Zbl 1420.68122) Full Text: DOI
Guin, Lakshmi Narayan; Chakravarty, Santabrata; Mandal, Prashanta Kumar Existence of spatial patterns in reaction-diffusion systems incorporating a prey refuge. (English) Zbl 1416.92137 Nonlinear Anal., Model. Control 20, No. 4, 509-527 (2015). MSC: 92D25 92D40 34C23 PDFBibTeX XMLCite \textit{L. N. Guin} et al., Nonlinear Anal., Model. Control 20, No. 4, 509--527 (2015; Zbl 1416.92137) Full Text: DOI
Song, Bosheng; Song, Tao; Pan, Linqiang Time-free solution to SAT problem by P systems with active membranes and standard cell division rules. (English) Zbl 1415.68098 Nat. Comput. 14, No. 4, 673-681 (2015). MSC: 68Q05 68Q10 68Q25 PDFBibTeX XMLCite \textit{B. Song} et al., Nat. Comput. 14, No. 4, 673--681 (2015; Zbl 1415.68098) Full Text: DOI
Stark, W. Richard Random choice in amorphous processes. (English) Zbl 1415.68099 Nat. Comput. 14, No. 4, 649-653 (2015). MSC: 68Q05 68Q10 68Q45 PDFBibTeX XMLCite \textit{W. R. Stark}, Nat. Comput. 14, No. 4, 649--653 (2015; Zbl 1415.68099) Full Text: DOI
Ellis-Monaghan, Joanna A.; McDowell, Andrew; Moffatt, Iain; Pangborn, Greta DNA origami and the complexity of Eulerian circuits with turning costs. (English) Zbl 1415.68081 Nat. Comput. 14, No. 3, 491-503 (2015). MSC: 68Q05 05C45 05C85 68Q25 90C27 92D20 PDFBibTeX XMLCite \textit{J. A. Ellis-Monaghan} et al., Nat. Comput. 14, No. 3, 491--503 (2015; Zbl 1415.68081) Full Text: DOI arXiv
Winslow, Andrew Staged self-assembly and polyomino context-free grammars. (English) Zbl 1415.68102 Nat. Comput. 14, No. 2, 293-302 (2015). MSC: 68Q05 05B50 68Q42 68Q45 90C27 PDFBibTeX XMLCite \textit{A. Winslow}, Nat. Comput. 14, No. 2, 293--302 (2015; Zbl 1415.68102) Full Text: DOI arXiv
Kari, Lila; Kopecki, Steffen; Seki, Shinnosuke 3-color bounded patterned self-assembly. (English) Zbl 1415.68088 Nat. Comput. 14, No. 2, 279-292 (2015). MSC: 68Q05 68Q17 PDFBibTeX XMLCite \textit{L. Kari} et al., Nat. Comput. 14, No. 2, 279--292 (2015; Zbl 1415.68088) Full Text: DOI arXiv
Keenan, Alexandra; Schweller, Robert; Zhong, Xingsi Exponential replication of patterns in the signal tile assembly model. (English) Zbl 1415.68091 Nat. Comput. 14, No. 2, 265-278 (2015). MSC: 68Q05 68U05 PDFBibTeX XMLCite \textit{A. Keenan} et al., Nat. Comput. 14, No. 2, 265--278 (2015; Zbl 1415.68091) Full Text: DOI Link
Fochtman, Tyler; Hendricks, Jacob; Padilla, Jennifer E.; Patitz, Matthew J.; Rogers, Trent A. Signal transmission across tile assemblies: 3D static tiles simulate active self-assembly by 2D signal-passing tiles. (English) Zbl 1415.68082 Nat. Comput. 14, No. 2, 251-264 (2015). MSC: 68Q05 PDFBibTeX XMLCite \textit{T. Fochtman} et al., Nat. Comput. 14, No. 2, 251--264 (2015; Zbl 1415.68082) Full Text: DOI arXiv
Chen, Moya; Xin, Doris; Woods, Damien Parallel computation using active self-assembly. (English) Zbl 1415.68074 Nat. Comput. 14, No. 2, 225-250 (2015). MSC: 68Q05 68Q10 68Q25 PDFBibTeX XMLCite \textit{M. Chen} et al., Nat. Comput. 14, No. 2, 225--250 (2015; Zbl 1415.68074) Full Text: DOI Link
Doty, David; Hajiaghayi, Monir Leaderless deterministic chemical reaction networks. (English) Zbl 1415.68080 Nat. Comput. 14, No. 2, 213-223 (2015). MSC: 68Q05 68Q10 PDFBibTeX XMLCite \textit{D. Doty} and \textit{M. Hajiaghayi}, Nat. Comput. 14, No. 2, 213--223 (2015; Zbl 1415.68080) Full Text: DOI Link
Dannenberg, Frits; Kwiatkowska, Marta; Thachuk, Chris; Turberfield, Andrew J. DNA walker circuits: computational potential, design, and verification. (English) Zbl 1415.68078 Nat. Comput. 14, No. 2, 195-211 (2015). MSC: 68Q05 68Q60 68U07 94C10 PDFBibTeX XMLCite \textit{F. Dannenberg} et al., Nat. Comput. 14, No. 2, 195--211 (2015; Zbl 1415.68078) Full Text: DOI
Soloveichik, David (ed.); Yurke, Bernard (ed.) Preface. (English) Zbl 1415.68048 Nat. Comput. 14, No. 2, 193-194 (2015). MSC: 68-06 68Q05 68Q10 00B25 PDFBibTeX XMLCite \textit{D. Soloveichik} (ed.) and \textit{B. Yurke} (ed.), Nat. Comput. 14, No. 2, 193--194 (2015; Zbl 1415.68048) Full Text: DOI
Alistarh, Dan The renaming problem: recent developments and open questions. (English) Zbl 1409.68113 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 117, 102-141 (2015). MSC: 68Q10 68Q05 68Q25 68W15 68W20 PDFBibTeX XMLCite \textit{D. Alistarh}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 117, 102--141 (2015; Zbl 1409.68113) Full Text: Link
Arvind, Vikraman Robust oracle machines revisited. (English) Zbl 1409.68097 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 115, 46-57 (2015). MSC: 68Q05 68Q15 PDFBibTeX XMLCite \textit{V. Arvind}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 115, 46--57 (2015; Zbl 1409.68097) Full Text: Link
Korvasová, K.; Gaffney, E. A.; Maini, P. K.; Ferreira, M. A.; Klika, V. Investigating the Turing conditions for diffusion-driven instability in the presence of a binding immobile substrate. (English) Zbl 1412.92139 J. Theor. Biol. 367, 286-295 (2015). MSC: 92C45 92C40 PDFBibTeX XMLCite \textit{K. Korvasová} et al., J. Theor. Biol. 367, 286--295 (2015; Zbl 1412.92139) Full Text: DOI
Mex, L.; Cruz-Villar, Carlos A.; Peñuñuri, F. Closed-form solutions to differential equations via differential evolution. (English) Zbl 1418.34039 Discrete Dyn. Nat. Soc. 2015, Article ID 910316, 11 p. (2015). MSC: 34A45 68Q05 PDFBibTeX XMLCite \textit{L. Mex} et al., Discrete Dyn. Nat. Soc. 2015, Article ID 910316, 11 p. (2015; Zbl 1418.34039) Full Text: DOI
Luan, Jing; Yao, Zhong Research on P system with chain structure and application and simulation in arithmetic operation. (English) Zbl 1418.68091 Discrete Dyn. Nat. Soc. 2015, Article ID 123960, 11 p. (2015). MSC: 68Q05 68Q10 PDFBibTeX XMLCite \textit{J. Luan} and \textit{Z. Yao}, Discrete Dyn. Nat. Soc. 2015, Article ID 123960, 11 p. (2015; Zbl 1418.68091) Full Text: DOI
Xie, Boli; Wang, Zhijun; Xue, Yakui; Zhang, Zhenmin The dynamics of a delayed predator-prey model with double Allee effect. (English) Zbl 1418.92140 Discrete Dyn. Nat. Soc. 2015, Article ID 102597, 8 p. (2015). MSC: 92D25 PDFBibTeX XMLCite \textit{B. Xie} et al., Discrete Dyn. Nat. Soc. 2015, Article ID 102597, 8 p. (2015; Zbl 1418.92140) Full Text: DOI
Câmpeanu, Cezar Non-deterministic finite cover automata. (English) Zbl 1424.68084 Sci. Ann. Comput. Sci. 25, No. 1, 3-28 (2015). MSC: 68Q45 68Q05 PDFBibTeX XMLCite \textit{C. Câmpeanu}, Sci. Ann. Comput. Sci. 25, No. 1, 3--28 (2015; Zbl 1424.68084) Full Text: DOI
Banerjee, Malay Comments on “L. N. Guin, M. Haque, P. K. Mandal, The spatial patterns through diffusion-driven instability in a predator-prey model”. (English) Zbl 1428.35614 Appl. Math. Modelling 39, No. 1, 297-299 (2015). MSC: 35Q92 35K45 92D25 35B32 35K57 PDFBibTeX XMLCite \textit{M. Banerjee}, Appl. Math. Modelling 39, No. 1, 297--299 (2015; Zbl 1428.35614) Full Text: DOI
Li, Zhang; Chen, Weisheng Two dimension spatial pattern formation in a coupled autocatalysis system. (English) Zbl 1449.92055 Appl. Math. Modelling 39, No. 1, 50-69 (2015). MSC: 92E20 35K57 35B32 PDFBibTeX XMLCite \textit{Z. Li} and \textit{W. Chen}, Appl. Math. Modelling 39, No. 1, 50--69 (2015; Zbl 1449.92055) Full Text: DOI
Krylov, S. M. Mathematical foundations of epistemology based on experiments. (Russian. English summary) Zbl 1438.03001 Vestn. Samar. Gos. Tekh. Univ., Ser. Fiz.-Mat. Nauki 19, No. 3, 534-558 (2015). MSC: 03A10 PDFBibTeX XMLCite \textit{S. M. Krylov}, Vestn. Samar. Gos. Tekh. Univ., Ser. Fiz.-Mat. Nauki 19, No. 3, 534--558 (2015; Zbl 1438.03001) Full Text: DOI MNR
dos S. Silva, F. A.; Viana, R. L.; Lopes, S. R. Pattern formation and Turing instability in an activator-inhibitor system with power-law coupling. (English) Zbl 1395.82140 Physica A 419, 487-497 (2015). MSC: 82C20 PDFBibTeX XMLCite \textit{F. A. dos S. Silva} et al., Physica A 419, 487--497 (2015; Zbl 1395.82140) Full Text: DOI
Burgin, Mark Properties of stabilizing computations. (English) Zbl 1395.68120 Theory Appl. Math. Comput. Sci. 5, No. 1, 71-93 (2015). MSC: 68Q05 PDFBibTeX XMLCite \textit{M. Burgin}, Theory Appl. Math. Comput. Sci. 5, No. 1, 71--93 (2015; Zbl 1395.68120)
Eberbach, Eugene The applicability of $-calculus to solve some Turing machine undecidable problems. (English) Zbl 1395.68121 Theory Appl. Math. Comput. Sci. 5, No. 1, 37-52 (2015). MSC: 68Q05 03D10 03D35 68Q10 PDFBibTeX XMLCite \textit{E. Eberbach}, Theory Appl. Math. Comput. Sci. 5, No. 1, 37--52 (2015; Zbl 1395.68121)
Mei, Debing; Zhao, Min; Yu, Hengguo; Dai, Chuanjun Spatiotemporal complexity of the nutrient-phytoplankton model. (English) Zbl 1394.92139 Math. Probl. Eng. 2015, Article ID 815682, 11 p. (2015). MSC: 92D40 PDFBibTeX XMLCite \textit{D. Mei} et al., Math. Probl. Eng. 2015, Article ID 815682, 11 p. (2015; Zbl 1394.92139) Full Text: DOI
Chen, Zhong; Xiong, Shengwu; Fang, Zhixiang; Zhang, Ruiling; Kong, Xiangzhen; Rong, Yi Topologically ordered feature extraction based on sparse group restricted Boltzmann machines. (English) Zbl 1395.62301 Math. Probl. Eng. 2015, Article ID 267478, 12 p. (2015). MSC: 62M40 68Q05 68T05 PDFBibTeX XMLCite \textit{Z. Chen} et al., Math. Probl. Eng. 2015, Article ID 267478, 12 p. (2015; Zbl 1395.62301) Full Text: DOI
Wang, Yi; Zhao, Min; Dai, Chuanjun; Deng, Yunli The dynamics of a diffusive nutrient-algae model based upon the Sanyang wetland. (English) Zbl 1394.92144 Math. Probl. Eng. 2015, Article ID 251937, 12 p. (2015). MSC: 92D40 PDFBibTeX XMLCite \textit{Y. Wang} et al., Math. Probl. Eng. 2015, Article ID 251937, 12 p. (2015; Zbl 1394.92144) Full Text: DOI
Zhu, Yilin; Pan, Feng; Li, Lingxi; Ren, Xuemei; Gao, Qi Simulation of Turing machine with uEAC-computable functions. (English) Zbl 1394.68146 Math. Probl. Eng. 2015, Article ID 236806, 8 p. (2015). MSC: 68Q05 PDFBibTeX XMLCite \textit{Y. Zhu} et al., Math. Probl. Eng. 2015, Article ID 236806, 8 p. (2015; Zbl 1394.68146) Full Text: DOI
Morales, M. A.; Rojas, J. F.; Oliveros, J.; Hernández S., A. A. A new mechanochemical model: coupled Ginzburg-Landau and Swift-Hohenberg equations in biological patterns of marine animals. (English) Zbl 1405.92025 J. Theor. Biol. 368, 37-54 (2015). MSC: 92C15 92C37 92C17 35Q92 PDFBibTeX XMLCite \textit{M. A. Morales} et al., J. Theor. Biol. 368, 37--54 (2015; Zbl 1405.92025) Full Text: DOI
Fish, Benjamin; Kun, Jeremy; Lelkes, Ádám D.; Reyzin, Lev; Turán, György On the computational complexity of MapReduce. (English) Zbl 1394.68176 Moses, Yoram (ed.), Distributed computing. 29th international symposium, DISC 2015, Tokyo, Japan, October 7–9, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-48652-8/pbk; 978-3-662-48653-5/ebook). Lecture Notes in Computer Science 9363, 1-15 (2015). MSC: 68Q25 68Q05 68Q10 68Q15 68Q45 PDFBibTeX XMLCite \textit{B. Fish} et al., Lect. Notes Comput. Sci. 9363, 1--15 (2015; Zbl 1394.68176) Full Text: DOI arXiv
Sladek, V.; Sladek, J.; Shirzadi, A. The local integral equation method for pattern formation simulations in reaction-diffusion systems. (English) Zbl 1403.65100 Eng. Anal. Bound. Elem. 50, 329-340 (2015). MSC: 65M70 92C15 PDFBibTeX XMLCite \textit{V. Sladek} et al., Eng. Anal. Bound. Elem. 50, 329--340 (2015; Zbl 1403.65100) Full Text: DOI
Miles, Eric; Viola, Emanuele Substitution-permutation networks, pseudorandom functions, and natural proofs. (English) Zbl 1426.68084 J. ACM 62, No. 6, Article No. 46, 29 p. (2015). MSC: 68P25 68Q04 68Q06 94A60 PDFBibTeX XMLCite \textit{E. Miles} and \textit{E. Viola}, J. ACM 62, No. 6, Article No. 46, 29 p. (2015; Zbl 1426.68084) Full Text: DOI
Stewart, Alistair; Etessami, Kousha; Yannakakis, Mihalis Upper bounds for Newton’s method on monotone polynomial systems, and P-time model checking of probabilistic one-counter automata. (English) Zbl 1426.68177 J. ACM 62, No. 4, Article No. 30, 33 p. (2015). MSC: 68Q60 68Q45 68Q87 PDFBibTeX XMLCite \textit{A. Stewart} et al., J. ACM 62, No. 4, Article No. 30, 33 p. (2015; Zbl 1426.68177) Full Text: DOI arXiv
Sergeyev, Yaroslav D. A simple way to treat infinite and infinitesimal numbers. (Italian. English summary) Zbl 1392.68189 Mat. Soc. Cult., Riv. Unione Mat. Ital. (1) 8, No. 1, 111-147, 166-167 (2015). MSC: 68Q05 03H05 PDFBibTeX XMLCite \textit{Y. D. Sergeyev}, Mat. Soc. Cult., Riv. Unione Mat. Ital. (1) 8, No. 1, 111--147, 166--167 (2015; Zbl 1392.68189)
Alhazov, Artiom; Freund, Rudolf; Sosik, Petr Small P systems with catalysts or anti-matter simulating generalized register machines and generalized counter automata. (English) Zbl 1390.68299 Comput. Sci. J. Mold. 23, No. 3(69), 304-328 (2015). MSC: 68Q05 68Q45 PDFBibTeX XMLCite \textit{A. Alhazov} et al., Comput. Sci. J. Mold. 23, No. 3(69), 304--328 (2015; Zbl 1390.68299) Full Text: Link
Alhazov, Artiom; Burtseva, Lyudmila; Cojocaru, Svetlana; Colesnicov, Alexandru; Malahov, Ludmila Solving problem of graph isomorphism by membrane-quantum hybrid model. (English) Zbl 1390.68298 Comput. Sci. J. Mold. 23, No. 2(68), 237-248 (2015). MSC: 68Q05 05C60 68Q10 68Q12 68Q25 PDFBibTeX XMLCite \textit{A. Alhazov} et al., Comput. Sci. J. Mold. 23, No. 2(68), 237--248 (2015; Zbl 1390.68298) Full Text: Link
Formenti, Enrico; Manzoni, Luca; Porreca, Antonio On the complexity of occurrence and convergence problems in reaction systems. (English) Zbl 1390.68306 Nat. Comput. 14, No. 1, 185-191 (2015). MSC: 68Q05 68Q17 PDFBibTeX XMLCite \textit{E. Formenti} et al., Nat. Comput. 14, No. 1, 185--191 (2015; Zbl 1390.68306) Full Text: DOI
Abid, Walid; Yafia, Radouane; Aziz-Alaoui, M. A.; Bouhafa, Habib; Abichou, Azgal Diffusion driven instability and Hopf bifurcation in spatial predator-prey model on a circular domain. (English) Zbl 1410.92092 Appl. Math. Comput. 260, 292-313 (2015). MSC: 92D25 34C23 PDFBibTeX XMLCite \textit{W. Abid} et al., Appl. Math. Comput. 260, 292--313 (2015; Zbl 1410.92092) Full Text: DOI
Męski, Artur; Penczek, Wojciech; Rozenberg, Grzegorz Model checking temporal properties of reaction systems. (English) Zbl 1387.68167 Inf. Sci. 313, 22-42 (2015). MSC: 68Q60 68Q05 PDFBibTeX XMLCite \textit{A. Męski} et al., Inf. Sci. 313, 22--42 (2015; Zbl 1387.68167) Full Text: DOI
Clemente, Lorenzo; Lasota, Sławomir Timed pushdown automata revisited. (English) Zbl 1401.68157 Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 738-749 (2015). MSC: 68Q45 68Q25 PDFBibTeX XMLCite \textit{L. Clemente} and \textit{S. Lasota}, in: Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6--10, 2015. Los Alamitos, CA: IEEE Computer Society. 738--749 (2015; Zbl 1401.68157) Full Text: DOI arXiv
Monin, Benoit; Nies, André A unifying approach to the Gamma question. (English) Zbl 1395.03019 Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 585-596 (2015). MSC: 03D32 03D28 PDFBibTeX XMLCite \textit{B. Monin} and \textit{A. Nies}, in: Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6--10, 2015. Los Alamitos, CA: IEEE Computer Society. 585--596 (2015; Zbl 1395.03019) Full Text: DOI
Dal Lago, Ugo; Faggian, Claudia; Valiron, Benoît; Yoshimizu, Akira Parallelism and synchronization in an infinitary context. (English) Zbl 1401.68030 Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 559-572 (2015). MSC: 68N18 03B70 68Q05 68Q10 68Q55 PDFBibTeX XMLCite \textit{U. Dal Lago} et al., in: Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6--10, 2015. Los Alamitos, CA: IEEE Computer Society. 559--572 (2015; Zbl 1401.68030) Full Text: DOI arXiv
Endrullis, Jörg; Grabmayer, Clemens; Hendriks, Dimitri Regularity preserving but not reflecting encodings. (English) Zbl 1394.68210 Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 535-546 (2015). MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{J. Endrullis} et al., in: Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6--10, 2015. Los Alamitos, CA: IEEE Computer Society. 535--546 (2015; Zbl 1394.68210) Full Text: DOI arXiv
Ackerman, Nathanael L.; Freer, Cameron E.; Lubarsky, Robert S. Feedback Turing computability, and Turing computability as feedback. (English) Zbl 1401.68074 Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 523-534 (2015). MSC: 68Q05 03D10 PDFBibTeX XMLCite \textit{N. L. Ackerman} et al., in: Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6--10, 2015. Los Alamitos, CA: IEEE Computer Society. 523--534 (2015; Zbl 1401.68074) Full Text: DOI
Cooper, S. Barry Incomputability emergent, and higher type computation. (English) Zbl 1401.03069 Sommaruga, Giovanni (ed.) et al., Turing’s revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer (ISBN 978-3-319-22155-7/hbk; 978-3-319-22156-4/ebook). 311-329 (2015). MSC: 03D10 03-03 01A60 PDFBibTeX XMLCite \textit{S. B. Cooper}, in: Turing's revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer. 311--329 (2015; Zbl 1401.03069) Full Text: DOI
Soare, Robert Irving Why Turing’s thesis is not a thesis. (English) Zbl 1384.03090 Sommaruga, Giovanni (ed.) et al., Turing’s revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer (ISBN 978-3-319-22155-7/hbk; 978-3-319-22156-4/ebook). 297-310 (2015). MSC: 03A10 03D10 PDFBibTeX XMLCite \textit{R. I. Soare}, in: Turing's revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer. 297--310 (2015; Zbl 1384.03090) Full Text: DOI
Shapiro, Stewart Proving things about the informal. (English) Zbl 1384.03070 Sommaruga, Giovanni (ed.) et al., Turing’s revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer (ISBN 978-3-319-22155-7/hbk; 978-3-319-22156-4/ebook). 283-296 (2015). MSC: 03A05 PDFBibTeX XMLCite \textit{S. Shapiro}, in: Turing's revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer. 283--296 (2015; Zbl 1384.03070) Full Text: DOI
Hromkovič, Juraj Alan Turing and the foundation of computer science. (English) Zbl 1451.68013 Sommaruga, Giovanni (ed.) et al., Turing’s revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer. 273-281 (2015). MSC: 68-03 00A30 01A60 03D10 68Q04 PDFBibTeX XMLCite \textit{J. Hromkovič}, in: Turing's revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer. 273--281 (2015; Zbl 1451.68013) Full Text: DOI
Beklemishev, L. D. Proof theoretic analysis by iterated reflection. (English) Zbl 1402.03079 Sommaruga, Giovanni (ed.) et al., Turing’s revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer (ISBN 978-3-319-22155-7/hbk; 978-3-319-22156-4/ebook). 225-270 (2015). MSC: 03F15 03F30 PDFBibTeX XMLCite \textit{L. D. Beklemishev}, in: Turing's revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer. 225--270 (2015; Zbl 1402.03079) Full Text: DOI
Barmpalias, George; Lewis-Pye, Andy The information content of typical reals. (English) Zbl 1403.03067 Sommaruga, Giovanni (ed.) et al., Turing’s revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer (ISBN 978-3-319-22155-7/hbk; 978-3-319-22156-4/ebook). 207-224 (2015). MSC: 03D28 PDFBibTeX XMLCite \textit{G. Barmpalias} and \textit{A. Lewis-Pye}, in: Turing's revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer. 207--224 (2015; Zbl 1403.03067) Full Text: DOI
Gurevich, Yuri Semantics-to-syntax analyses of algorithms. (English) Zbl 1474.68471 Sommaruga, Giovanni (ed.) et al., Turing’s revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer. 187-206 (2015). MSC: 68W40 03D10 68Q04 PDFBibTeX XMLCite \textit{Y. Gurevich}, in: Turing's revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer. 187--206 (2015; Zbl 1474.68471) Full Text: DOI
Welch, Philip D. Discrete transfinite computation. (English) Zbl 1403.03060 Sommaruga, Giovanni (ed.) et al., Turing’s revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer (ISBN 978-3-319-22155-7/hbk; 978-3-319-22156-4/ebook). 161-185 (2015). MSC: 03D10 03D65 03E45 03D30 PDFBibTeX XMLCite \textit{P. D. Welch}, in: Turing's revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer. 161--185 (2015; Zbl 1403.03060) Full Text: DOI arXiv
Tucker, J. V.; Zucker, J. I. Generalizing computability theory to abstract algebras. (English) Zbl 1403.03077 Sommaruga, Giovanni (ed.) et al., Turing’s revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer (ISBN 978-3-319-22155-7/hbk; 978-3-319-22156-4/ebook). 127-160 (2015). MSC: 03D75 03D78 PDFBibTeX XMLCite \textit{J. V. Tucker} and \textit{J. I. Zucker}, in: Turing's revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer. 127--160 (2015; Zbl 1403.03077) Full Text: DOI Link
Feferman, Solomon Theses for computation and recursion on concrete and abstract structures. (English) Zbl 1403.03004 Sommaruga, Giovanni (ed.) et al., Turing’s revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer (ISBN 978-3-319-22155-7/hbk; 978-3-319-22156-4/ebook). 105-126 (2015). MSC: 03-03 03D10 03D75 01A60 PDFBibTeX XMLCite \textit{S. Feferman}, in: Turing's revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer. 105--126 (2015; Zbl 1403.03004) Full Text: DOI
Copeland, B. Jack; Sommaruga, Giovanni The stored-program universal computer: did Zuse anticipate Turing and von Neumann? (English) Zbl 1474.68008 Sommaruga, Giovanni (ed.) et al., Turing’s revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer. 43-101 (2015). MSC: 68-03 01A60 PDFBibTeX XMLCite \textit{B. J. Copeland} and \textit{G. Sommaruga}, in: Turing's revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer. 43--101 (2015; Zbl 1474.68008) Full Text: DOI
Thomas, Wolfgang Algorithms: from Al-Khwarizmi to Turing and beyond. (English) Zbl 1384.68003 Sommaruga, Giovanni (ed.) et al., Turing’s revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer (ISBN 978-3-319-22155-7/hbk; 978-3-319-22156-4/ebook). 29-42 (2015). MSC: 68-03 01A60 03-03 68W01 PDFBibTeX XMLCite \textit{W. Thomas}, in: Turing's revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer. 29--42 (2015; Zbl 1384.68003) Full Text: DOI
Davis, Martin; Sieg, Wilfried Conceptual confluence in 1936: Post and Turing. (English) Zbl 1400.01008 Sommaruga, Giovanni (ed.) et al., Turing’s revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer (ISBN 978-3-319-22155-7/hbk; 978-3-319-22156-4/ebook). 3-27 (2015). Reviewer: Guido Gherardi (Bologna) MSC: 01A60 03-03 03D03 03D10 20M05 PDFBibTeX XMLCite \textit{M. Davis} and \textit{W. Sieg}, in: Turing's revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer. 3--27 (2015; Zbl 1400.01008) Full Text: DOI
Applebaum, Benny; Artemenko, Sergei; Shaltiel, Ronen; Yang, Guang Incompressible functions, relative-error extractors, and the power of nondeterministic reductions (extended abstract). (English) Zbl 1388.68040 Zuckerman, David (ed.), 30th conference on computational complexity, CCC’15, Portland, OR, USA, June 17–19, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-81-1). LIPIcs – Leibniz International Proceedings in Informatics 33, 582-600 (2015). MSC: 68Q05 68Q10 94C10 PDFBibTeX XMLCite \textit{B. Applebaum} et al., LIPIcs -- Leibniz Int. Proc. Inform. 33, 582--600 (2015; Zbl 1388.68040) Full Text: DOI
Hrubeš, Pavel; Rao, Anup Circuits with medium fan-in. (English) Zbl 1388.68047 Zuckerman, David (ed.), 30th conference on computational complexity, CCC’15, Portland, OR, USA, June 17–19, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-81-1). LIPIcs – Leibniz International Proceedings in Informatics 33, 381-391 (2015). MSC: 68Q05 68Q10 68Q17 94C10 PDFBibTeX XMLCite \textit{P. Hrubeš} and \textit{A. Rao}, LIPIcs -- Leibniz Int. Proc. Inform. 33, 381--391 (2015; Zbl 1388.68047) Full Text: DOI
Gurjar, Rohit; Korwar, Arpita; Saxena, Nitin; Thierauf, Thomas Deterministic identity testing for sum of read-once oblivious arithmetic branching programs. (English) Zbl 1388.68118 Zuckerman, David (ed.), 30th conference on computational complexity, CCC’15, Portland, OR, USA, June 17–19, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-81-1). LIPIcs – Leibniz International Proceedings in Informatics 33, 323-346 (2015). MSC: 68Q25 68Q05 PDFBibTeX XMLCite \textit{R. Gurjar} et al., LIPIcs -- Leibniz Int. Proc. Inform. 33, 323--346 (2015; Zbl 1388.68118) Full Text: DOI
Oliveira, Rafael; Shpilka, Amir; Volk, Ben Lee Subexponential size hitting sets for bounded depth multilinear formulas. (English) Zbl 1388.68132 Zuckerman, David (ed.), 30th conference on computational complexity, CCC’15, Portland, OR, USA, June 17–19, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-81-1). LIPIcs – Leibniz International Proceedings in Informatics 33, 304-322 (2015). MSC: 68Q25 68Q05 68Q17 68W20 94C10 PDFBibTeX XMLCite \textit{R. Oliveira} et al., LIPIcs -- Leibniz Int. Proc. Inform. 33, 304--322 (2015; Zbl 1388.68132) Full Text: DOI arXiv
Chakrabarti, Amit; Cormode, Graham; Mcgregor, Andrew; Thaler, Justin; Venkatasubramanian, Suresh Verifiable stream computation and Arthur-Merlin communication. (English) Zbl 1388.68061 Zuckerman, David (ed.), 30th conference on computational complexity, CCC’15, Portland, OR, USA, June 17–19, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-81-1). LIPIcs – Leibniz International Proceedings in Informatics 33, 217-243 (2015). MSC: 68Q10 68Q15 PDFBibTeX XMLCite \textit{A. Chakrabarti} et al., LIPIcs -- Leibniz Int. Proc. Inform. 33, 217--243 (2015; Zbl 1388.68061) Full Text: DOI
Oliveira, Rafael Factors of low individual degree polynomials. (English) Zbl 1388.68320 Zuckerman, David (ed.), 30th conference on computational complexity, CCC’15, Portland, OR, USA, June 17–19, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-81-1). LIPIcs – Leibniz International Proceedings in Informatics 33, 198-216 (2015). MSC: 68W30 68Q05 68Q25 PDFBibTeX XMLCite \textit{R. Oliveira}, LIPIcs -- Leibniz Int. Proc. Inform. 33, 198--216 (2015; Zbl 1388.68320) Full Text: DOI
Kayal, Neeraj; Saha, Chandan Lower bounds for depth three arithmetic circuits with small bottom fanin. (English) Zbl 1388.68089 Zuckerman, David (ed.), 30th conference on computational complexity, CCC’15, Portland, OR, USA, June 17–19, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-81-1). LIPIcs – Leibniz International Proceedings in Informatics 33, 158-208 (2015). MSC: 68Q17 68Q05 68Q10 PDFBibTeX XMLCite \textit{N. Kayal} and \textit{C. Saha}, LIPIcs -- Leibniz Int. Proc. Inform. 33, 158--208 (2015; Zbl 1388.68089) Full Text: DOI
Costa, José Félix Uncertainty in time. (English) Zbl 1376.68039 Parallel Process. Lett. 25, No. 1, Article ID 1540007, 13 p. (2015). MSC: 68Q05 68Q10 PDFBibTeX XMLCite \textit{J. F. Costa}, Parallel Process. Lett. 25, No. 1, Article ID 1540007, 13 p. (2015; Zbl 1376.68039) Full Text: DOI
Fratto, Brian E.; Guz, Nataliia; Katz, Evgeny Biomolecular computing realized in parallel flow systems: enzyme-based double Feynman logic gate. (English) Zbl 1376.68040 Parallel Process. Lett. 25, No. 1, Article ID 1540001, 9 p. (2015). MSC: 68Q05 68Q10 PDFBibTeX XMLCite \textit{B. E. Fratto} et al., Parallel Process. Lett. 25, No. 1, Article ID 1540001, 9 p. (2015; Zbl 1376.68040) Full Text: DOI
Adamatzky, Andrew (ed.) Guest editor’s note: Special issue on parallel unconventional computing. (Guest editors’ note: Special issue on parallell unconventional computing.) (English) Zbl 1376.68005 Parallel Process. Lett. 25, No. 1, Article ID 1502001, 2 p. (2015). MSC: 68-06 68Q05 68Q10 00B15 PDFBibTeX XMLCite \textit{A. Adamatzky} (ed.), Parallel Process. Lett. 25, No. 1, Article ID 1502001, 2 p. (2015; Zbl 1376.68005) Full Text: DOI
Chen, Yuxin; Kolokolnikov, Theodore; Tzou, Justin; Gai, Chunyi Patterned vegetation, tipping points, and the rate of climate change. (English) Zbl 1375.92078 Eur. J. Appl. Math. 26, No. 6, 945-958 (2015). MSC: 92D40 35R60 86A05 PDFBibTeX XMLCite \textit{Y. Chen} et al., Eur. J. Appl. Math. 26, No. 6, 945--958 (2015; Zbl 1375.92078) Full Text: DOI
Lacitignola, Deborah; Bozzini, Benedetto; Sgura, Ivonne Spatio-temporal organization in a morphochemical electrodeposition model: Hopf and Turing instabilities and their interplay. (English) Zbl 1383.92099 Eur. J. Appl. Math. 26, No. 2, 143-173 (2015). MSC: 92E20 35K57 35B32 65M06 PDFBibTeX XMLCite \textit{D. Lacitignola} et al., Eur. J. Appl. Math. 26, No. 2, 143--173 (2015; Zbl 1383.92099) Full Text: DOI
Haykazyan, Levon Decidability of the Clark’s completion semantics for monadic programs and queries. (English) Zbl 1379.68071 Theory Pract. Log. Program. 15, No. 3, 402-412 (2015). MSC: 68N17 03B25 68Q55 PDFBibTeX XMLCite \textit{L. Haykazyan}, Theory Pract. Log. Program. 15, No. 3, 402--412 (2015; Zbl 1379.68071) Full Text: DOI arXiv
Dadush, Daniel Faster deterministic volume estimation in the oracle model via thin lattice coverings. (English) Zbl 1378.68168 Arge, Lars (ed.) et al., 31st international symposium on computational geometry, SoCG’15, Eindhoven, Netherlands, June 22–25, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-83-5). LIPIcs – Leibniz International Proceedings in Informatics 34, 704-718 (2015). MSC: 68U05 52A20 52C07 52C17 68Q05 68Q25 68W25 PDFBibTeX XMLCite \textit{D. Dadush}, LIPIcs -- Leibniz Int. Proc. Inform. 34, 704--718 (2015; Zbl 1378.68168) Full Text: DOI
Chen, Ho-Lin; Doty, David; Manuch, Ján; Rafiey, Arash; Stacho, Ladislav Pattern overlap implies runaway growth in hierarchical tile systems. (English) Zbl 1378.68039 Arge, Lars (ed.) et al., 31st international symposium on computational geometry, SoCG’15, Eindhoven, Netherlands, June 22–25, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-83-5). LIPIcs – Leibniz International Proceedings in Informatics 34, 360-373 (2015). MSC: 68Q05 PDFBibTeX XMLCite \textit{H.-L. Chen} et al., LIPIcs -- Leibniz Int. Proc. Inform. 34, 360--373 (2015; Zbl 1378.68039) Full Text: DOI
Gonczarowski, Yannai A.; Nisan, Noam; Ostrovsky, Rafail; Rosenbaum, Will A stable marriage requires communication. (English) Zbl 1372.68125 Indyk, Piotr (ed.), Proceedings of the 26th annual ACM-SIAM symposium on discrete algorithms, SODA 2015, Portland, San Diego, CA, January 4–6, 2015. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-61197-374-7; 978-1-61197-373-0/ebook). 1003-1017 (2015). MSC: 68Q25 68Q05 68Q10 68Q17 91B68 PDFBibTeX XMLCite \textit{Y. A. Gonczarowski} et al., in: Proceedings of the 26th annual ACM-SIAM symposium on discrete algorithms, SODA 2015, Portland, San Diego, CA, January 4--6, 2015. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 1003--1017 (2015; Zbl 1372.68125) Full Text: DOI
Jansen, Bart M. P.; Marx, Dániel Characterizing the easy-to-find subgraphs from the viewpoint of polynomial-time algorithms, kernels, and Turing kernels. (English) Zbl 1371.68212 Indyk, Piotr (ed.), Proceedings of the 26th annual ACM-SIAM symposium on discrete algorithms, SODA 2015, Portland, San Diego, CA, January 4–6, 2015. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-61197-374-7; 978-1-61197-373-0/ebook). 616-629 (2015). MSC: 68R10 05C60 05C85 68Q17 68Q25 PDFBibTeX XMLCite \textit{B. M. P. Jansen} and \textit{D. Marx}, in: Proceedings of the 26th annual ACM-SIAM symposium on discrete algorithms, SODA 2015, Portland, San Diego, CA, January 4--6, 2015. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 616--629 (2015; Zbl 1371.68212) Full Text: DOI arXiv
Fekete, Sándor P.; Hendricks, Jacob; Patitz, Matthew J.; Rogers, Trent A.; Schweller, Robert T. Universal computation with arbitrary polyomino tiles in non-cooperative self-assembly. (English) Zbl 1371.68084 Indyk, Piotr (ed.), Proceedings of the 26th annual ACM-SIAM symposium on discrete algorithms, SODA 2015, Portland, San Diego, CA, January 4–6, 2015. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-61197-374-7; 978-1-61197-373-0/ebook). 148-167 (2015). MSC: 68Q05 05B50 PDFBibTeX XMLCite \textit{S. P. Fekete} et al., in: Proceedings of the 26th annual ACM-SIAM symposium on discrete algorithms, SODA 2015, Portland, San Diego, CA, January 4--6, 2015. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 148--167 (2015; Zbl 1371.68084) Full Text: DOI arXiv
Carmi, Avishy Y.; Moskovich, Daniel Computing with colored tangles. (English) Zbl 1371.68081 Symmetry 7, No. 3, 1289-1332 (2015). MSC: 68Q05 03D10 57M25 PDFBibTeX XMLCite \textit{A. Y. Carmi} and \textit{D. Moskovich}, Symmetry 7, No. 3, 1289--1332 (2015; Zbl 1371.68081) Full Text: DOI arXiv
Kosovskii, N. K.; Kosovskaya, T. M.; Kosovskii, N. N. Mutual upper bounds of size and time for a Turing machine and a Markov-Post algorithm for mutual simulations. (English. Russian original) Zbl 1370.68093 Vestn. St. Petersbg. Univ., Math. 48, No. 2, 72-74 (2015); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 2(60), No. 2, 190-193 (2015). MSC: 68Q05 68Q25 PDFBibTeX XMLCite \textit{N. K. Kosovskii} et al., Vestn. St. Petersbg. Univ., Math. 48, No. 2, 72--74 (2015; Zbl 1370.68093); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 2(60), No. 2, 190--193 (2015) Full Text: DOI
Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea Forward and backward bisimulations for chemical reaction networks. (English) Zbl 1374.68204 Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 226-239 (2015). MSC: 68Q05 68Q10 68Q85 92C40 PDFBibTeX XMLCite \textit{L. Cardelli} et al., LIPIcs -- Leibniz Int. Proc. Inform. 42, 226--239 (2015; Zbl 1374.68204) Full Text: DOI arXiv
Kuske, Dietrich; Liu, Jiamou; Moskvina, Anastasia Infinite and bi-infinite words with decidable monadic theories. (English) Zbl 1434.03102 Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 41, 472-486 (2015). MSC: 03D05 03B16 PDFBibTeX XMLCite \textit{D. Kuske} et al., LIPIcs -- Leibniz Int. Proc. Inform. 41, 472--486 (2015; Zbl 1434.03102) Full Text: DOI
Liu, Jiaxiang; Jouannaud, Jean-Pierre; Ogawa, Mizuhito Confluence of layered rewrite systems. (English) Zbl 1373.68276 Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 423-440 (2015). MSC: 68Q42 PDFBibTeX XMLCite \textit{J. Liu} et al., LIPIcs -- Leibniz Int. Proc. Inform. 41, 423--440 (2015; Zbl 1373.68276) Full Text: DOI arXiv
Kothari, Robin; Racicot-Desloges, David; Santha, Miklos Separating decision tree complexity from subcube partition complexity. (English) Zbl 1375.68061 Garg, Naveen (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques. Proceedings of the 18th international workshop on approximation algorithms for combinatorial optimization problems (APPROX 2015) and the 19th international workshop on randomization and computation (RANDOM 2015), Princeton, NJ, USA, August 24–26, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-89-7). LIPIcs – Leibniz International Proceedings in Informatics 40, 915-930 (2015). MSC: 68Q17 68Q05 68W20 PDFBibTeX XMLCite \textit{R. Kothari} et al., LIPIcs -- Leibniz Int. Proc. Inform. 40, 915--930 (2015; Zbl 1375.68061) Full Text: DOI arXiv
Cohen, Gil; Tal, Avishay Two structural results for low degree polynomials and applications. (English) Zbl 1375.11074 Garg, Naveen (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques. Proceedings of the 18th international workshop on approximation algorithms for combinatorial optimization problems (APPROX 2015) and the 19th international workshop on randomization and computation (RANDOM 2015), Princeton, NJ, USA, August 24–26, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-89-7). LIPIcs – Leibniz International Proceedings in Informatics 40, 680-709 (2015). MSC: 11T06 11Y16 68Q05 68Q10 68W20 94C10 PDFBibTeX XMLCite \textit{G. Cohen} and \textit{A. Tal}, LIPIcs -- Leibniz Int. Proc. Inform. 40, 680--709 (2015; Zbl 1375.11074) Full Text: DOI arXiv
Braverman, Vladimir; Chestnut, Stephen R. Universal sketches for the frequency negative moments and other decreasing streaming sums. (English) Zbl 1375.68211 Garg, Naveen (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques. Proceedings of the 18th international workshop on approximation algorithms for combinatorial optimization problems (APPROX 2015) and the 19th international workshop on randomization and computation (RANDOM 2015), Princeton, NJ, USA, August 24–26, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-89-7). LIPIcs – Leibniz International Proceedings in Informatics 40, 591-605 (2015). MSC: 68W25 68Q05 PDFBibTeX XMLCite \textit{V. Braverman} and \textit{S. R. Chestnut}, LIPIcs -- Leibniz Int. Proc. Inform. 40, 591--605 (2015; Zbl 1375.68211) Full Text: DOI arXiv
Braverman, Vladimir; Ostrovsky, Rafail; Roytman, Alan Zero-one laws for sliding windows and universal sketches. (English) Zbl 1375.68050 Garg, Naveen (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques. Proceedings of the 18th international workshop on approximation algorithms for combinatorial optimization problems (APPROX 2015) and the 19th international workshop on randomization and computation (RANDOM 2015), Princeton, NJ, USA, August 24–26, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-89-7). LIPIcs – Leibniz International Proceedings in Informatics 40, 573-590 (2015). MSC: 68Q05 68Q25 PDFBibTeX XMLCite \textit{V. Braverman} et al., LIPIcs -- Leibniz Int. Proc. Inform. 40, 573--590 (2015; Zbl 1375.68050) Full Text: DOI
Kolay, Sudeshna; Panolan, Fahad Parameterized algorithms for deletion to \((r,\ell)\)-graphs. (English) Zbl 1366.68368 Harsha, Prahladh (ed.) et al., 35th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2015, Bangalore, India, December 16–18, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-97-2). LIPIcs – Leibniz International Proceedings in Informatics 45, 420-433 (2015). MSC: 68W25 68Q25 68R10 PDFBibTeX XMLCite \textit{S. Kolay} and \textit{F. Panolan}, LIPIcs -- Leibniz Int. Proc. Inform. 45, 420--433 (2015; Zbl 1366.68368) Full Text: DOI arXiv