✦ LIBER ✦

Using a constraint satisfaction formulation and solution techniques for random test program generation

✍ Scribed by Bin, E.; Emek, R.; Shurek, G.; Ziv, A.

Book ID: 114995345
Publisher: IBM
Year: 2002
Tongue: English
Weight: 189 KB
Volume: 41
Category: Article
ISSN: 0018-8670
DOI: 10.1147/sj.413.0386

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A computer program for testing and analy

A computer program for testing and analyzing random generation behavior in normal and clinical samples: The Mittenecker Pointing Test

✍ Günter Schulter; Erich Mittenecker; Ilona Papousek 📂 Article 📅 2010 🏛 Psychonomic Society Publications 🌐 English ⚖ 175 KB

Use of a folding model and in situ spect

Use of a folding model and in situ spectroscopic techniques for rational formulation development and stability testing of monoclonal antibody therapeutics

✍ Gauri Rao; Vandana Iyer; Matthew P. Kosloski; Dipak S. Pisal; Eunkyoung Shin; C. 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 260 KB 👁 1 views

Aggregation is a critical issue that hampers the development of monoclonal antibody therapeutics (Mabs). Traditionally, aggregation is considered a process in which native forms of proteins are transformed into an unstable highly associated form through an intermediate formation step. Here we descri

[IEEE 4th International Workshop on Micr

[IEEE 4th International Workshop on Microprocessor Test and Verification - Common Challenges and Solutions - Austin, TX, USA (29-30 May 2003)] Proceedings. 4th International Workshop on Microprocessor Test and Verification - Common Challenges and Solutions - Definition of a systematic method for the generation of software test programs allowing the functional verification of system on chip (SoC)

✍ Hunsinger, F.; Francois, S.; Jerraya, A.A. 📂 Article 📅 2003 🏛 IEEE ⚖ 237 KB

A new technique for the deposition of st

A new technique for the deposition of standard solutions in total reflection X-ray fluorescence spectrometry (TXRF) using pico-droplets generated by inkjet printers and its applicability for aerosol analysis with SR-TXRF

✍ U.E.A. Fittschen; S. Hauschild; M.A. Amberger; G. Lammel; C. Streli; S. Förster; 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 767 KB

Activity coefficients in mixed electroly

Activity coefficients in mixed electrolyte solutionsElectronic supplementary information (ESI) available: (Part A) 1. Apparatus and reagents. 2. Modus operandi. 3. Ion selectivity and water-induced ion selectivity. 4. Tests for ion selectivity (Tables S1–S5). 5. Less demanding checks. 6. Mixed electrolytes with (and without) ions in common. 7. Revised activity coefficients of [Co(en)3][Co(CN)6] in water at 298.15 K (Table S6). 8. Activity coefficients of reference mixed solutions (Tables S7–S15). 9. Activity coefficients of trace electrolytes in supporting electrolytes of variable concentration. (Tables S16–S24). 10. Ion hydration effects. (Part B). The IPBE algorithm: how to use the computation program; the source program IPBE. See http://www.rsc.org/suppdata/cp/b3/b311624g/

✍ Malatesta, Francesco; Fagiolini, Chiara; Franceschi, Roberto 📂 Article 📅 2004 🏛 Royal Society of Chemistry 🌐 English ⚖ 181 KB