Space-optimum conflict-free construction of 1-writer 1-reader multivalued atomic variable

1994 ◽  
pp. 116-129 ◽  
Author(s):  
S. Haldar ◽  
P. S. Subramanian
Keyword(s):  
Free Construction

The consistency problem for positive comprehension principles

1989 ◽  
Vol 54 (4) ◽  
pp. 1401-1418 ◽  
Author(s):  
M. Forti ◽  
R. Hinnion
Keyword(s):  
Set Theory ◽  
Difficult Problem ◽  
Large Cardinal ◽  
Positive Theory ◽  
Construction Principle ◽  
Short Summary ◽  
Free Construction ◽  
Unpublished Thesis ◽  
Consistency Problem ◽  
Original Construction

Since Gilmore showed that some theory with a positive comprehension scheme is consistent when the axiom of extensionality is dropped and inconsistent with it (see [1] and [2]), the problem of the consistency of various positive comprehension schemes has been investigated. We give here a short classification, which shows clearly the importance of the axiom of extensionality and of the abstraction operator in these consistency problems. The most difficult problem was to show the consistency of the comprehension scheme for positive formulas, with extensionality but without abstraction operator. In his unpublished thesis, Set theory in which the axiom of foundation fails [3], Malitz solved partially this problem but he needed to assume the existence of some unusual kind of large cardinal; as his original construction is very interesting and his thesis is unpublished, we give a short summary of it. M. Forti solved the problem completely by working in ZF with a free-construction principle (sometimes called an anti-foundation axiom), instead of ZF with the axiom of foundation, as Malitz did.This permits one to obtain the consistency of this positive theory, relative to ZF. In his general investigations about “topological set theories” (to be published), E. Weydert has independently proved the same result. The authors are grateful to the Mathematisches Forshungsinstitut Oberwolfach for giving them the opportunity of discussing these subjects and meeting E. Weydert during the meeting “New Foundations”, March 1–7, 1987.

Metal-free construction of tricyclic or tetracyclic compounds—acid-promoted synthesis of benzo[4,5]imidazo[2,1-a]isoindole and 1,2-dialkyl-2,3-dihydrobenzimidazoles

Tetrahedron ◽  
2013 ◽  
Vol 69 (1) ◽  
pp. 316-319 ◽  
Author(s):  
Jinying Chen ◽  
Jinpeng Qu ◽  
Yuanqing Zhang ◽  
Yongxin Chen ◽  
Na Liu ◽  
...  
Keyword(s):  
Metal Free ◽  
Free Construction

scholarly journals Automatyczne wykrywanie zagrożeń w systemach teleinformatycznych za pomocą metod Data Mining

2018 ◽  
Vol 4 (337) ◽  
pp. 39-52
Author(s):  
Kamil Sapała ◽  
Marcin Piołun-Noyszewski ◽  
Marcin Weiss
Keyword(s):  
Data Mining ◽  
Free Construction

W pracy przedstawiono wybrane rozwiązania analityczne stosowane w czasie rzeczywistym w autorskim systemie bezpieczeństwa teleinformatycznego. Opisano metody wykorzystywane w celu wykrywania (bez nadzoru człowieka) potencjalnych zagrożeń – niepożądanych zdarzeń systemowych i zachowań użytkowników korzystających z dokumentów cyfrowych. Przestawiono procedury automatyzujące, stosowane w przypadku danych mających postać szeregów czasowych i dokumentów tekstowych. Poddane eksploracji dane pochodziły z testowego funkcjonowania oprogramowania zabezpieczającego systemy przechowywania dokumentów cyfrowych utworzonego przez firmę Free Construction.

scholarly journals OBJECTS OF TRANSPORT INFRASTRUCTURE: EXPERIENCE OF SCIENTIFIC SUPPORT IN CONSTRUCTION WITHIN THE “QUALITY” CONCEPT IMPLEMENTATION

2019 ◽  
Vol 16 (5) ◽  
pp. 618-634
Author(s):  
I. S. Pulyaev ◽  
S. M. Pulyaev
Keyword(s):  
Reinforced Concrete ◽  
Building Materials ◽  
Concrete Structures ◽  
Economic Feasibility ◽  
Transport Infrastructure ◽  
Building Structures ◽  
Construction Technology ◽  
Scientific Support ◽  
Free Construction ◽  
Modern Building

Introduction. The paper deals with the issues related to the implementation of the “quality” concept in the construction of reinforced concrete transport facilities linked with the scientific support during design and construction. Nowadays this problem particularly relevant in the context of the modern construction solutions, combined with the need to obtain the required properties of concrete structures and ensure the economic feasibility of construction. The aim of the research is to generalize and systematize the main methods and techniques of concrete works, which minimize the defects and cracks while the construction of transport infrastructure.Materials and methods. On the example of different technologies used in the Russian construction over last 10 years, the authors demonstrated the developed methods of obtaining high quality concrete products taking into account tested and proved modern building materials.Results. The results of the research formed the basis of the projects, technological regulations for the production, specifications and standards of organizations, guidelines. Moreover, the results also allowed implementing the concept of “quality” in transport construction based on obtaining defect-free reinforced concrete structures with specified properties, taking into account the use of modern building materials.Discussion and conclusions. The research allows carrying out construction of various massiveness and extent. The obtained results form the basis of construction technology of other industrial and civil construction objects with reinforced concrete application. The paper is interesting and useful for specialists in providing defect-free construction of reinforced concrete building structures, for engineering and technical staff. The authors dedicate the research to the memory of Professor and Doctor of Technical Sciences, A.R. Solovyanchik (1938-2019).

Facile, general and template-free construction of monodisperse yolk–shell metal@carbon nanospheres

2017 ◽  
Vol 53 (89) ◽  
pp. 12136-12139 ◽  
Author(s):  
Fei Xu ◽  
Yuheng Lu ◽  
Junhao Ma ◽  
Zhike Huang ◽  
Quanfei Su ◽  
...  
Keyword(s):  
Carbon Nanostructures ◽  
Carbon Nanospheres ◽  
Free Construction ◽  
Template Free

A versatile, general and template-free strategy for the construction of well-defined yolk–shell metal@carbon nanostructures is described.

scholarly journals Control Dust Pollution on Construction Sites: What Governments Do in China?

2018 ◽  
Vol 10 (8) ◽  
pp. 2945 ◽  
Author(s):  
Jinding Xing ◽  
Kunhui Ye ◽  
Jian Zuo ◽  
Weiyan Jiang
Keyword(s):  
Data Analysis ◽  
Technological Innovation ◽  
Dust Control ◽  
Sustainable Construction ◽  
Construction Sites ◽  
Dust Pollution ◽  
Dust Emissions ◽  
The Public ◽  
Free Construction ◽  
Comprehensive Examination

Dust pollution is a key issue that contractors ought to address in the sphere of sustainable construction. Governments on behalf of the public assume part of the responsibilities for minimizing dust emissions on construction sites. However, the measures that are useful for governments to fulfill such a responsibility have not been explored explicitly in previous studies. The aim of this research is to map out China’s practices in this area with the intention of filling the knowledge gap. Using a combination of research methods, five categories of governmental measures are proposed: technological, economic, supervisory, organizational, and assessment-based. Data from 37 major cities in China are collected for analysis. While the proposed categories of measures are demonstrated in China, the data analysis results show that governments prefer technological and organizational measures, and institutional guarantees and technological innovation are a prerequisite for dust-free construction. This research provides a comprehensive examination of construction dust control from the perspective of governments, and it can assist governments in improving the performance of dust management in the construction context.

ChemInform Abstract: Metal-Free Construction of Tricyclic or Tetracyclic Compounds-Acid-Promoted Synthesis of Benzo[4,5]imidazo[2,1-a]isoindole and 1,2-Dialkyl-2,3-dihydrobenzimidazoles.

ChemInform ◽  
2013 ◽  
Vol 44 (22) ◽  
pp. no-no
Author(s):  
Jinying Chen ◽  
Jinpeng Qu ◽  
Yuanqing Zhang ◽  
Yongxin Chen ◽  
Na Liu ◽  
...  
Keyword(s):  
Metal Free ◽  
Free Construction
Sign in / Sign up

Export Citation Format

Share Document