Results 21 to 30 of about 65,925 (257)
Tumors contain diverse cellular states whose behavior is shaped by context‐dependent gene coordination. By comparing gene–gene relationships across biological contexts, we identify adaptive transcriptional modules that reorganize into distinct vulnerability axes.
Brian Nelson +9 more
wiley +1 more source
Preface to Proceedings of the Workshop on Logic, Models and Computer Science (LMCS 2006) [PDF]
This volume contains the proceedings of the Workshop on Logic, Models and Computer Science (LMCS’06). The workshop was held in Camerino, Italy on April 20, 21 and 22, 2006.
TOFFALORI, Carlo, CORRADINI, Flavio
core +1 more source
Interpreting the effects of DNA polymerase variants at the structural level
Using MAVISp and molecular dynamics simulations, we analyzed over 60 000 missense variants in POLE and POLD1 from ClinVar, COSMIC, cBioPortal, and saturation mutagenesis. Identified mechanistic indicators, including stability, binding, and long‐range, enable structural interpretation, providing ACMG‐like evidence for possible reclassification of VUS ...
Matteo Arnaudi +7 more
wiley +1 more source
Computer Science Logic 2008, LNCS 5213 [PDF]
Refereed proceedings of the 22nd International Conference on Computer Science Logic.
AA.VV., S. Martini, M. Kaminski
core
Guarded operations, refinement and simulation [PDF]
Simulation rules have long been used as an effective computational means to decide refinement relations in state-based formalisms. Here we investigate how they might be amended so as to decide the event-based notion of singleton failures refinement of ...
Reeves, Steve, Streader, David
core +1 more source
Loss of IGF‐1R impairs DNA‐PKcs recruitment to chromatin leading to defective end‐joining
IGF‐1R promotes radioresistance by facilitating DNA‐PKcs recruitment to chromatin, enabling non‐homologous end‐joining (NHEJ) repair of double‐strand breaks. Inhibition or loss of IGF‐1R disrupts this recruitment to damage sites, driving compensatory reliance on microhomology‐mediated end‐joining (MMEJ) repair.
Matthew O. Ellis +3 more
wiley +1 more source
Directed evolution of enzymes at the crossroads of tradition and innovation
An iterative cycle of data‐driven enzyme optimization comprising four stages: genetic diversification of a template enzyme, expression of protein variants, high‐throughput evaluation, and machine‐learning‐guided redesign of the next variant library.
Maria Tomkova +2 more
wiley +1 more source
Interfacing Coq + SSReflect with GAP [PDF]
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
Intelligent Tutoring Systems for Adult Learning in STEM Disciplines
ABSTRACT Intelligent tutoring systems (ITS) are reshaping adult learning in STEM by providing adaptive, data‐driven instruction across classrooms, workplaces, and informal environments. In the context of ITS, this article compares generative AI, which creates personalized explanations and practice materials, with explainable AI, which focuses on ...
Jill Zarestky, Amanda R. Lager Gleason
wiley +1 more source
Logic and some Applications to Computer Science [PDF]
129 p.The study of logic has made two important contributions to computer science in general and artificial intelligence in particular. These contributions are logical programming languages and automated reasoning.
Arthur, Kenneth W.
core

