Descriptive Complexity Research: Level-Jumping

2014 ◽  
pp. 119-140
Keyword(s):  
Descriptive Complexity ◽  
Research Level

scholarly journals Isomorphism, canonization, and definability for graphs of bounded rank width

2021 ◽  
Vol 64 (5) ◽  
pp. 98-105
Author(s):  
Martin Grohe ◽  
Daniel Neuen
Keyword(s):  
Fixed Point ◽  
Complexity Theory ◽  
Polynomial Time ◽  
Graph Isomorphism ◽  
Isomorphism Problem ◽  
Descriptive Complexity ◽  
Graph Isomorphism Problem ◽  
Structural Graph ◽  
Graph Classes ◽  
Bounded Rank

We investigate the interplay between the graph isomorphism problem, logical definability, and structural graph theory on a rich family of dense graph classes: graph classes of bounded rank width. We prove that the combinatorial Weisfeiler-Leman algorithm of dimension (3 k + 4) is a complete isomorphism test for the class of all graphs of rank width at most k. A consequence of our result is the first polynomial time canonization algorithm for graphs of bounded rank width. Our second main result addresses an open problem in descriptive complexity theory: we show that fixed-point logic with counting expresses precisely the polynomial time properties of graphs of bounded rank width.

Education for art librarianship in the Nordic countries

1994 ◽  
Vol 19 (2) ◽  
pp. 7-8
Author(s):  
Charlotte Hanner
Keyword(s):  
Educational System ◽  
Education System ◽  
Art History ◽  
Nordic Countries ◽  
Research Education ◽  
Academic Level ◽  
Research Level ◽  
Close Cooperation ◽  
The Government

Big changes in the educational system of Sweden took place in 1992/1993 because of political changes in the government. Earlier the government and parliament made decisions about course details at the different universities, and research education was offered only by the universities, and not by the colleges. In the early 1970s the College of Librarianship in Borås was commissioned by the government to offer a two-year academic level supplementary course in librarianship. Until the spring term in 1993, education for librarianship in Borås changed course several times, and five years ago courses in art and music librarianship, which had given students some insights in art history, were discontinued. Beginning in the autumn of 1993 the education system in Sweden will be much freer, implying that every university and college will be permitted to make its own decisions about courses. And from now on courses in librarianship will be offered by the universities in Umeå, Stockholm (starting spring 1994) and Lund, as well as in Borås. Librarianship at the research level was established three years ago at Göteborg University in close cooperation with the college of librarianship in Borås

Semantics of templates in a compositional framework for building logics

2015 ◽  
Vol 15 (4-5) ◽  
pp. 681-695 ◽  
Author(s):  
INGMAR DASSEVILLE ◽  
MATTHIAS VAN DER HALLEN ◽  
GERDA JANSSENS ◽  
MARC DENECKER
Keyword(s):  
Second Order ◽  
Alternative View ◽  
Specification Languages ◽  
Descriptive Complexity ◽  
Base Logic

AbstractThere is a growing need for abstractions in logic specification languages such as FO(·) and ASP. One technique to achieve these abstractions are templates (sometimes called macros). While the semantics of templates are virtually always described through a syntactical rewriting scheme, we present an alternative view on templates as second order definitions. To extend the existing definition construct of FO(·) to second order, we introduce a powerful compositional framework for defining logics by modular integration of logic constructs specified as pairs of one syntactical and one semantical inductive rule. We use the framework to build a logic of nested second order definitions suitable to express templates. We show that under suitable restrictions, the view of templates as macros is semantically correct and that adding them does not extend the descriptive complexity of the base logic, which is in line with results of existing approaches.

Current and Future Three-Dimensional LSI Integration Technology by “chip on chip”, “chip on wafer” and “wafer on wafer”

2006 ◽  
Vol 970 ◽  
Author(s):  
Manabu Bonkohara ◽  
Makoto Motoyoshi ◽  
Kazutoshi Kamibayashi ◽  
Mitsumasa Koyanagi
Keyword(s):  
Three Dimensional ◽  
Process Time ◽  
Future Technology ◽  
Sensor Device ◽  
Research Level ◽  
Key Technologies ◽  
The Future ◽  
Chip Size ◽  
On Chip ◽  
Chip Chip

ABSTRACTRecently the development of three dimensional LSI (3D-LSI) has been accelerated and its stage has changed from the research level or limited production level to the investigation level with a view to mass production. This paper describes the current and the future 3D-LSI technologies which we have considered and imagined. The current technology is taken our Chip Size Package (CSP) for sensor device, for instance. In the future technology, there are the five key technologies are described. And considering con and pro of the current 3D LSI stacked approach, such as CoC (Chip on Chip), CoW (Chip on Wafer) and WoW (Wafer on Wafer), We confirmed that CoW combined with Super-Smart-Stack (SSS™) technology will shorten the process time per chip at the same level as WoW approach and is effective to minimize process cost.

Sign in / Sign up

Export Citation Format

Share Document