Results 251 to 260 of about 189,721 (306)
Some of the next articles are maybe not open access.
Comparison of guidelines of Indian GMP with WHO GMP
Journal of Developing Drugs, 2015G Manufacturing Practice is a set of principles and procedures for ensuring that pharmaceutical products are consistently produced under controlled conditions to achieve quality standards appropriate to their intended use. India and many countries have formulated guidelines corresponding to their legislative requirements which are governed by ...
openaire +1 more source
Neurochemistry International, 2004
The biokinetics of guanosine 3',5'-cyclic monophosphate (cGMP) is characterized by three distinct processes: synthesis by guanylate cyclases (GCs), conversion of cGMP to GMP by cyclic nucleotide phosphodiesterases (PDEs) and the excretion of unchanged cGMP by transport proteins in the cell membrane.
openaire +2 more sources
The biokinetics of guanosine 3',5'-cyclic monophosphate (cGMP) is characterized by three distinct processes: synthesis by guanylate cyclases (GCs), conversion of cGMP to GMP by cyclic nucleotide phosphodiesterases (PDEs) and the excretion of unchanged cGMP by transport proteins in the cell membrane.
openaire +2 more sources
Journal of Automated Reasoning, 2002
We present a formal proof (at the implementation level) of an efficient algorithm proposed by Paul Zimmermann \cite{Zimmermann2000} to compute square roots of arbitrary large integers. This program, which is part of the GNU Multiple Precision Arithmetic Library (GMP) is completely proven within the Coq system. Proofs are developed using the Correctness
Bertot, Yves +2 more
openaire +2 more sources
We present a formal proof (at the implementation level) of an efficient algorithm proposed by Paul Zimmermann \cite{Zimmermann2000} to compute square roots of arbitrary large integers. This program, which is part of the GNU Multiple Precision Arithmetic Library (GMP) is completely proven within the Coq system. Proofs are developed using the Correctness
Bertot, Yves +2 more
openaire +2 more sources
Transfusion and Apheresis Science
Collection and production of blood components should be in line with current blood guidelines to ensure both donor safety and the quality of the blood product. Guidelines were developed for the whole process of blood collection and processing as well as for apheresis procedures.
openaire +2 more sources
Collection and production of blood components should be in line with current blood guidelines to ensure both donor safety and the quality of the blood product. Guidelines were developed for the whole process of blood collection and processing as well as for apheresis procedures.
openaire +2 more sources
Journal of parenteral science and technology : a publication of the Parenteral Drug Association, 1992
Training is a dynamic process to assure that personnel are capable of performing their assigned functions. CGMP regulations contain only general expectations, and no FDA guideline regarding training has been issued. Training programs are generally in place in pharmaceutical firms.
openaire +1 more source
Training is a dynamic process to assure that personnel are capable of performing their assigned functions. CGMP regulations contain only general expectations, and no FDA guideline regarding training has been issued. Training programs are generally in place in pharmaceutical firms.
openaire +1 more source
Gas and light: triggers of c-di-GMP-mediated regulation
FEMS Microbiology Reviews, 2023Zhaoqing Yu +2 more
exaly
A c-di-GMP binding effector controls cell size in a cyanobacterium
Proceedings of the National Academy of Sciences of the United States of America, 2023Xiaoli Zeng +2 more
exaly