164,811 research outputs found
L'oeuvre de Rodin /
No full textPlates at end of text are reproductions of photographs of Rodin's sculptures. Frontispiece shows bust of Rodin by J.-A.-J. Falguière.Mode of access: Internet
Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B
No full textEvent-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined in this paper is aimed at applying Event-B and Rodin to a flash-based filestore. Refinement is a useful mechanism that allows developers to sharpen models step by step. Two uses of refinement, feature augmentation and structural refinement, were employed in our development. Event decomposition and machine decomposition are structural refinement techniques on which we focus in this work. We present an outline of a verified refinement chain for the flash filestore. We also outline evidence of the applicability of the method and tool together with some guidelines
The Rodin Formal Modelling Tool
No full textWe present a software tool, the Rodin tool, for formal modelling in Event-B. Event-B is a notation and method developed from the B-Method and is intended to be used with an incremental style of modelling. The idea of incremental modelling has been taken from programming: modern programming languages come with integrated development environments that make it easy to modify and improve programs. The Rodin tool provides such an environment for Event-B. The two main characteristics of the Rodin tool are its ease of use and its extensibility. The tool focuses on modelling. It is easy to modify models and try out variations of a model. The tool can also be extended easily. This will make it possible to adapt the tool specific needs. So the tool can be adapted to fit into existing development processes instead demanding the opposite. We believe that these two characteristics are major points for industrial uptake
Morphometrics confirm taxonomic deflation in dwarf lemurs (Primates: Cheirogaleidae), as suggested by genetics
No full textFigure 2. Allometric and non-allometric craniodental characters in Cheirogaleus. (A) Palatal length (PALL), (B) temporal line (TpLi), and (C) second premolar height (P2), given in mm, are scaled against the greatest skull length (GSKL) for Cheirogaleus medius, Cheirogaleus adipicaudatus, Cheirogaleus major, Cheirogaleus ravus, Cheirogaleus sibreei, and unknown specimens, as assessed by Groves (2000).Published as part of Groeneveld, Linn F., Rasoloarison, Rodin M. & Kappeler, Peter M., 2011, Morphometrics confirm taxonomic deflation in dwarf lemurs (Primates: Cheirogaleidae), as suggested by genetics, pp. 229-244 in Zoological Journal of the Linnean Society 161 (1) on page 235, DOI: 10.1111/j.1096-3642.2010.00634.x, http://zenodo.org/record/575625
Practical Theory Extension in Event-B
No full textAbstract. The Rodin tool for Event-B supports formal modelling and proof using a mathematical language that is based on predicate logic and set theory. Although Rodin has in-built support for a rich set of operators and proof rules, for some application areas there may be a need to extend the set of operators and proof rules supported by the tool. This paper outlines a new feature of the Rodin tool, the theory component, that allows users to extend the mathematical language supported by the tool. Using theories, Rodin users may define new data types and polymorphic operators in a systematic and practical way. Theories also allow users to extend the proof capabilities of Rodin by defining new proof rules that get incorporated into the proof mechanisms. Soundness of new definitions and rules is provided through validity proof obligations.
Obraz Karpat w powieści Józefa Symeona Boguckiego "Rodin, czyli duch na drodze pokuty"
No full textThe image of the Carpathians in Józef Symeon Bogucki’s novel Rodin, czyli duch na drodze pokutyThe article analyses the image of the Carpathians in Józef Symeon Bogucki’s novel Rodin, czyli duch na drodze pokuty [Rodin or the Penitent Spirit] 1846. The first of the eight volumes of the work presents the story of the protagonists travelling from Kraków to the Tatra peaks and to Kalwaria Zebrzydowska. The novel was part of a trend, increasingly popular at the time, of writing about the mountains, although the author himself probably did not manage to visit the areas he described, having spent most of his life in Warsaw.In addition to analysing the descriptions of the mountain areas, the author of the present article tries to trace the sources of Józef Symeon Bogucki’s inspiration. It is highly likely that Bogucki may have got his information from Wspomnienia z Wenecyi, kolei żelaznej lipnicko-wiedeńskiej, Wiednia, Karpat Wadowickich, Frankfurtu nad Menem i przelotu z Krakowa do Tatr spiskich by Ludwik Pietrusiński, memoirs published a year before the premiere of Rodin.The image of the Carpathians in Józef Symeon Bogucki’s novel Rodin, czyli duch na drodze pokutyThe article analyses the image of the Carpathians in Józef Symeon Bogucki’s novel Rodin, czyli duch na drodze pokuty [Rodin or the Penitent Spirit] 1846. The first of the eight volumes of the work presents the story of the protagonists travelling from Kraków to the Tatra peaks and to Kalwaria Zebrzydowska. The novel was part of a trend, increasingly popular at the time, of writing about the mountains, although the author himself probably did not manage to visit the areas he described, having spent most of his life in Warsaw.In addition to analysing the descriptions of the mountain areas, the author of the present article tries to trace the sources of Józef Symeon Bogucki’s inspiration. It is highly likely that Bogucki may have got his information from Wspomnienia z Wenecyi, kolei żelaznej lipnicko-wiedeńskiej, Wiednia, Karpat Wadowickich, Frankfurtu nad Menem i przelotu z Krakowa do Tatr spiskich by Ludwik Pietrusiński, memoirs published a year before the premiere of Rodin
Shared Event Composition/Decomposition in Event-B
No full textThe construction of specifications is often a combination of smaller sub-components. Composition and decomposition are techniques that support reuse and allow us to formally combine sub-components through refinement steps while reusing their properties. Sub-components can result from a design or architectural goal and a refinement framework should allow further parallel development over the sub-components. We propose the definition of composition and decomposition in the Event-B formalism following a shared event approach where sub-components interact via synchronisation over shared events and shared states are not allow. We define the necessary proof obligations to ensure a valid composition or decomposition. We also show that shared event composition preserves refinement proofs for sub-components, that is, in order to maintain refinement of compositions, it is sufficient to prove refinement between corresponding subcomponents. A case study applying these two techniques is illustrated using Rodin, the Event-B toolset
[catalog] Rodin Beuys /
No full text"Next to Wilhelm Lehmbruck, Auguste Rodin was among the sculptors that Joseph Beuys, up to his death in 1986, most highly prized. Beuys became aware of the great sculptor as early as 1950 when he read the monograph by Rainer Maria Rilke on Rodin's work, which provided him with crucial aesthetic impulses. Beuys' early drawings show thematic and conceptual connections to Rodin's watercolors and drawings. For instance, both artists refer back to ancient mythology, e.g., in their female figures, which they paint on paper in coats of glaze. But also the lines of tradition that Auguste Rodin passed on by way of Wilhelm Lehmbruck were taken up by Beuys, such as his interest in the artistic possibilities of the torso." "The complex relation to the work of Auguste Rodin can be followed in the book's comprehensive section showing works by Rodin, Lehmbruck and Beuys."--Jacket.Includes bibliographical references and index.Plates I : Rodin 1878-1900 : Beuys 1946-1953 -- Rodin -- Lehmbruck -- Beuys / Pamela Kort -- Plates II : Lehmbruck 1910-1918 -- Antiapotheoses : Rodin's "Assemblage with the heads of the Burghers of Calais" from the perspective of the young Beuys / Claude Keisch -- Plates III : Rodin 1896-1900 -- Beuys and Rodin : La Faunesse, audicious images of women, and "everyone is an artist" / J. Adolf Schmoll gen. Eisenwerth -- Plates IV : Beuys 1953-1956 -- Why do some of the women Joseph Beuys depicts show their genitalia so prominently? / Dieter Koepplin -- Plates V : Beuys 1956-1957 : photographs Rodin 1893-1904 -- Photography in the dissemination of Rodin's works to the press and in exhibitions / Helene Pinet -- Plates VI : Rodin 1901-1910 : Beuys 1958-1985 -- Auguste Rodin : a chronology of his reception in Germany 1930-1950 / Josephine Gabler."Next to Wilhelm Lehmbruck, Auguste Rodin was among the sculptors that Joseph Beuys, up to his death in 1986, most highly prized. Beuys became aware of the great sculptor as early as 1950 when he read the monograph by Rainer Maria Rilke on Rodin's work, which provided him with crucial aesthetic impulses. Beuys' early drawings show thematic and conceptual connections to Rodin's watercolors and drawings. For instance, both artists refer back to ancient mythology, e.g., in their female figures, which they paint on paper in coats of glaze. But also the lines of tradition that Auguste Rodin passed on by way of Wilhelm Lehmbruck were taken up by Beuys, such as his interest in the artistic possibilities of the torso." "The complex relation to the work of Auguste Rodin can be followed in the book's comprehensive section showing works by Rodin, Lehmbruck and Beuys."--Jacket.De Smet, Chanta
- …
