Results 21 to 30 of about 65,925 (257)

Network divergence analysis identifies adaptive gene modules and two orthogonal vulnerability axes in pancreatic cancer

open access: yesMolecular Oncology, EarlyView.
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]

open access: yes, 2009
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

open access: yesMolecular Oncology, EarlyView.
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]

open access: yes, 2008
Refereed proceedings of the 22nd International Conference on Computer Science Logic.
AA.VV., S. Martini, M. Kaminski
core  

Guarded operations, refinement and simulation [PDF]

open access: yes, 2009
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

open access: yesMolecular Oncology, EarlyView.
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

open access: yesFEBS Open Bio, EarlyView.
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]

open access: yes, 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

Intelligent Tutoring Systems for Adult Learning in STEM Disciplines

open access: yesNew Directions for Adult and Continuing Education, EarlyView.
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]

open access: yes, 1987
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  

Home - About - Disclaimer - Privacy