a framework for foxes and hedgehogs

... built as shown in Figure 4 In this case, the initial state called i and ǫ −transitions from i to the initial states of N(s) and N(t) are added to the automaton After that, it adds a final state called ... called the alphabet of M, and • q0 ∈Q is the initial state. Traces A trace σ of an LTS M is a sequence of observable actions that M can perform starting at its initial state Definition 2 (Trace) ... sequence diagram in an xmi file The result data is an array of Fragment or Message sorted by the time of execution and an array of life line Algorithm 1: Analyze sequence diagram messageList add to...

Ngày tải lên: 23/01/2021, 18:42

... supports organizational self-assessment and improvement and(2) provides a standard against which an external evaluation of anorganization can be conducted ITIM offers organizations a roadmap for improving ... achieved in a variety of ways For example, an organization can create aseparate improvement program, employ external assistance and support, or use it as a managerial support tool Regardless of ... softwareapplications to locate and correlate relevant data in a data warehousepermits organizations to discover unknown fiscal or physical resourcerelationships and thus provide appropriate assistance...

Ngày tải lên: 23/03/2014, 05:22

... extraction.</p> Abstract PAZAR is an open-access and open-source database of transcription factor and regulatory sequence annotation with associated web interface and programming tools for data submission and ... or GFF format data for importation into the database Database content Each data collection within PAZAR is called a project and is identified by a project ID, a project name, a status and a list ... software application, which provides an integrated graphic development interface and tools for automatic SQL script generation and data exchange The wide array of PAZAR hostable datasets contains...

Ngày tải lên: 14/08/2014, 08:20

... (MIN) and a closed system called PHOLD as the benchmarks. First, we validate each measurement tool that analyzes the performance at a single layer. The results are validated against analytical results. ... measure time and space performance at the physical system layer (Πprob and Mprob). First, we validate the SPaDES/Java simulator that is used to measure Πprob and Mprob. We run the SPaDES/Java ... The SPaDES/Java supports a sequential simulation and a parallel simulation based on the CMB protocol with demand-driven optimization [BAIN88]. The SPaDES/Java is used to simulate a simulation...

Ngày tải lên: 16/09/2015, 17:12

... performance (event rate) of a Time Warp protocol These tools can also be used to support the incremental benchmark methodology [BARR95] Jha and Bagrodia characterized simulation performance as a ... modeling and parallelism strategies However, analyzing simulation performance is a complex task because it depends on many interwoven factors [FERS97] In this chapter, we propose a framework for characterizing ... complicates performance comparison across layers because the time units used at different layers are different An additional process is therefore necessary to allow performance comparison across layers...

Ngày tải lên: 16/09/2015, 17:12

... and q are comparable However, q and s are Trang 6incomparable Further, r covers q and q covers p, but r does not cover p (although p and r are comparable) In this thesis, we use Hasse diagram ... a 13 12 a 10 10 a Trang 13Figure 2.5: Mapping between Physical System and Simulation Model Lamport defined happened before partial order and total order [LAMP78] He proved that both orders are ... can be arranged totally such that every two distinct elements are comparable For example, given S = {a, b, c} and R = {(a, b), (b, c), (a, c)}, the order R is a total order An order “less than”...

Ngày tải lên: 16/09/2015, 17:12

... the Total Airport and Airspace Model (TAAM) [BODO03]. TAAM is a large air traffic simulation for aviation analysis. They noted that it is not practical to run TAAM using sequential simulation. ... these approaches based on Jain’s classification, i.e., measurement, analytical, and simulation [JAIN91]. 1.3.1 Measurement Approach The measurement approach evaluates the performance of a simulation ... performance bounds [XU01, SONG01, NICO02]. 1.3.3 Simulation Approach Ferscha et al. stated that the analytical approach fails to achieve satisfactory accuracy due to: (i) unrealistic and inadequate...

Ngày tải lên: 16/09/2015, 17:12

... emotional analysis rather than in classification The performance of classification is measured by the average of 10-folds cross validation Results are showed in Table Table The performance of classification ... model and the result indicates that our framework can be used in real disasters A Framework for Retrieving and Summarizing Actionable Tweets 75 For future works, we plan to first improve the performance ... interesting aspect is that our data is sparse after pre-processing while ME is a suitable approach to deal with sparse data We not use hashtags, emoticons, or retweets because these features are usually...

Ngày tải lên: 16/12/2017, 13:15

... built as shown in Figure 4 In this case, the initial state called i and ǫ −transitions from i to the initial states of N(s) and N(t) are added to the automaton After that, it adds a final state called ... called the alphabet of M, and • q0 ∈Q is the initial state. Traces A trace σ of an LTS M is a sequence of observable actions that M can perform starting at its initial state Definition 2 (Trace) ... sequence diagram in an xmi file The result data is an array of Fragment or Message sorted by the time of execution and an array of life line Algorithm 1: Analyze sequence diagram messageList add to...

Ngày tải lên: 29/01/2020, 23:17

... University of Oxford, and the author of articles on uncertainty and ambiguity Marc Potters Head of Research at Capital Fund Management, and co-author of Theory of Financial Risk and Derivative Pricing ... relevance of several classical axioms for understanding the real world The classical ergodic axiom that assumes that the future is known and can be calculated as the statistical shadow of the past ... prices at which liquid assets can sell in a free market for at any future date can vary dramatically and R I S K A N D U N C E RTA I N T Y 25 almost instantaneously A worst-case scenario is that...

Ngày tải lên: 03/11/2014, 17:00

... event-construals (and conceptual metaphors): evaluation (Tony Blair is evaluated positively) and what I would call dramatisation (the event is construed as a 15 BATTLE) Both may be used to attract particular ... evaluation are stance and appraisal) Dramatisation, on the other hand, is simply concerned with ‚making things more dramatic‛, i.e making aspects of the world appear more excited, impressive, and sensational ... Those that are unsignalled, are ambivalent (Fairclough 1988: 131) and not allow readers to distinguish clearly between averalls and attributions On examining the transcript (http://image.guardian.co.uk/sysfiles/Politics/documents/2003/09/02/September1AM.pdf)...

Ngày tải lên: 07/03/2014, 17:20

... analysis, data are arranged in a two-way structure; a table or a matrix A typical example is a table in which each row corresponds to a sample and each column to the absorbance at a particular ... original variable, but rather a set of variables In certain software programs and in certain algorithms, data are rearranged to a matrix for computational reasons This should be seen more as a practical ... psychometrics and related areas for a long time As such CANDECOMP and PARAFAC are identical and thus in this context the theory of CANDECOMP does not add much to the use of PARAFAC PMF3: Paatero (1994) has...

Ngày tải lên: 31/03/2014, 22:20

... a focus on parallel computation using Chapters and 6-9 or a year course using Chapters 1-9 This text is not meant to replace traditional texts on numerical analysis, matrix algebra and partial ... United States of America Printed on acid-free paper © 2004 by Chapman & Hall/CRC Computational Mathematics: Models, Methods and Analysis with MATLAB and MPI R E White Department of Mathematics North ... COMPUTATIONAL MATHEMATICS Models, Methods, and Analysis with MATLAB and MPI ROBERT E WHITE CHAPMAN & HALL/CRC A CRC Press Company Boca Raton London New York Washington, D.C © 2004 by Chapman & Hall/CRC...

Ngày tải lên: 08/04/2014, 10:01

... historical reasons—deformable contours and deformable images have been around for quite a while and are actively used in many applications Also, these algorithms present a natural entrance to ... location and simultaneously estimate pose parameters (i.e., scale, translation, and other linear transformations) and identify a full instantiation of the model The details of this approach are ... binary variables, given a particular deformation rather than the gray-level values The material in chapter draws primarily from the work in Petrocelli, Elion, and Manbeck (1992) and from Geman and...

Ngày tải lên: 31/05/2014, 23:23

... Approach to Platform Optimization using HMM 291 Rahul Khanna, Huaping Liu and Mariette Awad 225 Preface Hidden Markov Models (HMMs), although known for decades, have made a big career nowadays ... 1922) was a Russian mathematician He is best known for his work on the theory of stochastic Markov processes His research area later became known as Markov process and Markov chains Andrey Andreyevich ... Generalised Architecture of an operating Hidden Markov Model Each shape represents a random variable that can adopt any of a number of values The random variable s(t) is the hidden state at time...

Ngày tải lên: 29/06/2014, 13:20

... Additional file 1) or other readily available software packages Non-linear function parameters that have biological meaning are more advantageous for statistical parameterization of such equations ... flexible and can fit asymmetric growth patterns as well as increasing and decreasing growth, as shown in the MTS volume example The H2 function has the same number of parameters as H1 and can fit asymmetric ... P(t0) = P0 and γ > 0, where stands for hyperbolic tangent function, M is the carrying capacity, and β and γ are parameters As in the H1 model, parameter β has to be positive for increasing growth...

Ngày tải lên: 13/08/2014, 22:22

... Medaka as a vertebrate model 1.4.1 General introduction Medaka is a small, egg-laying freshwater fish native to Asia that is found primarily in Japan, Korea and eastern China In Japanese medaka ... pathways: the Ras/MAPK pathway, PI3 kinase/Akt pathway, and the PLCγ/Ca2+pathway (Bottcher and Niehrs, 2005) FGF pathway is required for maintaining pluripotency of human ES cells and medaka ES cells, ... medaka and zebrafish as excellent models for analyzing pluripotency and patterning The medaka and zebrafish nanog termed Ong and Zng respectively, encode proteins of 420 amino acids (aa, Ong) and...

Ngày tải lên: 14/09/2015, 08:45

... not a boring task of reading, analyzing and comparing but actually a great pleasure III.2 Translation of dead metaphors in Harry Potter and the Prisoner of Azkaban and Harry Potter and the Deathly ... Translator II.1.2.2.1 What is a translator? It is not the truth that a person knowing at least a foreign language could be a translator That a language learner may be proficient at that language ... third and also the last reason is that the Vietnamese translator, Lý Lan, professional, have gained certain success, reputation and prestige among Vietnamese translators Apart from being a translator,...

Ngày tải lên: 26/11/2012, 09:53

... Measures Dimension data - Query drivers Summary data - Pre-calculated data Fact Data and Tables   Many fact tables in the warehouse The bulk of the warehouse data  Measures (units sold, sales ... Differentiate between an enterprise-wide data warehouse and localized data marts Recognize the difference between independent and dependent data marts Identify the data that is stored in a data warehouse ... Localization  Subsets of summary data  Oracle Data Mart Suite for a pre-configured solution Funded departmentally Dependent Independent Create a Project Team   Staff with experts  Database...

Ngày tải lên: 25/04/2013, 20:33

... evolving characteristics of data streams, and facilitates fast OLAP on stream data Stream cube architecture facilitates online analytical processing of stream data It also forms a preliminary structure ... CLUSTERING MASSIVE DATA STREAMS: A SUMMARIZATION PARADIGM Cham C Aggarwal IBM Z J Watson Research Center Hawthorne, W 1053.2 Jiawei Han University of Illinois at Urbana-Champaign Urbana, IL hanj@cs.uiuc.edu ... compresses the data, preserves the general temporal locality of data, and facilitates both online and offline analysis, as well as the analysis of current data and data evolution regularities In this...

Ngày tải lên: 08/11/2013, 02:15