Results 11 to 20 of about 409,660 (52)

GDart-LLVM (SV-COMP 2023)

open access: yes, 2023
<p>Version from SV-COMP 2023.</p> <p>In comparison to version svcomp23 (https://doi.org/10.5281/zenodo.10397071), this version contains the README and license files from the SV-COMP 2023 archives repository (https://gitlab.com/sosy-lab ...
Howar, Falk, Mues, Malte, Dierl, Simon
core   +1 more source

Specific antigen of tumor cell transformed by DNA extracted from SV-40 virus [PDF]

open access: yes, 1967
In the immunofluorescent study it has been revealed that rabbit sera immunized with transformed cells induced by SV-40 DNA, produce circulating antibody capable of re:lcting with intranuclear antigens synthesized by SV-40 complyte virus transforming ...
Okada, Shigeru   +5 more
core   +1 more source

Pinaka (SV-COMP 2023)

open access: yes, 2022
<p>Version from SV-COMP 2023.</p ...
Joshi, Saurabh
core   +1 more source

Tomaž Krpič: Telo, umetnost in družba [PDF]

open access: yes, 2013
Tomaž Krpič: Telo, umetnost in družba Ljubljana: Založba FDV, 2011, 160 ...
Mojca Puncer, Puncer, Mojca
core   +1 more source

WIT4JAVA (SV-COMP 2023)

open access: yes, 2022
<p>Version from SV-COMP 2023.</p ...
Schrammel, Peter   +2 more
core   +1 more source

Abundance of intrinsic disorder in SV-IV, a multifunctional androgen-dependent protein secreted from rat seminal vesicle [PDF]

open access: yes, 2007
The potent immunomodulatory, anti-inflammatory and procoagulant properties of the protein no. 4 secreted from the rat seminal vesicle epithelium (SV-IV) have been previously found to be modulated by a supramolecular monomer-trimer ...
Silvia Vilasi   +4 more
core   +1 more source

Locksmith (SV-COMP 2023)

open access: yes, 2022
<p>Version from SV-COMP 2023.</p ...
Vojdani, Vesal
core   +1 more source

SV-detection for noisified random SV barcodes.

open access: yes, 2021
(Top) HMM output for comparison of two noisified random SV barcodes with a single 50 pixel (25 kb) insertion. (Bottom) HMM output for comparison of two noisified random SV barcodes with a 50 pixel (25 kb) inversion and a 50 pixel (25 kb) translocation ...
Albertas Dvirnas (4926085)   +8 more
core   +1 more source

JDart (SV-COMP 2023)

open access: yes, 2022
<p>Version from SV-COMP 2023.</p ...
Howar, Falk, Mues, Malte
core   +1 more source

VeriOover (SV-COMP 2023)

open access: yes, 2022
<p>Version from SV-COMP 2023.</p ...
Qu, HaiPeng
core   +1 more source

Home - About - Disclaimer - Privacy