限定内容
主题
- 15,754 篇 computer science
- 5,657 篇 capital punishme...
- 1,916 篇 information tech...
- 920 篇 artificial intel...
- 485 篇 computer softwar...
- 472 篇 computers
- 448 篇 machine learning
- 384 篇 nonfiction
- 356 篇 education
- 343 篇 criminal law
- 340 篇 technology
- 337 篇 mathematics
- 333 篇 computer enginee...
- 323 篇 computer systems
- 321 篇 information scie...
- 299 篇 computer science...
- 291 篇 political
- 289 篇 murder
- 280 篇 general news
- 267 篇 criminal sentenc...
机构
- 161 篇 arizona state un...
- 111 篇 the ohio state u...
- 94 篇 universidad comp...
- 88 篇 umuc europe
- 87 篇 university of mi...
- 80 篇 utica college
- 78 篇 columbia univers...
- 66 篇 university of wa...
- 63 篇 university of ca...
- 62 篇 cornell universi...
- 59 篇 university of ca...
- 58 篇 university of ca...
- 56 篇 colorado technic...
- 44 篇 state university...
- 44 篇 princeton univer...
- 36 篇 university of co...
- 36 篇 the university o...
- 36 篇 the university o...
- 35 篇 university of ca...
- 35 篇 northwestern uni...
作者
- 31 篇 kim tai-hoon
- 25 篇 malcolm teresa
- 17 篇 yao xin
- 17 篇 yang laurence t.
- 16 篇 john meinke
- 15 篇 margolis jane
- 15 篇 chen hsinchun
- 15 篇 hoffman thomas
- 13 篇 armoni michal
- 13 篇 stephenson chris
- 13 篇 olson parmy
- 13 篇 hazzan orit
- 12 篇 hayes frank
- 12 篇 dongarra jack
- 12 篇 anthes gary
- 12 篇 liu yang
- 12 篇 sassone vladimir...
- 12 篇 gal-ezer judith
- 12 篇 loten angus
- 11 篇 ma jianhua
文献订阅
- Thomas Piecha and Peter Schroeder-Heister. Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics. Studia Logica, vol. 107 (2019), no. 1, pp. 233–246. - Alexander V. Gheorghiu, Tao Gu and David J. Pym. Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic. Automated Reasoning with Analytic Tableaux and Related Methods, Revantha Ramanayake and Josef Urban, Lecture Notes in Computer Science, vol. 14278, Springer, Cham, pp. 367–385. - Hermógenes Oliveira. On Dummett’s Pragmatist Justification Procedure. Erkenntnis, vol. 86 (2021), no. 2, pp. 429–455.
- 来源 详细信息
- Noise-agnostic quantum error mitigation with data augmented neural models
- Univ Hong Kong Dept Comp Sci QICI Quantum Informat & Computat Initiat Pok Fu Lam Hong Kong Peoples R ChinaDept Comp Sci Oxford EnglandPerimeter Inst Theoret Phys Waterloo ON Canada
-
来源
PubMed Central
Nature 期刊
详细信息
- Heterogeneous and higher-order cortical connectivity undergirds efficient, robust, and reliable neural codes
- Ecole Polytech Fed Lausanne EPFL Blue Brain Project Campus Biotech 6 CH-1202 Geneva SwitzerlandRiga Tech Univ Riga Business Sch LV-1010 Riga LatviaScuola Int Super Studi Avanzati SISSA I-34136 Trieste ItalyNottingham Trent Univ Dept Math Nottingham NG1 4FQ EnglandEcole Polytech Fed Lausanne EPFL UPHESS BMI CH-1015 Lausanne SwitzerlandUniv Aberdeen Dept Math Aberdeen AB24 3UE Scotland
-
来源
MEDLINE期刊
PubMed
ScienceDirect Journa...
详细信息
- The canonical deep neural network as a model for human symmetry processing
- Bar Ilan Univ Fac Life Sci Sch Optometry & Vis Sci IL-5290002 Ramat Gan IsraelBar Ilan Univ Leslie & Susan Gonda Multidisciplinary Brain Res C Ramat Gan IsraelCity Univ London Div Optometry Hlth Sci London EC1V 0HB EnglandSmith Kettlewell Eye Res Inst San Francisco CA 94115 USA
-
来源
ScienceDirect Journa...
PubMed
MEDLINE期刊
详细信息
- Connectional differences between humans and macaques in the MT+ complex
- Univ Sci & Technol China Sch Life Sci Div Life Sci & Med Hefei 230026 Anhui Peoples R ChinaChinese Acad Sci Inst Biophys State Key Lab Brain & Cognit Sci Beijing 100101 Peoples R ChinaUniv Chinese Acad Sci Coll Life Sci Beijing 101408 Peoples R ChinaChinese Acad Sci Natl Resource Ctr Nonhuman Primates Kunming 650223 Yunnan Peoples R ChinaChinese Acad Sci Kunming Inst Zool Natl Res Facil Phenotyp & Genet Anal Model Anim Pr Kunming 650223 Yunnan Peoples R ChinaUniv Cambridge Wolfson Brain Imaging Ctr Cambridge EnglandChinese Acad Sci Inst Automat Lab Brain Atlas & Brain Inspired Intelligence Beijing 100190 Peoples R ChinaUniv Chinese Acad Sci Sch Artificial Intelligence Beijing 101408 Peoples R ChinaUniv Chinese Acad Sci Sino Danish Coll Beijing 101408 Peoples R ChinaUniv Chinese Acad Sci Sino Danish Ctr Educ & Res Beijing 101408 Peoples R China
-
来源
ScienceDirect Journa...
MEDLINE期刊
PubMed
详细信息
- Adjoint method-based Fourier neural operator surrogate solver for wavefront shaping in tunable metasurfaces
- Hanyang Univ Dept Artificial Intelligence Seoul 04763 South KoreaHanyang Univ Dept Elect Engn Seoul 04763 South KoreaHankuk Univ Foreign Studies Dept Comp Engn Yongin 17035 South Korea
-
来源
MEDLINE期刊
ScienceDirect Journa...
PubMed
详细信息
- Microsaccade selectivity as discriminative feature for object decoding
- Univ Tehran Coll Engn Sch Elect & Comp Engn Tehran *** IranInst Res Fundamental Sci IPM Sch Cognit Sci Tehran 193955746 Iran
-
来源
ScienceDirect Journa...
PubMed
MEDLINE期刊
详细信息
- Generative design of crystal structures by point cloud representations and diffusion model
- Jiangsu Univ Sch Phys & Elect Engn Zhenjiang 212013 Jiangsu Peoples R ChinaJiangsu Engn Res Ctr Quantum Percept & Intelligent Zhenjiang 212013 Peoples R China
-
来源
PubMed
ScienceDirect Journa...
MEDLINE期刊
详细信息
- Robustness of machine learning predictions for FeCo-Ni alloys prepared by various synthesis methods
- Nanyang Technol Univ Sch Mat Sci & Engn Singapore 639798 SingaporeNanyang Technol Univ Singapore Ctr 3D Printing Singapore 639798 SingaporeIndian Inst Technol Madras Dept Met & Mat Engn Chennai 600036 IndiaNanjing Univ Sci & Technol Sch Mat Sci & Engn Nanjing 210094 Peoples R ChinaChalmers Univ Technol Dept Ind & Mat Sci S-41296 Gothenburg Sweden
-
来源
PubMed
MEDLINE期刊
ScienceDirect Journa...
详细信息
- Striving for open-source and equitable speech-to-speech translation
- Tallinn Univ Technol TalTech Lab Language Technol EE-19086 Tallinn Estonia
- 来源 详细信息