scholarly journals Graph Logics with Rational Relations and the Generalized Intersection Problem

Author(s):  
Pablo Barcelo ◽  
Diego Figueira ◽  
Leonid Libkin
Keyword(s):  
2015 ◽  
Vol 32 (3) ◽  
pp. 903-912
Author(s):  
Fatih Demirkale ◽  
Diane M. Donovan ◽  
Selda Küçükçifçi ◽  
Emine Şule Yazıcı

2011 ◽  
Vol 243-249 ◽  
pp. 2666-2669
Author(s):  
Zhan Jin Li ◽  
Yang Zhang ◽  
Xue Li Zhao

With the depth increasing continuously, more complicated of geological conditions, will make intersection in deep soft rock roadway is very difficult to support. In order to solve the intersection problem of difficult to support, combined with the third levels of the Fifth Coal Mine of Hemei, the coupling supporting design—anchor-mesh-cable + truss to control stability of crossing point—is proposed. Based software of FLAC3D, simulate the program applicable in deep soft rock roadway intersection. Application results show that the coupling support technology of anchor-mesh-cable + truss can effectively control the deformation of intersection in deep soft rock roadway.


Author(s):  
Wen-Jie Cheng ◽  
Arzu Gonenc Sorguc ◽  
Junichi Shinoda ◽  
Ichiro Hagiwara

In this paper, the Maximum Opposite Angulation Approach (MOAA) for 3-D including the topology optimization is discussed. The MOAA algorithm is developed to generate meshes in 2-D and 3-D. The basic principles of the algorithm both in 2-D applications and in 3-D applications, is to pre-set uniformity to the initial data set to form point pairs yielding possible shortest line segments. These line segments are connected with the points providing the maximum angle for the vertex of the triangular mesh to be constructed. Thus, the algorithm provides triangular meshes having well balanced interior angles and good aspect ratios. The MOAA algorithm can be proved similar to the Delaunay’s approach in 2-D from the principle and with the quickest speed. In 3-D, it was also shown that it is much more efficient than many Delaunay class algorithms with mesh architectures preserving the topology, for uniformly organized data points. In this study, the topology optimization together with the MOAA algorithm is presented to improve the precision of reconstruction of the original surface. In this context, topology judgment for intersection problem in 3-D, distortion phenomenon, the possibility of loosing some characteristics of the original surface is thoroughly investigated.


2020 ◽  
Vol 9 (2-3) ◽  
pp. 85-99
Author(s):  
Munqath Alattar ◽  
Attila Sali

Abstract Missing data value is an extensive problem in both research and industrial developers. Two general approaches are there to deal with the problem of missing values in databases; they could be either ignored (removed) or imputed (filled in) with new values (Farhangfar et al. in IEEE Trans Syst Man Cybern-Part A: Syst Hum 37(5):692–709, 2007). For some SQL tables, it is possible that some candidate key of the table is not null-free and this needs to be handled. Possible keys and certain keys to deal with this situation were introduced in Köhler et al. (VLDB J 25(4):571–596, 2016). In the present paper, we introduce an intermediate concept called strongly possible keys that is based on a data mining approach using only information already contained in the SQL table. A strongly possible key is a key that holds for some possible world which is obtained by replacing any occurrences of nulls with some values already appearing in the corresponding attributes. Implication among strongly possible keys is characterized, and Armstrong tables are constructed. An algorithm to verify a strongly possible key is given applying bipartite matching. Connection between matroid intersection problem and system of strongly possible keys is established. For the cases when no strongly possible keys hold, an approximation notion is introduced to calculate the closeness of any given set of attributes to be considered as a strongly possible key using the $$g_3$$ g 3 measure, and we derive its component version $$g_4$$ g 4 . Analytical comparisons are given between the two measures.


2010 ◽  
Vol 06 (05) ◽  
pp. 1047-1081 ◽  
Author(s):  
AKINARI HOSHI ◽  
KATSUYA MIYAKE

We study a general method of the field intersection problem of generic polynomials over an arbitrary field k via formal Tschirnhausen transformation. In the case of solvable quintic, we give an explicit answer to the problem by using multi-resolvent polynomials.


2006 ◽  
Vol 113 (7) ◽  
pp. 1536-1542 ◽  
Author(s):  
Peter Keevash ◽  
Benny Sudakov
Keyword(s):  

1988 ◽  
Vol 27 (4) ◽  
pp. 169-174 ◽  
Author(s):  
K.V.S. Ramarao ◽  
Robert Daley ◽  
Rami Melhem

Sign in / Sign up

Export Citation Format

Share Document