Zoekresultaten - OOXML~

A case series of triplet anti-hormonal therapy in androgen receptor-positive recurrent adult ovarian granulosa cell tumor door Rebekah M. Summey, Janet S. Rader, Michelle Moh, William Bradley, Denise Uyar, Erin Bishop, Lindsey McAlarnen, Elizabeth Hopp

Connect to this object online.

Relationship between fat distribution ratio and blood pressure in obese adolescents door Henny Marina, Dany Hilmanto, Julistio Tb Djais

Connect to this object online.

Effect of animal-sourced bioactive peptides on the in vitro development of mouse preantral follicles door Gang Liu, Shubin Li, Jinyu Ren, Chunyu Wang, Yaxuan Zhang, Xiulan Su, Yanfeng Dai

Connect to this object online.

miR-199a-3p Modulates MTOR and PAK4 Pathways and Inhibits Tumor Growth in a Hepatocellular Carcinoma Transgenic Mouse Model door Elisa Callegari, Lucilla D'Abundo, Paola Guerriero, Carolina Simioni, Bahaeldin K. Elamin, Marta Russo, Alice Cani, Cristian Bassi, Barbara Zagatti, Luciano Giacomelli, Stella Blandamura, Farzaneh Moshiri, Simona Ultimo, Antonio Frassoldati, Giuseppe Altavilla, Laura Gramantieri, Luca Maria Neri, Silvia Sabbioni, Massimo Negrini

Connect to this object online.

miR-370-3p Is a Therapeutic Tool in Anti-glioblastoma Therapy but Is Not an Intratumoral or Cell-free Circulating Biomarker door Arulraj Nadaradjane, Joséphine Briand, Gwenola Bougras-Cartron, Valentine Disdero, François M. Vallette, Jean-Sébastien Frenel, Pierre-François Cartron

Connect to this object online.

An evaluation on antinociceptive effects of eugenol by formalin test in rats door Zarifkar A. Assistant Professor, Skandaryan HMS, Mokhtary M. Assistant Professor, Ay J. Assistant Professor

Connect to this object online.

Exceeding and digital materiality in the classroom door Emanuela Marchetti

Connect to this object online.

Downregulation of decidual SKP2 is associated with human recurrent miscarriage door Shijian Lv, Mei Liu, Lizhen Xu, Cong Zhang

Connect to this object online.

A combined aging and immune prognostic signature predict prognosis and responsiveness to immunotherapy in melanoma door Wenchang Lv, YuanYuan Zhan, Yufang Tan, Yiping Wu, Hongbo Chen

Connect to this object online.

Identification of Key Carcinogenic Genes in Colon Adenocarcinoma door Yangbin Dai, Zhenjian Jiang, Yanru Qiu, Yiping Kang, Huangzhen Xu, Tianwen Xu

Connect to this object online.

Exogenous proline enhances susceptibility of NSCLC to cisplatin via metabolic reprogramming and PLK1-mediated cell cycle arrest door Bingjie Han, Yuanyuan Sun, Xiaofen Zhang, Ping Yue, Meiling Tian, Dan Yan, Fanxiang Yin, Bo Qin, Yi Zhao

Connect to this object online.

Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

Inhoudsopgave: “…Synthesis -- HOLL: Program Synthesis for Higher Order Logic Locking -- The Complexity of LTL Rational Synthesis -- Synthesis of Compact Strategies for Coordination Programs -- ZDD Boolean Synthesis -- Verification -- Comparative Verification of the Digital Library of Mathematical -- Functions and Computer Algebra Systems -- Verifying Fortran Programs with CIVL -- NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems -- Efficient Neural Network Analysis with Sum-of-Infeasibilities -- Blockchain -- Formal Verification of the Ethereum 2.0 Beacon Chain -- Fast and Reliable Formal Verification of Smart Contracts with the Move Prover -- A Max-SMT Superoptimizer for EVM handling Memory and Storage -- Grammatical Inference -- A New Approach for Active Automata Learning Based on Apartness -- Learning Realtime One-Counter Automata -- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic -- and Daniel NeiderLearning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes -- Verification Inference -- Inferring Interval-Valued Floating-Point Preconditions -- NeuReach: Learning Reachability Functions from Simulations -- Quantifier Alternations: Taming the Search Space Explosion -- LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions -- Short papers -- Kmclib: Automated Inference and Verification of Session Types from OCaml Programs -- Automated Translation of Natural Language Requirements to Runtime Monitors -- MaskD: A Tool for Measuring Masking Fault-Tolerance -- Better Counterexamples for Dafny -- Constraint Solving -- cvc5: A Versatile and Industrial-Strength SMT Solver -- Clausal Proofs for Pseudo-Boolean Reasoning -- Moving Definition Variables in Quantified Boolean Formulas -- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic -- Model checking and verification -- Property Directed Reachability for Generalized Petri Nets -- Transition Power Abstractions for Deep Counterexample Detection -- Searching for Ribbon-Shaped Paths in Fair Transition Systems -- CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.…”
Link to Metadata

Nicolas Tournier : Et la peinture caravagesque en Italie, en France et en Espagne door Pascal-François Bertrand

DOAB: download the publication
DOAB: description of the publication

Superposição automatizada de modelos tomográficos tridimensionais em cirurgia ortognática Superimposition of 3D cone-beam CT models in orthognathic surgery door Alexandre Trindade Simões da Motta, Felipe de Assis Ribeiro Carvalho, Ana Emília Figueiredo Oliveira, Lúcia Helena Soares Cevidanes, Marco Antonio de Oliveira Almeida

Connect to this object online.

Clinical pharmacokinetics of AZD3199, an inhaled ultra-long-acting β2-adrenoreceptor agonist (uLABA) door Bjermer L, Kuna P, Jorup C, Bengtsson T, Rosenborg J

Connect to this object online.

Prevalencia de factores de riesgo cardiovascular en una población fumadora que inicia tratamiento para dejar de fumar door César Nehemí Arias Varela, Ricardo Bou Monterde, Josep Maria Ramon Torrell

Connect to this object online.

Evaluating the cost utility of racecadotril for the treatment of acute watery diarrhea in children: the RAWD model door Rautenberg TA, Zerwes U, Foerster D, Aultman R

Connect to this object online.

Neighborhood socioeconomic disadvantage, individual wealth status and patterns of delivery care utilization in Nigeria: a multilevel discrete choice analysis door Aremu O, Lawoko S, Dalal K

Connect to this object online.

Economic and humanistic burden of illness in generalized anxiety disorder: an analysis of patient survey data in Europe door Toghanian S, DiBonaventura M, Järbrink K, Locklear JC

Connect to this object online.

The expression profile of exosomal miRNAs in cervical cancer cells (HeLa) compared to normal cells and evaluating the key genes related to them door Marzieh Naderi Boldaji, Kambiz Ahmadi, Somayeh Reiisi

Connect to this object online.