Results 91 to 100 of about 8,086,442 (367)

Negating as turning upside down

Studies in Logic, Grammar and Rhetoric, 2018
In order to understand negation as such, at least since Aristotle’s time, there have been many ways of conceptually modelling it. In particular, negation has been studied as inconsistency, contradictoriness, falsity, cancellation, an inversion of ...
Skowron Bartłomiej, Kubiś Wiesław
doaj   +1 more source

Type theories in category theory

, 2021
We introduce basic notions in category theory to type theorists, including comprehension categories, categories with attributes, contextual categories, type categories, and categories with families along with additional discussions that are not very closely related to type theories by listing definitions, lemmata (with detailed, diagram-rich proofs ...
openaire   +2 more sources

Category theory of symbolic dynamics

Theoretical Computer Science, 2015
We study the central objects of symbolic dynamics, that is, subshifts and block maps, from the perspective of basic category theory, and present several natural categories with subshifts as objects and block maps as morphisms. Our main goals are to find universal objects in these symbolic categories, to classify their block maps based on their category
Ville Salo, Ilkka Törmä
openaire   +3 more sources

Surfaceome: a new era in the discovery of immune evasion mechanisms of circulating tumor cells

Molecular Oncology, EarlyView.
In the era of immunotherapies, many patients either do not respond or eventually develop resistance. We propose to pave the way for proteomic analysis of surface‐expressed proteins called surfaceome, of circulating tumor cells. This approach seeks to identify immune evasion mechanisms and discover potential therapeutic targets. Circulating tumor cells (
Doryan Masmoudi, Jérome Vialaret, Christophe Hirtz, Catherine Alix‐Panabières   +3 more
wiley   +1 more source

Enriching Laser Powder Bed Fusion Part Data Using Category Theory

Journal of Manufacturing and Materials Processing
Laser powder bed fusion (LPBF) is a promising metal additive manufacturing technology for producing functional components. However, there are still a lot of obstacles to overcome before this technology is considered mature and trustworthy for wider ...
Yuchu Qin, Shubhavardhan Ramadurga Narasimharaju, Qunfen Qi, Shan Lou, Wenhan Zeng, Paul J. Scott, Xiangqian Jiang   +6 more
doaj   +1 more source

Cartesian differential categories revisited [PDF]

, 2012
We revisit the definition of Cartesian differential categories, showing that a slightly more general version is useful for a number of reasons. As one application, we show that these general differential categories are comonadic over Cartesian categories, so that every Cartesian category has an associated cofree differential category.
arxiv   +1 more source

Circulating tumor cells in metastatic breast cancer patients treated with immune checkpoint inhibitors – a biomarker analysis of the ALICE and ICON trials

Molecular Oncology, EarlyView.
In this explorative biomarker analysis, we assessed serial sampling of circulating tumor cells (CTCs) with CellSearch in two randomized trials testing immune checkpoint inhibitors (ICIs) in metastatic breast cancer. Our data demonstrate a prognostic potential of CTCs, most apparent 4 weeks into ICI therapy.
Nikolai Kragøe Andresen, Andreas Hagen Røssevold, Elin Borgen, Cecilie Bendigtsen Schirmer, Bjørnar Gilje, Øystein Garred, Jon Lømo, Marius Stensland, Oddmund Nordgård, Ragnhild Sørum Falk, Randi R. Mathiesen, Hege G. Russnes, Jon Amund Kyte, Bjørn Naume   +13 more
wiley   +1 more source

KRAS and GNAS mutations in cell‐free DNA and in circulating epithelial cells in patients with intraductal papillary mucinous neoplasms—an observational pilot study

Molecular Oncology, EarlyView.
This study demonstrates that KRAS and GNAS mutations are more prevalent in patients with resected intraductal papillary mucinous neoplasms (IPMN) compared to those under clinical surveillance. GNAS mutations significantly differ between the two patient cohorts, indicating that their absence may serve as a potential biomarker to support conservative ...
Christine Nitschke, Marie Tölle, Philipp Walter, Kira Meißner, Mara Goetz, Jolanthe Kropidlowski, Andreas W. Berger, Jakob R. Izbicki, Felix Nickel, Thilo Hackert, Klaus Pantel, Harriet Wikman, Faik G. Uzunoglu   +12 more
wiley   +1 more source

Level-Agnostic Representations of Interacting Agents

Mathematics
The study of the interactions among intentional agents, with rationality being the main source of intentional behavior, requires mathematical tools capable of capturing systemic effects. Here, we choose an alternative toolbox based on Category Theory. We
Fernando Tohmé, Andrés Fioriti
doaj   +1 more source

On‐treatment dynamics of circulating extracellular vesicles in the first‐line setting of patients with advanced non‐small cell lung cancer: the LEXOVE prospective study

Molecular Oncology, EarlyView.
The LEXOVE prospective study evaluated plasma cell‐free extracellular vesicle (cfEV) dynamics using Bradford assay and dynamic light scattering in metastatic non‐small cell lung cancer patients undergoing first‐line treatments, correlating a ∆cfEV < 20% with improved median progression‐free survival in responders versus non‐responders.
Valerio Gristina, Viviana Bazan, Nadia Barraco, Simona Taverna, Mauro Manno, Samuele Raccosta, Anna Paola Carreca, Marco Bono, Tancredi Didier Bazan Russo, Francesco Pepe, Pasquale Pisapia, Lorena Incorvaia, Giuseppe Badalamenti, Giancarlo Troncone, Umberto Malapelle, Daniele Santini, Antonio Russo, Antonio Galvano   +17 more
wiley   +1 more source