A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic

2004 ◽  
pp. 31-40 ◽  
Author(s):  
Gabriel Aguilera ◽  
Pablo Cordero ◽  
Manuel Enciso ◽  
Angel Mora ◽  
Inmaculada Perez de Guzmán
Keyword(s):  
Functional Dependencies ◽  
Rewriting Logic

Modified algorithm for fast bandwidth selection for kernel estimates of multidimensional probability densities

2020 ◽  
pp. 9-13
Author(s):  
A. V. Lapko ◽  
V. A. Lapko
Keyword(s):  
Probability Density ◽  
Optimal Parameter ◽  
Random Variables ◽  
Kernel Functions ◽  
Independent Random Variables ◽  
Functional Dependencies ◽  
Approximation Properties ◽  
Probability Density Estimation ◽  
Multidimensional Probability ◽  
Selection Of

An original technique has been justified for the fast bandwidths selection of kernel functions in a nonparametric estimate of the multidimensional probability density of the Rosenblatt–Parzen type. The proposed method makes it possible to significantly increase the computational efficiency of the optimization procedure for kernel probability density estimates in the conditions of large-volume statistical data in comparison with traditional approaches. The basis of the proposed approach is the analysis of the optimal parameter formula for the bandwidths of a multidimensional kernel probability density estimate. Dependencies between the nonlinear functional on the probability density and its derivatives up to the second order inclusive of the antikurtosis coefficients of random variables are found. The bandwidths for each random variable are represented as the product of an undefined parameter and their mean square deviation. The influence of the error in restoring the established functional dependencies on the approximation properties of the kernel probability density estimation is determined. The obtained results are implemented as a method of synthesis and analysis of a fast bandwidths selection of the kernel estimation of the two-dimensional probability density of independent random variables. This method uses data on the quantitative characteristics of a family of lognormal distribution laws.

Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets

2019 ◽  
Vol 14 (4) ◽  
pp. 403-418 ◽  
Author(s):  
Ammar Boucherit ◽  
Abdallah Khababa ◽  
Laura M. Castro
Keyword(s):  
Petri Nets ◽  
Multi Agent System ◽  
Rewriting Logic ◽  
Agent System ◽  
System Models ◽  
Multi Agent

scholarly journals CRISPRi enables isoform-specific loss-of-function screens and identification of gastric cancer-specific isoform dependencies

2021 ◽  
Vol 22 (1) ◽  
Author(s):  
Rebecca Davies ◽  
Ling Liu ◽  
Sheng Taotao ◽  
Natasha Tuano ◽  
Richa Chaturvedi ◽  
...  
Keyword(s):  
Gastric Cancer ◽  
Functional Dependencies ◽  
Loss Of Function ◽  
Genetic Screens ◽  
Transcript Isoforms ◽  
Specific Loss ◽  
Current Loss ◽  
Specific Transcript ◽  
Multiple Promoters ◽  
Poor Patient

Abstract Introduction Genes contain multiple promoters that can drive the expression of various transcript isoforms. Although transcript isoforms from the same gene could have diverse and non-overlapping functions, current loss-of-function methodologies are not able to differentiate between isoform-specific phenotypes. Results Here, we show that CRISPR interference (CRISPRi) can be adopted for targeting specific promoters within a gene, enabling isoform-specific loss-of-function genetic screens. We use this strategy to test functional dependencies of 820 transcript isoforms that are gained in gastric cancer (GC). We identify a subset of GC-gained transcript isoform dependencies, and of these, we validate CIT kinase as a novel GC dependency. We further show that some genes express isoforms with opposite functions. Specifically, we find that the tumour suppressor ZFHX3 expresses an isoform that has a paradoxical oncogenic role that correlates with poor patient outcome. Conclusions Our work finds isoform-specific phenotypes that would not be identified using current loss-of-function approaches that are not designed to target specific transcript isoforms.

Algorithms for the discovery of embedded functional dependencies

2021 ◽  
Author(s):  
Ziheng Wei ◽  
Sven Hartmann ◽  
Sebastian Link
Keyword(s):  
Functional Dependencies

scholarly journals Simulation of Diffusion Processes in Chemical and Thermal Processing of Machine Parts

Processes ◽  
2021 ◽  
Vol 9 (4) ◽  
pp. 698
Author(s):  
Kateryna Kostyk ◽  
Michal Hatala ◽  
Viktoriia Kostyk ◽  
Vitalii Ivanov ◽  
Ivan Pavlenko ◽  
...  
Keyword(s):  
Mathematical Modeling ◽  
Temperature Distribution ◽  
Thermal Treatment ◽  
Diffusion Processes ◽  
Nitrogen Concentration ◽  
The Body ◽  
Functional Dependencies ◽  
Technological Parameters ◽  
Gas Nitriding ◽  
Temperature State

To solve a number of technological issues, it is advisable to use mathematical modeling, which will allow us to obtain the dependences of the influence of the technological parameters of chemical and thermal treatment processes on forming the depth of the diffusion layers of steels and alloys. The paper presents mathematical modeling of diffusion processes based on the existing chemical and thermal treatment of steel parts. Mathematical modeling is considered on the example of 38Cr2MoAl steel after gas nitriding. The gas nitriding technology was carried out at different temperatures for a duration of 20, 50, and 80 h in the SSHAM-12.12/7 electric furnace. When modeling the diffusion processes of surface hardening of parts in general, providing a specifically given distribution of nitrogen concentration over the diffusion layer’s depth from the product’s surface was solved. The model of the diffusion stage is used under the following assumptions: The diffusion coefficient of the saturating element primarily depends on temperature changes; the metal surface is instantly saturated to equilibrium concentrations with the saturating atmosphere; the surface layer and the entire product are heated unevenly, that is, the product temperature is a function of time and coordinates. Having satisfied the limit, initial, and boundary conditions, the temperature distribution equations over the diffusion layer’s depth were obtained. The final determination of the temperature was solved by an iterative method. Mathematical modeling allowed us to get functional dependencies for calculating the temperature distribution over the depth of the layer and studying the influence of various factors on the body’s temperature state of the body.

Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies!

2017 ◽  
Vol 52 (10) ◽  
pp. 133-147
Author(s):  
Georgios Karachalias ◽  
Tom Schrijvers
Keyword(s):  
Functional Dependencies

Relational decomposition through partial functional dependencies

2002 ◽  
Vol 43 (2) ◽  
pp. 207-234 ◽  
Author(s):  
F. Berzal ◽  
J.C. Cubero ◽  
F. Cuenca ◽  
J.M. Medina
Keyword(s):  
Functional Dependencies

Algorithms for inferring functional dependencies from relations

1994 ◽  
Vol 12 (1) ◽  
pp. 83-99 ◽  
Author(s):  
Heikki Mannila ◽  
Kari-Jouko Räihä
Keyword(s):  
Functional Dependencies

scholarly journals A Mathematical Method for Determining the Parameters of Functional Dependencies Using Multiscale Probability Distribution Functions

Mathematics ◽  
2021 ◽  
Vol 9 (10) ◽  
pp. 1085
Author(s):  
Ilya E. Tarasov
Keyword(s):  
Experimental Data ◽  
Probability Distribution ◽  
Integrated Circuits ◽  
Distribution Functions ◽  
Independent Parameter ◽  
Functional Dependencies ◽  
Computing Device ◽  
System On A Chip ◽  
Error Probability Distribution ◽  
Special Case

This article discusses the application of the method of approximation of experimental data by functional dependencies, which uses a probabilistic assessment of the deviation of the assumed dependence from experimental data. The application of this method involves the introduction of an independent parameter “scale of the error probability distribution function” and allows one to synthesize the deviation functions, forming spaces with a nonlinear metric, based on the existing assumptions about the sources of errors and noise. The existing method of regression analysis can be obtained from the considered method as a special case. The article examines examples of analysis of experimental data and shows the high resistance of the method to the appearance of single outliers in the sample under study. Since the introduction of an independent parameter increases the number of computations, for the practical application of the method in measuring and information systems, the architecture of a specialized computing device of the “system on a chip” class and practical approaches to its implementation based on programmable logic integrated circuits are considered.

Sign in / Sign up

Export Citation Format

Share Document