Results 41 to 50 of about 178,112,631 (236)
Department of Computer Science newsletter Fall 2023
, 2023 A Newsletter for Friends and Supporters of the Mines Computer Science ...
core
Why Using Robots to Teach Computer Science can be Successful Theoretical Reflection to Andragogy and Minimalism [PDF]
, 2008 Categories and Subject Descriptors K.3.1 [Computers and Education]: Computer Uses in Education – collaborative learning; K.3.2 [Computers and Education]: Computer and Information Science Education – computer science education, self-assessmentTo help ...
Kurhila, Jaakko +5 more
core +1 more source
FEBS Open Bio, EarlyView.This protocol paper outlines methods to establish the success of a time‐resolved serial crystallographic experiment, by means of statistical analysis of timepoint data in reciprocal space and models in real space. We show how to amplify the signal from excited states to visualise structural changes in successful experiments.
Jake Hill +4 more
wiley +1 more source
Department of Computer Science newsletter 2022
, 2022 A Newsletter for Friends and Supporters of the Mines Computer Science Department.
core
Adenosine triphosphate as a modulator of protein interactions and stability
FEBS Open Bio, EarlyView.ATP is best known as the cell's energy currency, but it also shapes how proteins fold, interact, aggregate and form biomolecular condensates. This review explains the emerging physical principles behind these effects, including weak binding to charged protein regions, magnesium‐dependent behaviour and concentration‐dependent control of protein ...
Shuyuan Tan, Robin Curtis
wiley +1 more source
Summary of Research 1997, Department of Computer Science [PDF]
, 1997 The views expressed in this report are those of the authors and do not reflect the official policy or position of the Department of Defense or the U.S. Government.This report contains summaries of research projects in the Department of Computer Science.
Faculty of the Department of Computer Science, Naval Postgraduate School
core +1 more source
Foreword -- 27th International Symposium on Theoretical Aspects of Computer Science.
, 2010 The STACS conference of March 4-6, 2010, held in Nancy, is the 27th in this series. The STACS 2010 call for papers led to over 238 submissions from 40 countries. Each paper was assigned to three program committee members. The committee selected 54 papers during a two-week electronic meeting held in November.
Marion, Jean-Yves, Schwentick, Thomas
openaire +3 more sources
Interfacing Coq + SSReflect with GAP [PDF]
, 2012 Presentation slides and preprint both provided by author. Preprint published in Electronic Notes in Theoretical Computer Science: Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers (UITP10).We report on an extendable ...
Komendantsky, Vladimir +3 more
core +1 more source
FEBS Open Bio, EarlyView.This pilot study investigates the potential of Generative AI to provide formative feedback to students. ChatGPT was prompted to provide feedback on Year 1 Bioscience essays, which were evaluated against established good feedback practices. GenAI‐authored feedback had useful elements, but was limited in scope. GenAI may have potential to provide instant,
Annabel Court +3 more
wiley +1 more source
The Rank of Tree-Automatic Linear Orderings [PDF]
, 2013 A tree-automatic structure is a structure whose domain can be encoded by a regular tree language such that each relation is recognisable by a finite automaton processing tuples of trees synchronously.
Huschenbett, Martin
core +1 more source