scholarly journals Introduction to local certification

2021 ◽  
Vol vol. 23, no. 3 (Distributed Computing and...) ◽  
Author(s):  
Laurent Feuilloley

A distributed graph algorithm is basically an algorithm where every node of a graph can look at its neighborhood at some distance in the graph and chose its output. As distributed environment are subject to faults, an important issue is to be able to check that the output is correct, or in general that the network is in proper configuration with respect to some predicate. One would like this checking to be very local, to avoid using too much resources. Unfortunately most predicates cannot be checked this way, and that is where certification comes into play. Local certification (also known as proof-labeling schemes, locally checkable proofs or distributed verification) consists in assigning labels to the nodes, that certify that the configuration is correct. There are several point of view on this topic: it can be seen as a part of self-stabilizing algorithms, as labeling problem, or as a non-deterministic distributed decision. This paper is an introduction to the domain of local certification, giving an overview of the history, the techniques and the current research directions.

Polymers ◽  
2018 ◽  
Vol 10 (11) ◽  
pp. 1201 ◽  
Author(s):  
Le Lv ◽  
Wen Dai ◽  
Aijun Li ◽  
Cheng-Te Lin

With the increasing power density of electrical and electronic devices, there has been an urgent demand for the development of thermal interface materials (TIMs) with high through-plane thermal conductivity for handling the issue of thermal management. Graphene exhibited significant potential for the development of TIMs, due to its ultra-high intrinsic thermal conductivity. In this perspective, we introduce three state-of-the-art graphene-based TIMs, including dispersed graphene/polymers, graphene framework/polymers and inorganic graphene-based monoliths. The advantages and limitations of them were discussed from an application point of view. In addition, possible strategies and future research directions in the development of high-performance graphene-based TIMs are also discussed.


Author(s):  
John Joe Parappallil ◽  
Novica Zarvic ◽  
Oliver Thomas

In this paper, the authors present the results of a recently performed literature analysis on the topic of Business-IT Alignment. They have thereby investigated 270 articles from the period 1993-2011 in a structured way. The articles were selected on the basis of three well-known ranking lists of publications in the Information Systems research domain. In the authors’ analysis they distinguish a context and a content point of view. The former one focuses on metadata analysis of the articles under consideration whereas the latter one uses text mining techniques to dive into the articles´ body of content. Finally, they discuss their results and present conceivable future research directions that should be tackled by alignment researchers and conclude their paper.


2020 ◽  
Vol 6 (10) ◽  
pp. 110
Author(s):  
Francesco Lombardi ◽  
Simone Marinai

Nowadays, deep learning methods are employed in a broad range of research fields. The analysis and recognition of historical documents, as we survey in this work, is not an exception. Our study analyzes the papers published in the last few years on this topic from different perspectives: we first provide a pragmatic definition of historical documents from the point of view of the research in the area, then we look at the various sub-tasks addressed in this research. Guided by these tasks, we go through the different input-output relations that are expected from the used deep learning approaches and therefore we accordingly describe the most used models. We also discuss research datasets published in the field and their applications. This analysis shows that the latest research is a leap forward since it is not the simple use of recently proposed algorithms to previous problems, but novel tasks and novel applications of state of the art methods are now considered. Rather than just providing a conclusive picture of the current research in the topic we lastly suggest some potential future trends that can represent a stimulus for innovative research directions.


Author(s):  
D. Huybrechts

This book provides a systematic exposition of the theory of Fourier-Mukai transforms from an algebro-geometric point of view. Assuming a basic knowledge of algebraic geometry, the key aspect of this book is the derived category of coherent sheaves on a smooth projective variety. The derived category is a subtle invariant of the isomorphism type of a variety, and its group of autoequivalences often shows a rich structure. As it turns out — and this feature is pursued throughout the book — the behaviour of the derived category is determined by the geometric properties of the canonical bundle of the variety. Including notions from other areas, e.g., singular cohomology, Hodge theory, abelian varieties, K3 surfaces; full proofs and exercises are provided. The final chapter summarizes recent research directions, such as connections to orbifolds and the representation theory of finite groups via the McKay correspondence, stability conditions on triangulated categories, and the notion of the derived category of sheaves twisted by a gerbe.


10.12737/2646 ◽  
2014 ◽  
Vol 2 (1) ◽  
pp. 29-33
Author(s):  
��������� ◽  
Olga Shafranova

Experimental analysis related to main aspects of axiological content of higher school teacher�s continuous education has been presented in this paper. The author has formulated main pedagogical conditions, allowing increase professional education�s efficiency. Aspect analysis related to axiological bases of higher school teacher�s professional activity system has been carried out in this paper. The higher school teachers pay the greatest attention to quality of future professionals� knowledge and abilities. Respondents� understanding of importance of training and educational component in professional teacher�s activity structure is also high respectively. From this point of view in the paper have been reflected such research directions as a problem related to development of pedagogical ensuring of higher school teacher�s continuous education, character of axiological prerequisites allowing the teacher to design by education means his own professional picture of the world. Parameters defining profession�s attraction, professionalizing efficiency and higher school teacher�s professional satisfaction in system of his relations with himself, the world and other people have been emphasized.


2013 ◽  
Vol 295-298 ◽  
pp. 3302-3305
Author(s):  
Zuo Chen Li

In this paper, from a theoretical point of view, introduce systematically the PI decision index and its physical significance, discuss in relation to technology application and method in multi-round Profile control, and propose some adjustments in the grape flower oil field applications of the technology research directions.


2021 ◽  
Vol 9 (4) ◽  
Author(s):  
N. S. Surenskaya ◽  
A. G. Ilyukhin

Introduction. The subject of this article is the analysis of the requirements for the psychological properties of active sales managers from the point of view of the competence approach. It is assumed that the interaction of working conditions in the organization and the psychological properties of a professional, as well as the requirements for them from the tasks performed, generate a certain set of psychological competencies necessary for the productive activity of an active sales manager. The complex nature of human-to-human activities, as well as the need to perform organizational, intellectual, communicative and coordination tasks, forms a system of requirements for the psychological competencies of representatives of this profession, compliance with which increases the productivity of a professional. The article presents a theoretical and empirical analysis of the requirements for an active sales manager from the point of view of psychological competencies.Materials and Methods. Empirical research method - standardized self-reports with Likert scales, correlation and factor analysis.Results. Six main groups of required competencies are identified: value competence, regulatory competence, motivational competence, special competence, communication competence, strategic competence. It is assumed that the balanced development of these groups of competencies in accordance with the requirements of the profession of an active sales manager ensures high productivity of a specialist and his psychological well-being.Discussion and Conclusions. At the end of the article, the results obtained are evaluated from the point of view of their applicability in the training of specialists in key positions of sales departments, new research directions are outlined that allow for a more systematic study of the psychological competence of active sales managers, and it is also concluded that the content of psychological competencies should be taken into account when building educational programs for future sales managers.


2017 ◽  
Vol 8 (2) ◽  
pp. 153-162
Author(s):  
G. L. Szabó ◽  
F. Kalmár

Energy saving in buildings is one of the most important research directions in the building sector. Energy saving solutions should not lead to decreased indoor environment quality. Because of the increased number of summer heat waves, cooling systems are widely used to assure thermal comfort in buildings. In this paper, ceiling cooling and wall cooling systems were tested and compared from the thermal comfort point of view using 24 subjects (12 women and 12 men). The cooling ceiling and wall surface and the supply/return temperatures were similar. Analysing the obtained subjective answers, no significant differences were obtained on average or by gender. However, significant differences were obtained between the subjective answers and the calculated PMV values. Furthermore, the occupant’s reaction was different after switching off the ventilation and cooling systems.


Author(s):  
Iqbal H. Sarker

Artificial Intelligence (AI) is one of the key technologies of the Fourth Industrial Revolution (Industry 4.0), which can be used for the protection of Internet-connected systems from cyber-threats, attacks, damage, or unauthorized access. To intelligently solve today's various cybersecurity issues, popular AI techniques involving Machine Learning (ML) and Deep Learning (DL) methods, the concept of Natural Language Processing (NLP), Knowledge Representation and Reasoning (KRR), as well as the concept of knowledge or rule-based Expert Systems (ES) modeling can be used. Based on these AI methods, in this paper, we present a comprehensive view on "AI-driven Cybersecurity" that can play an important role for intelligent cybersecurity services and management. The security intelligence modeling based on such AI methods can make the cybersecurity computing process automated and intelligent than the conventional security systems. We also highlight several research directions within the scope of our study, which can help researchers do future research in the area. Overall, this paper's ultimate objective is to serve as a reference point and guidelines for cybersecurity researchers as well as industry professionals in the area, especially from an AI-based technical point of view.


2010 ◽  
Vol Vol. 12 no. 5 (Graph and Algorithms) ◽  
Author(s):  
Tınaz Ekim ◽  
Bernard Ries ◽  
Dominique De Werra

Graphs and Algorithms International audience The split-coloring problem is a generalized vertex coloring problem where we partition the vertices into a minimum number of split graphs. In this paper, we study some notions which are extensively studied for the usual vertex coloring and the cocoloring problem from the point of view of split-coloring, such as criticality and the uniqueness of the minimum split-coloring. We discuss some properties of split-critical and uniquely split-colorable graphs. We describe constructions of such graphs with some additional properties. We also study the effect of the addition and the removal of some edge sets on the value of the split-chromatic number. All these results are compared with their cochromatic counterparts. We conclude with several research directions on the topic.


Sign in / Sign up

Export Citation Format

Share Document