Results 11 to 20 of about 63,196 (314)
First-order Logic with Connectivity Operators
ACM Transactions on Computational Logic, 2023 First-order logic (FO) can express many algorithmic problems on graphs, such as the independent set and dominating set problem parameterized by solution size. However, FO cannot express the very simple algorithmic question whether two vertices are connected.
Nicole Schirrmacher +2 more
openaire +5 more sources
A concept of operational lawmaking technology [PDF]
SHS Web of Conferences, 2021 The technology of operational lawmaking is a subtype of lawmaking technology; the latter is a type of legal technology. The technology of operational lawmaking is characterized by an emergency, extraordinary content; suddenly emerging social relations ...
Umedov Kadriddin Minhodzhidinovich
doaj +1 more source
Assessment and calculation of the thermal stress state in reinforced concrete elements, taking into account dry-hot climatic conditions [PDF]
E3S Web of Conferences, 2023 In the Republic of Uzbekistan great measures are carried out to improve the efficiency of construction production, radically improve the quality of materials and structures, increase the level of their operational reliability, rational use of raw ...
Khodjaeva Zulfiya +3 more
doaj +1 more source
Buildings, 2022 One of the limitations of using glued connections in practice is related to the need for connection quality control. Still, the need for the non-destructive quality control of finished products to determine the compliance of the developed structure with ...
Karina Buka-Vaivade +4 more
doaj +1 more source
Modelling Nonlinear Preloaded Multi-Bolted Systems on the Operational State
Engineering Transactions, 2016 Modelling and calculations of asymmetrical multi-bolted connections at the operational stage are presented. The physical model of the joint is based on a flexible flange element that is connected with a flexible support by means of the rigid body bolt ...
Rafał GRZEJDA
doaj +1 more source
Document Binarization Based on Connected Operators [PDF]
2009 10th International Conference on Document Analysis and Recognition, 2009 An original binarization method based on connected operators is proposed in this paper. Connected operators enable to filter and/or segment an image by preserving its contours. The proposed binarization method enables to extract relevant document objects by means of the component-tree structure.
Naegel, Benoît, Wendling, Laurent
openaire +1 more source
Engineering Transactions, 2019 Modelling and calculations of unsymmetrical multi-bolted connections treated as a system for different bolt models and contact layer models between the joined parts are presented. The modelling refers to preloaded and externally loaded connections.
Rafał GRZEJDA
doaj +1 more source
A Review on the Modeling of the Clinching Process Chain - Part I: Design Phase
Journal of Advanced Joining Processes, 2022 In many areas of product manufacturing, constructions are often mechanically joined of different materials to realize assemblies of various complexity with numerous point-shaped connections. Thereby, clinching is a frequently used joining technology. For
Britta Schramm +8 more
doaj +1 more source
Proper Vertex Connection and Graph Operations [PDF]
Journal of Interconnection Networks, 2019 A path in a vertex-colored graph is a vertex-proper path if any two internal adjacent vertices differ in color. A vertex-colored graph is proper vertex k-connected if any two vertices of the graph are connected by k disjoint vertex-proper paths of the graph.
YINGYING ZHANG, XIAOYU ZHU
openaire +2 more sources
The geometric νSMEFT: operators and connections
Journal of High Energy Physics, 2023 Abstract We write down a geometric realization of the Standard Model Effective Field Theory (SMEFT) extended by nf flavours of light sterile neutrinos, a so-called geoνSMEFT. As with the geoSMEFT introduced by Helset, Martin and Trott, we show that a refactorization of the νSMEFT’s operator product expansion is possible, such that ...
openaire +5 more sources