This paper explores the transformative impact of virtual worlds, augmented reality (AR), and the metaverse in the healthcare sector. It delves into the ways these technologies are reshaping patient care, medical educa...This paper explores the transformative impact of virtual worlds, augmented reality (AR), and the metaverse in the healthcare sector. It delves into the ways these technologies are reshaping patient care, medical education, and research, while also addressing the challenges and opportunities they present. The paper highlights the potential benefits of these technologies and emphasizes the need for comprehensive regulatory frameworks and ethical guidelines to ensure responsible integration. Finally it outlines their transformative impact and discusses the challenges and opportunities they present for the future of healthcare provision.展开更多
Purpose:This study explores the underlying research topics regarding CRISPR based on the LDA model and figures out trends in knowledge transfer from science to technology in this area over the latest 10 years.Design/m...Purpose:This study explores the underlying research topics regarding CRISPR based on the LDA model and figures out trends in knowledge transfer from science to technology in this area over the latest 10 years.Design/methodology/approach:We collected publications on CRISPR between 2011 and2020 from the Web of Science,and traced all the patents citing them from lens.org.15,904 articles and 18,985 patents in total are downloaded and analyzed.The LDA model was applied to identify underlying research topics in related research.In addition,some indicators were introduced to measure the knowledge transfer from research topics of scientific publications to IPC-4 classes of patents.Findings:The emerging research topics on CRISPR were identified and their evolution over time displayed.Furthermore,a big picture of knowledge transition from research topics to technological classes of patents was presented.We found that for all topics on CRISPR,the average first transition year,the ratio of articles cited by patents,the NPR transition rate are respectively 1.08,15.57%,and 1.19,extremely shorter and more intensive than those of general fields.Moreover,the transition patterns are different among research topics.Research limitations:Our research is limited to publications retrieved from the Web of Science and their citing patents indexed in lens.org.A limitation inherent with LDA analysis is in the manual interpretation and labeling of"topics".Practical implications:Our study provides good references for policy-makers on allocating scientific resources and regulating financial budgets to face challenges related to the transformative technology of CRISPR.Originality/value:The LDA model here is applied to topic identification in the area of transformative researches for the first time,as exemplified on CRISPR.Additionally,the dataset of all citing patents in this area helps to provide a full picture to detect the knowledge transition between S&T.展开更多
Wheat is one of the most important crops in China, and its genetic improvement has always been a research focus. In recent years, transgenic technology has been increasingly applied to improve the yield and quality, i...Wheat is one of the most important crops in China, and its genetic improvement has always been a research focus. In recent years, transgenic technology has been increasingly applied to improve the yield and quality, increase the resistance of disease, pest and stresses in wheat. The review pays particular attention to the current research progress on wheat transformation techniques, including expression vectors, reporter genes, selectable markers, genes of interest, explants and transformation methods. Based on this, the existing problems in wheat transformation techniques are discussed and the prospect of genetic breeding in wheat is also reviewed.展开更多
Joining in WTO will bring both positive and negative impacts on all kinds of industries in Nanjing. Nanjing should hold the chance of developing hi - technique industries, aborb more international technology transform...Joining in WTO will bring both positive and negative impacts on all kinds of industries in Nanjing. Nanjing should hold the chance of developing hi - technique industries, aborb more international technology transform, develop hi - technique processing trade, and speed up hi - techique independent innovation and R&D.展开更多
Distinct from the existing literature conforming to the Porter hypothesis which emphasizes the technological innovation mechanism,this paper examines the mechanism of technological transformation through which environ...Distinct from the existing literature conforming to the Porter hypothesis which emphasizes the technological innovation mechanism,this paper examines the mechanism of technological transformation through which environmental technical standards influence the manufacturing industry in reducing emissions and improving efficiency(i.e.green transition).Furthermore,drawing upon enterprise samples from the databases of Chinese Industrial Enterprises and Chinese Industrial Pollution Sources from Major Monitored Enterprises,it empirically validates the results of the theoretical analysis.Overall,our research reveals that environmental technical standards can propel manufacturing enterprises to reduce pollution and increase productivity by following an incremental path of technological transformation,thereby achieving a green transition.Moreover,environmental technical standards indirectly promote green technology innovation in the upstream equipment manufacturing enterprises.Heterogeneity analysis further shows that environmental technical standards have a stronger effect of green transition on those companies with higher pollution emission intensity,lower productivity,slower capital renewal and stronger financing capacity prior to implementing the environmental policies.展开更多
With the continuous deepening of the Belt and Road Initiative,the countries involved are increasingly connected in the field of science and technology.Based on the transformation theory of scientific and technological...With the continuous deepening of the Belt and Road Initiative,the countries involved are increasingly connected in the field of science and technology.Based on the transformation theory of scientific and technological(S&T)achievements,this study establishes a theoretical model of transformation factors of S&T achievements under the Belt and Road Initiative.Combined with the data analysis from questionnaire,it is found that in S&T achievements transformation process,there is a significant positive correlation between the innovation factors and the transfer factors,between the transfer factors and the diffusion factors,and between the diffusion factors and the transformation results.These conclusions provide reference for the subsequent S&T achievements transformation activities under the Belt and Road Initiative.Therefore,in the process of promoting the transformation of S&T achievements under the Belt and Road Initiative in the future,innovation factors such as information innovation,service innovation,and cooperative innovation should be fully reflected.Relevant agencies should take the transfer factors of S&T achievements as guidance;promote and apply the results of incubation through diffusion media and diffusion channels.展开更多
We propose a systematic method to deduce and synthesize the Dafny programs.First,the specification of problem is described in strict mathematical language.Then,the derivation process uses program specification transfo...We propose a systematic method to deduce and synthesize the Dafny programs.First,the specification of problem is described in strict mathematical language.Then,the derivation process uses program specification transformation technology to perform equivalent transformation.Furthermore,Dafny program is synthesized through the obtained recursive relationship and loop invariants.Finally,the functional correctness of Dafny program is automatically verified by Dafny verifier or online tool.Through this method,we deduce and synthesize Dafny programs for many typical problems such as the cube sum problem,the minimum(or maximum)contiguous subarray problems,several searching problems,several sorting problems,and so on.Due to space limitation,we only illustrate the development process of Dafny programs for two typical problems:the minimum contiguous subarray problem and the new local bubble sorting problem.It proves that our method can effectively improve the correctness and reliability of Dafny program developed.What’s more,we demonstrate the potential of the deductive synthesis method by developing a new local bubble Sorting program.展开更多
文摘This paper explores the transformative impact of virtual worlds, augmented reality (AR), and the metaverse in the healthcare sector. It delves into the ways these technologies are reshaping patient care, medical education, and research, while also addressing the challenges and opportunities they present. The paper highlights the potential benefits of these technologies and emphasizes the need for comprehensive regulatory frameworks and ethical guidelines to ensure responsible integration. Finally it outlines their transformative impact and discusses the challenges and opportunities they present for the future of healthcare provision.
基金supported by the National Natural Science Foundation of China,Grant numbers:71974167 and 71573225。
文摘Purpose:This study explores the underlying research topics regarding CRISPR based on the LDA model and figures out trends in knowledge transfer from science to technology in this area over the latest 10 years.Design/methodology/approach:We collected publications on CRISPR between 2011 and2020 from the Web of Science,and traced all the patents citing them from lens.org.15,904 articles and 18,985 patents in total are downloaded and analyzed.The LDA model was applied to identify underlying research topics in related research.In addition,some indicators were introduced to measure the knowledge transfer from research topics of scientific publications to IPC-4 classes of patents.Findings:The emerging research topics on CRISPR were identified and their evolution over time displayed.Furthermore,a big picture of knowledge transition from research topics to technological classes of patents was presented.We found that for all topics on CRISPR,the average first transition year,the ratio of articles cited by patents,the NPR transition rate are respectively 1.08,15.57%,and 1.19,extremely shorter and more intensive than those of general fields.Moreover,the transition patterns are different among research topics.Research limitations:Our research is limited to publications retrieved from the Web of Science and their citing patents indexed in lens.org.A limitation inherent with LDA analysis is in the manual interpretation and labeling of"topics".Practical implications:Our study provides good references for policy-makers on allocating scientific resources and regulating financial budgets to face challenges related to the transformative technology of CRISPR.Originality/value:The LDA model here is applied to topic identification in the area of transformative researches for the first time,as exemplified on CRISPR.Additionally,the dataset of all citing patents in this area helps to provide a full picture to detect the knowledge transition between S&T.
基金Supported by the Basic and Frontier Technology Research Programs from the Department of Science and Technology of Henan Province (072300430120)
文摘Wheat is one of the most important crops in China, and its genetic improvement has always been a research focus. In recent years, transgenic technology has been increasingly applied to improve the yield and quality, increase the resistance of disease, pest and stresses in wheat. The review pays particular attention to the current research progress on wheat transformation techniques, including expression vectors, reporter genes, selectable markers, genes of interest, explants and transformation methods. Based on this, the existing problems in wheat transformation techniques are discussed and the prospect of genetic breeding in wheat is also reviewed.
文摘Joining in WTO will bring both positive and negative impacts on all kinds of industries in Nanjing. Nanjing should hold the chance of developing hi - technique industries, aborb more international technology transform, develop hi - technique processing trade, and speed up hi - techique independent innovation and R&D.
文摘Distinct from the existing literature conforming to the Porter hypothesis which emphasizes the technological innovation mechanism,this paper examines the mechanism of technological transformation through which environmental technical standards influence the manufacturing industry in reducing emissions and improving efficiency(i.e.green transition).Furthermore,drawing upon enterprise samples from the databases of Chinese Industrial Enterprises and Chinese Industrial Pollution Sources from Major Monitored Enterprises,it empirically validates the results of the theoretical analysis.Overall,our research reveals that environmental technical standards can propel manufacturing enterprises to reduce pollution and increase productivity by following an incremental path of technological transformation,thereby achieving a green transition.Moreover,environmental technical standards indirectly promote green technology innovation in the upstream equipment manufacturing enterprises.Heterogeneity analysis further shows that environmental technical standards have a stronger effect of green transition on those companies with higher pollution emission intensity,lower productivity,slower capital renewal and stronger financing capacity prior to implementing the environmental policies.
基金Shanghai Science and Technology Commission's 2019"Science and Technology Innovation Action Plan"Project Haiju the Belt and Road Innovation and Technology Incubation Platform,China(No.19640770200)Fundamental Research Funds for the Central Universities,ChinaShanghai Pujiang Program,China(No.2020PJC002)。
文摘With the continuous deepening of the Belt and Road Initiative,the countries involved are increasingly connected in the field of science and technology.Based on the transformation theory of scientific and technological(S&T)achievements,this study establishes a theoretical model of transformation factors of S&T achievements under the Belt and Road Initiative.Combined with the data analysis from questionnaire,it is found that in S&T achievements transformation process,there is a significant positive correlation between the innovation factors and the transfer factors,between the transfer factors and the diffusion factors,and between the diffusion factors and the transformation results.These conclusions provide reference for the subsequent S&T achievements transformation activities under the Belt and Road Initiative.Therefore,in the process of promoting the transformation of S&T achievements under the Belt and Road Initiative in the future,innovation factors such as information innovation,service innovation,and cooperative innovation should be fully reflected.Relevant agencies should take the transfer factors of S&T achievements as guidance;promote and apply the results of incubation through diffusion media and diffusion channels.
基金Supported by the National Natural Science Foundation of China(61762049,61862033,61902162,11804133)Natural Science Foundation of Jiangxi Province(20202BABL202025,20202BABL202026,20202BAB202015)。
文摘We propose a systematic method to deduce and synthesize the Dafny programs.First,the specification of problem is described in strict mathematical language.Then,the derivation process uses program specification transformation technology to perform equivalent transformation.Furthermore,Dafny program is synthesized through the obtained recursive relationship and loop invariants.Finally,the functional correctness of Dafny program is automatically verified by Dafny verifier or online tool.Through this method,we deduce and synthesize Dafny programs for many typical problems such as the cube sum problem,the minimum(or maximum)contiguous subarray problems,several searching problems,several sorting problems,and so on.Due to space limitation,we only illustrate the development process of Dafny programs for two typical problems:the minimum contiguous subarray problem and the new local bubble sorting problem.It proves that our method can effectively improve the correctness and reliability of Dafny program developed.What’s more,we demonstrate the potential of the deductive synthesis method by developing a new local bubble Sorting program.