Research on formal description and verification of automated trust negotiation by GUAN Shang-yuan 1, WU Wei-guo 1, DONG Xiao-she 1, QIAN De-pei1

“…First,a unified ATN formal framework was presented,into which typical negotiation strategies could be reduced.Second,the formal verification of ATN was defined based on the formal framework.The objectives and procedures of the formal verification of ATN were described.Third,several typical negotiation strategies were discussed,and the computational complexity of the corresponding verification problems was shown,several conclusions had been obtained.Last,the formal verification of ATN was implemented by using logic programming and model checking methods.The experimental results show that the number of rules is a crucial factor in determining the runtime.Both logic programming and model checking are efficient when the number of transition rules is small,and logic programming does not scale as well as model checking.…”
Get full text

Multi-locus CRISPRi targeting with a single truncated guide RNA by Molly M. Moore, Siddarth Wekhande, Robbyn Issner, Alejandro Collins, Anna J. Cruz, Yanjing V. Liu, Nauman Javed, Salvador Casaní-Galdón, Jason D. Buenrostro, Charles B. Epstein, Eugenio Mattei, John G. Doench, Bradley E. Bernstein, Noam Shoresh, Fadi J. Najm

“…This approach can be a valuable screening step for testing transcription factor binding motifs or other repeated genomic sequences and is easily implemented with existing tools.…”
Get full text

Clonal hematopoiesis of indeterminate potential and heart failure by E. A. Lyasnikova, L. Yu Ivanchenko, S. N. Kozlova, M. Yu. SITNIKOVA, A. A. Kostareva, E. V. Shlyakhto

“…A better understanding of the interactions between mutant clones, immune pathways, chronic inflammation and clinical implementation in HF may be important in the context of precision and personalized medicine.…”
Get full text

Control charts as a tool for improving the quality of laboratory analyses by Đukić Miloš, Vasiljević Sanela, Adamović Dragana, Požega Emina

“…The validity of test results represents one of the most important aspects in the implementation of the SRPS ISO/IEC 17025 standard and is a key factor in the operation of accredited laboratories. …”
Get full text

La política industrial del MAS (2006-2019): una aproximación institucional a los limitantes del cambio estructural en Bolivia by Fernando De-La-Cruz-Prego

“…In the analysis, it is showed that there are various design and implementation failures at the institutional level (prioritization of primary sectors, absence of public-private partnerships, regulatory overlaps, limited bureaucratic capabilities, or absence of a technological innovation system, among others), that have made it impossible to industrialization and structural change in Bolivia.…”
Get full text

Supplemental Feeding as Preventive Measure for Overweight and Obesity in Children With Regard to the Concept of First 1000 Days by Irina A. Belyaeva, Leyla S. Namazova-Baranova, Tatiana V. Turti

“…The time and procedure for implementation of supplemental feeding according to the formula «nutrition under the control of the child» is discussed. …”
Get full text

Improved approximate check polytope projection algorithm of ADMM penalized decoding for LDPC codes in IoTs by Yue Zhao, Biao Wang

“…Therefore, the proposed I-APPA algorithm is convenient for hardware implementation in IoT devices.…”
Get full text

ORGANIZATIONAL-METHODICAL BASES OF THE FUNCTIONALLY-ORIENTED TRAINING OF SPECIALISTS IN THE STRUCTURE OF REGIONAL EDUCATIONAL CLUSTER by Pavel G. Kravtsov, Valentin N. Mikhelkevich

“…Consider the form and content of activity of employees of enterprises involved in the implementation of the cluster of educational Pro-grams. …”
Get full text

THE ONTOLOGY OF VIEWS ON THE DEVELOPMENT STAGES OF DECISION SUPPORT SYSTEMS IN THE CONTEXT OF TRANSITION TO THE INFORMATION SOCIETY by Olga E. Bashina, Vladimir V. Dik, Arkadiy I. Urintsov

“…Such information systems based on different tools for supporting all stages of decision making and implementation are of current importance and in demand. …”
Get full text

An Improved Multidimensional MPA Procedure for Bidirectional Earthquake Excitations by Feng Wang, Jian-Gang Sun, Ning Zhang

“…The strength reduction factor spectra based on superposition of earthquake excitations are discussed and compared with the traditional strength reduction factor spectra. …”
Get full text

FOOD WASTE MANAGEMENT USING STATISTICAL ANALYSIS TO OBTAIN NEW FUNCTIONAL PRODUCTS by Gjore NAKOV, Zlatin ZLATEV, Nastia IVANOVA, Ivan DIMOV

“…In this article, mathematical studies have been implemented to obtain what amount of food waste is most appropriate for the enrichment of food and the production of new functional products. …”
Get full text

CLUSTERS EVOLUTION MODELS IN THE SCIENTIFIC LITERATURE: A TEXT MINING APPROACH by Diana Cosmina CHIFOR, Lucian C. MAIER, Felix H. ARION

“…The methodological approach of this research consists in systematically reviewing the literature on clusters, the evolution of the model, the importance of geographical proximity and clusters’ impact on growth, the elevation of innovation processes and competitiveness of companies and regions, but also the involvement of clusters in the implementation of policies. The paper provides a general picture of the dynamics of the concept by summarizing and integrating several concepts treated by other researchers in an in-depth manner. …”
Get full text

Clinical Sports Medicine by Müller P, 2, 3, Lechner K, 5, Halle M, 6, Braun-Dullaeus R

“…Arterial hypertension is the most important modifiable cardiovascular risk factor for all-cause morbidity and mortality worldwide. …”
Get full text

NEW WAVEGUIDE METHOD FOR DIELECTRIC PARAMETER MEASUREMENT by Andrey D. Grigoriev

“…In spite of the whole range of measurement techniques, their practical implementation in the microwave frequency band runs into some difficulties. …”
Get full text

The non-proportionality of local stress paths in engineering applications by C. Riess, M. Obermayr, M. Vormwald

“…An optimization procedure is implemented to derive a test set-up for new component tests with 2 load channels. …”
Get full text

The non-proportionality of local stress paths in engineering applications by C. Riess, M. Obermayr, M. Vormwald

“…An optimization procedure is implemented to derive a test set-up for new component tests with 2 load channels. …”
Get full text

LAW AND ECONOMICS IN CONDITIONS OF GLOBALIZATION (BASIC TENDENCIES OF DEVELOPMENT) by В. П. Плавич

“…The law has an impact on the economy, particularly as a factor in streamlining economic relations and economic processes; as an instrument of economic policy implementation, both by the state and by businesses. …”
Get full text

Impact of the non-ideal condition in the analysis of high voltage gain switched impedance inverter with cost perspectives by Mohsen Hasan Babayi Nozadian, Ebrahim Babaei, Seyed Hossein Hosseini

“…Abstract Switched impedance inverters are a category of power electronic converters that can be applied across various applications through the implementation of appropriate control methods. This paper proposes a switched impedance inverter characterized by a high boost factor (B) at low duty cycles. …”
Get full text

Acoustic quality study of a high-rise building in San Miguel de Tucumán, Argentina by Agustina Cazón Narváez, Isabel del Valle Juárez, Beatríz Silvia Garzón, Víctor Luis Alberto Cancino

“…The present study analyzes acoustic quality as a comfort factor that is rarely considered in housing design and is a key factor in urban habitability and residents’ wellbeing. …”
Get full text

Comparative Analysis of the Slope Stability Using Slide and Plaxis 2D Software: A Case Study of Tombel Pozzolan Quarry (South-West Cameroon) by Mambou Ngueyep Luc Leroy, Oscar Rodrigue Michel Kenmoe, Hervé Joël Tchognia Nkuissi, Sylvain Lawou Kouayep, Gael Nkenwoum Chebou, André Chéagé Chamgoué, Innoua Mohamadou

“…The presented study attempted to use coupled finite element numerical (FEM) and analytical limit equilibrium (LEM) procedures to provide comparative graphical charts demonstrating the geometry, the groundwater condition, the safety factor, and the characteristics of the support, which were implemented in the Dangote Pozzolan quarry at Tombel to preventing the slope instability’s occurrence. …”
Get full text