Results 71 to 80 of about 1,076,774 (282)
Weak Mso with the Unbounding Quantifier [PDF]
26th International Symposium on Theoretical Aspects of Computer
Science STACS 2009 (2009) 159-170, 2009 A new class of languages of infinite words is introduced, called the max-regular languages, extending the class of $\omega$-regular languages. The class has two equivalent descriptions: in terms of automata (a type of deterministic counter automaton), and in terms of logic (weak monadic second-order logic with a bounding quantifier).
arxiv
ICASE Computer Science Program [PDF]
The Institute for Computer Applications in Science and Engineering computer science program is discussed in outline form. Information is given on such topics as problem decomposition, algorithm development, programming languages, and parallel ...
core +1 more source
English language & third generation programming language pedagogical practice analysis [PDF]
, 2008 In an effort to provide better computer programming instruction to more students at an introductory level, pedagogical methods could be improved using a paradigm of instruction based on the same strategies used to teach students spoken languages ...
Falbo, Vincent
core +1 more source
30 Years of CS1: Programming languages evolution [PDF]
, 2020 CS1 (computer science 1) is a course that aims to introduce college students to a first contact with the computing world, especially simple computer-coded everyday problems.
Sobral, Sónia Rolland
core +1 more source
Adventures in data types : benefits of the comparative approach in computer science education. [PDF]
, 2019 The transition from ’structured programming’ to ’object-oriented pro- gramming’ is a canon of the computer science curriculum; traditionally presented, or tacitly acknowledged, as the transition from beginner to intermediate programmer, the passage from ...
Camille Akmut
core +1 more source
FEBS Open Bio, Volume 15, Issue 4, Page 661-673, April 2025.Compared to normal tissues, NPC1 expression is significantly elevated in hepatocellular carcinoma tissues. Our findings indicate that NPC1 plays a key role in regulating neutrophil recruitment within the tumor, which is a critical factor in the progression of hepatocellular carcinoma and is closely linked to poor patient outcomes.
Songhai Yang +3 more
wiley +1 more source
FEBS Open Bio, EarlyView.20 Hz mechanical vibration induced A431 cancer cells' apoptosis without such effect on other healthy cell lines of L929 and C2C12. Lowered glucose consumption is observed specifically in A431. The expressions of ROS, HMGB1, and HSP1 levels initially increase and subsequently decrease in the cancer cell line, as opposed to L929 and C2C12, which ...
Wresti L. Anggayasti +5 more
wiley +1 more source
arXiv, 2015 This short note discusses the role of syntax vs. semantics and the interplay between logic, philosophy, and language in computer science and game theory.
arxiv
Dose rate correction of a diode array for universal wedge field dosimetric verification
Journal of Applied Clinical Medical Physics, EarlyView.Abstract Purpose To study the performance of MapCHECK 3 (MC3) in measuring universal wedge fields and propose a dose rate correction strategy to improve MC3 measurement accuracy. Materials and methods Universal wedge fields with different wedge angles and field sizes were measured at different depths using MC3.
Linyi Shen +6 more
wiley +1 more source
On the Length of the Wadge Hierarchy of Omega Context Free Languages [PDF]
Journal of Automata, Languages and Combinatorics 10 (4) (2005)
439-464, 2008 We prove in this paper that the length of the Wadge hierarchy of omega context free languages is greater than the Cantor ordinal epsilon_omega, which is the omega-th fixed point of the ordinal exponentiation of base omega. The same result holds for the conciliating Wadge hierarchy, defined by J.
arxiv