Results 31 to 40 of about 308,543 (305)
Theoretical Computer Science and Discrete Mathematics [PDF]
, 2022 This book includes 15 articles published in the Special Issue "Theoretical Computer Science and Discrete Mathematics" of Symmetry (ISSN 2073-8994). This Special Issue is devoted to original and significant contributions to theoretical computer science ...
core +2 more sources
An Alternate Proof of Near-Optimal Light Spanners [PDF]
TheoretiCSIn 2016, a breakthrough result of Chechik and Wulff-Nilsen [SODA '16] established that every $n$-node graph $G$ has a $(1+\varepsilon)(2k-1)$-spanner of lightness $O_{\varepsilon}(n^{1/k})$, and recent followup work by Le and Solomon [STOC '23 ...
Greg Bodwin
doaj +1 more source
International Journal of Research in E-Learning, 2020 The requirements for the training of mathematics and computer science teachers to use specialized mathematical software in professional activities are substantiated in the article.
Olena Semenikhina +2 more
doaj +1 more source
Teaching Delivery Issues: Lessons from Computer Science [PDF]
, 2002 Information Technology (IT) is a subject that is distinct from Computer Science (CS), but is often taught by CS faculty; there is a large overlap between the content of curricula for the two subjects.
Janet Carter +3 more
core +1 more source
Permissive Controller Synthesis for Probabilistic Systems [PDF]
Logical Methods in Computer Science, 2015 We propose novel controller synthesis techniques for probabilistic systems modelled using stochastic two-player games: one player acts as a controller, the second represents its environment, and probability is used to capture uncertainty arising due to ...
Klaus Drager +4 more
doaj +1 more source
Generalized Fitch Graphs III: Symmetrized Fitch maps and Sets of Symmetric Binary Relations that are explained by Unrooted Edge-labeled Trees [PDF]
Discrete Mathematics & Theoretical Computer Science, 2021 Binary relations derived from labeled rooted trees play an import role in mathematical biology as formal models of evolutionary relationships. The (symmetrized) Fitch relation formalizes xenology as the pairs of genes separated by at least one horizontal
Marc Hellmuth +2 more
doaj +1 more source
The Complexity of Helly-$B_{1}$ EPG Graph Recognition [PDF]
Discrete Mathematics & Theoretical Computer Science, 2020 Golumbic, Lipshteyn, and Stern defined in 2009 the class of EPG graphs, the intersection graph class of edge paths on a grid. An EPG graph $G$ is a graph that admits a representation where its vertices correspond to paths in a grid $Q$, such that two ...
Claudson F. Bornstein +4 more
doaj +1 more source
Cost-sharing in Parking Games [PDF]
Discrete Mathematics & Theoretical Computer ScienceIn this paper, we study the total displacement statistic of parking functions from the perspective of cooperative game theory. We introduce parking games, which are coalitional cost-sharing games in characteristic function form derived from the total ...
Jennifer Elder +3 more
doaj +1 more source
Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis [PDF]
Logical Methods in Computer Science, 2012 We introduce a new domain for finding precise numerical invariants of programs by abstract interpretation. This domain, which consists of level sets of non-linear functions, generalizes the domain of linear "templates" introduced by Manna ...
Assalé Adjé +2 more
doaj +1 more source
Computational Science: An Intermingling of Science, Mathematics, and Computer Science [PDF]
, 2006 The development of a full undergraduate program in computational science, with both a broad-swath academic plan and four specialization plans, one each in biochemistry, chemistry, earth sciences, and physics, is described. The reasons behind the establishment of the program are presented, and the evolution of the program over the past five years is ...
openaire +1 more source