Results 41 to 50 of about 1,112,485 (330)
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
The tropical double description method [PDF]
, 2010 We develop a tropical analogue of the classical double description method allowing one to compute an internal representation (in terms of vertices) of a polyhedron defined externally (by inequalities).
Allamigeon, Xavier +2 more
core +5 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
From computer science to service science: Queues with human customers and servers [PDF]
, 2014 Professor Leonard Kleinrock has made key contributions during the initial stage of development in computer communication networks from several aspects.
Takagi Hideaki, 高木 英明
core +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
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
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
, 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
FEBS Letters, EarlyView.Fluorescent probes allow dynamic visualization of phosphoinositides in living cells (left), whereas mass spectrometry provides high‐sensitivity, isomer‐resolved quantitation (right). Their synergistic use captures complementary aspects of lipid signaling. This review illustrates how these approaches reveal the spatiotemporal regulation and quantitative
Hiroaki Kajiho +3 more
wiley +1 more source