12 research outputs found
One-Pot Green Synthesis and Bioapplication ofl-Arginine-Capped Superparamagnetic Fe3O4 Nanoparticles
Water-solublel-arginine-capped Fe3O4 nanoparticles were synthesized using a one-pot and green method. Nontoxic, renewable and inexpensive reagents including FeCl3,l-arginine, glycerol and water were chosen as raw materials. Fe3O4 nanoparticles show different dispersive states in acidic and alkaline solutions for the two distinct forms of surface bindingl-arginine. Powder X-ray diffraction and X-ray photoelectron spectroscopy were used to identify the structure of Fe3O4 nanocrystals. The products behave like superparamagnetism at room temperature with saturation magnetization of 49.9 emu g−1 and negligible remanence or coercivity. In the presence of 1-ethyl-3-(dimethylaminopropyl) carbodiimide hydrochloride, the anti-chloramphenicol monoclonal antibodies were connected to thel-arginine-capped magnetite nanoparticles. The as-prepared conjugates could be used in immunomagnetic assay
Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation
These proceedings include selected papers presented at the 9th Workshop on
Horn Clauses for Verification and Synthesis and the Tenth International
Workshop on Verification and Program Transformation, both affiliated with ETAPS
2022.
Many Program Verification and Synthesis problems of interest can be modeled
directly using Horn clauses and many recent advances in the CLP and CAV
communities have centered around efficiently solving problems presented as Horn
clauses.
The HCVS series of workshops aims to bring together researchers working in
the communities of Constraint/Logic Programming (e.g., ICLP and CP), Program
Verification (e.g., CAV, TACAS, and VMCAI), and Automated Deduction (e.g.,
CADE, IJCAR), on the topic of Horn clause based analysis, verification, and
synthesis.
Horn clauses for verification and synthesis have been advocated by these
communities in different times and from different perspectives and HCVS is
organized to stimulate interaction and a fruitful exchange and integration of
experiences.
The aim of the VPT workshop is to bring together researchers working in the
fields of Program Verification and Program Transformation.
There is a great potential for beneficial interactions between these two
fields because:
1) On one hand, methods and tools developed in the field of Program
Transformation such as partial evaluation, fold/unfold transformations, and
supercompilation, have all been applied with success for the verification of
infinite state and parameterized systems.
2) On the other hand, model checking, abstract interpretation, SAT and SMT
solving and automated theorem proving have been used to enhance program
transformation techniques. Moreover, the formal certification of program
transformation tools, such as automated refactoring tools and compilers, has
recently attracted considerable interest, posed major challenges