Search results for " Transformation"
showing 10 items of 1043 documents
Error-Free Affine, Unitary, and Probabilistic OBDDs
2018
We introduce the affine OBDD model and show that zero-error affine OBDDs can be exponentially narrower than bounded-error unitary and probabilistic OBDDs on certain problems. Moreover, we show that Las Vegas unitary and probabilistic OBDDs can be quadratically narrower than deterministic OBDDs. We also obtain the same results for the automata versions of these models.
On n–Fold Blocking Sets
1986
An n-fold blocking set is a set of n-disjoint blocking sets. We shall prove upper and lower bounds for the number of components in an n-fold blocking set in projective and affine spaces.
Error-Free Affine, Unitary, and Probabilistic OBDDs
2021
We introduce the affine OBDD model and show that zero-error affine OBDDs can be exponentially narrower than bounded-error unitary and probabilistic OBDDs on certain problems. Moreover, we show that Las-Vegas unitary and probabilistic OBDDs can be quadratically narrower than deterministic OBDDs. We also obtain the same results for the automata counterparts of these models.
The Hamilton–Jacobi Equation
2001
We already know that canonical transformations are useful for solving mechanical problems. We now want to look for a canonical transformation that transforms the 2N coordinates (q i , p i ) to 2N constant values (Q i , P i ), e.g., to the 2N initial values \((q_{i}^{0},p_{i}^{0})\) at time t = 0. Then the problem would be solved, q = q(q0, p0, t), p = p(q0, p0, t).
XML document-grammar comparison: related problems and applications
2011
10.2478/s13537-011-0005-1; International audience; XML document comparison is becoming an ever more popular research issue due to the increasingly abundant use of XML. Likewise, a growing interest fosters the development of XML grammar matching and comparison, due to the proliferation of heterogeneous XML data sources, particularly on the Web. Nonetheless, the process of comparing XML documents with XML grammars, i.e., XML document and grammar similarity evaluation, has not yet received the attention it deserves. In this paper, we provide an overview on existing research related to XML document/grammar comparison, presenting the background and discussing the various techniques related to th…
Tree Based Domain-Specific Mapping Languages
2012
Model transformation languages have been mainly used by researchers --- the software engineering industry has not yet widely accepted the model driven software development (MDSD). One of the main reasons is the complexity of metamodelling principles the developers are required to know to actually use model transformations in the way the OMG has stated. We offer the basic principles how to create domain-specific model transformation languages which can be used by developers relying only on familiar modelling concepts. We propose to use simple graphical mappings to specify the correspondence between source and target models which are represented using trees based on the concrete syntax of und…
Model Transformation Languages and Their Implementation by Bootstrapping Method
2008
In this paper a sequence of model transformation languages L0, L1, L2 is defined. The first language L0 is very simple, and for this language it is easy to build an efficient compiler to C++. The next language L1 is an extension of L0, and it contains powerful pattern definition facilities. The last language L2 is of sufficiently high level and can be used for implementation of traditional pattern-based high level model transformation languages, as well as for the development of model transformations directly. For languages L1 and L2 efficient compilers have been built using the bootstrapping method: L1 to L0 in L0, and L2 to L1 in L1. The results confirm the efficiency of model transformat…
Settlement strategies of the Dominicans in Palermo from the Middle Ages to the late Baroque
2014
This paper proposes some reflections on the settlement strategies pursued by the Dominicans in Palermo between the founding of the first conventual settlements, from the 13th century to the transformations of the 17th and 18th centuries as a result of expansion and renovation projects imposed by the Counter-Reformation. The research analyzes for the first time the dialogue between the architecture promoted by the Dominicans and the becoming of the city over the centuries through the continuous and articulated design traces and construction relating to different locations pertaining to enforcement, male (San Domenico and Santa Cita) and female (Santa Caterina and Santa Maria della Pietà), pl…
Can NF-κB Be Considered a Valid Drug Target in Neoplastic Diseases? Our Point of View
2020
Multidrug resistance (MDR), of the innate and acquired types, is one of major problems in treating tumor diseases with a good chance of success. In this review, we examine the key role of nuclear factor-kappa B (NF-κB) to induce MDR in three tumor models characterized precisely by innate or acquired MDR, in particular triple negative breast cancer (TNBC), hepatocellular carcinoma (HCC), and acute myeloid leukemia (AML). We also present different pharmacological approaches that our group have employed to reduce the expression/activation of this transcriptional factor and thus to restore chemo-sensitivity. Finally, we examine the latest scientific evidence found by other groups, the most sign…
The on-line coupled atmospheric chemistry model system MECO(n) – Part 5: Expanding the Multi-Model-Driver (MMD v2.0) for 2-way data exchange includin…
2018
Abstract. As part of the Modular Earth Submodel System (MESSy), the Multi-Model-Driver (MMD v1.0) was developed to couple online the regional Consortium for Small-scale Modeling (COSMO) model into a driving model, which can be either the regional COSMO model or the global European Centre Hamburg general circulation model (ECHAM) (see Part 2 of the model documentation). The coupled system is called MECO(n), i.e., MESSy-fied ECHAM and COSMO models nested n times. In this article, which is part of the model documentation of the MECO(n) system, the second generation of MMD is introduced. MMD comprises the message-passing infrastructure required for the parallel execution (multiple programme mul…