Results 51 to 60 of about 3,746,779 (357)
Mathematical Logic: Proof Theory, Constructive Mathematics [PDF]
, 2017 The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of core mathematics and theoretical computer science as well as homotopy type theory and logical aspects of computational ...
core +2 more sources
Selected Remarks about Computer Processing in Terms of Flow Control and Statistical Mechanics
Entropy, 2016 Despite the fact that much has been said about processing in computer science, it seems that there is still much to do. A classical approach assumes that the computations done by computers are a kind of mathematical operation (calculations of functions ...
Dominik Strzałka
doaj +1 more source
Pedagogical support for professional self-determination of high school students in IT professions
Образование и наука, 2021 Introduction. The formation of professional self-determination of high school students and the associated choice of vocational education is an urgent problem of the modern school.
E. K. Khenner
doaj +1 more source
Alles oder gar nichts lesen? Foucault, Moretti und die Verheißungen des Algorithmus
Genealogy+Critique, 2016 This paper evaluates Franco Moretti's 'distant reading' from the perspective of Foucauldian discourse analysis and basic principles of computer science.
Maurice Erb
doaj +2 more sources
DALLE TECNICHE DI SCRITTURA ALLA SCRITTURA TECNICA. SCRIVERE NEI CORSI DI LAUREA SCIENTIFICI
Italiano LinguaDue, 2020 L’articolo si propone di portare all’attenzione alcuni elementi relativi alla didattica della scrittura nell’università in Italia, ripercorrendone i principali aspetti teorici e storici.
Silvia Demartini
doaj +1 more source
The Determinacy of Context-Free Games [PDF]
, 2011 We prove that the determinacy of Gale-Stewart games whose winning sets are accepted by real-time 1-counter B\"uchi automata is equivalent to the determinacy of (effective) analytic Gale-Stewart games which is known to be a large cardinal assumption.
Equipe De Logique Mathématique +1 more
core +12 more sources
, 2013 We define the lower and upper mutual dimensions $mdim(x:y)$ and $Mdim(x:y)$ between any two points $x$ and $y$ in Euclidean space. Intuitively these are the lower and upper densities of the algorithmic information shared by $x$ and $y$.
Case, Adam, Lutz, Jack H.
core +2 more sources
Network topology drives population temporal variability in experimental habitat networks
Population Ecology, EarlyView.Habitat patches connected by dispersal pathways form habitat networks. We explored how network topology affects population outcomes in laboratory experiments using a model species (Daphnia carinata). Central habitat nodes in complex lattice networks exhibited lower temporal variability in population sizes, suggesting they support more stable ...
Yiwen Xu +3 more
wiley +1 more source
Problem-based Learning for Programming Education [PDF]
, 2017 Computer Programming is a core subject in Computer Science. This course requires the analysis and solving of problem critically. These skills are also required in preparing Computer Science students for the career world.
Bawamohiddin, Aminah Bibi +1 more
core +1 more source
Dendritic cells steering antigen and leukocyte traffic in lymph nodes
FEBS Letters, EarlyView.Dendritic cells are key players in the activation of T cells and their commitment to effector function. In this In a Nutshell Review, we will discuss how dendritic cells guide the trafficking of antigen and leukocytes in the lymph node, thus influencing T‐cell activation processes. Dendritic cells (DCs) play a central role in initiating and shaping the
Enrico Dotta +3 more
wiley +1 more source