*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 1 - 20 *of* 383*number_thousands_separator*001

1

*This result is not displayed to guests*

3

Finite State Transducers for Modular Möbius Number Systems
Delacourt, Martin ; Kurka, Petr ; Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) ; et al.
Mathematical Foundations of Computer Science 201237th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings ; https://hal.archives-ouvertes.fr/hal-01957675 ; Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings, pp.323-334, 2012

exact real algorithms expansion subshift absorptions emissions [INFO.INFO-DM]Computer S... [INFO.INFO-IT]Computer S...
*Book*
4

The Robust Set Problem: Parameterized Complexity and Approximation
Bazgan, Cristina ; Chopin, Morgan ; Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision (LAMSADE) ; et al.
Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings ; 37th International Symposium on Mathematical Foundations of Computer Science , MFCS 2012 ; https://hal.science/hal-01505586 ; 37th International Symposium on Mathematical Foundations of Computer Science MFCS 2012, Aug 2012, Bratislava, Slovakia. pp.136-147, ⟨10.1007/978-3-642-32589-2_15⟩

Bratislava Slovakia Robust set [INFO]Computer Science [...
*Conference*
5

Dynamics of Gender Bias within Computer Science
Misa, Thomas J.
Information & Culture. Spring, 2024, Vol. 59 Issue 2, p161, 21 p.

*Academic Journal*
6

Computing with Large Populations Using Interactions
Bournez, Olivier ; Fraigniaud, Pierre ; Koegler, Xavier ; et al.
Mathematical Foundations of Computer Science 2012, MFCS'2012 ; https://polytechnique.hal.science/hal-00760669 ; Mathematical Foundations of Computer Science 2012, MFCS'2012, Aug 2012, Slovakia. pp.234-246

[INFO.INFO-CC]Computer S...
*Conference*
7

Connected Subgraph Defense Games.
Akrida, Eleni C. ; Deligkas, Argyrios ; Melissourgos, Themistoklis ; et al.
Algorithmica; Nov2021, Vol. 83 Issue 11, p3403-3431, 29p

NASH equilibrium THERMODYNAMIC control ALGORITHMS COMPUTER science POLYNOMIAL time algorith... APPROXIMATION algorithms
*Academic Journal*
8

A New Lower Bound for Deterministic Truthful Scheduling.
Giannakopoulos, Yiannis ; Hammerl, Alexander ; Poças, Diogo
Algorithmica; Sep2021, Vol. 83 Issue 9, p2895-2913, 19p

COMPUTER science SCHEDULING MACHINE theory PRODUCTION scheduling
*Academic Journal*
9

Higher-order semantics for quantum programming languages with classical control
Atzemoglou, George Philip ; Abramsky, Samson ; Coecke, Bob

006.3 Theory and automated ver... Computer science (mathem... Mathematical logic and f... Quantum theory (mathemat... computer science
*Dissertation/ Thesis*
10

Synthesis and alternating automata over real time
Jenkins, Mark Daniel ; Worrell, James

004 Computing Theory and automated ver... Mathematical logic and f... Computer science (mathem... Alternating Timed Automa...
*Dissertation/ Thesis*
11

New results on the mathematical foundations of asymptotic complexity analysis of algorithms via complexity spaces.
Romaguera, S. ; Tirado, P. ; Valero, O.
International Journal of Computer Mathematics. Sep2012, Vol. 89 Issue 13/14, p1728-1741. 14p.

Algorithms Mathematical analysis Asymptotic expansions Computational complexity Topological spaces Recursive sequences (Mat...
*Academic Journal*
12

*This result is not displayed to guests*

13

External Correlates of Adult Digital Problem-Solving Process: An Empirical Analysis of PIAAC PSTRE Action Sequences
Susu Zhang ; Xueying Tang ; Qiwei He ; et al.
33

Correlation Problem Solving Computer Assisted Testin... Prediction Behavior Patterns Adults
*Academic Journal*
14

Air Quality and Exercise-Related Health Benefits from Reduced Car Travel in the Midwestern United States.
Grabow, Maggie L. ; Spak, Scott N. ; Holloway, Tracey ; et al.
Environmental Health Perspectives. Jan2012, Vol. 120 Issue 1, p68-76. 9p. 3 Charts, 2 Maps.

Air pollution prevention Automobiles Health Ozone Automobile driving Computer simulation
*Academic Journal*
16

Finding Light Spanners in Bounded Pathwidth Graphs
Grigni, Michelangelo ; Hung, Hao-Hsiang

Computer Science - Data... F.2.2
*Report*
17

Coloring Graphs Characterized by a Forbidden Subgraph
Golovach, Petr A. ; Paulusma, Daniel ; Ries, Bernard ; et al.
Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings ; 37th International Symposium on Mathematical Foundations of Computer Science 2012, MFCS 2012 ; https://hal.science/hal-01509549 ; 37th International Symposium on Mathematical Foundations of Computer Science 2012, MFCS 2012, Aug 2012, Bratislava, Slovakia. pp.443-454, ⟨10.1007/978-3-642-32589-2_40⟩

Bratislava Slovakia Coloring problem graphs [INFO]Computer Science [...
*Conference*
18

Data types with symmetries and polynomial functors over groupoids
Kock, Joachim
Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, Bath 2012, Electronic Notes in Theoretical Computer Science 286 (2012), 351-365

Computer Science - Logic... Mathematics - Combinator... Mathematics - Category T... 68Q65, 18C50, 20L05, 05E... D.3.3 F.3.2
*Report*
19

Proceedings of the 11th workshop on Quantum Physics and Logic
Coecke, Bob ; Hasuo, Ichiro ; Panangaden, Prakash
EPTCS 172, 2014

Computer Science - Logic... Computer Science - Compu... Computer Science - Progr... Quantum Physics
*Report*
20

Proceedings 8th International Workshop on Quantum Physics and Logic
Jacobs, Bart ; Selinger, Peter ; Spitters, Bas

Quantum Physics Computer Science - Logic...
*Report*

*Filter*