-
1
المؤلفون: Yunus D. K. Kutz, Manfred Schmidt-Schauß, David Sabel
المصدر: Journal of Symbolic Computation. 90:42-64
مصطلحات موضوعية: Discrete mathematics, Functional programming, Algebra and Number Theory, Unification, 010102 general mathematics, 010103 numerical & computational mathematics, 01 natural sciences, Set (abstract data type), Computational Mathematics, Computer Science::Programming Languages, Order (group theory), 0101 mathematics, Time complexity, Mathematics
-
2
المؤلفون: Manfred Schmidt-Schauß, Yunus D. K. Kutz
المصدر: Logic-Based Program Synthesis and Transformation ISBN: 9783030684457
LOPSTRمصطلحات موضوعية: 050101 languages & linguistics, Conjecture, Matching (graph theory), Unification, Computational complexity theory, Computer science, 05 social sciences, 02 engineering and technology, Decision problem, Expression (mathematics), Set (abstract data type), Automated theorem proving, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, 0501 psychology and cognitive sciences, Algorithm
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b893e3f54adf632f90776773c95f1669
https://doi.org/10.1007/978-3-030-68446-4_5 -
3
المؤلفون: Raphael F. Fritsche, Olga Kataeva, Sebastian K. Kutz, Christian Brütting, Carsten Börger, Arndt W. Schmidt, Hans-Joachim Knölker
المصدر: Chemistry - A European Journal. 24:458-470
مصطلحات موضوعية: Atropisomer, Bisisomahanine, 010405 organic chemistry, Chemistry, Organic Chemistry, General Chemistry, Oxidative phosphorylation, 010402 general chemistry, 01 natural sciences, Combinatorial chemistry, Peroxide, Catalysis, 0104 chemical sciences, chemistry.chemical_compound, Organic chemistry, Oxidative coupling of methane
-
4
المؤلفون: Ronny Hesse, Christian Brütting, Scott G. Franzblau, Claudia Thomas, Sebastian K. Kutz, Marika Rönnefahrt, Hans-Joachim Knölker, Carsten Börger, V. Pavan Kumar, Konstanze K. Julich-Gruner, Baojie Wan
المصدر: Bioorganic & Medicinal Chemistry. 25:6167-6174
مصطلحات موضوعية: Synthetic derivatives, Cell Survival, Stereochemistry, Clinical Biochemistry, Antitubercular Agents, Carbazoles, Pharmaceutical Science, Microbial Sensitivity Tests, 010402 general chemistry, 01 natural sciences, Biochemistry, Mycobacterium tuberculosis, Structure-Activity Relationship, chemistry.chemical_compound, Alkaloids, Anti tuberculosis, Mammalian cell, Chlorocebus aethiops, Drug Discovery, Animals, Organic chemistry, Structure–activity relationship, Vero Cells, Molecular Biology, chemistry.chemical_classification, biology, 010405 organic chemistry, Carbazole, Organic Chemistry, biology.organism_classification, 0104 chemical sciences, chemistry, Vero cell, Molecular Medicine, Tricyclic
-
5
المؤلفون: Sebastian K. Kutz, Arndt W. Schmidt, Hans-Joachim Knölker
المصدر: Synthesis. 49:275-292
مصطلحات موضوعية: Annulation, Murraya, biology, 010405 organic chemistry, Chemistry, Carbazole, Stereochemistry, Organic Chemistry, chemistry.chemical_element, Total synthesis, 010402 general chemistry, Ring (chemistry), biology.organism_classification, 01 natural sciences, Catalysis, 0104 chemical sciences, chemistry.chemical_compound, Pyran, Frémy's salt, Palladium
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::f43c6175c955054d76fa1269ebe996f9
https://doi.org/10.1055/s-0036-1588322 -
6
المؤلفون: K. Kutz, Benedikt Obermayer, S.J. van Kampen, M. Blok, M. Vigil, E. van Rooij, Bas Molenaar, Matthias Selbach, D Versteeg
المصدر: Journal of Molecular and Cellular Cardiology. 120:16-17
مصطلحات موضوعية: Biology, Cardiology and Cardiovascular Medicine, Bioinformatics, Molecular Biology
-
7
المصدر: Chemistry (Weinheim an der Bergstrasse, Germany). 22(7)
مصطلحات موضوعية: Stereochemistry, Carbazoles, chemistry.chemical_element, Stereoisomerism, 010402 general chemistry, 01 natural sciences, Medicinal chemistry, Heterocyclic Compounds, 4 or More Rings, Coupling reaction, Catalysis, chemistry.chemical_compound, Alkaloids, Molecule, Methylene, Molecular Structure, 010405 organic chemistry, Chemistry, Carbazole, Organic Chemistry, Total synthesis, General Chemistry, 0104 chemical sciences, Palladium
-
8
المؤلفون: Reinhold Kienzler, K. Kutz, R. Schröder, L. Rohde
المصدر: Engineering Fracture Mechanics. 77:3604-3610
مصطلحات موضوعية: Plane (geometry), Mechanical Engineering, Mathematical analysis, Fracture mechanics, Geometry, Poisson's ratio, symbols.namesake, Mechanics of Materials, Mode coupling, Path integral formulation, symbols, General Materials Science, Connection (algebraic framework), Stress intensity factor, Plane stress, Mathematics
-
9دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
10
المؤلفون: Kimberly K. Kutz-Naber, Joshua J. Schmidt, Stephanie S. DeKeyser, Gregory A. Barrett-Wilt, Lingjun Li
المصدر: Journal of Proteome Research. 6:1782-1791
مصطلحات موضوعية: Gene isoform, Cell signaling, Brachyura, Molecular Sequence Data, Neuropeptide, Nerve Tissue Proteins, Peptide, Mass spectrometry, Biochemistry, Mass Spectrometry, Article, Mass spectrometry imaging, Animals, Protein Isoforms, Amino Acid Sequence, Nerve Tissue, Peptide sequence, chemistry.chemical_classification, biology, Neuropeptides, General Chemistry, Anatomy, biology.organism_classification, Crustacean, chemistry