Take down policy If you believe this document infringes copyright, raise a complaint by contacting [email protected]. The document will be immediately withdrawn from public access while the complaint is being investigated.

SMT solvers are nowadays pervasive in verification tools. When the verification is about a critical system, the result of the SMT solver is also critical and cannot be trusted. The SMT-LIB 2.0 is a standard interface for SMT solvers but does not specify the output of the get-proof command. We present a proof system that is geared towards SMT solvers and follows their conceptually modular archit...

Human megakaryocytes have been shown by immunofluorescent techniques to express platelet glycoprotein lIb/Illa antigen. We report evidence that megakaryocytes derived from human committed megakaryocytic progenitor cells in vitro (CFU-M) synthesize glycoproteins lIb and lIla. Nonadherent light-density human bone marrow cells were cultured in human plasma and methylcellulose using conditions that...

This work describes synthesis and characterization of three ionic liquids (IL) with imidazolium, phosphonium or sulfonium cations. These ILs were used as precursors for the preparation electrolytes by adding various types lithium salts. Thermal electrochemical properties studied to assess their feasibility usage in lithium-ion batteries (LIB). Ethylmethylimidazolium phosphonic acid ethyl ester ...