Bounding the escape time of a linear dynamical system over a compact semialgebraic set by D'Costa, J, Lefaucheux, E, Neumann, E, Ouaknine, J, Worrell, J

Subjects:

Metrical service systems with transformations by Bubeck, S, Buchbinder, N, Coester, C, Sellke, M

Subjects: “…Theory of computation – online algorithms…”

Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications by Baier, C, Funke, F, Jantsch, S, Karimov, T, Lefaucheux, E, Ouaknine, J, Purser, D, Whiteland, MA, Worrell, J

Subjects: “…Theory of computation…”

Skolem meets Schanuel by Bilu, Y, Luca, F, Nieuwveld, J, Ouaknine, J, Purser, D, Worrell, J

Subjects:

Finite element solution of boundary value problems : theory and computation / by Axelsson, O., 1934-, Barker, V. A. (Vincent Allan), 1934-

Foundations of computer science : from data manipulation to theory of computation / by Forouzan, Behrouz A. 389761, Fegan, Sophia Chung 188648

Computational Phenotypes: Where the Theory of Computation Meets Evo-Devo by Sergio Balari, Guillermo Lorenzo

Get full text

Real-time divisible load theory : incorporating computation costs by Baruah, S., Chuprat, Suriayati

Electronic structure calculations for solids and molecules : theory and computational methods / by 367197 Kohanoff, Jorge

Nonlinear phenomena in fusion plasmas : theory and computer simulation : proceedings/ by International Toki Conference on Plasma Physics and Controlled Nuclear Fusion (2nd : 1990 : Toki City, Japan), National Institute for Fusion Science

Lay Theories Regarding Computer-Mediated Communication in Remote Collaboration by Karl Parke, Nicola Marsden, Cornelia Connolly

Get full text

Lay Theories Regarding Computer-Mediated Communication in Remote Collaboration by Karl Parke, Nicola Marsden, Cornelia Connolly

Get full text

Progress in and Opportunities for Applying Information Theory to Computational Biology and Bioinformatics by Alon Bartal, Kathleen M. Jagodnik

“…This editorial is intended to provide a brief history of the application of Information Theory to the fields of Computational Biology and Bioinformatics; to succinctly summarize the current state of associated research, and open challenges; and to describe the scope of the invited content for this Special Issue of the journal <i>Entropy</i> with the theme of “Information Theory in Computational Biology” [...]…”
Get full text

Information Theory in Computational Biology: Where We Stand Today by Pritam Chanda, Eduardo Costa, Jie Hu, Shravan Sukumar, John Van Hemert, Rasna Walia

Get full text

Applying the self-determination theory in computer games for health communication. by Leow, Shallyn Xue Ling.

Get full text

Using quantum theory to simplify input–output processes by Thompson, Jayne, Garner, Andrew J. P., Vedral, Vlatko, Gu, Mile

Subjects: Get full text
Get full text

Fair allocation in graphs by Christodoulou, G, Fiat, A, Koutsoupias, E, Sgouritsa, A

Subjects:

Theory and computational study of electrophoretic ion separation and focusing in microfluidic channels by Oleksiy V. Klymenko, Christian Amatore, Wen Sun, Yong-Liang Zhou, Zhao-Wu Tian, Irina Svir

Get full text

Theory-driven computational models of drug addiction in humans: Fruitful or futile? by Tsen Vei Lim, Karen D Ersche

“…We therefore sought to evaluate the extent to which these theory-driven computational models have fulfilled this purpose in addiction research. …”
Get full text

Opportunities analysis the solution of the problems of the graph theory with computer mathematics systems by Sigita Turskienė, Kristina Kiriliauskaitė

“…In this paper we analyze solutions of the problems of the graph theory with computer mathematics systems MAPLE and MATHEMATICA with purpose to reveal the opportunity of the syntax of the main commands, theirs similarities and differences. …”
Get full text