Filters








3,044,359 Hits in 4.9 sec

Assigning Types to Processes

Nobuko Yoshida, Matthew Hennessy
2002 Information and Computation  
Processes may be assigned different types depending on their intended use.  ...  This is in contrast to most of the previous work on typing processes where all processes are typed by a unique constant type, indicating essentially that they are well-typed relative to a particular environment  ...  In particular they do not address the issue of assigning fine-grained types to processes.  ... 
doi:10.1006/inco.2002.3113 fatcat:u6k35qxshzeyrjtbffcqkvjylq

ADAPT-NMR 3.0: utilization of BEST-type triple-resonance NMR experiments to accelerate the process of data collection and assignment

Hesam Dashti, Marco Tonelli, John L. Markley
2015 Journal of Biomolecular NMR  
ADAPT-NMR (Assignment-directed Data collection Algorithm utilizing a Probabilistic Toolkit in NMR) is a software package whose Bayesian core uses on-the-fly chemical shift assignments to guide data acquisition  ...  acquiring and processing data from tilted-plane versions of conventional sensitivity-enhanced experiments.  ...  (v3.0) that gives the user the option to use BEST-type data collection for backbone experiments.  ... 
doi:10.1007/s10858-015-9950-7 pmid:26021595 pmcid:PMC4687732 fatcat:ozm66vh66zcvxemkf3dmpihnje

Assigning types to processes

N. Yoshida, M. Hennessy
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332)  
Processes may be assigned different types depending on their intended use.  ...  This is in contrast to most of the previous work on typing processes where all processes are typed by a unique constant type, indicating essentially that they are well-typed relative to a particular environment  ...  In particular they do not address the issue of assigning fine-grained types to processes.  ... 
doi:10.1109/lics.2000.855782 dblp:conf/lics/YoshidaH00 fatcat:vffumy6gjrbzrguzfdukmf54dy

Integrating computer-aided modeling and micro-simulation in multi-criteria evaluation of service infrastructure assignment approaches

Alfonso Duran, Isabel Garcia, Miguel Gutierrez
2013 Journal of Industrial Engineering and Management  
Purpose: This paper proposes an integrated computer-supported multi-staged approach to the flexible design and multicriteria evaluation of service infrastructure assignment processes/ algorithms.  ...  processes. -796-Journal of Industrial Originality/value: The proposed approach facilitates, in a multicriteria environment, the flexible modeling/design of situation-specific assignment processes/algorithms  ...  An infrastructure assignment process model defines how a particular type of infrastructure is assigned to one of its potential uses.  ... 
doi:10.3926/jiem.551 fatcat:r3gbrts2mrhp5dh3vm6yomikie

Using transitivity Analysis to Reveal the Nature of Characters in Louisa May Alcott's Little Women

Noah Napare Emayakre
2021 EAST AFRICAN JOURNAL OF EDUCATION AND SOCIAL SCIENCES  
The main components are Participant, Circumstance and Process but the focus of analysis was on process type. The process types assigned to each character was countered and tabulated percentage wise.  ...  The study established that transitivity analysis could be used to analyze or reveal the nature of characters in a story depending on the type of processes assigned to those characters in the story.  ...  233 process types in the story but no major character was assigned to the existential process.  ... 
doi:10.46606/eajess2021v02i04.0139 fatcat:p5tmmr7wy5do3gjyshztwyw2vm

On Solving Large-Size Generalized Cell Formation Problems via a Hard Computing Approach Using the PMP

Youkyung Won
2020 Applied Sciences  
We show that the hard computing approach using the PMP-type model can even solve large 0–1 GCF instances optimally in a very short computation time with a powerful mixed integer linear programming (MILP  ...  recent advances in computing technology, using hard computing techniques to solve large-sized GCF problems optimally is not time-prohibitive if an appropriate mathematical model is built.  ...  Acknowledgments: The author deeply appreciates the valuable comments and suggestions of three anonymous reviewers who led to the improvement of the earlier manuscript.  ... 
doi:10.3390/app10103478 fatcat:s3wl5z2tujaidmkilkc4djy2vq

Page 82 of Journal of Research and Practice in Information Technology Vol. 13, Issue 3 [page]

1981 Journal of Research and Practice in Information Technology  
DATA STRUCTURES (a) INPUT-TO-ASSIGNER type input-to-assigner = record pgn : program-global-name; pig : process-interaction-graph; rncost: array [1 ..  ...  Processes Interacting with Assigner (a) CONFIGURATOR. The configurator process prepares input for the assigner in the data-structure input-to-assigner. (b) LOAD-RECORDER.  ... 

A Framework to Support the Assignment of the Active Structure and Behavior in Business Process Modeling

Romulo H. Arpini, Joao Paulo A. Almeida
2014 2014 IEEE 16th Conference on Business Informatics  
This paper aims to overcome these limitations by proposing a framework for active structure assignment that can be applied to existing enterprise architecture and business process modeling approaches.  ...  We show the application of this general framework to BPMN. Business Process Modeling, Organizational Modeling, Behavior, Active Structure, Assignment Framework, BPMN. I.  ...  As we can see, the behavioral metamodel covers the behavioral aspects at type level, defining the types of processes and activities that will be instantiated at process run-time.  ... 
doi:10.1109/cbi.2014.44 dblp:conf/wecwis/ArpiniA14 fatcat:dbj4jn2ti5hxndfksgocdfnm5m

Task Assignment Optimization in Photoanalysis Process: Comparative Analysis of Semi-Automated and Manual Task Management

Uladzislau YANCH, Łukasz WIECHETEK
2019 DEStech Transactions on Computer Science and Engineering  
This can be achieved using IT tools that allow to optimize tasks assignment and course of processes.  ...  In today's competitive environment, enterprises strive to maintain high efficiency and quality of their business processes.  ...  PESBAT task assignment -results Method Month Type A Type B Type C Sum of st.  ... 
doi:10.12783/dtcse/optim2018/27944 fatcat:6ut76wh52bfx7kkxdxw7v7zzr4

Lot-size scheduling of two types of jobs on identical machines

Marcus Pattloch, Günter Schmidt
1996 Discrete Applied Mathematics  
The optimality criterion is changeover cost which OCCLII if different types of jobs are processed in sequence. Only unit cost are to be considered.  ...  For two job types. an efficient algorithm is presented considering only tight schedules: if more job types have to be considered the problem becomes NP-hard. K~.~L.  ...  Acknowledgements Thanks go to two anonymous referees and Jiirg Meyer for their suggestions to improve the quality of the paper.  ... 
doi:10.1016/0166-218x(95)00044-r fatcat:4v2jxhjgjrdmfmvzzpa6xofauq

Overcoming an obstacle in expanding a UMLS semantic type extent

Yan Chen, Huanying Gu, Yehoshua Perl, James Geller
2012 Journal of Biomedical Informatics  
this semantic type assignment.  ...  The algorithmic discovery of concepts that are likely missing a semantic type assignment is possible even in the face of obstacles, without an explosion in the number of processed concepts.  ...  Each Pure Semantic Type corresponds to one ST from the SN and is assigned to concepts that were only assigned this one ST in the UMLS.  ... 
doi:10.1016/j.jbi.2011.08.021 pmid:21925287 pmcid:PMC3272131 fatcat:qzkmpbsz7rcrflxkw447mxu7fi

Time constrained modulo scheduling with global resource sharing

Christoph Jäschke, Friedrich Beckmann, Rainer Laur
1999 Proceedings of the conference on Design, automation and test in Europe - DATE '99  
This results in the usage of at least one resource per operation type and process.  ...  This allows the use of less than one resource per operation type and process, while keeping the mutual independence of the involved processes.  ...  Let be the set of all resource types globally assigned to the process . Periodicity of a global resource type A global resource type is assigned to a process group.  ... 
doi:10.1145/307418.307491 fatcat:dnsczkazmrgcxiql77rkajwgii

Business process models and entity life cycles

Giorgio Bruno
2019 International Journal of Information Systems and Project Management  
Process models are complemented by information models that show the attributes and relationships of the entity types handled by the processes.  ...  This paper presents the ELBA notation whose purpose is to integrate those different visions by leveraging the dataflow.  ...  State "Proposal, assigned" is added to the process model and task assign is connected to it with a dashed arc so as to emphasize that it is a hidden state made visible.  ... 
doi:10.12821/ijispm070304 doaj:4225a9a87e194c82a68b4914ec9f7862 fatcat:c5dw3liwgrgwrd4ygsn2tpxzum

دور الناتج اللغوى فى کتابات مختارة للمصريين من متعلمي اللغة الانجليزية کلغة أجنبية: دراسة معجمية

هبة عونى
2021 بحوث  
A series of assignments are used to analyze the progress or withdrawal in students' linguistic performance in writing.  ...  Hence, this paper focuses on how the process of the students modifying their own outputs can contribute to the language acquisition process.  ...  To explore the extent to which students' output can contribute to the SLA process. 2.  ... 
doi:10.21608/buhuth.2021.64669.1071 fatcat:arn7fyhhdrbpjos2lslgnvkbgi

A network flow model of group technology

L.R. Foulds, K. Neumann
2003 Mathematical and computer modelling  
This involves (i) assigning parts to individual machines, and (ii) forming machines into cells. These two activities have traditionally been carried out separately.  ...  However, most solution procedures for (i) above utilize a solution to (ii), and vice versa. Here we present a unified approach that deals with (i) and (ii) simultaneously.  ...  FORMATION OF FAMILIES OF PARTS AND THEIR ASSIGNMENTS TO CELLS OF MACHINE TYPES Assume that n parts, numbered 1,2,. . . , n are processed on m machine types Mr, Mz, . . , Mm, which are to be grouped into  ... 
doi:10.1016/s0895-7177(03)90032-x fatcat:ysrcwipnknbnbfpeslnz7whkxa
« Previous Showing results 1 — 15 out of 3,044,359 results