Knowledge spaces with graded knowledge states

Knowledge spaces represent a framework for assessment of knowledge with solid theoretical foundations, methodology, software tools, and practical applications. The underlying assumption in knowledge spaces is that a knowledge state of an individual is represented by a set of items which the individual has mastered. In this paper, we propose an extension of the theory of knowledge spaces which accounts for gradedness of knowledge states. Namely, we assume that a knowledge state is represented by a fuzzy (graded) set with degrees representing levels to which an individual has mastered the items. If 0 and 1 are the only degrees, our approach coincides with that of ordinary knowledge spaces. We develop basic concepts and results in the graded setting including bases of graded knowledge states and their computation and a logic of partial failure with its completeness theorem. We also present an illustrative example. The main aim of this paper is to demonstrate mathematical and computational feasibility of knowledge spaces with graded knowledge states.     

A Simple Approach to Unsymmetric Atropoisomeric Bipyridine N,N′‐Dioxides and Their Application in Enantioselective Allylation of Aldehydes

The [2+2+2] cyclotrimerization of 1‐isoquinolinyl‐1,7‐octadiyne with benzonitrile catalyzed by CpCo(CO)₂ opened a new pathway for a synthesis of unsymmetrical axially chiral bipyridine N,N′‐dioxides. The N,N′‐dioxide 3a was found to be highly catalytically active and enantioselective for the asymmetric allylation of aldehydes with allyltrichlorosilane. The allylation took place with even 1 % of the catalyst with an enantioselectivity up to 87 % ee.     

Mechanical properties of amorphous silicon carbonitride thin films at elevated temperatures

The mechanical properties of amorphous silicon carbonitride (a-SiC _x N _y ) films with various nitrogen content (y = 0–40 at.%) were investigated in situ at elevated temperatures up to 650 °C in inert atmosphere. A SiC film was measured also at 700 °C in air. The hardness and elastic modulus were evaluated using instrumented nanoindentation with thermally stable cubic boron nitride Berkovich indenter. Both the sample and the indenter were separately heated during the experiments to temperatures of 300, 500, and 650 °C. Short duration high temperature creep tests (1200 s) of the films were also carried out. The results revealed that the room temperature hardness and elastic modulus deteriorate with the increase of the nitrogen content. Furthermore, the hardness of both the a-SiC and the a-SiCN films with lower nitrogen content at 300 °C drops to approx. 77 % of the corresponding room temperature values, while it reduces to 69 % for the a-SiCN film with 40 at.% of nitrogen. Further increase of temperature is accompanied with minor reduction in hardness except for the a-SiCN film with highest nitrogen content, where the hardness decreases at a much faster rate. Upon heating up to 500 °C, the elastic modulus of the a-SiCN film decreases, while it increases at 650 °C due to the pronounced effect of short-range ordering. The steady-state creep rate increases at elevated temperatures and the a-SiC exhibits slower creep rates compared to the a-SiCN films. The value of the universal constant x = 7 relating the W _p/W _t and H/E ^* was established and its applicability was demonstrated. Analysis of the experimental indentation data suggests a theoretical limit of hardness to elastic modulus ratio of 0.143.     

NRI Řež solution of Exercise 3 of VVER-1000 Coolant Transient Benchmark – Phase 1 with coupled codes DYN3D–ATHLET

The paper presents a solution of VVER-1000 Coolant Transient Benchmark – Phase 1 (V1000CT-1) of Exercise 3 performed with the coupled reactor dynamic code DYN3D and system code ATHLET at NRI Řež. The first part of the paper contains brief characteristics of VVER-1000 NPP input deck and describes also the applied reactor core model. The second part introduces the steady-state results and important time dependencies, compared with experimental values. The calculation results show that such type of transient can be realistically described by the coupled codes DYN3D–ATHLET.     

Screening of protease inhibitors as antiplasmodial agents. Part I: Aziridines and epoxides

A broad protease-based and cell-based screening of protease inhibitors yielded the aziridine-2-carboxylic acid derivative 2 a and the N-acylated aziridine-2,3-dicarboxylic acid derivatives 32 a and 34 b as the most potent inhibitors of falcipain-2 and falcipain-3 (IC(50) falcipain-2: 0.079-5.4 microM, falcipain-3: 0.25-39.8 microM). As the compounds also display in vitro activity against the P. falciparum parasite in the submicromolar and low micromolar range, these compound classes are leads for new antiplasmodial falcipain inhibitors.     

What can Computer Graphics expect from 3D Computer Vision?

Computer Vision is a discipline whose ultimate goal is to interpret optical images of real scenes. It is well understood that such a problem is cursed by ambiguity of interpretation and uncertainty of evidence. Despite imperfectness of results due to the scenes never following our prior models exactly, Computer Vision has achieved a significant progress in the past two decades. This talk will outline the quest of 3D Computer Vision by describing a processing pipeline that receives a heap of unorganized images from unknown cameras and produces a consistent 3D geometric model together with camera calibrations. We will see how new algorithms allow the standard conception of the pipeline as a series of independent processing steps gradually transform to a single complex, yet efficient vision task. We will identify some points where linking Computer Vision and Computer Graphics would bring significant progress.     

New Pathway to C2‐Symmetric Atropoisomeric Bipyridine N,N′‐Dioxides and Solvent Effect in Enantioselective Allylation of Aldehydes

The [2+2+2] cyclotrimerization of 1,7,9,15‐hexadecatetrayne with nitriles catalyzed by dicarbonylcyclopentadienylcobalt(I) opened a new pathway for the synthesis of C₂‐symmetrical bis(tetrahydroisoquinolines) that were used as starting material for the preparation of axially chiral bipyridine N,N′‐dioxides. The N,N′‐dioxides (1 mol%) were found to be highly catalytically active and enantioselective (up to 83% ee) for the asymmetric allylation of aldehydes with allyl(trichloro)silane in various solvents. In addition, a dramatic solvent effect was observed where the use of different solvents induced opposite chiralities of the product with the same enantiomer of the catalyst, e.g., 65% ee (S) in acetonitrile (MeCN) vs. 82% ee (R) in chlorobenzene.     

A systematic review on the use of quantitative imaging to detect cancer therapy adverse effects in normal-appearing brain tissue

Cancer therapy for both central nervous system (CNS) and non-CNS tumors has been previously associated with transient and long-term cognitive deterioration, commonly referred to as ‘chemo fog’. This therapy-related damage to otherwise normal-appearing brain tissue is reported using post-mortem neuropathological analysis. Although the literature on monitoring therapy effects on structural magnetic resonance imaging (MRI) is well established, such macroscopic structural changes appear relatively late and irreversible. Early quantitative MRI biomarkers of therapy-induced damage would potentially permit taking these treatment side effects into account, paving the way towards a more personalized treatment planning.

This systematic review (PROSPERO number 224196) provides an overview of quantitative tomographic imaging methods, potentially identifying the adverse side effects of cancer therapy in normal-appearing brain tissue. Seventy studies were obtained from the MEDLINE and Web of Science databases. Studies reporting changes in normal-appearing brain tissue using MRI, PET, or SPECT quantitative biomarkers, related to radio-, chemo-, immuno-, or hormone therapy for any kind of solid, cystic, or liquid tumor were included. The main findings of the reviewed studies were summarized, providing also the risk of bias of each study assessed using a modified QUADAS-2 tool. For each imaging method, this review provides the methodological background, and the benefits and shortcomings of each method from the imaging perspective. Finally, a set of recommendations is proposed to support future research.