Bibliographies thématiques / NTS workflows

Sommaire

  1. Articles de revues
  2. Thèses
  3. Livres
  4. Chapitres de livres
  5. Actes de conférences
  6. Rapports d'organisations

Littérature scientifique sur le sujet « NTS workflows »

Auteur : Grafiati
Publié le 2 juin 2025
Mis à jour le 31 juillet 2025

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « NTS workflows ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Articles de revues sur le sujet "NTS workflows"

1

Zweigle, Jonathan, Selina Tisler, Marta Bevilacqua, et al. "Prioritization strategies for non-target screening in environmental samples by chromatography – High-resolution mass spectrometry: A tutorial." Journal of Chromatography A 1751 (June 21, 2025): 465944. https://doi.org/10.1016/j.chroma.2025.465944.

Texte intégral
Résumé :
Non-target screening (NTS) using chromatography coupled to high-resolution mass spectrometry (HRMS), has become fundamental for detecting and prioritizing chemicals of emerging concern (CECs) in complex environmental matrices. The vast number of generated features (<em>m/z</em>, retention time, and intensity) necessitate effective prioritization strategies to identify environmentally and toxicologically relevant CECs. Since compound identification remains a major bottleneck in NTS, prioritization is critical to focus identification efforts where they matter most. This tutorial presents seven p
Styles APA, Harvard, Vancouver, ISO, etc.
2

Panse, Christian, Seema Sharma, Romain Huguet, Dennis Vughs, Jonas Grossmann, and Andrea Mizzi Brunner. "Ultraviolet Photodissociation for Non-Target Screening-Based Identification of Organic Micro-Pollutants in Water Samples." Molecules 25, no. 18 (2020): 4189. http://dx.doi.org/10.3390/molecules25184189.

Texte intégral
Résumé :
Non-target screening (NTS) based on the combination of liquid chromatography coupled to high-resolution mass spectrometry has become the key method to identify organic micro-pollutants (OMPs) in water samples. However, a large number of compounds remains unidentified with current NTS approaches due to poor quality fragmentation spectra generated by suboptimal fragmentation methods. Here, the potential of the alternative fragmentation technique ultraviolet photodissociation (UVPD) to improve identification of OMPs in water samples was investigated. A diverse set of water-relevant OMPs was selec
Styles APA, Harvard, Vancouver, ISO, etc.
3

Liu, Yong Shan, Yan Qing Shen, and Tian Bao Hao. "Research on Reliability Modeling of Cross-Organizational Workflows Based on Hierarchical Colored Petri Nets." Advanced Materials Research 186 (January 2011): 505–9. http://dx.doi.org/10.4028/www.scientific.net/amr.186.505.

Texte intégral
Résumé :
To reduce the complexity of cross-organizational workflow modeling and verification, a reliable modeling method of cross-organizational workflows based on hierarchical colored Petri nets is proposed. At the foundation of discussing formal definitions of global and local workflows, the paper develops reliability modeling constraints of cross-organizational workflows from structure to logic. Under these constraints, a top-down cross-organizational workflow model is built. Those substitution transitions which input places were safe in global workflow are refined by reliable local workflows to gua
Styles APA, Harvard, Vancouver, ISO, etc.
4

Rodríguez, Ricardo J., Rafael Tolosana-Calasanz, and Omer F. Rana. "A Dynamic Data-throttling Approach to Minimize Workflow Imbalance." ACM Transactions on Internet Technology 19, no. 3 (32) (2019): 1–21. https://doi.org/10.1145/3278720.

Texte intégral
Résumé :
Scientific workflows enable scientists to undertake analysis on large datasets and perform complex scientific simulations. These workflows are often mapped onto distributed and parallel computational infrastructures to speed up their executions. Prior to its execution, a workflow structure may suffer transformations to accommodate the computing infrastructures, normally involving task clustering and partitioning. However, these transformations may cause workflow imbalance because of the difference between execution task times (runtime imbalance) or because of unconsidered data dependencies tha
Styles APA, Harvard, Vancouver, ISO, etc.
5

VAN DER AALST, W. M. P. "THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT." Journal of Circuits, Systems and Computers 08, no. 01 (1998): 21–66. http://dx.doi.org/10.1142/s0218126698000043.

Texte intégral
Résumé :
Workflow management promises a new solution to an age-old problem: controlling, monitoring, optimizing and supporting business processes. What is new about workflow management is the explicit representation of the business process logic which allows for computerized support. This paper discusses the use of Petri nets in the context of workflow management. Petri nets are an established tool for modeling and analyzing processes. On the one hand, Petri nets can be used as a design language for the specification of complex workflows. On the other hand, Petri net theory provides for powerful analys
Styles APA, Harvard, Vancouver, ISO, etc.
6

WANG, JIACUN, and DEMIN LI. "RESOURCE ORIENTED WORKFLOW NETS AND WORKFLOW RESOURCE REQUIREMENT ANALYSIS." International Journal of Software Engineering and Knowledge Engineering 23, no. 05 (2013): 677–93. http://dx.doi.org/10.1142/s0218194013400135.

Texte intégral
Résumé :
Petri nets are a powerful formalism in modeling workflows. A workflow determines the flow of work according to pre-defined business process. In many situations, business processes are constrained by scarce resources. The lack of resources can cause contention, the need for some tasks to wait for others to complete, which slows down the accomplishment of larger goals. In our previous work, a resource-constrained workflow model was introduced and a resource requirement analysis approach was developed for emergency response workflows, in which support of on-the-fly workflow change is critical [14
Styles APA, Harvard, Vancouver, ISO, etc.
7

Rábová, Ivana. "Using UML and Petri nets for visualization of business document flow." Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis 60, no. 2 (2012): 299–306. http://dx.doi.org/10.11118/actaun201260020299.

Texte intégral
Résumé :
The article deals with two principles of business workflow modeling, Petri nets and UML notation, that are the acceptable approaches to business modeling and can be used also for business documents workflow. The special type of Petri nets, WF-nets and UML activity diagrams are used in this article and both modeling ways are presented on the concrete business workflow and then there are presented and specified their advantage and disadvantage for business documents flows. At beginning it is explained the word workflow in context business documents, its features, principles and using in business
Styles APA, Harvard, Vancouver, ISO, etc.
8

Veldman, Abigail, Mensiena B. G. Kiewiet, Margaretha Rebecca Heiner-Fokkema, et al. "Towards Next-Generation Sequencing (NGS)-Based Newborn Screening: A Technical Study to Prepare for the Challenges Ahead." International Journal of Neonatal Screening 8, no. 1 (2022): 17. http://dx.doi.org/10.3390/ijns8010017.

Texte intégral
Résumé :
Newborn screening (NBS) aims to identify neonates with severe conditions for whom immediate treatment is required. Currently, a biochemistry-first approach is used to identify these disorders, which are predominantly inherited meta1bolic disorders (IMD). Next-generation sequencing (NGS) is expected to have some advantages over the current approach, for example the ability to detect IMDs that meet all screening criteria but lack an identifiable biochemical footprint. We have now designed a technical study to explore the use of NGS techniques as a first-tier approach in NBS. Here, we describe th
Styles APA, Harvard, Vancouver, ISO, etc.
9

Mans, Ronny, Wil van der Aalst, Nick Russell, Piet Bakker, and Arnold Moleman. "Lightweight Interacting Patient Treatment Processes." International Journal of Knowledge-Based Organizations 2, no. 4 (2012): 1–19. http://dx.doi.org/10.4018/ijkbo.2012100101.

Texte intégral
Résumé :
Processes concerning the diagnosis and treatment of patients cannot be straightjacketed into traditional production-like workflows. They can be best characterized as weakly-connected interacting light-weight workflows where tasks reside at different levels of granularity, and for each individual patient a doctor proceeds in a step-by-step way deciding what next steps be taken. Classical workflow notations fall short in supporting these patient processes as they have been designed to support monolithic processes. Classical notations (WF-nets (work flow nets), BPMN (Business Process Model and No
Styles APA, Harvard, Vancouver, ISO, etc.
10

Zheng, Changyou, Yi Yao, Song Huang, and Zhengping Ren. "Modeling Workflow Systems Constrained by Inputs and Outputs − An Approach Based on Petri Nets." Cybernetics and Information Technologies 15, no. 4 (2015): 27–41. http://dx.doi.org/10.1515/cait-2015-0052.

Texte intégral
Résumé :
Abstract Workflow systems are widely used in our daily life so that the validity, dependability and security with which they need to be assured are important. However, existing researches mainly focus on correctness validation, performance analysis and assignment scheduling, but the testing methods have been seldom suited. In this paper a formalized definition of workflows constrained by an input and output is presented, and based on that, a Petri Net-based model (I/O_WF_Net) is proposed. In I/O_WF_Net, the activities of the workflow can be modeled as transitions of a Petri Net, and the inputs
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Thèses sur le sujet "NTS workflows"

1

Borges, Grace Anne Pontes. "Fluxo de dados em redes de Petri coloridas e em grafos orientados a atores." Universidade de São Paulo, 2008. http://www.teses.usp.br/teses/disponiveis/45/45134/tde-30102008-193432/.

Texte intégral
Résumé :
Há três décadas, os sistemas de informação corporativos eram projetados para apoiar a execução de tarefas pontuais. Atualmente, esses sistemas também precisam gerenciar os fluxos de trabalho (workflows) e processos de negócio de uma organização. Em comunidades científicas de físicos, astrônomos, biólogos, geólogos, entre outras, seus sistemas de informações distinguem-se dos existentes em ambientes corporativos por: tarefas repetitivas (como re-execução de um mesmo experimento), processamento de dados brutos em resultados adequados para publicação; e controle de condução de experimentos em dif
Styles APA, Harvard, Vancouver, ISO, etc.
2

Bride, Hadrien. "Verifying Modal Specifications of Workflow Nets : using Constraint Solving and Reduction Methods." Thesis, Besançon, 2016. http://www.theses.fr/2016BESA2033/document.

Texte intégral
Résumé :
De nos jours, les workflows sont largement utilisés par les entreprises et les organisations en vue d’améliorer l’efficacité organisationnelle, la réactivité et la rentabilité en gérant les tâches et les étapes de processus opérationnels. La vérification des spécifications est devenue obligatoire afin d’assurer que ces processus sont correctement conçus et atteignent le niveau de confiance et de qualité attendu.Dans ce contexte, cette thèse porte sur la vérification de spécifications modales – comportements nécessaires ou recevables impliquant plusieurs activités et leurs causalités – de workf
Styles APA, Harvard, Vancouver, ISO, etc.
3

Wynn, Moe Thandar. "Semantics, verification, and implementation of workflows with cancellation regions and OR-joins." Thesis, Queensland University of Technology, 2006. https://eprints.qut.edu.au/16324/1/Moe_Wynn_Thesis.pdf.

Texte intégral
Résumé :
Workflow systems aim to provide automated support for the conduct of certain business processes. Workflow systems are driven by workflow specifications which among others, capture the execution interdependencies between various activities. These interdependencies are modelled by means of different control flow constructors, e.g., sequence, choice, parallelism and synchronisation. It has been shown in the research on workflow patterns that the support for and the interpretation of various control flow constructs varies substantially across workflow systems. Two of the most problematic patterns
Styles APA, Harvard, Vancouver, ISO, etc.
4

Wynn, Moe Thandar. "Semantics, verification, and implementation of workflows with cancellation regions and OR-joins." Queensland University of Technology, 2006. http://eprints.qut.edu.au/16324/.

Texte intégral
Résumé :
Workflow systems aim to provide automated support for the conduct of certain business processes. Workflow systems are driven by workflow specifications which among others, capture the execution interdependencies between various activities. These interdependencies are modelled by means of different control flow constructors, e.g., sequence, choice, parallelism and synchronisation. It has been shown in the research on workflow patterns that the support for and the interpretation of various control flow constructs varies substantially across workflow systems. Two of the most problematic patterns
Styles APA, Harvard, Vancouver, ISO, etc.
5

Salimifard, Khodakaram. "Modelling and performance evaluation of workflows using timed hierarchical Petri nets." Thesis, Lancaster University, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.418850.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Šich, Jan. "Analýza využití workflow produktů." Master's thesis, Vysoká škola ekonomická v Praze, 2012. http://www.nusl.cz/ntk/nusl-162668.

Texte intégral
Résumé :
The thesis is focused on workflow processes and systems for their design and management. It tries to show readers more familiar way with the nature of these systems and features that should support. It tries to accomplish three goals. The first goal is to determine the criteria by which you can judge the quality of workflow management system. These criteria must be sorted by the importance of specific situations, which are designed weighting of the criteria and technique for their calculation. The second goal of this work is the selection of appropriate tools for testing and subsequent practic
Styles APA, Harvard, Vancouver, ISO, etc.
7

Řihák, Jakub. "Automatizace digitalizačního workflow NTK." Master's thesis, Vysoká škola ekonomická v Praze, 2013. http://www.nusl.cz/ntk/nusl-197845.

Texte intégral
Résumé :
This diploma thesis is focused on the automatization of digitization workflow in the National Library of Technology, Prague, Czech Republic. This thesis examines possibilities of digitization processes automatization by means of scripts written in Perl programming language and Apache Ant build tool. The advantages and disadvantages of both solutions are analyzed as well as their suitability for automatization of digitization workflow. Based on the comparison of both solutions, the scripts in Perl programming language are selected as the most suitable solution for automatization of digitization
Styles APA, Harvard, Vancouver, ISO, etc.
8

Cattelan, Massimiliano Gianni. "Development of a NGS workflow for diagnostic applications in oncology." Doctoral thesis, Università degli studi di Padova, 2018. http://hdl.handle.net/11577/3421843.

Texte intégral
Résumé :
The Ph.D. research work is an integral part of a Horizon 2020 project, called HERCULES project (CompreHEnsive chaRacterisation and effeCtive combinatorial targeting of high-grade seroUs ovarian cancer via singLE-cell analysiS). The topics of the Horizon 2020 project are to comprehensively characterize high grade serous ovarian cancer (HGS-OvCa) by integrating and modeling clinical and biological data (e.g., genetics, transcriptomics, protein binding, drug screens) from primary, metastatic and relapsed tumors from various anatomical sites of HGS-OvCa patients, and establish combinatorial treat
Styles APA, Harvard, Vancouver, ISO, etc.
9

Mates, Vojtěch. "Dotazem řízené kontextově orientované workflow." Doctoral thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2016. http://www.nusl.cz/ntk/nusl-412572.

Texte intégral
Résumé :
Tato práce pojednává o návrhu architektury systému pro řízení podnikových procesů, který je schopen reagovat i na měnící se kontext již běžících procesů. Architektura systému je navržena tak, aby systém byl schopen měnit jednotlivé fragmenty procesů dle aktuálního kontextu. Tímto zajišťuje i řízení přeplánování procesu, při čemž využívá k rozhodování optimální varianty historická data po řízená vlastním během systému.
Styles APA, Harvard, Vancouver, ISO, etc.
10

Horáková, Eva. "Analýza workflow ve vybrané organizaci." Master's thesis, Vysoká škola ekonomická v Praze, 2015. http://www.nusl.cz/ntk/nusl-264268.

Texte intégral
Résumé :
The final thesis is focused on the topic of process management and its development in time. Business Process Management and workflow, are described in the thesis as well as its specification and classification. The paper compares these two concepts. The thesis also works with the methodology of ARIS and Balanced Scorecard which are applied in the selected process of the organization. The process is built on the BPMN notation which is also described in the thesis. The aim of the thesis is to examine and to analyze selected process of the organization with specific methodology, to specify potent
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Livres sur le sujet "NTS workflows"

1

Han, Yanbo. Software infrastructure for configurable workflow systems: A model-driven approach based on higher order object nets and CORBA. Wissenschaft und Technik, 1997.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Workflow: Uma Tecnologia para Transformação do Conhecimento nas Org. 2nd ed. Insular, 2001.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.

Chapitres de livres sur le sujet "NTS workflows"

1

Rabbi, Fazle, Hao Wang, and Wendy MacCaull. "Compensable WorkFlow Nets." In Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-16901-4_10.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

van der Aalst, W., and M. van de Graaf. "Workflow Systems." In Petri Nets for Systems Engineering. Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-662-05324-9_26.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Aalst, W. M. P. "Verification of workflow nets." In Application and Theory of Petri Nets 1997. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63139-9_48.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

Acu, Baver, and Wolfgang Reisig. "Compensation in Workflow Nets." In Petri Nets and Other Models of Concurrency - ICATPN 2006. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11767589_5.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Esparza, Javier, Martin Leucker, and Maximilian Schlund. "Learning Workflow Petri Nets." In Applications and Theory of Petri Nets. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-13675-7_13.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Hofman, Piotr, Filip Mazowiecki, and Philip Offtermatt. "Fast Termination and Workflow Nets." In Computer Aided Verification. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-37706-8_7.

Texte intégral
Résumé :
AbstractPetri nets are an established model of concurrency. A Petri net is terminating if for every initial marking there is a uniform bound on the length of all possible runs. Recent work on the termination of Petri nets suggests that, in general, practical models should terminate fast, i.e. in polynomial time. In this paper we focus on the termination of workflow nets, an established variant of Petri nets used for modelling business processes. We partially confirm the intuition on fast termination by showing a dichotomy: workflow nets are either non-terminating or they terminate in linear ti
Styles APA, Harvard, Vancouver, ISO, etc.
7

Pan, Yan, Yong Tang, Hui Ma, and Na Tang. "Workflow Analysis Based on Fuzzy Temporal Workflow Nets." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11686699_55.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Knorr, Konstantin. "WWW Workflows Based on Petri Nets." In Contemporary Trends in Systems Development. Springer US, 2001. http://dx.doi.org/10.1007/978-1-4615-1341-4_28.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Paakbua, Wanwisa, and Wiwat Vatanawood. "Transforming YAWL Workflows into Petri Nets." In Applied Computing and Information Technology. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-25217-5_12.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

Karniel, Arie, and Yoram Reich. "Process Modeling Using Workflow-Nets." In Managing the Dynamics of New Product Development Processes. Springer London, 2011. http://dx.doi.org/10.1007/978-0-85729-570-5_6.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "NTS workflows"

1

Sousa, Victor F. de, Cristina Boeres, and Daniel Oliveira. "Spark-SGreedy: Um Algoritmo de Escalonamento de Workflows Intensivos em Dados no Framework Apache Spark." In VI Escola Regional de Alto Desempenho do Rio de Janeiro. Sociedade Brasileira de Computação - SBC, 2020. http://dx.doi.org/10.5753/eradrj.2020.14518.

Texte intégral
Résumé :
Nos últimos anos, o Apache Spark vem sendo utilizado como framework para execução de experimentos científicos modelados como workflows. Por mais que represente um avanço, o Spark não foi projetado para gerenciar execuções de aplicações científicas, e seu escalonamento não considera estimativas de consumo de recursos pelas atividades do workflow. Esse artigo apresenta o Spark-SGreedy, uma proposta de algoritmo de escalonamento de workflows no Spark que usa dados de proveniência (histórico) para analisar a previsão de consumo de recursos das atividades do workflow e escaloná-las de acordo com ta
Styles APA, Harvard, Vancouver, ISO, etc.
2

Tiplea, F. L., and G. I. Macovei. "Timed workflow nets." In Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05). IEEE, 2005. http://dx.doi.org/10.1109/synasc.2005.75.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Passos, Lígia Maria Soares, Tarcísio Abadio de Magalhães Júnior, Marcelo de Almeida Maia, and Stéphane Julia. "Verification of Workflow Specifications in UML Using Automated Transformations to WF-nets." In Simpósio Brasileiro de Sistemas de Informação. Sociedade Brasileira de Computação, 2013. http://dx.doi.org/10.5753/sbsi.2013.5731.

Texte intégral
Résumé :
This article proposes the transformation of UML Activity Diagrams that models workflow processes into WF-nets (WorkFlow nets). The transformation is automated using the ATL transformation language, well-known in the model-driven development context. This transformation enables the verification of the soundness property for workflows using linear logic proofs in WF-net specifications. The generated proof trees also help finding possible causes for unsound diagrams. An illustrative case study is presented to demonstrate the approach effectiveness. The results from this paper could motivate the t
Styles APA, Harvard, Vancouver, ISO, etc.
4

Tiplea, Ferucio, and Geanina Macovei. "E-timed Workflow Nets." In 2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE, 2006. http://dx.doi.org/10.1109/synasc.2006.33.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Tiplea, F. L., and A. Tiplea. "Instantiating nets and their applications to workflow nets." In Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05). IEEE, 2005. http://dx.doi.org/10.1109/synasc.2005.39.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Busi, Nadia, and G. Pinna. "Characterizing Workflow Nets Using Regions." In 2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE, 2006. http://dx.doi.org/10.1109/synasc.2006.21.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Llorens, Marisa, and Javier Oliver. "Marked-Controlled Reconfigurable Workflow Nets." In 2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE, 2006. http://dx.doi.org/10.1109/synasc.2006.49.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

de Oliveira, Guilherme Willian, Stephane Julia, and Ligia Maria Soares Passos. "Game modeling using WorkFlow nets." In 2011 IEEE International Conference on Systems, Man and Cybernetics - SMC. IEEE, 2011. http://dx.doi.org/10.1109/icsmc.2011.6083757.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Blondin, Michael, Alain Finkel, Piotr Hofman, Filip Mazowiecki, and Philip Offtermatt. "Soundness of reset workflow nets." In LICS '24: 39th Annual ACM/IEEE Symposium on Logic in Computer Science. ACM, 2024. http://dx.doi.org/10.1145/3661814.3662086.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

"Resource Workflow Nets: A Petri Net Formalism for Workflow Modelling." In The 5th International Workshop on Modelling, Simulation,Verification and Validation of Enterprise Information Systems. SciTePress - Science and and Technology Publications, 2007. http://dx.doi.org/10.5220/0002421000110020.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.

Rapports d'organisations sur le sujet "NTS workflows"

1

Mamonov, Aleksndr, Skule Strand, Tina Puntervold, and Ivan Dario Pinerez Torrijos. Smart Water flooding: Part 1: Laboratory workflow for screening EOR potential. University of Stavanger, 2021. http://dx.doi.org/10.31265/usps.199.

Texte intégral
Résumé :
This report aims to provide guidance on the type of analyses to be performed to screen Smart Water EOR potential for various Crude Oil-Brine-Rock (COBR) systems. The objective of the report is to highlight the most important screening parameters and provide recommendations for laboratory tests. The recommended methodological approach is based on practical and fundamental knowledge gained during the lifetime of the National IOR Centre of Norway. The document describes the main steps of the Smart Water EOR workflow with a simplified description of the experimental procedures. These guidelines ca
Styles APA, Harvard, Vancouver, ISO, etc.
2

Stavland, Arne, Siv Marie Åsen, Arild Lohne, Olav Aursjø, and Aksel Hiorth. Recommended polymer workflow: Lab (cm and m scale). University of Stavanger, 2021. http://dx.doi.org/10.31265/usps.201.

Texte intégral
Résumé :
Polymer flooding is one of the most promising EOR methods (Smalley et al. 2018). It is well known and has been used successfully (Pye 1964; Standnes &amp; Skjevrak 2014; Sheng et al. 2015). From a technical perspective we recommend that polymer flooding should be considered as a viable EOR method on the Norwegian Continental Shelf for the following reasons: 1. More oil can be produced with less water injected; this is particularly important for the NCS which are currently producing more water than oil 2. Polymers will increase the aerial sweep and improve the ultimate recovery, provided a prop
Styles APA, Harvard, Vancouver, ISO, etc.
3

Pasupuleti, Murali Krishna. Decentralized Creativity: AI-Infused Blockchain for Secure and Transparent Digital Innovation. National Education Services, 2025. https://doi.org/10.62311/nesx/rrvi125.

Texte intégral
Résumé :
Abstract The convergence of artificial intelligence (AI) and blockchain technology is transforming the creative economy by enabling secure, transparent, and decentralized innovation in digital content creation, intellectual property management, and monetization. Traditional creative industries are often constrained by centralized platforms, opaque copyright enforcement, and unfair revenue distribution, which limit the autonomy and financial benefits of creators. By leveraging blockchain’s immutable ledger, smart contracts, and non-fungible tokens (NFTs), digital assets can be authenticated, to
Styles APA, Harvard, Vancouver, ISO, etc.
Vous pouvez également être intéressé par les bibliographies sur le sujet « NTS workflows » pour d’autres types de sources :
Articles de revues Thèses
Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!

Vers la bibliographie