咨询与建议

限定检索结果

文献类型

  • 629 篇 会议
  • 356 篇 期刊文献
  • 19 册 图书

馆藏范围

  • 1,004 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 655 篇 工学
    • 452 篇 计算机科学与技术...
    • 366 篇 软件工程
    • 140 篇 信息与通信工程
    • 87 篇 控制科学与工程
    • 65 篇 电气工程
    • 63 篇 生物工程
    • 62 篇 电子科学与技术(可...
    • 47 篇 光学工程
    • 43 篇 生物医学工程(可授...
    • 39 篇 机械工程
    • 37 篇 化学工程与技术
    • 34 篇 仪器科学与技术
    • 25 篇 交通运输工程
    • 25 篇 航空宇航科学与技...
    • 22 篇 动力工程及工程热...
    • 20 篇 土木工程
  • 313 篇 理学
    • 147 篇 数学
    • 100 篇 物理学
    • 76 篇 生物学
    • 41 篇 统计学(可授理学、...
    • 40 篇 化学
    • 28 篇 系统科学
  • 187 篇 管理学
    • 112 篇 管理科学与工程(可...
    • 79 篇 图书情报与档案管...
    • 47 篇 工商管理
  • 62 篇 医学
    • 54 篇 临床医学
    • 38 篇 基础医学(可授医学...
    • 20 篇 公共卫生与预防医...
    • 20 篇 药学(可授医学、理...
  • 33 篇 法学
    • 31 篇 社会学
  • 19 篇 教育学
  • 13 篇 经济学
  • 9 篇 农学
  • 3 篇 军事学
  • 2 篇 文学
  • 1 篇 艺术学

主题

  • 28 篇 software enginee...
  • 21 篇 training
  • 20 篇 semantics
  • 19 篇 feature extracti...
  • 18 篇 software
  • 16 篇 web services
  • 14 篇 deep learning
  • 14 篇 accuracy
  • 13 篇 information tech...
  • 13 篇 machine learning
  • 12 篇 informatics
  • 12 篇 data mining
  • 12 篇 testing
  • 11 篇 optimization
  • 11 篇 computational mo...
  • 11 篇 predictive model...
  • 11 篇 convolutional ne...
  • 10 篇 educational inst...
  • 10 篇 quality of servi...
  • 10 篇 analytical model...

机构

  • 31 篇 national enginee...
  • 23 篇 university of ch...
  • 21 篇 key laboratory o...
  • 18 篇 institute of inf...
  • 16 篇 guangdong provin...
  • 14 篇 college of compu...
  • 12 篇 school of electr...
  • 12 篇 institute of sof...
  • 10 篇 health managemen...
  • 10 篇 computer vision ...
  • 10 篇 shenzhen institu...
  • 9 篇 cas center for e...
  • 9 篇 health systems a...
  • 9 篇 science & techno...
  • 9 篇 julius centre fo...
  • 9 篇 national key lab...
  • 9 篇 department of co...
  • 9 篇 guangdong key la...
  • 9 篇 laboratory for i...
  • 9 篇 science and tech...

作者

  • 29 篇 bieliková mária
  • 24 篇 shen linlin
  • 13 篇 valentino vranić
  • 12 篇 vranic valentino
  • 10 篇 zheng changwen
  • 10 篇 vranić valentino
  • 9 篇 wang qing
  • 9 篇 qiang wenwen
  • 9 篇 linlin shen
  • 8 篇 wang jinbao
  • 8 篇 gao can
  • 7 篇 barla michal
  • 7 篇 tao dacheng
  • 7 篇 yu zitong
  • 7 篇 yunhao liu
  • 7 篇 si lingyu
  • 6 篇 chen zhong
  • 6 篇 bin hu
  • 6 篇 si thu thant sin
  • 6 篇 li jiangmeng

语言

  • 925 篇 英文
  • 56 篇 其他
  • 24 篇 中文
  • 1 篇 德文
  • 1 篇 法文
  • 1 篇 荷兰文
检索条件"机构=Institute of System and Software Engineering and Information Technologies"
1004 条 记 录,以下是571-580 订阅
排序:
Tool Support for Restricted Use Case Specification: Findings from a Controlled Experiment
Tool Support for Restricted Use Case Specification: Findings...
收藏 引用
Asia-Pacific Conference on software engineering
作者: Markus Weninger Paul Grünbacher Huihui Zhang Tao Yue Shaukat Ali Christian Doppler Laboratory MEVSS Institute for System Software Johannes Kepler University Linz Austria Christian Doppler Laboratory MEVSS Institute for Software Systems Engineering Johannes Kepler University Linz Austria School of Computer Engineering Weifang University China Simula Research Laboratory Norway Information Systems Architecture Science Research Division National Institute of Informatics Tokyo Japan
Evidence has shown that the use of restricted natural languages can reduce ambiguities in textual use case specifications (UCSs). Restricted natural languages often come with specific editors that support particular u... 详细信息
来源: 评论
Impossible meet-in-the-middle fault analysis on the LED lightweight cipher in VANETs
收藏 引用
Science China(information Sciences) 2018年 第3期61卷 118-130页
作者: Wei LI Vincent RIJMEN Zhi TAO Qingju WANG Hua CHEN Yunwen LIU Chaoyun LI Ya LIU School of Computer Science and Technology Donghua University imec-COSIC KU Leuven Shanghai Key Laboratory of Integrate Administration Technologies for Information Security Department of Computer Science and Engineering Shanghai Jiao Tong University Department of Applied Mathematics and Computer Science Technical University of Denmark Trusted Computing and Information Assurance Laboratory Institute of SoftwareChinese Academy of Sciences College of Science National University of Defense Technology Department of Computer Science and Engineering University of Shanghai for Science and Technology
With the expansion of wireless technology, vehicular ad-hoc networks(VANETs) are emerging as a promising approach for realizing smart cities and addressing many serious traffic problems, such as road safety, convenien... 详细信息
来源: 评论
High-depth African genomes inform human migration and health (vol 586, pg 741, 2020)
收藏 引用
NATURE 2021年 第7856期592卷 E26-E26页
作者: Choudhury, Ananyo Aron, Shaun Botigue, Laura R. Sengupta, Dhriti Botha, Gerrit Bensellak, Taoufik Wells, Gordon Kumuthini, Judit Shriner, Daniel Fakim, Yasmina J. Ghoorah, Anisah W. Dareng, Eileen Odia, Trust Falola, Oluwadamilare Adebiyi, Ezekiel Hazelhurst, Scott Mazandu, Gaston Nyangiri, Oscar A. Mbiyavanga, Mamana Benkahla, Alia Kassim, Samar K. Mulder, Nicola Adebamowo, Sally N. Chimusa, Emile R. Muzny, Donna Metcalf, Ginger Gibbs, Richard A. Matovu, Enock Bucheton, Bruno Hertz-Fowler, Christiane Koffi, Mathurin Macleod, Annette Mumba-Ngoyi, Dieudonne Noyes, Harry Nyangiri, Oscar A. Simo, Gustave Simuunza, Martin Rotimi, Charles Ramsay, Michele Choudhury, Ananyo Choudhury, Ananyo Aron, Shaun Botigue, Laura Sengupta, Dhriti Botha, Gerrit Bensellak, Taoufik Wells, Gordon Kumuthini, Judit Shriner, Daniel Fakim, Yasmina J. Ghoorah, Anisah W. Dareng, Eileen Odia, Trust Falola, Oluwadamilare Adebiyi, Ezekiel Hazelhurst, Scott Mazandu, Gaston Nyangiri, Oscar A. Mbiyavanga, Mamana Benkahla, Alia Kassim, Samar K. Mulder, Nicola Adebamowo, Sally N. Chimusa, Emile R. Rotimi, Charles Ramsay, Michele Adeyemo, Adebowale A. Lombard, Zane Hanchard, Neil A. Adebamowo, Clement Agongo, Godfred Boua, Romuald P. Oduro, Abraham Sorgho, Hermann Landoure, Guida Cisse, Lassana Diarra, Salimata Samassekou, Oumar Anabwani, Gabriel Matshaba, Mogomotsi Joloba, Moses Kekitiinwa, Adeodata Mardon, Graeme Mpoloka, Sununguko W. Kyobe, Samuel Mlotshwa, Busisiwe Mwesigwa, Savannah Retshabile, Gaone Williams, Lesedi Wonkam, Ambroise Moussa, Ahmed Adu, Dwomoa Ojo, Akinlolu Burke, David Salako, Babatunde O. Matovu, Enock Bucheton, Bruno Hertz-Fowler, Christiane Koffi, Mathurin Macleod, Annette Mumba-Ngoyi, Dieudonne Noyes, Harry Nyangiri, Oscar A. Simo, Gustave Simuunza, Martin Awadalla, Philip Bruat, Vanessa Gbeha, Elias Adeyemo, Adebowale A. Lombard, Zane Hanchard, Neil A. Sydney Brenner Institute for Molecular Bioscience Faculty of Health Sciences University of the Witwatersrand Johannesburg South Africa School of Electrical and Information Engineering University of the Witwatersrand Johannesburg South Africa Division of Human Genetics National Health Laboratory Service and School of Pathology Faculty of Health Sciences University of the Witwatersrand Johannesburg South Africa Navrongo Health Research Centre Navrongo Ghana Clinical Research Unit of Nanoro Institut de Recherche en Sciences de la Sante Bobo-Dioulasso Burkina Faso Center for Research in Agricultural Genomics (CRAG) Plant and Animal Genomics Program CSIC-IRTA-UAB-UB Barcelona Spain Computational Biology Division and H3ABioNet Department of Integrative Biomedical Sciences IDM University of Cape Town Cape Town South Africa System and Data Engineering Team Abdelmalek Essaadi University ENSA Tangier Morocco Centre for Proteomic and Genomic Research (CPGR) Cape Town South Africa South African National Bioinformatics Institute University of the Western Cape Bellville South Africa Africa Health Research Institute Durban South Africa Center for Research on Genomics and Global Health National Human Genome Research Institute National Institutes of Health Bethesda MD USA Department of Agriculture and Food Science Faculty of Agriculture University of Mauritius Reduit Mauritius Department of Digital Technologies Faculty of Information Communication & Digital Technologies University of Mauritius Reduit Mauritius Department of Public Health and Primary Care University of Cambridge Cambridge UK Institute of Human Virology Nigeria Abuja Nigeria Department of Epidemiology and Public Health University of Maryland School of Medicine University of Maryland Baltimore Baltimore MD USA University of Maryland Greenebaum Comprehensive Cancer Center University of Maryland School of Medicine University of Maryland Baltimore Baltimore MD USA Institute of Human Virology and Greeneba
来源: 评论
Scientific Data Lake for High Luminosity LHC project and other data-intensive particle and astro-particle physics experiments
收藏 引用
Journal of Physics: Conference Series 2020年 第1期1690卷
作者: A Alekseev A Kiryanov A Klimentov T Korchuganova V Mitsyn D Oleynik A Smirnov S Smirnov A Zarochentsev Compiler Technology Department Ivannikov Institute for System Programming of the RAS Moscow 109004 Russia Cloud technologies and Big Data analytics laboratory Plekhanov Russian University of Economics Moscow 117997 Russia ATLAS group Universidad Andres Bello Santiago 7550196 Chile Department of computing resources and technologies NRC 'Kurchatov Institute' - PNPI 188300 Gatchina Russia Physics Department Brookhaven National Laboratory Upton NY 11973 USA Laboratory of Information Technologies Joint Institute for Nuclear Research Dubna 141980 Russia Institute of Nuclear Physics and Engineering National Research Nuclear University MEPhI Moscow 115409 Russia Laboratory of Ultra-High Energy Physics Saint Petersburg State University Saint Petersburg 198504 Russia
The next phase of LHC Operations – High Luminosity LHC (HL-LHC), which is aimed at ten-fold increase in the luminosity of proton-proton collisions at the energy of 14 TeV, is expected to start operation in 2027-2028 ...
来源: 评论
Model-Based Personalized Visualization system for Monitoring Evolving Industrial Cyber-Physical system
Model-Based Personalized Visualization System for Monitoring...
收藏 引用
Asia-Pacific Conference on software engineering
作者: Aitziber Iglesias Tao Yue Cristobal Arellano Shaukat Ali Goiuria Sagardui Information and Communication Technologies Area IK4-Ikerlan Research Center Arrasate Spain Department of Engineering Complex Software Systems Simula Research Laboratory Oslo Norway Information Systems Architecture Science Research Division National Institute of Informatics Tokyo Japan Information Systems HAZI-ISI Mondragon Unibertsitatea Arrasate Spain
Monitoring Industrial Cyber-Physical systems (ICPSs) is increasingly becoming essential, which requires the development of new approaches to capture data from an ICPS for visualization, automated analyses, decision ma... 详细信息
来源: 评论
Global, regional, and national age-sex-specific burden of diarrhoeal diseases, their risk factors, and aetiologies, 1990–2021, for 204 countries and territories: a systematic analysis for the Global Burden of Disease Study 2021
收藏 引用
The Lancet Infectious Diseases 2025年 第5期25卷 519-536页
作者: Kyu, Hmwe Hmwe Vongpradith, Avina Dominguez, Regina-Mae Villanueva Ma, Jianing Albertson, Samuel B. Novotney, Amanda Khalil, Ibrahim A. Troeger, Christopher E. Doxey, Matthew C. Ledesma, Jorge R. Sirota, Sarah Brooke Bender, Rose Grace Swetschinski, Lucien R. Cunningham, Matthew Spearman, Sandra Abate, Yohannes Habtegiorgis Abd Al Magied, Abdallah H.A. El Hafeez, Samar Abd Abdoun, Meriem Abera, Bayeh Abidi, Hassan Aboagye, Richard Gyan Abtew, Yonas Derso Abualruz, Hasan Abu-Gharbieh, Eman Abukhadijah, Hana J. Aburuz, Salahdein Addo, Isaac Yeboah Adekanmbi, Victor Adetunji, Charles Oluwaseun Oluwaseun Adeyeoluwa, Temitayo Esther Adhikary, Ripon Kumar Adnani, Qorinah Estiningtyas Sakilah Adra, Saryia Adzigbli, Leticia Akua Afolabi, Aanuoluwapo Adeyimika Afzal, Muhammad Sohail Afzal, Saira Agampodi, Suneth Buddhika Agide, Feleke Doyore Ahinkorah, Bright Opoku Ahmad, Aqeel Ahmad, Sajjad Ahmed, Ayman Ahmed, Haroon Ahmed, Saeed Akinosoglou, Karolina Akter, Ema Al Awaidy, Salah Alajlani, Muaaz M. Alam, Khurshid Albakri, Almaza Albashtawy, Mohammed Aldhaleei, Wafa A. Algammal, Abdelazeem M. Al-Gheethi, Adel Ali Saeed Ali, Abid Ali, Syed Shujait Ali, Waad Alif, Sheikh Mohammad Aljunid, Syed Mohamed Al-Marwani, Sabah Almazan, Joseph Uy Al-Mekhlafi, Hesham M. Almustanyir, Sami Alqahatni, Saleh A. Alrawashdeh, Ahmad Al-Rifai, Rami H. Alsabri, Mohammed A. Altaf, Awais Altirkawi, Khalid A. Alvis-Guzman, Nelson Alvis-Zakzuk, Nelson J. Alyahya, Mohammad Sharif Ibrahim Al-Zyoud, Walid A. Amugsi, Dickson A. Andrei, Catalina Liliana Antoni, Sebastien Anuoluwa, Boluwatife Stephen Anuoluwa, Iyadunni Adesola Anwar, Saleha Anwari, Palwasha Apostol, Geminn Louis Carace Arabloo, Jalal Arafat, Mosab Aravkin, Aleksandr Y. Areda, Demelash Aregawi, Brhane Berhe Aremu, Abdulfatai Arndt, Michael Benjamin Asgedom, Akeza Awealom Ashraf, Tahira Athari, Seyyed Shamsadin Atreya, Alok Ayele, Firayad Azadi, Davood Azhar, Gulrez Shah Aziz, Shahkaar Azzam, Ahmed Y. Babu, Giridhara Rathnaiah Taghanaki, Pegah Bahrami Bahramian, Saeed Balakrishnan, Senthi Department of Health Metrics Sciences School of Medicine Institute for Health Metrics and Evaluation University of Washington Seattle 98195 WA United States Institute for Health Metrics and Evaluation University of Washington Seattle WA United States Department of Health Metrics Sciences School of Medicine University of Washington Seattle WA United States Center for Biostatistics Ohio State University Columbus OH United States Department of Global Health University of Washington Seattle WA United States Urban Indian Health Institute Seattle Indian Health Board Seattle WA United States School of Medicine Yale University New Haven CT United States Department of Clinical Governance and Quality Improvement Aleta Wondo General Hospital Aleta Wondo Ethiopia College of Pharmacy Ajman University Ajman United Arab Emirates Department of Epidemiology Alexandria University Alexandria Egypt Department of Medicine University of Sétif Algeria Sétif Algeria Department of Health Sétif Algeria Department of Medical Microbiology Bahir Dar University Bahir Dar Ethiopia Department of Biology Ghent University Ghent Belgium Laboratory Technology Sciences Department Yasuj University of Medical Sciences Yasuj Iran Department of Family and Community Health University of Health and Allied Sciences Ho Ghana Department of Biomedical Science Arba Minch University Arba Minch Ethiopia Department of Nursing Al Zaytoonah University of Jordan Amman Jordan Amman Jordan Department of Clinical Sciences Sharjah United Arab Emirates Department of Biopharmaceutics and Clinical Pharmacy University of Jordan Amman Jordan Medical Research Center-Academic Health System Hamad Medical Corporation Doha Qatar College of Pharmacy University of Jordan Amman Jordan Department of Therapeutics United Arab Emirates University Al Ain United Arab Emirates School of Medicine University of Sydney Sydney NSW Australia Centre for Social Research in Health University of New South Wales Syd
Background: Diarrhoeal diseases claim more than 1 million lives annually and are a leading cause of death in children younger than 5 years. Comprehensive global estimates of the diarrhoeal disease burden for specific ...
来源: 评论
Genetic drivers of heterogeneity in type 2 diabetes pathophysiology
收藏 引用
Nature 2024年 第8003期627卷 347-357页
作者: Ken Suzuki Konstantinos Hatzikotoulas Lorraine Southam Henry J Taylor Xianyong Yin Kim M Lorenz Ravi Mandla Alicia Huerta-Chagoya Giorgio E M Melloni Stavroula Kanoni Nigel W Rayner Ozvan Bocher Ana Luiza Arruda Kyuto Sonehara Shinichi Namba Simon S K Lee Michael H Preuss Lauren E Petty Philip Schroeder Brett Vanderwerff Mart Kals Fiona Bragg Kuang Lin Xiuqing Guo Weihua Zhang Jie Yao Young Jin Kim Mariaelisa Graff Fumihiko Takeuchi Jana Nano Amel Lamri Masahiro Nakatochi Sanghoon Moon Robert A Scott James P Cook Jung-Jin Lee Ian Pan Daniel Taliun Esteban J Parra Jin-Fang Chai Lawrence F Bielak Yasuharu Tabara Yang Hai Gudmar Thorleifsson Niels Grarup Tamar Sofer Matthias Wuttke Chloé Sarnowski Christian Gieger Darryl Nousome Stella Trompet Soo-Heon Kwak Jirong Long Meng Sun Lin Tong Wei-Min Chen Suraj S Nongmaithem Raymond Noordam Victor J Y Lim Claudia H T Tam Yoonjung Yoonie Joo Chien-Hsiun Chen Laura M Raffield Bram Peter Prins Aude Nicolas Lisa R Yanek Guanjie Chen Jennifer A Brody Edmond Kabagambe Ping An Anny H Xiang Hyeok Sun Choi Brian E Cade Jingyi Tan K Alaine Broadaway Alice Williamson Zoha Kamali Jinrui Cui Manonanthini Thangam Linda S Adair Adebowale Adeyemo Carlos A Aguilar-Salinas Tarunveer S Ahluwalia Sonia S Anand Alain Bertoni Jette Bork-Jensen Ivan Brandslund Thomas A Buchanan Charles F Burant Adam S Butterworth Mickaël Canouil Juliana C N Chan Li-Ching Chang Miao-Li Chee Ji Chen Shyh-Huei Chen Yuan-Tsong Chen Zhengming Chen Lee-Ming Chuang Mary Cushman John Danesh Swapan K Das H Janaka de Silva George Dedoussis Latchezar Dimitrov Ayo P Doumatey Shufa Du Qing Duan Kai-Uwe Eckardt Leslie S Emery Daniel S Evans Michele K Evans Krista Fischer James S Floyd Ian Ford Oscar H Franco Timothy M Frayling Barry I Freedman Pauline Genter Hertzel C Gerstein Vilmantas Giedraitis Clicerio González-Villalpando Maria Elena González-Villalpando Penny Gordon-Larsen Myron Gross Lindsay A Guare Sophie Hackinger Liisa Hakaste Sohee Han Andrew T Hattersley Christian Herder Momoko Horikoshi Annie-Green Howard Willa Centre for Genetics and Genomics Versus Arthritis Centre for Musculoskeletal Research Division of Musculoskeletal and Dermatological Sciences University of Manchester Manchester UK. Department of Diabetes and Metabolic Diseases Graduate School of Medicine University of Tokyo Tokyo Japan. Department of Statistical Genetics Osaka University Graduate School of Medicine Suita Japan. Institute of Translational Genomics Helmholtz Zentrum München German Research Center for Environmental Health Neuherberg Germany. konstantinos.hatzikotoulas@helmholtz-munich.de. Institute of Translational Genomics Helmholtz Zentrum München German Research Center for Environmental Health Neuherberg Germany. Center for Precision Health Research National Human Genome Research Institute National Institutes of Health Bethesda MD USA. British Heart Foundation Cardiovascular Epidemiology Unit Department of Public Health and Primary Care University of Cambridge Cambridge UK. Heart and Lung Research Institute University of Cambridge Cambridge UK. Department of Epidemiology School of Public Health Nanjing Medical University Nanjing China. Department of Biostatistics and Center for Statistical Genetics University of Michigan Ann Arbor MI USA. Corporal Michael J. Crescenz VA Medical Center Philadelphia PA USA. Department of Systems Pharmacology and Translational Therapeutics University of Pennsylvania Perelman School of Medicine Philadelphia PA USA. Department of Genetics University of Pennsylvania Perelman School of Medicine Philadelphia PA USA. Programs in Metabolism and Medical and Population Genetics Broad Institute of Harvard and MIT Cambridge MA USA. Diabetes Unit and Center for Genomic Medicine Massachusetts General Hospital Boston MA USA. TIMI Study Group Division of Cardiovascular Medicine Brigham and Women's Hospital Harvard Medical School Boston MA USA. William Harvey Research Institute Barts and the London School of Medicine and Dentistry Queen Mary University of London L
Type 2 diabetes (T2D) is a heterogeneous disease that develops through diverse pathophysiological processes and molecular mechanisms that are often specific to cell type. Here, to characterize the genetic contribution...
来源: 评论
Robust visual tracking using multi-frame multi-feature joint modeling
arXiv
收藏 引用
arXiv 2018年
作者: Zhang, Peng Yu, Shujian Xu, Jiamiao You, Xinge Jiang, Xiubao Jing, Xiao-Yuan Tao, Dacheng School of Electronic Information and Communications Huazhong University of Science and Technology Wuhan Hubei China Department of Electrical and Computer Engineering University of Florida GainesvilleFL32611 United States State Key Laboratory of Software Engineering School of Computer Wuhan University Wuhan430072 China School of Automation Nanjing University of Posts and Telecommunications Nanjing210023 China UBTech Sydney Artificial Intelligence Institute and the School of Information Technologies Faculty of Engineering and Information Technologies at the University of Sydney DarlingtonNSW2008 Australia
It remains a huge challenge to design effective and efficient trackers under complex scenarios, including occlusions, illumination changes and pose variations. To cope with this problem, a promising solution is to int... 详细信息
来源: 评论
U-shaped channel SOI-LIGBT with dual trenches to improve the trade-off between saturation voltage and turn-off loss  29
U-shaped channel SOI-LIGBT with dual trenches to improve the...
收藏 引用
29th International Symposium on Power Semiconductor Devices and IC's, ISPSD 2017
作者: Zhang, Long Zhu, Jing Sun, Weifeng Zhao, Minna Chen, Jiajun Huang, Xuequan Ding, Desheng Gu, Yan Zhang, Sen Hou, Bo National ASIC System Engineering Research Center Nanjing China CSMC Technologies Corporation Wuxi China No.5 Electronics Research Institute Ministry of Industry and Information Technology Guangdong China
This paper proposes a 500V U-shaped channel silicon-on-insulator lateral insulated gate bipolar transistor (SOI-LIGBT) with dual trenches to improve the trade-off between the saturation voltage (VCEsat) and the turn-o... 详细信息
来源: 评论
Quantum proof systems for iterated exponential time, and beyond
arXiv
收藏 引用
arXiv 2018年
作者: Fitzsimons, Joseph Ji, Zhengfeng Vidick, Thomas Yuen, Henry Singapore University of Technology and Design 8 Somapah Road 487372 Singapore Centre for Quantum Technologies National University of Singapore 3 Science Drive 2 117543 Singapore Centre for Quantum Software and Information School of Software Faculty of Engineering and Information Technology University of Technology Sydney NSW Australia California Institute of Technology United States UC Berkeley United States University of Toronto Canada
We show that any language in nondeterministic time exp(exp(· · · exp(n))), where the number of iterated exponentials is an arbitrary function R(n), can be decided by a multiprover interactive proof syst... 详细信息
来源: 评论