Results 81 to 90 of about 775,915 (321)
Network protocol scalability via a topological Kadanoff transformation
, 2008 A natural hierarchical framework for network topology abstraction is presented based on an analogy with the Kadanoff transformation and renormalisation group in theoretical physics.
Constantinou, C. C., Stepanenko, A. S.
core +1 more source
Compositional nonblocking verification with always enabled events and selfloop-only events [PDF]
, 2013 This paper proposes to improve compositional nonblocking verification through the use of always enabled and selfloop-only events. Compositional verification involves abstraction to simplify parts of a system during verification.
A Valmari +14 more
core +2 more sources
Molecular Oncology, EarlyView.Clinical trials on PARP inhibitors in urothelial carcinoma (UC) showed limited efficacy and a lack of predictive biomarkers. We propose SLFN5, SLFN11, and OAS1 as UC‐specific response predictors. We suggest Talazoparib as the better PARP inhibitor for UC than Olaparib.
Jutta Schmitz +15 more
wiley +1 more source
Museum & Society, 2019 The exhibition Ahmed Cherkaoui: Entre Modernité et Enracinement, Museum Mohammed VI for Modern and Contemporary Arts (MMVI),Rabat,Morocco, 27.03.2018 - 27.08.2018 was held in a succession of art exhibitions that Museum Mohammed VI has programmed since ...
Zineb Bahji Bahji
doaj +1 more source
Entre critique kantienne et critique marxiste
Recherches Germaniques, 2020 This article highlights the insufficient acknowledgment of Hegel’s philosophy in Sohn-Rethel’s attempt to found a materialist epistemology upon a synthesis of Kant’s theory of knowledge and Marx’s critique of political economy.
Camilla Brenni
doaj +1 more source
Predicate Abstraction with Indexed Predicates [PDF]
, 2004 Predicate abstraction provides a powerful tool for verifying properties of infinite-state systems using a combination of a decision procedure for a subset of first-order logic and symbolic methods originally developed for finite-state model checking.
Bryant, Randal E., Lahiri, Shuvendu K.
core
Injecting Abstract Interpretations into Linear Cost Models
, 2010 We present a semantics based framework for analysing the quantitative behaviour of programs with regard to resource usage. We start from an operational semantics equipped with costs.
Cachera, David, Jobin, Arnaud
core +2 more sources
Molecular Oncology, EarlyView.The LINC01116 long noncoding RNA is induced by hypoxia and associated with poor prognosis and high recurrence rates in two cohorts of lung adenocarcinoma patients. Here, we demonstrate that besides its expression in cancer cells, LINC01116 is markedly expressed in lymphatic endothelial cells of the tumor stroma in which it participates in hypoxia ...
Marine Gautier‐Isola +12 more
wiley +1 more source
Considerações contemporâneas sobre a natureza ética do homem conforme Tomás de Aquino
Franciscanum, 2019 In face of contemporary difficulties in the foundation of ethical thought, mostly due to necessary but extrapolated fractures between nature and subjectivity, knowledge and action, many thinkers are now revisiting the great thomasian synthesis of western
Humberto Schubert Coelho
doaj +1 more source
Was macht es, wo die Kategorien herkommen?
Recherches Germaniques, 2020 In order to understand how Alfred Sohn-Rethel’s proposal differs from Kant’s, the author first develops a plausible version of Sohn-Rethel’s interpretation of the relation between the genesis and validity of categories in Kant’s thought.
Robert Ziegelmann
doaj +1 more source