The Biology and Treatment of Myeloid Leukaemias / / edited by Geoffrey Brown and Ewa Marcinkowska |
Pubbl/distr/stampa | Basel, Switzerland : , : MDPI - Multidisciplinary Digital Publishing Institute, , 2018 |
Descrizione fisica | 1 online resource (198 pages) |
Disciplina | 616.994061 |
Soggetto topico |
Cancer - Immunotherapy
Carcinogens |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910674010303321 |
Basel, Switzerland : , : MDPI - Multidisciplinary Digital Publishing Institute, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Biology and Treatment of Myeloid Leukaemias / / edited by Geoffrey Brown and Ewa Marcinkowska |
Pubbl/distr/stampa | Basel, Switzerland : , : MDPI, , 2018 |
Descrizione fisica | 1 online resource (vi, 190 pages) |
Disciplina | 616.994071 |
Soggetto topico | Carcinogens |
ISBN | 3-03842-796-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910765743003321 |
Basel, Switzerland : , : MDPI, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Cell lineage choice during haematopoiesis : a commemorative issue in honor of Professor Antonius Rolink / / edited by Geoffrey Brown, Rhodri Ceredig |
Pubbl/distr/stampa | [Place of publication not identified] : , : MDPI - Multidisciplinary Digital Publishing Institute, , 2018 |
Descrizione fisica | 1 online resource (166 pages) |
Disciplina | 616.02774 |
Soggetto topico |
Stem cells - Research
Stem cells - Research - Moral and ethical aspects |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | Cell Lineage Choice During Haematopoiesis |
Record Nr. | UNINA-9910598196703321 |
[Place of publication not identified] : , : MDPI - Multidisciplinary Digital Publishing Institute, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Cell Lineage Choice During Haematopoiesis : A Commemorative Issue in Honor of Professor Antonius Rolink / / edited by Geoffrey Brown, Rhodri Ceredig, Antonius G. Rolink |
Pubbl/distr/stampa | Basel : , : MDPI - Multidisciplinary Digital Publishing Institute, , 2018 |
Descrizione fisica | 1 online resource (vii, 141 pages) |
Disciplina | 599.00724 |
Soggetto topico |
Cell lines
Hematopoiesis |
ISBN | 3-03897-275-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | Cell Lineage Choice During Haematopoiesis |
Record Nr. | UNINA-9910688479203321 |
Basel : , : MDPI - Multidisciplinary Digital Publishing Institute, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Hardware Specification, Verification and Synthesis: Mathematical Aspects [[electronic resource] ] : Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings / / edited by Miriam Leeser, Geoffrey Brown |
Edizione | [1st ed. 1990.] |
Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 1990 |
Descrizione fisica | 1 online resource (VIII, 404 p.) |
Disciplina | 621.39/5 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Architecture, Computer
Microprogramming Arithmetic and logic units, Computer Logic design Electronics Microelectronics Computers Computer System Implementation Control Structures and Microprogramming Arithmetic and Logic Structures Logic Design Electronics and Microelectronics, Instrumentation Computation by Abstract Devices |
ISBN | 0-387-34801-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Design for verifiability -- Verification of synchronous circuits by symbolic logic simulation -- Constraints, abstraction, and verification -- Formalising the design of an SECD chip -- Reasoning about state machines in higher-order logic -- A mechanically derived systolic implementation of pyramid initialization -- Behavior-preserving transformations for high-level synthesis -- From programs to transistors: Verifying hardware synthesis tools -- Combining engineering vigor with mathematical rigor -- Totally verified systems: Linking verified software to verified hardware -- What's in a timing discipline? Considerations in the specification and synthesis of systems with interacting asynchronous and synchronous components -- Complete trace structures -- The design of a delay-insensitive microprocessor: An example of circuit synthesis by program transformation -- Manipulating logical organization with system factorizations -- The verification of a bit-slice ALU -- Verification of a pipelined microprocessor using clio -- Verification of combinational logic in Nuprl -- Veritas+: A specification language based on type theory -- Categories for the working hardware designer. |
Record Nr. | UNISA-996465375003316 |
New York, NY : , : Springer New York : , : Imprint : Springer, , 1990 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Novel Strategies in the Development of New Therapies, Drug Substances and Drug Carriers |
Autore | Kutner Andrzej |
Pubbl/distr/stampa | Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022 |
Descrizione fisica | 1 electronic resource (450 p.) |
Soggetto topico |
Research & information: general
Chemistry |
Soggetto non controllato |
alpha-ketoglutarate
cell cycle apoptosis JNK cell migration cell invasion TGF-β VEGF glycoconjugates methotrexate cancer treatment glucose metabolism drug design and discovery anticancer drugs targeted therapy Warburg effect antidepressants pyrido[1,2-c]pyrimidines dual 5-HT1A/SERT activity drug design anticancer activity lung cancer resveratrol PRI-2191 vitamin D active substance delivery systems biomedical hydrogels active substance-controlled release genistein hydrogels for cosmetology hydrogels for dermatology transdermal active substance delivery systems histone deacetylase (HDAC) depression biomarker anti-depressant therapy human DNA topoisomerase cancer drug molecular docking synthesis fluorine vitamin D3 metabolite A-ring CD-ring side-chain nanoparticles molecular modeling oxidation mechanisms electrochemistry MALDI spectroscopic data cytotoxic study self-assembled monolayer gold electrode multimodal activity calcium-sensing receptor enantiomer calcimimetic calcilytic colon cancer stereospecificity HT-29 IL-8 inflammation cyclooxygenase 1,2,4-triazole pyridazinone SAR anti-inflammatory activity antioxidant activity ADME anticancer drug antimicrobial peptide (AMP) dermaseptin frog skin peptides LHRH prostate cancer Phyllomedusa bicolor therapeutic peptides copper (II) complexes thiourea cytotoxic activity proteome analysis antimicrobial activity major latex protein Chelidonium majus greater celandine defense-related proteins alkaloids cancer cells vitamin D receptor split luciferase-based biosensor CYP24A1-dependent metabolism CYP27B1 rickets genome editing vitamin D biology and action transcription ChIP-chip analysis distal enhancers histone H3 acetylation RNA polymerase II analogue actions at genes vitamin D hormone (1,25(OH)2D3) latex antiviral proteins antimicrobial compounds cytotoxicity drug discovery CRISPR/Cas9 tetrahydro-β-carbolines Plasmodium falciparum (P. falciparum) antimalarial antiparasitic agents hemolysis vitamin D analogs 25 vitamin D 24-hydroxylase CYP24A1 proliferation high-grade serous ovarian cancer cells gold Au(III) complex colorectal cancer organometallic cancer therapy metallodrugs |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910585938903321 |
Kutner Andrzej | ||
Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|