Results 111 to 120 of about 11,396,305 (309)
, 2016 Biomimetic-Type Synthesis of Halogenated Tetrahydrofurans from Laurencia.
Tomás Martín (2453179) +3 more
core +1 more source
Smaller is better: nanobodies meet NMR
FEBS Letters, EarlyView.Nanobodies are single‐domain antigen‐binding fragments derived from camelid heavy chain antibodies. Their small size, high stability, and exceptional specificity make nanobodies uniquely useful probes for NMR studies of protein dynamics, transient conformational states, and protein–protein interactions.
Oleg Y. Dmitriev
wiley +1 more source
Type Synthesis of Compliant Mechanisms Employing a Simplified Approach to Segment Type
, 1994 The formulation of design procedures for rigid-body mechanisms has benefited from the application of type-synthesis techniques. Therefore, with modifications to allow for inclusions of compliance, type synthesis is seen as a useful tool in the design of ...
Murphy, M. D. +2 more
core
FEBS Letters, EarlyView.Vacuolar H+‐ATPase (V‐ATPase) is a multisubunit rotary proton pump that acidifies intracellular compartments. Using elastic network models, we identified conserved hinge residues that govern its large‐scale functional motions. We show that intrinsically encoded ‘soft modes’ drive critical functional transitions, including rotary catalysis and ...
Diksha Parwana +3 more
wiley +1 more source
Unlocking the potential of cell‐permeable nanobodies for intracellular applications
FEBS Letters, EarlyView.This review outlines current strategies for delivery of nanobodies into cells and highlights recent examples of functional applications. By addressing and manipulating intracellular targets, these molecules hold great potential for treating cancer, respiratory diseases and neurological disorders, making this a vibrant area of research in the biomedical
Mariona Gené‐Verdés +2 more
wiley +1 more source
Total synthesis of five natural eremophilane-type sesquiterpenoids
, 2018 The first total synthesis of five eremophilane-type sesquiterpenoids is reported.
Zhe Meng, Bo Liu
core +1 more source
Bonsai: synthesis-based reasoning for type systems
Proceedings of the ACM on Programming Languages, 2017 When designing a type system, we may want to mechanically check the design to guide its further development. We describe algorithms that perform symbolic reasoning about executable models of type systems. The algorithms support three queries. First, they check type soundness and synthesize a counterexample program if such a soundness bug is found ...
Kartik Chandra, Rastislav Bodík
openaire +3 more sources
How structural disorder and polyelectrolyte properties of prothymosin α enable its large interactome
FEBS Letters, EarlyView.In this review, complexes of the fully disordered and highly negatively charged prothymosin α are collected, described, and discussed. Linked to its poly‐electrostatic character, prothymosin α engages a large interactome through multiple different binding modes ranging from fully disordered complexes to short linear motif (SLiM)‐driven interactions ...
Ketty C. Tamburrini +3 more
wiley +1 more source
Program Synthesis from Graded Types
AbstractGraded type systems are a class of type system for fine-grained quantitative reasoning about data-flow in programs. Through the use of resource annotations (or grades), a programmer can express various program properties at the type level, reducing the number of typeable programs.
Jack Hughes 0002, Dominic Orchard
openaire +2 more sources
Tumour–host interactions in Drosophila: mechanisms in the tumour micro‐ and macroenvironment
Molecular Oncology, EarlyView.This review examines how tumour–host crosstalk takes place at multiple levels of biological organisation, from local cell competition and immune crosstalk to organism‐wide metabolic and physiological collapse. Here, we integrate findings from Drosophila melanogaster studies that reveal conserved mechanisms through which tumours hijack host systems to ...
José Teles‐Reis, Tor Erik Rusten
wiley +1 more source