On a Model Graph with a Loop and Small Edges. Holomorphy Property of Resolvent

2020 ◽  
Vol 251 (5) ◽  
pp. 573-601
Author(s):  
D. I. Borisov ◽  
A. I. Mukhametrakhimova
Keyword(s):  
Author(s):  
D. I. Borisov ◽  
M. N. Konyrkulzhaeva ◽  
A. I. Mukhametrakhimova

Author(s):  
Tomi Tristono ◽  
M Sidqon
Keyword(s):  

Artikel ini berisi tentang kepadatan lalulintas pada persimpangan jalan yang bersinyal. Pada salah satu lengan jalannya terdapat jalur kereta api. Level of service (LoS) dari simpangan bersinyal terhadap lampu lalulintas normal berada pada level D. Hal tersebut menunjukkan ada kemacetan di selatan dan utara lengan persimpangan setelah palang pintu kereta api diturunkan. Level of service (LoS) ketika kondisi tersebut terjadi menurun ke level F. Permasalahan ini akan diselesaiakan dengan simulasi dalam hal ini menggunakan model graph dimana akan dibuat sebuah fly over baru yang melintasi persimpangan dan jalur kereta api. fly over digunakan untuk semua jenis kendaraan kecuali bukan kendaraan bermotor (UM). Level of service (LoS) kemudian naik ke level C dan ke level D setelah palang pintu kereta api diturunkan.


Author(s):  
B. T. Messmer ◽  
H. Bunke

In this paper we present a fast algorithm for the computation of error-correcting graph isomorphisms. The new algorithm is an extension of a method for exact subgraph isomorphism detection from an input graph to a set of a priori known model graphs, which was previously developed by the authors. Similar to the original algorithm, the new method is based on the idea of creating a decision tree from the model graphs. This decision tree is compiled off-line in a preprocessing step. At run time, it is used to find all error-correcting graph isomorphisms from an input graph to any of the model graphs up to a certain degree of distortion. The main advantage of the new algorithm is that error-correcting graph isomorphism detection is guaranteed to require time that is only polynomial in terms of the size of the input graph. Furthermore, the time complexity is completely independent of the number of model graphs and the number of edges in each model graph. However, the size of the decision tree is exponential in the size of the model graphs and the degree of error. Nevertheless, practical experiments have indicated that the method can be applied to graphs containing up to 16 vertices.


Author(s):  
V. E. Kuryan

Построение модели мира производится автоматически на основе обработки массива пар текстов на входном и выходном языках. В основе лежит представление ситуации в виде подграфа общей модели мира на входном языке. По этому подграфу выбирается подграф на выходном языке. Этот подграф преобразуется в выходной текст.


2015 ◽  
Vol 16 (4) ◽  
pp. 418-464 ◽  
Author(s):  
THOMAS EITER ◽  
MICHAEL FINK ◽  
GIOVAMBATTISTA IANNI ◽  
THOMAS KRENNWALLNER ◽  
CHRISTOPH REDL ◽  
...  

AbstractAs software systems are getting increasingly connected, there is a need for equipping nonmonotonic logic programs with access to external sources that are possibly remote and may contain information in heterogeneous formats. To cater for this need,hexprograms were designed as a generalization of answer set programs with an API style interface that allows to access arbitrary external sources, providing great flexibility. Efficient evaluation of such programs however is challenging, and it requires to interleave external computation and model building; to decide when to switch between these tasks is difficult, and existing approaches have limited scalability in many real-world application scenarios. We present a new approach for the evaluation of logic programs with external source access, which is based on a configurable framework for dividing the non-ground program into possibly overlapping smaller parts called evaluation units. The latter will be processed by interleaving external evaluation and model building using an evaluation graph and a model graph, respectively, and by combining intermediate results. Experiments with our prototype implementation show a significant improvement compared to previous approaches. While designed forhex-programs, the new evaluation approach may be deployed to related rule-based formalisms as well.


2002 ◽  
Vol 17 (2-3) ◽  
pp. 107-116
Author(s):  
René Motro

Teaching of space structures with initial stresses requires an adapted pedagogy. This paper describes some important features of such a teaching, which is delivered for architects, engineers and sometimes artists. The indispensable dialogue between theoretical and experimental methods is underlined. Some characteristics related to the so-called “parametric method” used to understand and design space structures are described. Original pedagogical experiences are presented: bi-cable model, graph theory, formfinding procedure, and construction of prototypes. Teaching of space structures with initial stresses has been mainly included and experimented for more than ten years, both at the University of Montpellier and at the School of Architecture, in academic courses the contents of which are presented.


10.29007/mq54 ◽  
2019 ◽  
Author(s):  
Sri Teja Bodempudi ◽  
Sharad Sharma ◽  
Atma Sahu ◽  
Rajeev Agrawal

Human-centric situational awareness and visualization are needed for analyzing the big data in an efficient way. One of the challenges is to create an algorithm to analyze the given data without any help of other data analyzing tools. This research effort aims to identify how graphical objects (such as data-shapes) developed in accordance with an analyst's mental model can enhance analyst's situation awareness. Our approach for improved big data visualization is two-fold, focusing on both visualization and interaction. This paper presents the developed data and graph technique based on force- directed model graph in 3D. It is developed using Unity 3D gaming engine. Pilot testing was done with different data sets for checking the efficiency of the system in immersive environment and non-immersive environment. The application is able to handle the data successfully for the given data sets in data visualization. The currently graph can render around 200 to 300 linked nodes in real-time.


2013 ◽  
Vol 91 (12) ◽  
pp. 1186-1192
Author(s):  
Jeffery Perkins ◽  
Essex Edwards ◽  
Greg Dyck ◽  
Noham Weinberg

A model graph approach is proposed to discuss topological trends in representative sets of random isomeric hydrocarbon molecules generated on a two-dimensional hexagonal grid and to study the dependence of the dominant structural motifs on parameters of the model. The results of the study are used to infer a more likely structural organization of asphaltene molecules.


2017 ◽  
Vol 20 (2) ◽  
pp. 1359-1377 ◽  
Author(s):  
Siyan Lai ◽  
Guangda Lai ◽  
Fangzhou Lu ◽  
Guojun Shen ◽  
Jing Jin ◽  
...  

2020 ◽  
Vol 34 (07) ◽  
pp. 10551-10558 ◽  
Author(s):  
Long Chen ◽  
Chujie Lu ◽  
Siliang Tang ◽  
Jun Xiao ◽  
Dong Zhang ◽  
...  

In this paper, we focus on the task query-based video localization, i.e., localizing a query in a long and untrimmed video. The prevailing solutions for this problem can be grouped into two categories: i) Top-down approach: It pre-cuts the video into a set of moment candidates, then it does classification and regression for each candidate; ii) Bottom-up approach: It injects the whole query content into each video frame, then it predicts the probabilities of each frame as a ground truth segment boundary (i.e., start or end). Both two frameworks have respective shortcomings: the top-down models suffer from heavy computations and they are sensitive to the heuristic rules, while the performance of bottom-up models is behind the performance of top-down counterpart thus far. However, we argue that the performance of bottom-up framework is severely underestimated by current unreasonable designs, including both the backbone and head network. To this end, we design a novel bottom-up model: Graph-FPN with Dense Predictions (GDP). For the backbone, GDP firstly generates a frame feature pyramid to capture multi-level semantics, then it utilizes graph convolution to encode the plentiful scene relationships, which incidentally mitigates the semantic gaps in the multi-scale feature pyramid. For the head network, GDP regards all frames falling in the ground truth segment as the foreground, and each foreground frame regresses the unique distances from its location to bi-directional boundaries. Extensive experiments on two challenging query-based video localization tasks (natural language video localization and video relocalization), involving four challenging benchmarks (TACoS, Charades-STA, ActivityNet Captions, and Activity-VRL), have shown that GDP surpasses the state-of-the-art top-down models.


Sign in / Sign up

Export Citation Format

Share Document