Zobrazeno 1 - 10
of 26
pro vyhledávání: '"Bar-Sinai, Michael"'
We present Provengo, a comprehensive suite of tools designed to facilitate the implementation of Scenario-Driven Model-Based Testing (SDMBT), an innovative approach that utilizes scenarios to construct a model encompassing the user's perspective and
Externí odkaz:
http://arxiv.org/abs/2308.15938
This paper discusses an internet-based system for enabling people to self-assess their legal rights in a given situation, and a development methodology for such systems. The assessment process is based on a formal model of the relevant jurisprudence,
Externí odkaz:
http://arxiv.org/abs/1910.13518
We describe some progress towards a new common framework for model driven engineering, based on behavioral programming. The tool we have developed unifies almost all of the work done in behavioral programming so far, under a common set of interfaces.
Externí odkaz:
http://arxiv.org/abs/1806.00842
Autor:
Bar-Sinai, Michael
A short overview of various algorithms and technologies that are helpful for big data storage and manipulation. Includes pointers to papers for further reading, and, where applicable, pointers to open source projects implementing a described storage
Externí odkaz:
http://arxiv.org/abs/1506.08978
Autor:
Murphy, Fiona1 (AUTHOR), Bar-Sinai, Michael2 (AUTHOR), Martone, Maryann E.3 (AUTHOR) mmartone@ucsd.edu
Publikováno v:
PLoS ONE. 7/9/2021, Vol. 15 Issue 7, p1-22. 22p.
This white paper is a draft prepared by the NIDDK Information Network (dknet.org) describing our work in evaluating data repositories that do or can host primary data produced by researchers funded by NIDDK. We developed formal instruments to assess
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2b5ffaced4bc4c916ed00034c9a020d4
Fiona Murphy, Michael Bar-Sinai, Maryann E. Martone This directory contains the data collected for this paper, both raw and processed. Content: Raw interview transcripts, produced by PolicyModelsServer (https://github.com/IQSS/DataTaggingServer) AMP-
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::921610252306fc0fd5aa39e545d04617
Autor:
Bar-Sinai, Michael, Weiss, Gera
This is the code appendix for the paper: Bar-SinaiM,Weiss G.Verification of Liveness and Safety Properties of Behavioral Programs Using BPjs. ISoLA2020 Paper Abstract: This paper presents semantics, syntax, and tools for specification and verificatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6509b3cd5ba4960600875628b0cae3f1
Autor:
O'Donnell, Daniel Paul, Kramer, Bianca, Bosman, Jeroen, Tzovaras, Bastian Greshake, Martone, Maryann, Bar-Sinai, Michael, Bruno, Ian, Chapman, Chris, Hagstrom, Stephanie, Jacobs, Nate, Murphy, Fiona
Hier stehe ich! Operationalising conviction in the Scholarly Commons Michael Bar-Sinai, Ian Jeroen Bosman, Utrecht University Ian Bruno, Cambridge Crystallographic Data Centre Chris Chapman, Pentandra Research Solutions Bastian Greshake Tzovaras, Law
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::015c183f0606418cc0bdba70c959cf7a
Poster for PIDapalooza 2018 expressing the connection between the Scholarly Commons and the need for practical, workable methods of using PIDs meaningfully in research workflows.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::534109ce8d5bc729944baf71df94812a