1,735,940 research outputs found
The Research Software Alliance (ReSA) and the community landscape
No full textThe Research Software Alliance (ReSA)’s mission is to bring research software communities together to collaborate on the advancement of research software. ReSA has formed taskforces and one of them revolves around a software landscape analysis aiming to answer the question "How can we identify the different communities and topics of interest for the research software community (e.g., preservation, RSEs, citation, productivity, sustainability)?"
Here we include text describing the work of the taskforce to date (see 2020-03-11-ReSA-landscape.md), as well as plans for the future, and an invitation to readers to contribute to the ReSA list of research software communities. We are a;sp including the current version of the list in a CSV file (see 2020-03-11-ReSA-landscape.csv ), and we welcome contributions on the live spreadsheet that can be found via this link
Bibliographic review: Women and the legal professions, by Josefa Dolores Ruis Resa (ed.)
Full text linkBibliography Section. -- Ruiz Resa, Josefa Dolores (ed.), Women and the Legal Professions, -- Madrid, Dykinson, 2020.Fil: Ruiz Resa, Josefa Dolores. Universidad de Granada. Facultad de Derecho. Cátedra Filosofía del Derecho. Granada, EspañaSección Bibliografías. -- Ruiz Resa, Josefa Dolores (coord.), Las mujeres y las profesiones jurídicas, -- Madrid, Dykinson, 2020
Resa von Schirnhofer, «Del hombre Nietzsche»
No full textTranslation of the correspondence between Resa von Schirnhofer and F. Nietzsche.Traducción de la correspondencia entre Resa von Schirnhofer y F. Nietzsche
Anteckningar under en resa till Ostindien åren 1782-1786
Full text linkInnehåller: Anteckningar under en ekonomisk resa till Tyskland, Nederländerna och Paris 1799-1800 / P. J. Bladh, utg. af joir. - Anteckningar under en resa till Ostindien åren 1782-1786 / C. F. Hornstedt, utg. af E. L
ReSA People Roadmap Report
No full textThe Research Software Alliance (ReSA) has created this People Roadmap activity to facilitate identification of opportunities for accelerating efforts to address major issues related to people (or personnel) challenges faced by the research software community. This recognises the evolution of a range of research and software areas, including 1) the rise of open science (which includes open software), 2) increased understanding of the need for advanced digital skills in the research community (including research software engineering (RSE)), and 3) the development of the RSE movement to recognise and support the Research Software Engineers (RSEs) who are involved in supporting software that is widely used, by researchers worldwide, This People Roadmap aims to increase community understanding of how to create an environment where research software personnel are recognised, have appropriate skill sets and access to inclusive communities, within policy and infrastructure environments that support their work. Significant cultural change is needed in the research sector in order to nurture highly skilled personnel and ensure recognition of their work
ReSA Tool: Structured Requirements Specification and SAT-based Consistency-checking
Full text linkMost industrial embedded systems requirements are specified in natural language, hence they can sometimes be ambiguous and error-prone. Moreover, employing an early-stage model-based incremental system development using multiple levels of abstraction, for instance via architectural languages such as EAST-ADL, calls for different granularity requirements specifications described with abstraction-specific concepts that reflect the respective abstraction level effectively. In this paper, we propose a toolchain for structured requirements specification in the ReSA language, which scales to multiple EAST-ADL levels of abstraction. Furthermore, we introduce a consistency function that is seamlessly integrated into the specification toolchain, for the automatic analysis of requirements logical consistency prior to their temporal logic formalization for full formal verification. The consistency check subsumes two parts: (i) transforming ReSA requirements specification into boolean expressions, and (ii) checking the consistency of the resulting boolean expressions by solving the satisfiability of their conjunction with the Z3 SMT solver. For validation, we apply the ReSA toolchain on an industrial vehicle speed control system, namely the Adjustable Speed Limiter.</p
Lakon Banjaran Resa Putra
Full text linkAbstractThis work is the result of research on an East Javanese wayang character, which has never been performed. This character is named Resa Putra. Although it has never been staged, Resa Putra is quite popular among the East Java puppeteer community. This work aims to present a puppet performance with the Resa Putra character. This work tells the story of Resa Putra’s character from birth to death, therefore it is entitled Banjaran Resa Putra. This work was created with reference to the theory of sambung rapet-greget saut. The method used in creating this work is data collection with interview techniques. The preparation of the script begins with the selection of characters, then exploration of characters and stories, evaluation of sanggit, then describes the entire performance in detail. This work is an East Javanese style puppet performance and is intended to convey the value of karma in the lives of Javanese people.AbstrakKarya ini merupakan hasil penelitian terhadap satu tokoh wayang Jawa Timuran, yang tidak pernah dipentaskan. Tokoh ini bernama Resa Putra. Meskipun tidak pernah dipentaskan, tetapi Resa Putra cukup populer di kalangan masyarakat pedalangan Jawa Timuran. Karya ini bertujuan menghadirkan satu lakon dengan tokoh Resa Putra tersebut. Karya ini mengisahkan tokoh Resa Putra sejak lahir hingga mati, oleh karena itu diberi judul Banjaran Resa Putra. Karya ini diciptakan dengan mengacu pada teori sambung rapet-greget saut. Metode yang digunakan dalam menciptakan karya ini ialah pengumpulan data dengan teknik wawancara. Penyusunan naskah dimulai dengan pemilihan tokoh, lalu eksplorasi tokoh dan cerita, evaluasi sanggit, kemudian mendeskripsikan seluruh pertunjukan secara terperinci. Karya ini merupakan pergelaran wayang gagrak Jawa Timuran dan dimaksudkan untuk menyampaikan nilai karma dalam kehidupan masyarakat Jawa
Banjaran Resa Putra
Full text linkKarya ini menceritakan perjalanan hidup Bambang Resa Putra dari mulai lahir sampai dengan mati. Dalam perjalanan hidupnya Bambang Resa Putra telah melakukan suatu perbuatan yang disebut Sapa Nandur Ngundhuh. Dimana dirinya telah membunuh Prabu Dasawalikrama sewaktu memperebutkan Dewi Sumaliwati. Sehingga kelak dikemudian hari dirinya dibunuh oleh menantunya sendiri bernama Raden Narasuma. Peristiwa tersebut juga tidak terlepas dari seseorang yang nitis pada diri Bambang Resa Putra serta Prabu Dasawalikrama dan juga Raden Narasuma. Orang tersebut adalah Subali dan Sugriwa. Subali yang sedang nitis pada bambang Resa Putra telah membunuh Prabu Dasawalikrama titisan Sugriwa. Maka sewaktu Sugriwa nitis pada Raden Narasuma dirinya membunuh Bambang Resa Putra. Dalam karya ini tak hanya Bambang Resa Putra saja yang memulai perbuatan Nandur Ngundhuh, namun Subali juga menerima perbuatan yang telah ia lakukan. Diceritakan sewaktu Subali masih hidup dirinya membunuh Prabu Petak Banjaran. Sehingga Prabu Petak Banjaran menyumpah bahwa kelak dirinya akan nitis pada 111 seseorang yang memiliki penyakit kulit seperti Prabu Petak Banjaran, yaitu Bambang Resa Putra. Dengan adanya korelasi itulah konsep Sapa Nandur Ngundhuh dapat tertuang dalam karya “Banjaran Resa Putra” ini
- …
