Results 11 to 20 of about 250,477 (263)
Experience with mural in formalising Dust-Expert [PDF]
, 2001 The mural system was an outcome of a significant effort to develop a support tool for the effective use of a full formal methods development cycle. Experience with it, however, has been limited to a small number of illustrative examples that have been ...
Huang, MLL, Meziane, F, Vadera, S
core +1 more source
Artistic manifestations as a mean of connection to the world outside the cloister: mural paintings in the Monastery of São Bento de Cástris [PDF]
, 2016 S. Bento de Cástris Monastery was the first extramural monastic community in the town of Évora and the first Cistercian female community in southern Portugal. In the 16th century, as in other monasteries, its regular life underwent an intense reformation,
Conde, Antónia Fialho
core +1 more source
No evidence for an early seventeenth-century Indian sighting of Keplers supernova (SN1604) [PDF]
, 2012 In a recent paper Sule et al. (Astronomical Notes, vol. 332 (2011), 655) argued that an early 17th-century Indian mural of the constellation Sagittarius with a dragon-headed tail indicated that the bright supernova of 1604 was also sighted by Indian ...
van Gent, Robert H.
core +1 more source
, 2004 Pla general, del mural ceràmic que decora una de les parets del vestíbul de la Facultat de Química de la UB.
Departament de Patrimoni Arquitectònic Històric Artístic
core +1 more source
Proof by analogy in mural [PDF]
, 1995 One of the most important advantages of using a formal method of developing software is that one can prove that development steps are correct with respect to their specification. Conducting proofs by hand, however,can be time consuming to the extent
J. C. Munyer +6 more
core +3 more sources
, 2016 Various forms of street art, such as murals, anamorphic painting or urban interventions, become an important component of urban space. The paper examines examples of selected works of urban art in the context of space and its reception. These unexpected “
Gralińska-Toborek, Agnieszka
core +1 more source
Encountering violence: terrorism and horrorism in war and citizenship [PDF]
, 2014 This article introduces Adriana Cavarero's concept of “horrorism” into International Relations (IR) discussions of the relationship between war and citizenship.
Bennett +21 more
core +1 more source
Endothelial Wnt/β-catenin signaling inhibits glioma angiogenesis and normalizes tumor blood vessels by inducing PDGF-B expression [PDF]
, 2012 Endothelial Wnt/β-catenin signaling is necessary for angiogenesis of the central nervous system and blood–brain barrier (BBB) differentiation, but its relevance for glioma vascularization is unknown. In this study, we show that doxycycline-dependent Wnt1
Abramsson +79 more
core +1 more source
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 +8 more
wiley +1 more source