Strategy To Tether Organometallic Ruthenium-Arene Anticancer Compounds to Recombinant Human Serum Albumin

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having polyno ...

Motivated by the transfer of proofs between proof systems, and in particular from first order automated theorem provers (ATPs) to interactive theorem provers (ITPs), we specify an extension of the TPTP derivation text format to describe proofs in first-ord ...

In this paper, we present a model for the analytical computation of the power flow sensitivity coefficients (SCs) for hybrid AC/DC networks. The SCs are defined as the partial derivates of the nodal voltages with respect to the active and reactive power in ...

A hash proof system (HPS) is a form of implicit proof of membership to a language. Out of the very few existing post-quantum HPS, most are based on languages of ciphertexts of code-based or lattice-based cryptosystems and inherently suffer from a gap cause ...

Edible electronics leverages the electronic properties of food-derived materials to deliver safer technologies that can be degraded (or digested) in the environment (or body) at the end-of-life. Sensors will be central to future smart edible robots, and ed ...

We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...

Preventing the misfolding or aggregation of transactive response DNA binding protein with 43 kDa (TDP-43) is the most actively pursued disease-modifying strategy to treat amyotrophic lateral sclerosis and other neurodegenerative diseases. In this work, we ...

Protein-based therapeutics, such as monoclonal antibodies and cytokines, are important therapies for various pathophysiological conditions such as oncology, autoimmune disorders, and viral infections. However, the wide application of such protein therapeut ...

Prediction of ground motion triggered by earthquakes is a prime concern for both the seismology community and geotechnical earthquake engineering one. The subfield occupied with such a problem is termed site response analysis (SRA), its one-dimensional fla ...

Macrocycles have excellent potential as therapeutics due to their ability to bind challenging targets. However, generating macrocycles against new targets is hindered by a lack of large macrocycle libraries for high-throughput screening. To overcome this, ...

Protein-protein interactions (PPIs) play important roles in many diseases and their modulation is an attractive strategy for developing new therapeutics. However, the relatively large and often flat binding surfaces of PPIs makes the development of inhibit ...

This contribution outlines a research proposal combining ethical guidelines on AI and a law-as-data approach. Building upon the definitions of soft law discussed in legal scholarship, it proposes a way of structuring the regulatory landscape on AI and of a ...

Advances in mobile computing have paved the way for new types of distributed applications that can be executed solely by mobile devices on Device-to-Device (D2D) ecosystems (e.g., crowdsensing). Sophisticated applications, like cryptocurrencies, need distr ...

MRI is a non-invasive medical imaging modality that is sensitive to patient motion, which constitutes a major limitation in most clinical applications. Solutions may arise from the reduction of acquisition times or from motion-correction techniques, either ...

Interactive oracle proofs (IOPs) are a proof system model that combines features of interactive proofs (IPs) and probabilistically checkable proofs (PCPs). IOPs have prominent applications in complexity theory and cryptography, most notably to constructing ...

Transient bioelectronics has grown fast, opening possibilities never thought before. In medicine, transient implantable devices are interesting because they could eliminate the risks related to surgical retrieval and reduce the chronic foreign body reactio ...

Plasma treatments are currently being assessed as a seed processing technology for agricultural purposes. There is sufficient information as a proof-of-concept, but a lack of standardization in the methodology prevents a convincing evaluation of plasma tre ...

We provide a counterexample to the performance guarantee obtained in the paper "Il'ev, V., Linker, N., 2006. Performance guarantees of a greedy algorithm for minimizing a supermodular set function on comatroid", which was published in Volume 171 of the Eur ...

The controllability cost for the heat equation as the control time

T

goes to 0 is well-known of the order

e^{C/T}

for some positive constant

C

, depending on the controlled domain and for all initial datum. In this paper, we prove that the constant $C ...

Inferring the organization of fluorescently labeled nanosized structures from single molecule localization microscopy (SMLM) data, typically obscured by stochastic noise and background, remains challenging. To overcome this, we developed a method to extrac ...

Strategy To Tether Organometallic Ruthenium-Arene Anticancer Compounds to Recombinant Human Serum Albumin

Chat with Graph Search

Orthologic with Axioms

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

Analytical Computation of the Sensitivity Coefficients in Hybrid AC/DC Networks

A Gapless Post-quantum Hash Proof System in the Hamming Metric

A Sprayable Electrically Conductive Edible Coating for Piezoresistive Strain Sensing

LISA – A Modern Proof System

Effective Inhibition of TDP-43 Aggregation by Native State Stabilization

Rational Design of Chemically Controlled Antibodies and Protein Therapeutics

Data-driven 1D wave propagation for site response analysis

Synthesis and direct assay of large macrocycle diversities by combinatorial late-stage modification at picomole scale

Generating macrocyclic inhibitors of protein-protein interactions

Learning from the Ethics of AI-A Research Proposal on Soft Law and Ethics of AI

Toward Mobile Distributed Ledgers

Choreography Controlled (ChoCo) brain MRI artifact generation for labeled motion-corrupted datasets

A Toolbox for Barriers on Interactive Oracle Proofs

All-polymeric transient neural probe for prolonged in-vivo electrophysiological recordings

Entering the plasma agriculture field: An attempt to standardize protocols for plasma treatment of seeds

A comment on performance guarantees of a greedy algorithm for minimizing a supermodular set function on comatroid

A dependence of the cost of fast controls for the heat equation on the support of initial datum

Nanoscale Pattern Extraction from Relative Positions of Sparse 3D Localizations