Results 71 to 80 of about 1,558,985 (350)

Learning and Reasoning for Robot Sequential Decision Making under Uncertainty

, 2019
Robots frequently face complex tasks that require more than one action, where sequential decision-making (SDM) capabilities become necessary. The key contribution of this work is a robot SDM framework, called LCORPP, that supports the simultaneous ...
Amiri, Saeid, Shirazi, Mohammad Shokrolah, Zhang, Shiqi   +2 more
core   +1 more source

CDK11 inhibition induces cytoplasmic p21WAF1 splice variant by p53 stabilisation and SF3B1 inactivation

Molecular Oncology, EarlyView.
CDK11 inhibition stabilises the tumour suppressor p53 and triggers the production of an alternative p21WAF1 splice variant p21L, through the inactivation of the spliceosomal protein SF3B1. Unlike the canonical p21WAF1 protein, p21L is localised in the cytoplasm and has reduced cell cycle‐blocking activity.
Radovan Krejcir, Lukasz Arcimowicz, Lucia Martinkova, Vaclav Hrabal, Filip Zavadil Kokas, Tomas Henek, Martina Kucerikova, Ondrej Bonczek, Pavlina Zatloukalova, Lenka Hernychova, Philip J. Coates, Borivoj Vojtesek, David P. Lane   +12 more
wiley   +1 more source

Detection of misbehaving individuals in social networks using overlapping communities and machine learning

Journal of King Saud University: Computer and Information Sciences
Detecting misbehavior in social networks is essential for maintaining trust and reliability in online communities. Traditional methods of identification often rely on individual attributes or structural network properties, which may overlook subtle or ...
Wejdan Alshlahy, Delel Rhouma
doaj   +1 more source

A String of Pearls: Proofs of Fermat's Little Theorem

Journal of Formalized Reasoning, 2013
We discuss mechanised proofs of Fermat's Little Theorem in a variety of styles, focusing in particular on an elegant combinatorial ``necklace'' proof that has not been mechanised previously.What is elegant in prose turns out to be long-winded ...
Hing Lun Chan, Michael Norrish
doaj   +1 more source

Reduced vascular leakage correlates with breast carcinoma T regulatory cell infiltration but not with metastatic propensity

Molecular Oncology, EarlyView.
A mouse model for vascular normalization and a human breast cancer cohort were studied to understand the relationship between vascular leakage and tumor immune suppression. For this, endothelial and immune cell RNAseq, staining for vascular function, and immune cell profiling were employed.
Liqun He, Chiara Testini, Neda Hekmati, Altea Bonello, Aglaia Schiza, Emmanuel Nwadozi, Mia Phillipson, Carina Strell, Michael Welsh   +8 more
wiley   +1 more source

Molecular characterisation of human penile carcinoma and generation of paired epithelial primary cell lines

Molecular Oncology, EarlyView.
Generation of two normal and tumour (cancerous) paired human cell lines using an established tissue culture technique and their characterisation is described. Cell lines were characterised at cellular, protein, chromosome and gene expression levels and for HPV status.
Simon Broad, Mahmood Hachim, Tom Bertin, Karolina Penderecka, Rifat Hamoudi, Saif Khan, Rui Henrique, Natalie Bergmoser, Manit Arya, Kalle Sipila, Matteo Vietri Rudan, Asif Muneer, Aamir Ahmed   +12 more
wiley   +1 more source

Using Automated Reasoning Tools in GeoGebra in the Teaching and Learning of Proving in Geometry

The International Journal for Technology in Mathematics Education, 2018
This document introduces, describes and exemplifies the technical features of some recently implemented automated reasoning tools in the dynamic mathematics software GeoGebra.
Z. Kovács, Tomás Jesús Recio Muñiz, M. Vélez   +2 more
semanticscholar   +1 more source

ATF4‐mediated stress response as a therapeutic vulnerability in chordoma

Molecular Oncology, EarlyView.
We screened 5 chordoma cell lines against 100+ inhibitors of epigenetic and metabolic pathways and kinases and identified halofuginone, a tRNA synthetase inhibitor. Mechanistically halofuginone induces an integrated stress response, with eIF2alpha phosphorylation, activation of ATF4 and its target genes CHOP, ASNS, INHBE leading to cell death ...
Lucia Cottone, James Dunford, Eleanor Calcutt, Vicki Gamble, Filiz Senbabaoglu Aksu, Lorena Ligammari, Georgina Wherry, Giorgia Gaeta, John C. Christianson, Adrienne M. Flanagan, Udo Oppermann, Adam P. Cribbs   +11 more
wiley   +1 more source

Semantic-based Automated Reasoning for AWS Access Policies using SMT

Formal Methods in Computer-Aided Design, 2018
Cloud computing provides on-demand access to IT resources via the Internet. Permissions for these resources are defined by expressive access control policies.
John D. Backes, Pauline Bolignano, B. Cook, Catherine Dodge, Andrew Gacek, K. S. Luckow, Neha Rungta, Oksana Tkachuk, C. Varming   +8 more
semanticscholar   +1 more source

Developing evidence‐based, cost‐effective P4 cancer medicine for driving innovation in prevention, therapeutics, patient care and reducing healthcare inequalities

Molecular Oncology, EarlyView.
The cancer problem is increasing globally with projections up to the year 2050 showing unfavourable outcomes in terms of incidence and cancer‐related deaths. The main challenges are prevention, improved therapeutics resulting in increased cure rates and enhanced health‐related quality of life.
Ulrik Ringborg, Joachim von Braun, Julio Celis, Anton Berns, Michael Baumann, Tit Albreht, Nancy Abou‐Zeid, Vanderlei Bagnato, Christian Brandts, Chien‐Jen Chen, Massimiliano di Pietro, Manjit Dosanjh, Thomas Dubois, Alexander Eggermont, Angelika Eggert, Ingemar Ernberg, Sara Faithfull, Johannes Förner, Stefan Fröhling, Manuel Heitor, Leroy Hood, Wei Jiang, Bengt Jönsson, Ravi Kannan, Maria Leptin, Su Li, Peter Lindgren, Douglas Lowy, Jun Ma, Alex Markham, Péter Nagy, Simon Oberst, M. Iqbal Parker, Danielle Rodin, Kevin Ryan, Joachim Schüz, Richard Sullivan, Josep Tabernero, Peter Turkson, Oliver Várhelyi, Harold Varmus, Chijie Wang, Elisabete Weiderpass, Nils Wilking   +43 more
wiley   +1 more source