Results 41 to 50 of about 2,236,160 (324)
ROSA Analyser: An automatized approach to analyse processes of ROSA
, 2012 In this work we present the first version of ROSA Analyser, a tool designed to get closer to a fully automatic process of analysing the behaviour of a system specified as a process of the Markovian Process Algebra ROSA.
Pardo, Raúl, Pelayo, Fernando L.
core +2 more sources
Equivalence of the ellipticity conditions for geometric variational problems
, 2020 We exploit the so called atomic condition, recently defined by De Philippis, De Rosa, and Ghiraldin in [Comm. Pure Appl. Math.] and proved to be necessary and sufficient for the validity of the anisotropic counterpart of the Allard rectifiability theorem.
De Rosa, Antonio, Kolasiński, Sławomir
core +1 more source
Generalized geometry of two-dimensional vacua [PDF]
, 2014 We derive the conditions for unbroken supersymmetry for a Mink_2, (2,0) vacuum, arising from Type II supergravity on a compact eight-dimensional manifold M_8.
Rosa, Dario
core +2 more sources
Physiological responses of garden roses to hot and humid conditions
Horticultural Science, 2019 Garden roses do not grow well under hot and humid conditions. The objective of this study was to investigate the physiological responses of 'Marie Curie' and 'Lapjau' to high temperatures and relative humidity. The study included temperatures of 25/18°C (
Lijuan Xie, Hua Zhang, Deying Li
doaj +1 more source
Rosa roja - Rosa águila: simplesmente Rosa Luxemburgo
Perspectiva, 2010 Rosa Luxemburgo foi uma revolucionária integral em sua produção teórica e na ação. Internacionalista, foi comunista na ação e de pensamento participativo, se dedicou a defender os interesses da classe trabalhadora, preocupada pela liberdade, a democracia, o desenvolvimento pleno e o antiburocratismo. Distinguiu-se por não aceitar fórmulas tradicionais,
openaire +3 more sources
Rosa reversa W. Kit.,Rosa Simkovicsii, Rosa Holikensis [PDF]
Österreichische botanische Zeitschrift, 1884 Cyanus, maculosa Lam. und paniculata Lam. Einige Papilionaceen, so Trifolium pratense, montanum, repens, Medicago lupulina und Coronilla varia. Yon Labiaten bemerkt man: Teuerium Ghamaedris L., Pru nella vulgaris, Stachys recta, Lamium album und purpureum, Gli nopodium vulgare, Thymus pannonicus All. und Origanum vulgare.
openaire +1 more source
Multidimensional Profiling of MRI‐Negative Temporal Lobe Epilepsy Uncovers Distinct Phenotypes
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Although hippocampal sclerosis (TLE‐HS) represents the most frequent cause of temporal lobe epilepsy (TLE), up to 30% of patients show no lesion on visual MRI inspection (TLE‐MRIneg). These cases pose diagnostic and therapeutic challenges and are underrepresented in surgical series.
Alice Ballerini +28 more
wiley +1 more source
Optimization of charge and multiplication layers of 20‐Gbps InGaAs/InAlAs avalanche photodiode
ETRI Journal, 2021 We calculated the correlation between the doping concentration of the charge layer and the multiplication layer for separate absorption, grading, charge, and multiplication InGaAs/InAlAs avalanche photodiodes (APDs).
Jae‐Sik Sim +4 more
doaj +1 more source
Implementation of ROSA radio occultation data handling into EUMETSAT and GRAS SAF processing [PDF]
, 2012 Within this contribution, outcomes from a GRAS - SAF Visiting Scientist activity focused on the analysis of ROSA data quality for their use in operational weather forecasting will be described and main results will be shown.
Andrea, Y. +7 more
core
Advanced Functional Materials, EarlyView.This review evaluates strategies for electrochemical CO2 reduction to ethylene, focusing on copper‐based catalyst design and microenvironment modulation to achieve industrial‐grade performance. By leveraging operando synchrotron‐based characterizations, we provide a multiscale understanding of dynamic structural transformations and key reaction ...
Meng Zhang, Zuolong Chen, Yimin A. Wu
wiley +1 more source