Results 101 to 110 of about 10,600,895 (351)
μLarvaScript : rethinking the Larva scripting language [PDF]
, 2012 polyLarva, the latest incarnation of the Larva runtime-verification (RV) tool suite, experienced a major redesign to its scripting language (used for specifying the monitors that carry out the RV.).peer ...
Francalanza, Adrian +1 more
core +4 more sources
Computer science as empirical inquiry: symbols and search
CACM, 1976 Computer science is the study of the phenomena surrounding computers. The founders of this society understood this very well when they called themselves the Association for Computing Machinery.
A. Newell, H. Simon
semanticscholar +1 more source
FEBS Letters, EarlyView.The glacier ice worm Mesenchytraeus solifugus survives year‐round at 0 °C. Its ATP6 subunit, which forms a regulatory component of the proton pore in mitochondrial ATP synthase, has a carboxy‐terminal extension not found in any other organism examined to date. Here, we show that fusion of this extension to the homologous AtpB protein in E. coli results
Truman Dunkley +2 more
wiley +1 more source
Computer Science vs. COVID-19 [PDF]
Bulletin of the Polish Academy of Sciences: Technical Sciences, 2021 Aneta Afelt +5 more
doaj +1 more source
UNO Website CIS&T Computer Science Learning Center homepage [PDF]
, 2016 The Computer Science Learning Center (CSLC) offers peer-based assistance to several other CS core courses through peer tutoring and review sessions. The CSLC serves all UNO students taking these courses free of charge.
Computer Science Learning Cemter, UNO
core +1 more source
Computational Thinking in Science
American Scientist, 2017 A quiet but profound revolution has been taking place throughout science. The computing revolution has transformed science by enabling all sorts of new discoveries through information technology. Throughout most of the history of science and technology, there have been two types of characters.
openaire +3 more sources
Computer Science Education, 2017 A dilemma within computer science departments is developing sustainable ways to expand capacity within introductory computer science courses while remaining committed to inclusive practices. Training near-peer mentors for peer code review is one solution.
Heather Pon-Barry +2 more
semanticscholar +1 more source
FEBS Letters, EarlyView.In modular polyketide synthases, the dehydratase (DH) domain catalyzes the dehydration reaction of the β‐hydroxyacyl unit attached to the cognate acyl carrier protein (ACP) domain. However, it is unclear how DH interacts with ACP during the reaction. In this study, we identified DH–ACP interface residues, providing the first detailed insights into DH ...
Kaede Kotagiri +8 more
wiley +1 more source
A short proof that adding some permutation rules to $β$ preserves $SN$ [PDF]
, 2010 I show that, if a term is $SN$ for $\beta$, it remains $SN$ when some permutation rules are added.
arxiv +1 more source
Towards practical in-network computing [PDF]
In-network computing is an emerging computing paradigm that promises significant potentials in continuing to accelerate datacenter applications in the post-Dennard scaling era.
Ji, Tao (Ph. D. in computer science)
core +2 more sources