Results 161 to 170 of about 2,368 (218)
FEBS Open Bio, EarlyView.The MRP4 transporter exports several drugs and signaling molecules. Here, we identified key promoter elements regulating basal MRP4 expression. Using reporter assays, we defined a conserved region with essential Sp1 and contributory Ets sites, which controlled basal MRP4 expression.
Debora Singer +7 more
wiley +1 more source
Derivation and characterization of retinal pigment epithelium from urine‐derived iPSCs
FEBS Open Bio, EarlyView.Age‐related macular degeneration causes vision loss via RPE dysfunction and loss. Traditional iPSC therapies rely on invasive biopsies, limiting scalability. Here, we utilize urine‐derived stem cells as an accessible source to generate u‐iPSCs, successfully differentiated into pigmented RPE. This “Urine‐to‐Retina” platform provides a promising path for
Daniella Beiner +7 more
wiley +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
An experience on verification of aspect properties
Proceedings of the 4th international workshop on Principles of software evolution - IWPSE '01, 2002Aspect oriented technologies enable concerns like concurrency or security to be coded in separate units. This paper suggests that relevant system properties can be verified just based on such separated code. A simple experience is reported for showing how the proposed approach works.
DENARO, GIOVANNI, Monga, M.
openaire +1 more source
Generalized Computational Experiment and Verification Problems
Programming and Computer Software, 2021This paper considers the construction of a generalized computational experiment for solving verification problems. The problem of comparative accuracy assessment of numerical methods is currently acquiring special relevance due to the introduction of published standards and widespread use of software packages that include a large number of different ...
Aleksey K. Alekseev +3 more
openaire +1 more source
An experiment in automatic verification of programs
Communications of the ACM, 1963How effective is a compiler at replacing explicit verification, and what is the cost of this technique?
Gerald M. Weinberg, G. L. Gressett
openaire +2 more sources
An experience in embedded control software verification
2009 IEEE Conference on Emerging Technologies & Factory Automation, 2009We report on our experience with the formal verification of CalRoc2003, the software that controls the scientific payload for the SCORE coronographic experiment. Our target was using the state-of-the-art SPIN model checker for spotting concurrency problems that could have gone undetected in the traditional testing phase. Some challenges had to be faced
ROLANDO, PIERLUIGI, SISTO, Riccardo
openaire +1 more source
Specification and verification
Communications of the ACM, 2011Can a programming language really help programmers write better programs?
Mike Barnett 0001 +5 more
openaire +1 more source
Verification of cryptographic protocols: An experiment
1997The objective of this paper is to present the verification of some confidentiality features of the SESAME protocol, an extension of Kerberos. We do that by using the formal approach presented in [7]. This approach is based on the use of state-based general purpose formal methods.
Marc Mehdi Ayadi, Dominique Bolignano
openaire +1 more source
Image-based face verification and experiments
Neural Computing and Applications, 2012In this paper, we propose a novel image-based identity verification method. This method first uses the training images of the claimed identity to represent the testing sample and then exploits the representation result to determine the verification result, that is, accept or reject. The proposed method not only has sound theoretical foundation but also
Qi Zhu 0001, Chengli Sun
openaire +1 more source
Experiences in the Formalisation and Verification of Medical Protocols
2003Medical practice protocols or guidelines are statements to assist practitioners and patient decisions about appropriate health care for specific circumstances. In order to reach their potential benefits, protocols must fulfill strong quality requirements.
Mar Marcos +4 more
openaire +3 more sources