Filters








1,057 Hits in 12.2 sec

Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual [chapter]

Natalia Sidorova, Christian Stahl, Nikola Trčka
2010 Lecture Notes in Computer Science  
It is desirable that correctness properties of the conceptual workflow would be transferrable to its refinements.  ...  In this paper, we present classical workflow nets extended with data operations as a conceptual workflow model. For these nets we develop a novel technique to verify soundness.  ...  abstractions to cope with the complexity of data, as it is done in [16, 11, 12] for WS-BPEL processes-the data is still underdefined, abstract, in the models we consider.  ... 
doi:10.1007/978-3-642-13094-6_40 fatcat:2ozwn5326ndgxeh3qqh4yz6gkm

Principles for data analysis workflows [article]

Sara Stoudt, Valeri N. Vasquez, Ciera C. Martinez
2020 arXiv   pre-print
In this paper, we elaborate basic principles of a reproducible data analysis workflow by defining three phases: the Exploratory, Refinement, and Polishing Phases.  ...  Where relevant, we draw analogies between principles for data-intensive research workflows and established practice in software development.  ...  Sloan Foundation (2013-10-27) as part of the Moore-Sloan Data Science Environments. CCM holds a Postdoctoral Enrichment Program Award from the Burroughs Wellcome Fund.  ... 
arXiv:2007.08708v1 fatcat:voyn755cmffvdlwiloqdm36n3u

Bayesian workflow for disease transmission modeling in Stan

Léo Grinsztajn, Elizaveta Semenova, Charles C. Margossian, Julien Riou
2021 Statistics in Medicine  
Bayesian modeling provides a principled way to quantify uncertainty and incorporate both data and prior knowledge into the model estimates.  ...  This tutorial shows how to build, fit, and criticize disease transmission models in Stan, and should be useful to researchers interested in modeling the severe acute respiratory syndrome coronavirus 2  ...  CONFLICT OF INTEREST The authors declare no conflict of interests. AUTHOR CONTRIBUTIONS L.G., E.S., C.C.M., and J.R. conceived this tutorial and wrote the article.  ... 
doi:10.1002/sim.9164 pmid:34494686 pmcid:PMC8661657 fatcat:7u3mhkvehnhmriuhxh5m74ob44

Dynamically Evolvable Dependable Software: From Oxymoron to Reality [chapter]

Carlo Ghezzi, Paola Inverardi, Carlo Montangero
2008 Lecture Notes in Computer Science  
We discuss the lessons learned from the state of the art and practice exemplified by our approaches and outline the directions of possible future research.  ...  We analyze the main motivations that lead to the present need for supporting continuous software evolution, and discuss some of the reasons for change requirements.  ...  Ghezzi is partially supported by the EU projects SeCSE and PLASTIC and by the Italian FIRB project ART DECO. P. Inverardi is partially supported by the EU project PLASTIC. C.  ... 
doi:10.1007/978-3-540-68679-8_21 fatcat:xl25dtnkaje25jfr5kz76vsv6e

Multi-paradigm modelling for cyber–physical systems: a descriptive framework

Moussa Amrani, Dominique Blouin, Robert Heinrich, Arend Rensink, Hans Vangheluwe, Andreas Wortmann
2021 Journal of Software and Systems Modeling  
This is illustrated informally by means of two example paradigms commonly used in CPS: Discrete Event Dynamic Systems and Synchronous Data Flow.  ...  The purpose of the Descriptive Framework presented in this paper is to serve as a basis to reason about these formalisms, workflows, and their combinations.  ...  Acknowledgements Moussa Amrani was funded by the Walloon  ... 
doi:10.1007/s10270-021-00876-z fatcat:t3qxjickmrc4fivk2zjsrdsxmy

Bayesian workflow for disease transmission modeling in Stan [article]

Léo Grinsztajn, Elizaveta Semenova, Charles C. Margossian, Julien Riou
2021 arXiv   pre-print
Bayesian modeling provides a principled way to quantify uncertainty and incorporate both data and prior knowledge into the model estimates.  ...  This tutorial shows how to build, fit, and criticize disease transmission models in Stan, and should be useful to researchers interested in modeling the SARS-CoV-2 pandemic and other infectious diseases  ...  Of these, the most serious is the presence of divergent transitions as it really challenges the validity of the inference, and requires revisiting the model or tweaking the inference settings.  ... 
arXiv:2006.02985v3 fatcat:2zbc6k46zjgx3lfiu6w76wd4ru

A Repeatable Collaboration Process for Exploring Business Process Improvement Alternatives

Mercy Amiyo, Josephine Nabukenya, Henk G. Sol
2012 2012 45th Hawaii International Conference on System Sciences  
If the data distribution is not correct, the original process model is revisited and a selected task that has none of the other selected tasks as (in)direct successor is marked.  ...  sound and has a correct data distribution.  ...  In this step, we focus on the selection of a process part in such a way that the application of a redesign operation results in a correct process model.  ... 
doi:10.1109/hicss.2012.77 dblp:conf/hicss/AmiyoNS12 fatcat:bhhndm5zmjexjnf364hmenboau

EDITtoTrEMBL: a distributed approach to high-quality automated protein sequence annotation

S Moller, U Leser, W Fleischmann, R Apweiler
1999 Bioinformatics  
Many databases in molecular biology face the problem that the ever increasing rate of data production can no longer be handled by traditional methods, especially human curation.  ...  We have implemented a prototype and use it in the production of TrEMBL releases. Availability: Upon request.  ...  Acknowledgements This work was in part supported by EMBO fellowship no. ALTF ASTF, the German Science Foundation, grant no. GRK 316, and the European Commission, grant no. B104-CT97-2099.  ... 
doi:10.1093/bioinformatics/15.3.219 pmid:10222409 fatcat:lzlhxxltybbitovlwzpjdra3cu

Process Integration [chapter]

Lachlan Aldred
2009 Modern Business Process Automation  
Conceptual holes exist in a range of technologies and languages for process integration and this can lead to customer dissatisfaction and failure to bring integration projects to reach their potential.  ...  This has led to arbitrariness in the underlying language building blocks.  ...  The tuition in scientific techniques and the endless effort in perfecting the ideas are all appreciated.  ... 
doi:10.1007/978-3-642-03121-2_19 fatcat:4m7pco7va5awtpoia2fb7b3qau

The Roles and Modes of Human Interactions with Automated Machine Learning Systems [article]

Thanh Tung Khuat, David Jacob Kedziora, Bogdan Gabrys
2022 arXiv   pre-print
Additionally, to rigorously gauge the future of HCI, we contemplate how AutoML may manifest in effectively open-ended environments.  ...  To consider these questions, we project existing literature in HCI into the space of AutoML; this connection has, to date, largely been unexplored.  ...  Specifically, while incoming data can be automatically validated [255] , it should be corrected in real-time with inspection by users.  ... 
arXiv:2205.04139v1 fatcat:kfo3oybsjvfs5gjyt2j3dbaali

Is there a reality in Industrial Augmented Reality?

Pierre Fite-Georgel
2011 2011 10th IEEE International Symposium on Mixed and Augmented Reality  
In the spirit of the seminal article from Brooks [13] that survey the field of Virtual Reality to evaluate its level of applicability, we study the readiness of Industrial Augmented Reality (IAR).  ...  We organized the different applications of AR over the life-cycle of products, in order to draw some parallel between the different proposed concepts and to offer a clear taxonomy for future applications  ...  Frahm for letting me finish it and financing the trip to ISMAR, and H. Fuchs for his time, enthusiasm and patience to  ... 
doi:10.1109/ismar.2011.6092387 dblp:conf/ismar/Georgel11 fatcat:ux6xndnlsjetxm2wwesrcsxlnu

Is there a reality in Industrial Augmented Reality?

Pierre Fite-Georgel
2011 2011 10th IEEE International Symposium on Mixed and Augmented Reality  
In the spirit of the seminal article from Brooks [13] that survey the field of Virtual Reality to evaluate its level of applicability, we study the readiness of Industrial Augmented Reality (IAR).  ...  We organized the different applications of AR over the life-cycle of products, in order to draw some parallel between the different proposed concepts and to offer a clear taxonomy for future applications  ...  Frahm for letting me finish it and financing the trip to ISMAR, and H. Fuchs for his time, enthusiasm and patience to  ... 
doi:10.1109/ismar.2011.6162889 fatcat:f55t3ujnwzew3maw7wiyjkn5sa

Atmospheric Conditioning: Airport Automation, Labour and the COVID‐19 Pandemic

Weiqiang Lin
2021 Transactions of the Institute of British Geographers  
It thinks through how the adoption of automation is mediated by the conditioning effects of atmospheres in space.  ...  Drawing on 40 semi-structured interviews conducted with airport labour in Singapore in 2020 at the height of the COVID-19 pandemic, the paper offers an analysis of how airport workers variously and viscerally  ...  He would also like to thank Sharon Cheong for her field research assistance, and members of the NUS Social and Cultural Geography Research Group for their critical feedback on an earlier draft of the paper  ... 
doi:10.1111/tran.12499 pmid:34908575 pmcid:PMC8661656 fatcat:yhwralgfurcqjfefxqo2devp4y

Careflow: Theory and Practice [chapter]

John Fox, Robert Dunlop
2008 Lecture Notes in Computer Science  
In this presentation we shall review different ways of describing the processes of delivering patient care, and relate these to traditional workflow in business processes, and the concept of "careflow"  ...  The adoption of clinical workflow technology will greatly benefit from the availability of appropriate languages for declaratively representing processes of care.  ...  Acknowledgements We wish to thank the anonymous reviewers for their many helpful suggestions.  ... 
doi:10.1007/978-3-540-78238-4_32 fatcat:h7cfytvcsvgfznyyc7caea555e

Final Report --- Always Already Computational: Collections as Data [article]

Thomas Padilla, Laurie Allen, Hannah Frost, Sarah Potvin, Elizabeth Russey Roke, Stewart Varner
2019 Zenodo  
This publication is part of the Collections as Data Framework hosted at https://osf.io/mx6uk/.  ...  With funding from the Institute of Museum and Library Services, Always Already Computational held two national forums, organized multiple workshops, shared project outcomes in disciplinary and professional  ...  Acknowledgements The project team would like to acknowledge the Institute of Museum and Library Services, whose support made this project possible.  ... 
doi:10.5281/zenodo.3152934 fatcat:4plw2tw3tzha3bt6qwvhrqcyrq
« Previous Showing results 1 — 15 out of 1,057 results