Search results for "V2"
showing 10 items of 446 documents
SISALv2: a comprehensive speleothem isotope database with multiple age–depth models
2020
Characterizing the temporal uncertainty in palaeoclimate records is crucial for analysing past climate change, correlating climate events between records, assessing climate periodicities, identifying potential triggers and evaluating climate model simulations. The first global compilation of speleothem isotope records by the SISAL (Speleothem Isotope Synthesis and Analysis) working group showed that age model uncertainties are not systematically reported in the published literature, and these are only available for a limited number of records (ca. 15 %, n = 107/691). To improve the usefulness of the SISAL database, we have (i) improved the database’s spatio-temporal coverage and (ii) create…
Computational Approaches: Drug Discovery and Design in Medicinal Chemistry and Bioinformatics
2021
To date, computational approaches have been recognized as a key component in drug design and discovery workflows. Developed to help researchers save time and reduce costs, several computational tools have been developed and implemented in the last twenty years. At present, they are routinely used to identify a therapeutic target, understand ligand–protein and protein–protein interactions, and identify orthosteric and allosteric binding sites, but their primary use remains the identification of hits through ligand-based and structure-based virtual screening and the optimization of lead compounds, followed by the estimation of the binding free energy. The repurposing of an old drug for the tr…
Miscellaneous Graph Preliminaries. Part I
2021
Summary This article contains many auxiliary theorems which were missing in the Mizar Mathematical Library to the best of the author’s knowledge. Most of them regard graph theory as formalized in the GLIB series and are needed in upcoming articles.
About Graph Complements
2020
Summary This article formalizes different variants of the complement graph in the Mizar system [3], based on the formalization of graphs in [6].
Refined Finiteness and Degree Properties in Graphs
2020
Summary In this article the finiteness of graphs is refined and the minimal and maximal degree of graphs are formalized in the Mizar system [3], based on the formalization of graphs in [4].
About Graph Unions and Intersections
2020
Summary In this article the union and intersection of a set of graphs are formalized in the Mizar system [5], based on the formalization of graphs in [7].
Coalition: Advocacy for prospective clinical trials to test the post-exposure potential of hydroxychloroquine against COVID-19
2020
Our coalition of public health experts, doctors, and scientists worldwide want to draw attention to the need for high-quality evaluation protocols of the potential beneficial effect of hydroxychloroquine (HCQ) as a post-exposure drug for exposed people. In the absence of an approved, recognized effective pre or post-exposure prophylactic drug or vaccine for COVID-19, nor of any approved and validated therapeutic drug, coupled with social and political pressure raised by publicity both regarding the potential beneficial effect of hydroxychloroquine (HCQ) as well as potential risks from HCQ, we urge the immediate proper clinical trials. Specifically, we mean using HCQ for post-exposure of peo…
An approach to electromagnetism from the general relativity
2010
Classical gravitation is so similar to the electrostatic that the possible unification has been investigated for many years. Although electromagnetism is formulated successfully by quantum field theory, this paper proposes a simple approach to describe the electromagnetism from the macroscopic perspective of general relativity. The hypothesis is based on two charged particles that cause disturbance energy sufficient to disrupt the space-time and explain approximately Maxwell's equations. Therefore, with such this simple idea, we suggest the possibility that the geometric relationship between electromagnetism and gravitation is not yet fully exhausted.
Variable X-ray emission from the accretion shock in the classical T Tauri star V2129 Ophiuchi
2011
The soft X-ray emission from high density plasma in CTTS is associated with the accretion process. It is still unclear whether this high density cool plasma is heated in the accretion shock, or if it is coronal plasma fed/modified by the accretion process. We conducted a coordinated quasi-simultaneous optical and X-ray observing campaign of the CTTS V2129 Oph (Chandra/HETGS data to constrain the X-ray emitting plasma components, and optical observations to constrain the characteristics of accretion and magnetic field). We analyze a 200 ks Chandra/HETGS observation of V2129 Oph, subdivided into two 100 ks segments, corresponding to two different phases within one stellar rotation. The X-ray …
Design and simulation of a fast DC recharging station for EV
2017
In this paper a detailed description of the design and simulation of a DC ultra-fast recharging station for Electric Vehicles is carried out. The system consist of a single AC/DC grid connected inverter, a DC-Bus and two DC/DC converter to recharge the batteries of the EVs. The system also has the vehicleto- grid (V2G) capability. The design of the components of the system and the control schemes are explained and a simulation of the system, performed in Matlab/Simulink environment is presented.