咨询与建议

限定检索结果

文献类型

  • 156 篇 会议
  • 43 册 图书
  • 14 篇 期刊文献

馆藏范围

  • 211 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 146 篇 工学
    • 138 篇 计算机科学与技术...
    • 100 篇 软件工程
    • 13 篇 电气工程
    • 13 篇 信息与通信工程
    • 10 篇 控制科学与工程
    • 5 篇 土木工程
    • 3 篇 化学工程与技术
    • 2 篇 建筑学
    • 1 篇 力学(可授工学、理...
    • 1 篇 机械工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 测绘科学与技术
    • 1 篇 轻工技术与工程
    • 1 篇 航空宇航科学与技...
    • 1 篇 农业工程
    • 1 篇 生物医学工程(可授...
  • 56 篇 理学
    • 52 篇 数学
    • 6 篇 统计学(可授理学、...
    • 4 篇 化学
    • 4 篇 生物学
    • 3 篇 系统科学
    • 1 篇 物理学
    • 1 篇 大气科学
    • 1 篇 地球物理学
  • 10 篇 管理学
    • 9 篇 图书情报与档案管...
  • 2 篇 医学
    • 2 篇 基础医学(可授医学...
    • 1 篇 临床医学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 文学
    • 1 篇 新闻传播学
  • 1 篇 农学
    • 1 篇 作物学

主题

  • 22 篇 theory of comput...
  • 22 篇 software enginee...
  • 16 篇 software enginee...
  • 15 篇 logics and meani...
  • 13 篇 mathematical log...
  • 12 篇 programming lang...
  • 11 篇 semantics
  • 10 篇 artificial intel...
  • 10 篇 computation by a...
  • 9 篇 computer softwar...
  • 8 篇 computer system ...
  • 8 篇 programming tech...
  • 8 篇 data structures
  • 8 篇 data structures ...
  • 7 篇 system analysis
  • 6 篇 computer communi...
  • 6 篇 mathematics of c...
  • 5 篇 model checking
  • 5 篇 algorithm analys...
  • 4 篇 discrete mathema...

机构

  • 4 篇 max planck inst ...
  • 3 篇 max planck inst ...
  • 3 篇 univ leicester d...
  • 3 篇 university of ox...
  • 2 篇 department of co...
  • 2 篇 univ sci & tech ...
  • 2 篇 univ london impe...
  • 2 篇 univ bologna dip...
  • 2 篇 cwi dept softwar...
  • 2 篇 univ warwick dep...
  • 2 篇 rwth aachen univ...
  • 2 篇 queen mary univ ...
  • 2 篇 rhein westfal th...
  • 2 篇 tel aviv univ sc...
  • 2 篇 univ oxford dept...
  • 2 篇 imdea software i...
  • 2 篇 the university o...
  • 2 篇 university of ca...
  • 2 篇 univ paris 07 li...
  • 2 篇 univ london quee...

作者

  • 3 篇 zavattaro g
  • 3 篇 uustalu tarmo
  • 3 篇 chistikov dmitry
  • 3 篇 o'hearn p
  • 2 篇 ulidowski irek
  • 2 篇 rabinovich alexa...
  • 2 篇 james worrell
  • 2 篇 busi n
  • 2 篇 sagiv mooly
  • 2 篇 naoki kobayashi
  • 2 篇 anna ingólfsdótt...
  • 2 篇 luca aceto
  • 2 篇 haase christoph
  • 2 篇 furio honsell
  • 2 篇 kurz alexander
  • 2 篇 aceto luca
  • 2 篇 pfenning frank
  • 2 篇 boneva i
  • 2 篇 plump detlef
  • 2 篇 mogens nielsen

语言

  • 204 篇 英文
  • 5 篇 其他
  • 4 篇 中文
检索条件"任意字段=4th International Conference on Foundations of Software Science and Computation Structures"
213 条 记 录,以下是31-40 订阅
排序:
19th international conference on foundations of software science and computation structures, FOSSACS 2016 held as part of the European Joint conferences on theory and Practice of software, ETAPS 2016
19th International Conference on Foundations of Software Sci...
收藏 引用
19th international conference on foundations of software science and computation structures, FOSSACS 2016 and Held as Part of the European Joint conferences on theory and Practice of software, ETAPS 2016
the proceedings contain 31 papers. the special focus in this conference is on Types, Recursion and Fixed-Points. the topics include: Comprehensive parametric polymorphism;guarded dependent type theory with coinductive...
来源: 评论
IEEE ICCI*CC Series in Year 20: Latest Advances in Cognitive Computing (Plenary Panel Report-II)  20
IEEE ICCI*CC Series in Year 20: Latest Advances in Cognitive...
收藏 引用
20th IEEE international conference on Cognitive Informatics and Cognitive Computing, ICCI*CC 2021
作者: Kinsner, Witold Zhu, Haibin Baciu, George Luo, Guiming Rubio, Fernando Sui, Jie Huang, Runhe Hiraishi, Hironori Peng, Jun Chen, Liang Univ. of Manitoba FI2CICC Dept of ECE Winnipeg Canada Nipissing University FI2CICC ON Canada Hong Kong Polytechnic University FI2CICC Dept. of Computing Hong Kong Tsinghua University FI2CICC Software Institute Beijing China Complutense Univ. of Madrid FI2CICC Dept. of Computer Systems and Computation Spain Aberdeen University FI2CICC Aberdeen United Kingdom Hosei University FI2CICC Faculty of Computer and Information Sciences Japan Ashikaga University Faculty of Engineering Tochigi326-8558 Japan Chongqing Univ. of Science and Technology FI2CICC School of AI Chongqing China Univ. of Northern British Columbia Dept. of Computer Science BC Canada
Cognitive Computing (CC) is a contemporary field of fundamental intelligence theories and general AI technologies triggered by the transdisciplinary development in intelligence, computer, brain, knowledge, cognitive, ... 详细信息
来源: 评论
Strongly normalizing higher-order relational queries  5
Strongly normalizing higher-order relational queries
收藏 引用
5th international conference on Formal structures for computation and Deduction, FSCD 2020
作者: Ricciotti, Wilmer Cheney, James Laboratory for Foundations of Computer Science University of Edinburgh United Kingdom
Language-integrated query is a powerful programming construct allowing database queries and ordinary program code to interoperate seamlessly and safely. Language-integrated query techniques rely on classical results a... 详细信息
来源: 评论
Research on Flexspline Strength of Harmonic Reducer for Industrial Robot
Research on Flexspline Strength of Harmonic Reducer for Indu...
收藏 引用
international conference on Data science and Business Analytics (ICDSBA)
作者: Zelu Zhang Jingjun Gu Jing Tan Dishan Huang Tong Tong Shanghai University Shanghai China Nantong Zhenkang Machinery Co. Ltd Nantong China
the flexspline of a harmonic reducer in an industrial robot has two failure modes. In this paper, using the commercial software Ansys, the problem of flexspline strength is investigated through the boundary condition ... 详细信息
来源: 评论
Exploring the Architectural Impact of Possible Dependencies in Python software  35
Exploring the Architectural Impact of Possible Dependencies ...
收藏 引用
35th IEEE/ACM international conference on Automated software Engineering (ASE)
作者: Jin, Wuxia Cai, Yuanfang Kazman, Rick Zhang, Gang Zheng, Qinghua Liu, Ting Xi An Jiao Tong Univ Xian Peoples R China Drexel Univ Philadelphia PA 19104 USA Univ Hawaii Honolulu HI 96822 USA Emergent Design Inc Shanghai Peoples R China Xi An Jiao Tong Univ Key Lab Intelligent Networks & Network Secur MOEK Minist Educ Xian Peoples R China Xi An Jiao Tong Univ Sch Software Engn Xian Peoples R China
Dependencies among software entities are the basis for many software analytic research and architecture analysis tools. Dynamically typed languages, such as Python, JavaScript and Ruby, tolerate the lack of explicit t... 详细信息
来源: 评论
Homotopy canonicity for cubical type theory  4
Homotopy canonicity for cubical type theory
收藏 引用
4th international conference on Formal structures for computation and Deduction, FSCD 2019
作者: Coquand, thierry Huber, Simon Sattler, Christian Department of Computer Science and Engineering University of Gothenburg Sweden
Cubical type theory provides a constructive justification of homotopy type theory and satisfies canonicity: every natural number is convertible to a numeral. A crucial ingredient of cubical type theory is a path lifti... 详细信息
来源: 评论
Bicategories in univalent foundations  4
Bicategories in univalent foundations
收藏 引用
4th international conference on Formal structures for computation and Deduction, FSCD 2019
作者: Ahrens, Benedikt Frumin, Dan Maggesi, Marco van der Weide, Niels School of Computer Science University of Birmingham United Kingdom Institute for Computation and Information Sciences Radboud University Nijmegen Netherlands Dipartimento di Matematica e Informatica "Dini" Università degli Studi di Firenze Italy
We develop bicategory theory in univalent foundations. Guided by the notion of univalence for (1-)categories studied by Ahrens, Kapulkin, and Shulman, we define and study univalent bicategories. To construct examples ... 详细信息
来源: 评论
Some innovations of teaching the course on Data structures and algorithms  15
Some innovations of teaching the course on Data structures a...
收藏 引用
IEEE 15th international Scientific conference on Informatics (INFORMATICS)
作者: Steingartner, William Eged, Jan Radakovic, Davorka Novitzka, Valerie Tech Univ Kosice Fac Elect Engn & Informat Kosice Slovakia Univ Novi Sad Fac Sci Novi Sad Serbia
the teaching of practical foundations of computer science is still a big challenge. the course on Data structures and Algorithms is one of the most important foundational courses that are necessary to be included in t... 详细信息
来源: 评论
foundations of software science and computation structures: 18th international conference, FOSSACS 2015 held as part of the European joint conferences on theory and practice of software, ETAPS 2015 London, UK, april 11–18, 2015 proceedings  18th
Foundations of software science and computation structures: ...
收藏 引用
18th international conference on foundations of software science and computation structures, FoSSaCS 2015 Held as Part of the European Joint conferences on theory and Practice of software, ETAPS 2015
作者: Pitts, Andrew University of Cambridge Cambridge United Kingdom
来源: 评论
Modal embeddings and calling paradigms  4
Modal embeddings and calling paradigms
收藏 引用
4th international conference on Formal structures for computation and Deduction, FSCD 2019
作者: Espírito Santo, José Pinto, Luís Uustalu, Tarmo Centre of Mathematics University of Minho Portugal School of Computer Science Reykjavik University Iceland Dept. of Software Science Tallinn University of Technology Estonia
We study the computational interpretation of the two standard modal embeddings, usually named after Girard and G46;del, of intuitionistic logic into IS4. As source system we take either the call-by-name (cbn) or th... 详细信息
来源: 评论