Results 101 to 110 of about 45,723 (298)
Completeness of Finite-Rank Differential Varieties [PDF]
, 2013 Differential algebraic geometry offers tantalizing similarities to the algebraic version as well as puzzling anomalies. This thesis builds on results of Kolchin, Blum, Morrison, van den Dries, and Pong to study the problem of completeness for projective ...
William D. Simmons (7964333)
core
FEBS Letters, EarlyView.The process of internalization of the Shiga toxin A subunit via formation of a complex with the Shiga toxin B subunit, which specifically binds to the Gb3 receptor. The peptide is designed to act as a carrier of drugs into cancer cells. Here, we explored the potential of peptides derived from the catalytic A subunit of Shiga toxin (STxA) to be drug ...
Giulia Opassi +6 more
wiley +1 more source
Simultaneous Checking of Completeness and Ground Confluence [PDF]
, 1999 Rapport interne.Algebraic specifications provide a powerful method for the specification of abstract data types in programming languages and software systems.
Bouhoula, Adel
core +6 more sources
AIBackground/Objectives: Large language models (LLMs) are increasingly considered for use in radiology, including the summarization of patient medical records to support radiologists in processing large volumes of data under time constraints.
Yuriy A. Vasilev +8 more
doaj +1 more source
Die Datenqualität des CIRSmedical – geeignet für eine systematische Analyse?
GMS Medizinische Informatik, Biometrie und Epidemiologie, 2018 The CIRSmedical is a publicly available error reporting and learning system of the German medical profession for reporting near misses and critical events.
Tetzlaff, Laura +3 more
doaj +1 more source
Investigating transcription factor dynamics in health and disease using FRAP
FEBS Letters, EarlyView.FRAP analysis of GFP‐tagged transcription factors reveals how molecular mobility and target engagement change in response to drug treatment. By combining live‐cell imaging, quantitative model fitting, and statistical analysis, this approach uncovers transcription factor dynamics linked to disease mechanisms, providing a powerful framework for ...
Kannan Govindaraj +3 more
wiley +1 more source
Conserved binding mode but diverse interfaces of MreC‐PBP2 interactions
FEBS Letters, EarlyView.The crystal structure of abMreC reveals a conserved two β‐barrel architecture and provides structural insights into its role within the bacterial elongasome. The abMreC–abPBP2 complex model identifies the molecular basis of MreC‐mediated PBP2 recognition, contributing to the regulation of peptidoglycan synthesis.
Hyunseok Jang +4 more
wiley +1 more source
MODERNIZATION OF MEANS FOR ANALYSES AND SOLUTION OF NONLINEAR PROGRAMMING PROBLEMS
Quantitative Methods in Economics, 2015 The problems of optimization for nonlinear programming (NLP) with constraints inequalities are considered. Definition of condition-indicator as quantitative criterion of the properties of Lagrange function is justified.
Alexandr Trunov
doaj
Implicatively Precomplete Sets of Multioperations Defined on a Set of Three Elements
Известия Иркутского государственного университета: Серия "Математика"We study the completeness criterion on the set of rank-3 multioperations with respect to the implicative closure operator. The problem is a special case of the problem of finite classification of multioperations defined on an arbitrary set. A description
V.I. Panteleev
doaj +1 more source
A Complete and the Most Liberal Semantics for Converging OR Gateways in Sound Processes
Complex Systems Informatics and Modeling Quarterly, 2015 Although the semantics of converging OR gateways (also known as OR-joins) in business processes is far from trivial, they are frequently used. In this paper, we describe a general definition for soundness of processes guaranteeing the absence of ...
Thomas M. Prinz, Wolfram Amme
doaj +1 more source