咨询与建议

限定检索结果

文献类型

  • 3,044 篇 会议
  • 100 篇 期刊文献
  • 54 册 图书

馆藏范围

  • 3,198 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2,152 篇 工学
    • 1,675 篇 计算机科学与技术...
    • 964 篇 软件工程
    • 340 篇 电气工程
    • 251 篇 控制科学与工程
    • 196 篇 信息与通信工程
    • 101 篇 机械工程
    • 67 篇 电子科学与技术(可...
    • 47 篇 化学工程与技术
    • 47 篇 生物工程
    • 46 篇 动力工程及工程热...
    • 44 篇 仪器科学与技术
    • 43 篇 石油与天然气工程
    • 41 篇 材料科学与工程(可...
    • 40 篇 生物医学工程(可授...
    • 30 篇 交通运输工程
    • 27 篇 土木工程
  • 633 篇 理学
    • 460 篇 数学
    • 96 篇 物理学
    • 79 篇 生物学
    • 76 篇 系统科学
    • 71 篇 统计学(可授理学、...
    • 46 篇 化学
  • 291 篇 管理学
    • 219 篇 管理科学与工程(可...
    • 103 篇 工商管理
    • 83 篇 图书情报与档案管...
  • 92 篇 教育学
    • 92 篇 教育学
  • 63 篇 医学
    • 49 篇 临床医学
    • 35 篇 基础医学(可授医学...
  • 41 篇 法学
    • 36 篇 社会学
  • 28 篇 经济学
    • 28 篇 应用经济学
  • 19 篇 文学
  • 19 篇 农学
  • 2 篇 军事学
  • 2 篇 艺术学

主题

  • 220 篇 linear programmi...
  • 212 篇 programming
  • 170 篇 dynamic programm...
  • 120 篇 logic programmin...
  • 96 篇 integer programm...
  • 76 篇 functional progr...
  • 75 篇 optimization
  • 72 篇 computer program...
  • 67 篇 object oriented ...
  • 65 篇 programming prof...
  • 65 篇 computer program...
  • 64 篇 genetic programm...
  • 64 篇 parallel program...
  • 64 篇 software
  • 50 篇 quadratic progra...
  • 48 篇 education
  • 47 篇 software enginee...
  • 44 篇 computational mo...
  • 36 篇 computer science
  • 36 篇 hardware

机构

  • 10 篇 univ british col...
  • 7 篇 lakhshya cyber s...
  • 7 篇 univ edinburgh e...
  • 6 篇 lakhshya cyber s...
  • 6 篇 amrita vishwa vi...
  • 4 篇 graduate school ...
  • 4 篇 ural fed univ ek...
  • 4 篇 center for compu...
  • 4 篇 univ minho ctr a...
  • 4 篇 naval systems an...
  • 4 篇 univ manchester ...
  • 4 篇 faculty of engin...
  • 4 篇 school of electr...
  • 4 篇 russian acad sci...
  • 4 篇 department of in...
  • 4 篇 chalmers univ te...
  • 3 篇 electric dispatc...
  • 3 篇 school of inform...
  • 3 篇 school of electr...
  • 3 篇 nanjing research...

作者

  • 8 篇 schaub torsten
  • 8 篇 de meuter wolfga...
  • 8 篇 cheney james
  • 8 篇 tompits hans
  • 7 篇 woltran stefan
  • 7 篇 pradeep menon
  • 6 篇 r vinayakumar
  • 6 篇 gebser martin
  • 6 篇 soman k. p.
  • 6 篇 vinayakumar r.
  • 6 篇 kp soman
  • 6 篇 menon pradeep
  • 5 篇 liu yang
  • 5 篇 t.t. shannon
  • 5 篇 eiter thomas
  • 5 篇 binder walter
  • 5 篇 wadler philip
  • 4 篇 leone nicola
  • 4 篇 jun zhang
  • 4 篇 de araújo costa ...

语言

  • 3,133 篇 英文
  • 48 篇 其他
  • 12 篇 中文
  • 3 篇 俄文
  • 2 篇 西班牙文
  • 1 篇 意大利文
检索条件"任意字段=9th International Conference on Functional Programming"
3198 条 记 录,以下是3151-3160 订阅
排序:
Implementation of Single Shot Multibox Detector (SSD) Algorithm for Object Detection
Implementation of Single Shot Multibox Detector (SSD) Algori...
收藏 引用
international conference on Business and Industrial Research (ICBIR)
作者: Phongsavanh Sengaphone Juan Miguel De Leon Gerardo L. Augusto Jeremias A. Gonzaga Joseph Aldrin Chua Laurence A. Gan Lim Ronnie Concepcion Argel A. Bandala Raouf Naguib Mechanical Engineering Dept De La Salle University (DLSU) Manila Philippine Manufacturing Engineering and Management Dept De La Salle University (DLSU) Manila Philippine Electronics and Communications Engineering Dept De La Salle University (DLSU) Manila Philippine Mathematics Computer Science and Engineering Dept Liverpool Hope University (LHU) Liverpool England
this study presents an innovative implementation of the Single Shot Multibox Detector (SSD) algorithm for real-time object detection on the Raspberry Pi 4. It harnesses the synergies of Python programming, the OpenCV ... 详细信息
来源: 评论
Gesture Based Symbiotic Robot programming for Agile Production
Gesture Based Symbiotic Robot Programming for Agile Producti...
收藏 引用
IEEE international conference on Computational Intelligence and Virtual Environments for Measurement Systems and Applications
作者: Carl Gä bert Achraf Djemal Hiba Hellara Bilel Ben Atitallah Rajarajan Ramalingame Rim Barioul Dennis Salzseiler Ellen Fricke Olfa Kanoun Ulrike thomas Robotics and Human-Machine Interaction Lab Chemnitz University of Technology Professorship for Measurements and Sensor Technology Chemnitz University of Technology Chair German Linguistics Semiotics and Multimodal Communication Chemnitz University of Technology
Agile production lines call for an effective and intuitive way of programming robots. However, traditional approaches rely on providing low-level instructions using either a script-based language or a graphical user i... 详细信息
来源: 评论
Energy Storage Sizing Taking into Account Forecast Uncertainties in Distributed Energy Management System
Energy Storage Sizing Taking into Account Forecast Uncertain...
收藏 引用
2017 9th international conference on Modelling, Identification and Control (ICMIC 2017)
作者: Yue Li Xiaoyu Tang Shuzheng Wang Qinmin Yang the Collaborative Innovation Center for Intelligent Technology and Equipment in Distribution Network the State Key Laboratory of Industrial Control Technology College of Control Science and EngineeringZhejiang University
the rapid development of eco-friendly technologies such as energy storage system(ESS) and smart grid will shape the power consumption pattern in the *** paper proposes an analytical method to determine the battery c... 详细信息
来源: 评论
ERI: A New Method for Ensuring Request Integrity  16
ERI: A New Method for Ensuring Request Integrity
收藏 引用
Proceedings of the 9th EAI international conference on Mobile Multimedia Communications
作者: Eryue Zhuang Zhenzhou Tian Xiaojun Cui Jian Li Zhiwen Wang MOE Key Lab. for Intelligent Networks and Network Security Xi'an Jiaotong University Xian China and Shaanxi Province Key Lab. of Satellite and Terrestrial Network Tech Xi'an Jiaotong University Xian China
A series of requests are performed in fixed order to achieve certain requirements in web applications. the request integrity attack (RIA) is applied to steal users9; data and identity, by inducing the users to exec... 详细信息
来源: 评论
Implementation of ML Algorithm for Spyware Detection System Using SVM with KNN Algorithm for Comparison of Accuracy
Implementation of ML Algorithm for Spyware Detection System ...
收藏 引用
Green Buildings (ATiGB), Applying New Technology in
作者: I. V Inba Pranaou S. Christy T. Poovizhi Department of Computer Science and Engineering Saveetha School of Engineering Saveetha Institution of Medical and Technical Sciences Saveetha University Chennai Tamil Nadu India
the research examines the Support Vector Machines (SVM) and K-Nearest Neighbor (KNN) machine learning algorithms with the goal of using machine learning to detect malware and mitigate cybersecurity threats. Utilizing ... 详细信息
来源: 评论
Effectiveness of Support Programmes for (in)Formal Caregivers of Older Dependent People to Design Technologies  9th
Effectiveness of Support Programmes for (in)Formal Caregiver...
收藏 引用
9th international conference on Human Aspects of IT for the Aged Population, ITAP 2023, held as part of the 25th international conference on Human-Computer Interaction, HCII 2023
作者: Zorrilla-Muñoz, Vanessa Veira-Ramos, Alberto Agulló-Tomás, María Silveria Garcia-Aracil, Nicolas Fernandez, Eduardo Bioengineering Institute Miguel Hernández University of Elche Elche Spain University Institute on Gender Studies University Carlos III of Madrid Getafe Spain Department of Social Analysis University Carlos III of Madrid Getafe Spain CIBER BBN Elche Spain
the growing number of older dependent population in Spain has incremented the demand for programmes and services aimed to provide support to (in)formal caregivers. Current legislation does not provide clear standardiz... 详细信息
来源: 评论
A Compositional Semantics for a Wide-Coverage Natural-Language Query Interface to a Semantic Web Triplestore
A Compositional Semantics for a Wide-Coverage Natural-Langua...
收藏 引用
international conference on Semantic Computing
作者: Shane Peelar Richard Frost School of Computer Science University of Windsor 401 Sunset Avenue N9B 3P4 Windsor Ontario Canada University of Windsor Windsor ON Canada
Many Natural Language (NL) Query Interfaces to data stores convert queries to a formal query language and then execute the formal query in order to obtain the result. this is problematic when handling chained preposit... 详细信息
来源: 评论
Composite cis-acting epigenetic switches in eukaryotes:: lessons from Drosophila Fab-7 for the Igf2-H19 imprinted domain
收藏 引用
GENETICA 2003年 第2期117卷 199-207页
作者: Brown, JP Singh, PB Cowell, IG Roslin Inst Edinburgh Nucl Programming Lab Div Gene Express & Dev Roslin EH25 9PS Midlothian Scotland
One of the central problems of eukaryotic gene regulation is to understand the mechanism(s) by which the activity of enhancer elements is circumscribed such that they only act upon their cognate promoter sequences. St... 详细信息
来源: 评论
Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge  10
Using answer set programming to model multi-agent scenarios ...
收藏 引用
Proceedings of the 9th international conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
作者: Chitta Baral Gregory Gelfond Tran Cao Son Enrico Pontelli Arizona State University Tempe AZ New Mexico State University Las Cruces NM
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to take it into account when planning an... 详细信息
来源: 评论
Cell Devices for High-Density Flash Memory
Cell Devices for High-Density Flash Memory
收藏 引用
2008 9th international conference on Solid-State and Integrated-Circuit Technology
作者: Jong-Ho Lee Young Min Kim Sung-Ho Bae Kyung-Rok Han Il-Hwan Cho School of EECS Kyungpook National University 1370 Sankyuk-DongBuk-GuDaegu702-701 Korea
Introduction Demand for non-volatile memory devices has grown rapidly in recent years because it is a cost-effective data-storage solution in a broad ***,two major types of flash memory,NOR and NAND,are developed thei... 详细信息
来源: 评论