Establishing Linux Driver Verification Process

Author(s):  
Alexey Khoroshilov ◽  
Vadim Mutilin ◽  
Alexander Petrenko ◽  
Vladimir Zakharov
Keyword(s):  
2020 ◽  
Author(s):  
Tsuyoshi Mita ◽  
Yu Harabuchi ◽  
Satoshi Maeda

The systematic exploration of synthetic pathways to afford a desired product through quantum chemical calculations remains a considerable challenge. In 2013, Maeda et al. introduced ‘quantum chemistry aided retrosynthetic analysis’ (QCaRA), which uses quantum chemical calculations to search systematically for decomposition paths of the target product and propose a synthesis method. However, until now, no new reactions suggested by QCaRA have been reported to lead to experimental discoveries. Using a difluoroglycine derivative as a target, this study investigated the ability of QCaRA to suggest various synthetic paths to the target without relying on previous data or the knowledge and experience of chemists. Furthermore, experimental verification of the seemingly most promising path led to the discovery of a synthesis method for the difluoroglycine derivative. The extent of the hands-on expertise of chemists required during the verification process was also evaluated. These insights are expected to advance the applicability of QCaRA to the discovery of viable experimental synthetic routes.


2020 ◽  
Author(s):  
Tsuyoshi Mita ◽  
Yu Harabuchi ◽  
Satoshi Maeda

The systematic exploration of synthetic pathways to afford a desired product through quantum chemical calculations remains a considerable challenge. In 2013, Maeda et al. introduced ‘quantum chemistry aided retrosynthetic analysis’ (QCaRA), which uses quantum chemical calculations to search systematically for decomposition paths of the target product and propose a synthesis method. However, until now, no new reactions suggested by QCaRA have been reported to lead to experimental discoveries. Using a difluoroglycine derivative as a target, this study investigated the ability of QCaRA to suggest various synthetic paths to the target without relying on previous data or the knowledge and experience of chemists. Furthermore, experimental verification of the seemingly most promising path led to the discovery of a synthesis method for the difluoroglycine derivative. The extent of the hands-on expertise of chemists required during the verification process was also evaluated. These insights are expected to advance the applicability of QCaRA to the discovery of viable experimental synthetic routes.


2018 ◽  
Author(s):  
Мария Григорьевна Алпатова ◽  
Мария Игоревна Щеглова ◽  
Elmira Kalybaevna Adil’bekova ◽  
Nuradin Alibaev ◽  
Arunas Svitojus

The conference is a major international forum for analyzing and discussing trends and approaches in research in the field of basic science and applied research. We provide a platform for discussions on innovative, theoretical and empirical research. The form of the conference: in absentia, without specifying the form in the collection of articles. Working languages: Russian, English Doctors and candidates of science, scientists, specialists of various profiles and directions, applicants for academic degrees, teachers, graduate students, undergraduates, students are invited to participate in the conference. There is one blind verification process in the journal. All articles will be initially evaluated by the editor for compliance with the journal. Manuscripts that are considered appropriate are then usually sent to at least two independent peer reviewers to assess the scientific quality of the article. The editor is responsible for the final decision on whether to accept or reject the article. The editor's decision is final. The main criterion used in assessing the manuscript submitted to the journal is: uniqueness or innovation in the work from the point of view of the methodology being developed and / or its application to a problem of particular importance in the public sector or service sector and / or the setting in which the efforts, for example, in the developing region of the world. That is, the very model / methodology, application and context of problems, at least one of them must be unique and important. Additional criteria considered in the consideration of the submitted document are its accuracy, organization / presentation (ie logical flow) and recording quality.


2019 ◽  
Author(s):  
Изабелла Станиславовна Чибисова ◽  
Диана Ильгизаровна Шарипова ◽  
Альфия Галиевна Зулькарнаева ◽  
Ксения Александровна Дулова ◽  
Садег Амирзадеган ◽  
...  

The conference is a major international forum for analyzing and discussing trends and approaches in research in the field of basic science and applied research. We provide a platform for discussions on innovative, theoretical and empirical research. The form of the conference: in absentia, without specifying the form in the collection of articles. Working languages: Russian, English Doctors and candidates of science, scientists, specialists of various profiles and directions, applicants for academic degrees, teachers, graduate students, undergraduates, students are invited to participate in the conference. There is one blind verification process in the journal. All articles will be initially evaluated by the editor for compliance with the journal. Manuscripts that are considered appropriate are then usually sent to at least two independent peer reviewers to assess the scientific quality of the article. The editor is responsible for the final decision on whether to accept or reject the article. The editor's decision is final. The main criterion used in assessing the manuscript submitted to the journal is: uniqueness or innovation in the work from the point of view of the methodology being developed and / or its application to a problem of particular importance in the public sector or service sector and / or the setting in which the efforts, for example, in the developing region of the world. That is, the very model / methodology, application and context of problems, at least one of them must be unique and important. Additional criteria considered in the consideration of the submitted document are its accuracy, organization / presentation (ie logical flow) and recording quality.


2019 ◽  
Author(s):  
Inc. OEAPS

"Academy Journal" is an international, peer-reviewed monthly journal. It is devoted to the publication of original scientific research articles dealing with various academic disciplines.Articles that may be of interest to a wide range of researchers are welcome, and not limited to those who work on specific research subjects."Academy Journal" has an open archive, according to which published articles are available immediately after publication, excluding embargoes.Expert reviewThere is one blind verification process in the journal. All articles will be initially evaluated by the editor for compliance with the journal. Manuscripts that are considered appropriate are then usually sent to at least two independent peer reviewers to assess the scientific quality of the article. The editor is responsible for the final decision on whether to accept or reject the article. The editor's decision is final.The main criterion used in assessing the manuscript submitted to the journal is: uniqueness or innovation in the work from the point of view of the methodology being developed and / or its application to a problem of particular importance in the public sector or service sector and / or the setting in which the efforts, for example, in the developing region of the world. That is, the very model / methodology, application and context of problems, at least one of them must be unique and important.Additional criteria considered in the consideration of the submitted document are its accuracy, organization / presentation (ie logical flow) and recording quality.


2012 ◽  
Vol 6 (1) ◽  
pp. 33-56 ◽  
Author(s):  
Pei-Yuan Shen ◽  
Maolin Tang ◽  
Vicky Liu ◽  
William Caelli

Current research in secure messaging for Vehicular Ad hoc Networks (VANETs) focuses on employing a digital certificate-based Public Key Cryptosystem (PKC) to support security. However, the security overhead of such a scheme creates a transmission delay and introduces a time-consuming verification process to VANET communications. This paper proposes a non-certificate-based public key management for VANETs. A comprehensive evaluation of performance and scalability of the proposed public key management regime is presented, which is compared with a certificate-based PKC by employing a number of quantified analyses and simulations. In this paper, the authors demonstrate that the proposal can maintain security and assert that it can improve overall performance and scalability at a lower cost, compared with certificate-based PKC. The proposed scheme adds a new dimension to key management and verification services for VANETs.


2021 ◽  
Vol 6 (1) ◽  
pp. e000692
Author(s):  
Robert M Madayag ◽  
Erica Sercy ◽  
Gina M Berg ◽  
Kaysie L Banton ◽  
Matthew Carrick ◽  
...  

IntroductionThe COVID-19 pandemic has had major effects on hospitals’ ability to perform scientific research while providing patient care and minimizing virus exposure and spread. Many non-COVID-19 research has been halted, and funding has been diverted to COVID-19 research and away from other areas.MethodsA 28-question survey was administered to all level 1 trauma centers in the USA that included questions about how the pandemic affected the trauma centers’ ability to fulfill the volume and research requirements of level 1 verification by the American College of Surgeons (ACS).ResultsThe survey had a 29% response rate (40/137 successful invitations). Over half of respondents (52%) reported reduced trauma admissions during the pandemic, and 7% reported that their admissions dropped below the volume required for level 1 verification. Many centers diverted resources from research during the pandemic (44%), halted ongoing consenting studies (33%), and had difficulty fulfilling research requirements because of competing clinical priorities (40%).DiscussionResults of this study show a need for flexibility in the ACS verification process during the COVID-19 pandemic, potentially including reduction of the required admissions and/or research publication volumes.Level of evidenceLevel IV, cross-sectional study.


Aerospace ◽  
2019 ◽  
Vol 6 (5) ◽  
pp. 61 ◽  
Author(s):  
Jesus Gonzalez-Llorente ◽  
Aleksander A. Lidtke ◽  
Ken Hatanaka ◽  
Ryo Kawauchi ◽  
Kei-Ichi Okuyama

As small satellites are becoming more widespread for new businesses and applications, the development time, failure rate and cost of the spacecraft must be reduced. One of the systems with the highest cost and the most frequent failure in the satellite is the Electrical Power System (EPS). One approach to achieve rapid development times while reducing the cost and failure rate is using scalable modules. We propose a solar module integrated converter (SMIC) and its verification process as a key component for power generation in EPS. SMIC integrates the solar array, its regulators and the telemetry acquisition unit. This paper details the design and verification process of the SMIC and presents the in-orbit results of 12 SMICs used in Ten-Koh satellite, which was developed in less than 1.5 years. The in-orbit data received since the launch reveal that solar module withstands not only the launching environment of H-IIA rocket but also more than 1500 orbits in LEO. The modular approach allowed the design, implementation and qualification of only one module, followed by manufacturing and integration of 12 subsequent flight units. The approach with the solar module can be followed in other components of the EPS such as battery and power regulators.


Sign in / Sign up

Export Citation Format

Share Document