Results 51 to 60 of about 762,449 (270)
An Approach to Model Checking of Multi-agent Data Analysis [PDF]
EPTCS 168, 2014, pp. 32-44, 2014 The paper presents an approach to verification of a multi-agent data analysis algorithm. We base correct simulation of the multi-agent system by a finite integer model. For verification we use model checking tool SPIN. Protocols of agents are written in Promela language and properties of the multi-agent data analysis system are expressed in logic LTL ...
arxiv +1 more source
10 Years Development of Potassium‐Ion Batteries
Advanced Materials, EarlyView.Significant progress is made in PIBs over the past decade, but the improvements based on half‐cell testing, low mass loading, and low energy density are insufficient for practical applications. This review summarizes the challenges and strategies for PIBs, highlights the importance of further research focusing on full cells, and provides an analysis of
Mingnan Li +7 more
wiley +1 more source
Balkan Geostrategic Vector of the Russian Federation
Historia i Polityka, 2018 Russia’s policy concerning the Balkan countries is discussed in this article. It is substantiated that the countries of Southeastern Europe have long been one of the key places in Russian geostrategy.
Oleg Kondratenko
doaj +1 more source
P3HT‐Based Electroactive Films for In Vitro Neuronal Cell Interfacing
Advanced Materials Interfaces, EarlyView.Reducing the mechanical mismatch between bioelectronic devices and tissue is crucial for enhancing the characteristics of biointerfaces that better mimic the biological tissues. This work investigates the physico‐chemical properties of tunable nanostructured surfaces obtained from a blend of P3HT and MWCNT electroactive polymer.
Paola Campione +4 more
wiley +1 more source
Трансформация экосистем, 2022 Invertebrates collected in the Republic of Karelia in 2016 from nests of the pied flycatcher Ficedula hypoleuca (Pallas, 1764) are analyzed and 516 specimens of invertebrates are identified.
Alexey S. Sazhnev +2 more
doaj +1 more source
Completely regular codes in the infinite hexagonal grid [PDF]
Sib. Elektron. Mat. Izv. (Siberian Electronic Mathematical
Reports) 13, 2016, 987-1016, 2016 A set $C$ of vertices of a simple graph is called a completely regular code if for each $i=0$, $1$, $2$, \ldots and $j = i-1$, $i$, $i+1$, all vertices at distance $i$ from $C$ have the same number $s_{ij}$ of neighbors at distance $j$ from $C$. We characterize the completely regular codes in the infinite hexagonal grid graph.
arxiv +1 more source
Spherical and Aspherical Lenses for Boosting the Performance of Terahertz Imaging Systems
Advanced Photonics Research, EarlyView.This study investigates the enhancement of terahertz (THz) detection through the terajet effect using mesoscale dielectric lenses of various geometries. Spherical, aspherical, and cubic polytetrafluoroethylene lenses are evaluated at 0.15 and 0.3 THz, demonstrating significant improvements in responsivity and noise reduction.
El Hadj Abidi +7 more
wiley +1 more source
Russian Logistics in the Ukrainian War: Can Operational Failures be Attributed to logistics?
Scandinavian Journal of Military Studies, 2022 The lacking Russian progress in war in Ukraine is often attributed to failing logistics, yet the logistics and its eventually failure is not explained. The purpose with this paper is to present some logistics principles that can be used to describe the ...
Per Skoglund +2 more
doaj +1 more source
Reduction in respiratory mortality not associated with influenza in Russia: effect of the introduction of pneumococcal vaccination (PCV13), or improvement in care? [PDF]
arXiv, 2020 Background. Pneumococcal vaccination (PCV13) for children (as well as older adults) in Russia was introduced in 2014, with no prior PCV7 use. While pneumonia hospitalization rates, both in children and adults did not decrease in the following years, respiratory mortality rates did decline with time.
arxiv
New nearby AGNs from all sky surveys of INTEGRAL and RXTE observatories [PDF]
, 2005 We present first results of a campaign of optical identifications of X-ray sources discovered by RXTE and INTEGRAL observatories during their sky surveys. In this work we study six newly discovered nearby active galactic nuclei at z<0.1. The optical spectrophotometric data were obtained with Russian-Turkish 1.5-m telescope (RTT150).
arxiv +1 more source