المؤلفون: Schreiner, Wolfgang, Reichl, Franz-Xaver

المصدر: EPTCS 342, 2021, pp. 99-113

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2109.02805

المؤلفون: Knapp Bernhard, Fischer Gottfried, Van Hemelen Dries, Fae Ingrid, Maillere Bernard, Ebner Christof, Schreiner Wolfgang, Bohle Barbara, Jahn-Schmid Beatrice

المصدر: BMC Immunology, Vol 13, Iss 1, p 43 (2012)

مصطلحات موضوعية: HLA association, Peptide/MHC-class II-TCR interaction, T cell recognition, Allergen, Art v 1, Molecular dynamics simulation, Immunologic diseases. Allergy, RC581-607

وصف الملف: electronic resource

Relation: http://www.biomedcentral.com/1471-2172/13/43; https://doaj.org/toc/1471-2172

URL الوصول: https://doaj.org/article/b82fd118a047437eac9954d33a29a48a

المؤلفون: Ribarics Reiner, Giczi Verena, Knapp Bernhard, Schreiner Wolfgang

المصدر: BMC Bioinformatics, Vol 12, Iss 1, p 241 (2011)

مصطلحات موضوعية: Computer applications to medicine. Medical informatics, R858-859.7, Biology (General), QH301-705.5

وصف الملف: electronic resource

Relation: http://www.biomedcentral.com/1471-2105/12/241; https://doaj.org/toc/1471-2105

URL الوصول: https://doaj.org/article/2aebb0ad78654f06a0fd10aed76687dd

المؤلفون: Schreiner, Wolfgang

المصدر: EPTCS 290, 2019, pp. 56-75

مصطلحات موضوعية: Computer Science - Logic in Computer Science, D.2.4, F.3.1, F.4.1, K.3.1

URL الوصول: http://arxiv.org/abs/1904.00620

المؤلفون: Schreiner, Wolfgang, Brunhuemer, Alexander, Fürst, Christoph

المصدر: EPTCS 267, 2018, pp. 120-139

مصطلحات موضوعية: Computer Science - Logic in Computer Science, D.2.4, F.3.1, K.3.1

URL الوصول: http://arxiv.org/abs/1803.01472

المؤلفون: Schreiner, Wolfgang, Steingartner, William

مصطلحات موضوعية: formal semantics of programming languages, denotational semantics, operational semantics, type systems, interpreters

جغرافية الموضوع: UL:TN:SR

وصف الملف: 59 Seiten; text/html

Relation: vignette : https://epub.jku.at/titlepage/urn/urn:nbn:at:at-ubl:3-21174/128; urn:nbn:at:at-ubl:3-21174; https://resolver.obvsg.at/urn:nbn:at:at-ubl:3-21174; local:99147681216603331; system:AC16955486

الاتاحة: https://doi.org/10.35011/risc.23-13
https://epub.jku.at/doi/10.35011/risc.23-13
https://resolver.obvsg.at/urn:nbn:at:at-ubl:3-21174

المؤلفون: Droste, Manfred, Kutsia, Temur, Rahonis, George, Schreiner, Wolfgang

المصدر: EPTCS 256, 2017, pp. 106-120

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1709.02098

المؤلفون: Schreiner, Wolfgang, Karch, Rudolf, Cibena, Michael, Tomasiak, Lisa, Kenn, Michael, Pfeiler, Georg

المصدر: Computational and Structural Biotechnology Journal ; volume 21, page 3920-3932 ; ISSN 2001-0370

الاتاحة: http://dx.doi.org/10.1016/j.csbj.2023.07.004
https://api.elsevier.com/content/article/PII:S2001037023002386?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S2001037023002386?httpAccept=text/plain

المؤلفون: Schreiner, Wolfgang

مصطلحات موضوعية: automated reasoning, theorem proving, model checking, first-order logic, RISCAL, SMT-LIB, Z3

جغرافية الموضوع: UL:TN:SR

وصف الملف: 31 Seiten; text/html

Relation: vignette : https://epub.jku.at/titlepage/urn/urn:nbn:at:at-ubl:3-12297/128; urn:nbn:at:at-ubl:3-12297; https://resolver.obvsg.at/urn:nbn:at:at-ubl:3-12297; local:99146819219503331; system:AC16543826

الاتاحة: https://doi.org/10.35011/risc.22-07
https://epub.jku.at/doi/10.35011/risc.22-07
https://resolver.obvsg.at/urn:nbn:at:at-ubl:3-12297

المؤلفون: Toegel, Stefan, Pichler, Katharina M., Fischer, Anita, Alphonsus, Jürgen, Chiari, Catharina, Schmidt, Sebastian, Kenn, Michael, Schreiner, Wolfgang, Weinmann, Daniela, Rothbauer, Mario, Windhager, Reinhard, Gabius, Hans‑Joachim

مصطلحات موضوعية: Inflammation, Lectin, NF-κB, Cartilage, 3D spheres, Primary cells

جغرافية الموضوع: UMW:14533, UMW:20827, UMW:20739

وصف الملف: text/html

Relation: vignette : https://repositorium.meduniwien.ac.at/titlepage/urn/urn:nbn:at:at-ubmuw:3-53990/128; urn:nbn:at:at-ubmuw:3-53990; https://resolver.obvsg.at/urn:nbn:at:at-ubmuw:3-53990; local:99146928547003331; system:AC16601437

الاتاحة: https://doi.org/10.1007/s00418-021-02053-1
https://repositorium.meduniwien.ac.at/doi/10.1007/s00418-021-02053-1
https://resolver.obvsg.at/urn:nbn:at:at-ubmuw:3-53990

المؤلفون: Tomasiak, Lisa, Karch, Rudolf, Schreiner, Wolfgang

المصدر: BMC Immunology ; volume 23, issue S1 ; ISSN 1471-2172

الاتاحة: http://dx.doi.org/10.1186/s12865-022-00510-7
https://link.springer.com/content/pdf/10.1186/s12865-022-00510-7.pdf
https://link.springer.com/article/10.1186/s12865-022-00510-7/fulltext.html

المؤلفون: Koller, Stephanie, Kendler, Jonatan, Karacs, Jasmine, Wolf, Andrea, Kreuzinger, Caroline, Von Der Decken, Isabel, Mungenast, Felicitas, Mechtcheriakova, Diana, Schreiner, Wolfgang, Gleiss, Andreas, Jäger, Walter, Cacsire Castillo-Tong, Dan, Thalhammer, Theresia

المساهمون: Austrian Science Fund

المصدر: Frontiers in Pharmacology ; volume 13 ; ISSN 1663-9812

الاتاحة: http://dx.doi.org/10.3389/fphar.2022.946348
https://www.frontiersin.org/articles/10.3389/fphar.2022.946348/full

المؤلفون: Kenn, Michael, Karch, Rudolf, Tomasiak, Lisa, Cibena, Michael, Pfeiler, Georg, Koelbl, Heinz, Schreiner, Wolfgang

المصدر: Frontiers in Bioengineering and Biotechnology ; volume 10 ; ISSN 2296-4185

الاتاحة: http://dx.doi.org/10.3389/fbioe.2022.838129
https://www.frontiersin.org/articles/10.3389/fbioe.2022.838129/full

المؤلفون: Khan, Muhammad Taimoor, Schreiner, Wolfgang

مصطلحات موضوعية: Computer Science - Mathematical Software, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/1207.2300

المؤلفون: Khan, Muhammad Taimoor, Schreiner, Wolfgang

مصطلحات موضوعية: Computer Science - Mathematical Software, Computer Science - Artificial Intelligence, 68Txx, D.2.4

URL الوصول: http://arxiv.org/abs/1207.2291

المؤلفون: Schreiner, Wolfgang

المصدر: EPTCS 79, 2012, pp. 124-142

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Mathematical Software, Computer Science - Programming Languages, Computer Science - Symbolic Computation, F.3.1, F3.2, K3.2

URL الوصول: http://arxiv.org/abs/1202.4834

المؤلفون: Schreiner, Wolfgang, Reichl, Franz-Xaver

مصطلحات موضوعية: model checking, satisfiability solving, formal specification, formal verficiation

جغرافية الموضوع: UL:TN:SR

وصف الملف: 30 Seiten; text/html

Relation: vignette : https://epub.jku.at/titlepage/urn/urn:nbn:at:at-ubl:3-7133/128; urn:nbn:at:at-ubl:3-7133; https://resolver.obvsg.at/urn:nbn:at:at-ubl:3-7133; local:99146105477103331; system:AC16229740

الاتاحة: https://doi.org/10.35011/risc.21-11
https://epub.jku.at/doi/10.35011/risc.21-11
https://resolver.obvsg.at/urn:nbn:at:at-ubl:3-7133

المؤلفون: Kenn, Michael, Cacsire Castillo-Tong, Dan, Singer, Christian F., Karch, Rudolf, Cibena, Michael, Koelbl, Heinz, Schreiner, Wolfgang

المصدر: Scientific Reports ; volume 11, issue 1 ; ISSN 2045-2322

الاتاحة: http://dx.doi.org/10.1038/s41598-021-82418-7
https://www.nature.com/articles/s41598-021-82418-7.pdf
https://www.nature.com/articles/s41598-021-82418-7

المؤلفون: Steingartner, William, Novitzká, Valerie, Schreiner, Wolfgang

المصدر: Journal of Applied Mathematics & Computational Mechanics; 2024, Vol. 23 Issue 2, p79-92, 14p

مصطلحات موضوعية: EQUIVALENCE (Linguistics), PROGRAMMING language semantics, PROGRAMMING languages, LANGUAGE acquisition, FORMAL languages, SEMANTICS