Results 31 to 40 of about 22,638,529 (319)
"DARI-ANASTASIA-OLGA-THE RESURRECTED": THE IMAGE OF "IVAN SHMELEV'S GIRL" [PDF]
Проблемы исторической поэтики, 2013 The attempts to build the typology of Shmelev's female images have been repeatedly made by researchers. However, we think that the author in his works and correspondence, relying on classic literature and questioning it at the same time, shapes his own ...
Evgeniya Alexandrovna Korshunova
doaj +1 more source
Electronic Proceedings in Theoretical Computer Science, 2010 The BioAmbients calculus is a process algebra suitable for representing compartmentalization, molecular localization and movements between compartments. In this paper we enrich this calculus with a static type system classifying each ambient with group types specifying the kind of compartments in which the ambient can stay. The type system ensures that,
CAPECCHI, SARA, TROINA, ANGELO
openaire +7 more sources
Software & Systems Modeling, 2007 Where object-oriented languages deal with objects as described by classes, model-driven development uses models, as graphs of interconnected objects, described by metamodels. A number of new languages have been and continue to be developed for this modelbased paradigm, both for model transformation and for general programming using models.
Steel, Jim, Jézéquel, Jean-Marc
openaire +7 more sources
A Type Language for Calendars [PDF]
, 2005 Time and calendars play an important role in databases, on the Semantic Web, as well as in mobile computing. Temporal data and calendars require (specific) modeling and processing tools.
Bry, François +2 more
core +2 more sources
Session Types as Generic Process Types [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 In Proceedings EXPRESS/SOS 2014, arXiv:1408 ...
Gay, Simon J. +2 more
openaire +9 more sources
, 2016 A new acylated and triterpenoidal saponin, named GS1, was isolated from the roots of Gypsophila arrostii Guss. On the basis of acid hydrolysis, comprehensive spectroscopic analyses and comparison with spectral data of known compounds, its structure was ...
Arslan, I
core +2 more sources
A Takayama-type extension theorem
, 2006 We prove a theorem on the extension of holomorphic sections of powers of adjoint bundles from submanifolds of complex codimension 1 having non-trivial normal bundle. The first such result, due to Takayama, considers the case where the canonical bundle is
Varolin, Dror
core +1 more source
, 2009 Extending a given language with new dedicated features is a general and quite used approach to make the programming language more adapted to problems. Being closer to the application, this leads to less programming flaws and easier maintenance.
Kirchner, Claude +2 more
core +6 more sources
Clinical Epidemiology and Global Health, 2023 Introduction: The sexual and reproductive health issues of adolescents are one of the most under discussed subject in many rural and remote areas in India including Andaman and Nicobar islands.
Nikita Yadav, Deepak Kumar
doaj
Український журнал серцево-судинної хірургії, 2020 Treatment of acute aortic dissection is determined by the Stanford classification which classifies all cases as type A requiring emergency surgery, and type B managed with antihypertensive therapy, and, more recently, endovascular aneurysm repair.
L. Kulyk +5 more
doaj +1 more source