A propositional probabilistic logic with discrete linear time for reasoning about evidence

The aim of the paper is to present a sound, strongly complete and decidable probabilistic temporal logic that can model reasoning about evidence. The formal system developed here is actually a solution of a problem proposed by Halpern and Pucella (J Artif Intell Res 26:1–34, 2006).     

Fast evaluation of dynamic changes of electric power systems frequency during primary control

The paper presents the development of a simple method for the fast and sufficiently accurate assessment of dynamic changes of power systems frequency during the time period of primary control. Also, this model gives corresponding values of the total mechanical power of synchronous generators, during the some period. The development of a proposed low-order system frequency response model is based on the main assumption of uniform movement of generators, which enables representation of the power system through an equivalent controlled synchronous machine. The characteristics of the developed method were determined on an example of a real electric power system and a comparison was made with the results of a stricter approach.     

The Interplay of Lung Cancer,COVID-19, and Vaccines

Patients with cancer are more susceptible to a higher risk of coronavirus infection and its severe complications than the general population. In addition, these patients were not included in the pivotal clinical trials for COVID-19 vaccines. Therefore, considerable uncertainty remains regarding the management of cancer patients during the COVID-19 pandemic and the safety of COVID-19 vaccinations in cancer patients. In this review, we summarize the current knowledge generated from the beginning of the COVID-19 pandemic on the vulnerability of cancer patients to the coronavirus disease, as well as the effectiveness of COVID-19 vaccines in this population. We also discuss the available data on the effects of anticancer treatment with immune checkpoint inhibitors on the immune responses to SARS-CoV-2 in cancer patients. Special attention in this review will be given to patients with lung cancer, as such patients are at an increased risk for severe effects from COVID-19.     

An approach to the evaluation of electromechanical transient processes in power systems

The paper presents an approach to the evaluation of electromechanical transient processes in power systems. On the basis of identification of the physical properties of the system considered, for an adequately chosen time interval, quasilinearization and decomposition of the original system of nonlinear differential equations into subsystems is performed. A linear transformation is introduced which transforms the state matrix of the sub-systems into diagonal form. These simplifications enable the use of numerical integration schemes based on difference state equations, which have an elementary form. As a result, a model is formed which is very suitable for numerical treatment. The integration is performed without numerical instability, quickly and effectively, with the desired simulation accuracy, and with low memory requirements.     

High-throughput single-cell fluorescence spectroscopy

A high-throughput method for measuring single-cell fluorescence spectra is presented. Upon excitation with a 488 nm argon-ion laser many bacterial cells were imaged by a 20x microscope objective while they moved through a capillary tube. Fluorescence was dispersed by a transmission diffraction grating, and an intensified charge-coupled device (ICCD) camera simultaneously recorded the zero and the first orders of the fluorescence from each cell. Single-cell fluorescence spectra were reconstructed from the distance between zero-order and first-order maxima as well as the length and the pixel intensity distribution of the first-order images. By using this approach, the emission spectrum of E. coli cells expressing green fluorescent protein (GFP) was reconstructed. Also, fluorescence spectra of E. coli cells expressing non-fluorescent apo-subunits of R-phycoerythrin (R-PE) were recorded after incubation of the cells with phycoerythrobilin (PEB) chromophore. The fluorescence spectra are in good agreement with results obtained on the same cells using a fluorescence spectrometer or a fluorescence microscope. When spectra are to be acquired, this approach has a higher throughput, better sensitivity, and better spectral resolution compared to flow cytometry.     

Contribution of suboptimal control of manipulation robots

Nonlinear model of an active spatial mechanism is considered as a set of subsystems each associated to one mechanical degree of freedom. For each decoupled subsystem, control, minimizing local criterion, is synthesized. Since the destabilizing influence of coupling among subsystems could be strong, global control is introduced in order to decrease suboptimality of the decentralized control applied. The control synthesis is demonstrated on an example of a six degree of freedom (DOF) manipulator.