咨询与建议

限定检索结果

文献类型

  • 3,394 篇 会议
  • 133 篇 期刊文献
  • 76 册 图书

馆藏范围

  • 3,601 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 2,401 篇 工学
    • 1,896 篇 计算机科学与技术...
    • 1,152 篇 软件工程
    • 420 篇 电气工程
    • 272 篇 控制科学与工程
    • 199 篇 信息与通信工程
    • 128 篇 机械工程
    • 74 篇 石油与天然气工程
    • 64 篇 生物医学工程(可授...
    • 61 篇 电子科学与技术(可...
    • 56 篇 材料科学与工程(可...
    • 56 篇 交通运输工程
    • 51 篇 生物工程
    • 45 篇 化学工程与技术
    • 43 篇 动力工程及工程热...
    • 38 篇 土木工程
    • 37 篇 仪器科学与技术
    • 34 篇 冶金工程
  • 675 篇 理学
    • 482 篇 数学
    • 106 篇 物理学
    • 85 篇 系统科学
    • 80 篇 统计学(可授理学、...
    • 74 篇 生物学
    • 53 篇 化学
  • 402 篇 管理学
    • 337 篇 管理科学与工程(可...
    • 148 篇 工商管理
    • 81 篇 图书情报与档案管...
  • 105 篇 教育学
    • 103 篇 教育学
  • 71 篇 医学
    • 46 篇 临床医学
    • 35 篇 基础医学(可授医学...
  • 64 篇 经济学
    • 64 篇 应用经济学
  • 40 篇 法学
  • 22 篇 文学
  • 12 篇 农学
  • 9 篇 艺术学
  • 3 篇 军事学

主题

  • 309 篇 linear programmi...
  • 251 篇 programming
  • 187 篇 dynamic programm...
  • 142 篇 computer program...
  • 118 篇 integer programm...
  • 116 篇 optimization
  • 109 篇 logic programmin...
  • 87 篇 genetic programm...
  • 82 篇 functional progr...
  • 73 篇 computational mo...
  • 68 篇 object oriented ...
  • 66 篇 programming prof...
  • 65 篇 parallel program...
  • 56 篇 software enginee...
  • 54 篇 costs
  • 49 篇 mathematical mod...
  • 48 篇 computer program...
  • 46 篇 heuristic algori...
  • 42 篇 artificial intel...
  • 41 篇 computer science

机构

  • 9 篇 univ london impe...
  • 7 篇 inesc tec porto
  • 6 篇 feup porto
  • 6 篇 russian acad sci...
  • 5 篇 c mast ubi covil...
  • 4 篇 univ leicester l...
  • 4 篇 vienna univ tech...
  • 4 篇 institute of fun...
  • 4 篇 chinese acad sci...
  • 4 篇 university of am...
  • 4 篇 univ nottingham ...
  • 4 篇 beijing universi...
  • 3 篇 weizmann inst sc...
  • 3 篇 univ nottingham ...
  • 3 篇 delft center for...
  • 3 篇 international is...
  • 3 篇 international bu...
  • 3 篇 department of co...
  • 3 篇 school of comput...
  • 3 篇 univ cyprus dept...

作者

  • 8 篇 catalao joao p. ...
  • 7 篇 musirin ismail
  • 5 篇 weiss gera
  • 5 篇 marron assaf
  • 4 篇 hirschfeld rober...
  • 4 篇 ghani n
  • 4 篇 katz guy
  • 4 篇 saraswat vijay
  • 4 篇 xiong rui
  • 4 篇 funabiki nobuo
  • 4 篇 fitiwi desta z.
  • 4 篇 shi yong
  • 4 篇 boercsoek josef
  • 4 篇 jagadeesan radha
  • 4 篇 gupta vineet
  • 4 篇 michael n. young
  • 4 篇 pesant gilles
  • 4 篇 harel david
  • 3 篇 muggleton stephe...
  • 3 篇 faisal a. aldo

语言

  • 3,496 篇 英文
  • 79 篇 其他
  • 26 篇 中文
  • 5 篇 葡萄牙文
  • 2 篇 俄文
  • 1 篇 西班牙文
检索条件"任意字段=7th International Conference on Functional Programming"
3603 条 记 录,以下是1041-1050 订阅
排序:
Meshed Operation of Distribution Network Systems: Enabling Increased Utilization of Variable RES Power
Meshed Operation of Distribution Network Systems: Enabling I...
收藏 引用
IEEE international conference on Environment and Electrical Engineering (EEEIC) / IEEE Industrial and Commercial Power Systems Europe (ICPS Europe)
作者: Cruz, Marco R. M. Fitiwi, Desta Z. Santos, Sergio F. Catalao, Joao P. S. UBI C MAST Covilha Portugal ESRI Dublin Ireland INESC TEC Porto Portugal FEUP Porto Portugal IST UL INESC ID Lisbon Portugal
Electrical distribution systems are facing new challenges mainly due to the growing penetration of distributed generation of mainly intermittent nature such as wind and solar PV. As a result, these systems need to und... 详细信息
来源: 评论
Resting-state Regional Homogeneity Analysis on Real-time fMRI Emotion Self-regulation Training  7
Resting-state Regional Homogeneity Analysis on Real-time fMR...
收藏 引用
7th international conference on Control Automation and Information Sciences (ICCAIS)
作者: Yang, Qiang Qin, Yulong Zhang, Fan Wang, Linyuan Li, Zhonglin Sun, Liang Yan, Bin Tong, Li Natl Digital Switching Syst Engn & Technol Res Ct Zhengzhou Henan Peoples R China Natl Key Lab Sci & Technol Blind Signal Proc B7Mailbox 666 Chengdu Sichuan Peoples R China Henan Prov Peoples Hosp Zhengzhou Henan Peoples R China
Real-time functional magnetic resonance imaging neurofeedback (rtfMRI-NF) is biofeedback of real-time fMRI signals for self-regulating brain function. Most studies focus on the task-state rtfMRI-NF for the moment. Fur... 详细信息
来源: 评论
Optimal Coordination of EV Charging through Aggregators under Peak Load Limitation Based DR Considering Stochasticity
Optimal Coordination of EV Charging through Aggregators unde...
收藏 引用
international conference on Smart Energy Systems and Technologies (SEST)
作者: Sengor, Ibrahim Erenoglu, Ayse Kubra Erdinc, Ozan Tascikaraoglu, Akin Catalao, Joao P. S. Yildiz Tech Univ Dept Elect Engn Istanbul Turkey Mugla Sitki Kocman Univ Dept Elect & Elect Engn Mugla Turkey INESC TEC Porto Portugal FEUP Porto Portugal C MAST UBI Covilha Portugal INESC ID IST UL Lisbon Portugal
Demand response (DR) provides enormous opportunities to distribution system operators so as to conduct the power system in a sustainable manner. Due to the increasing penetration of electric vehicles (EV) in the power... 详细信息
来源: 评论
Tailored dynamic design/re-design of a hybrid distribution network with postponement customization serving emerging markets in Africa  7
Tailored dynamic design/re-design of a hybrid distribution n...
收藏 引用
7th international conference on Information Systems, Logistics and Supply Chain, ILS 2018
作者: Essaadi, Imane Grabot, Bernard Bedoui, Khaoula El Féniès, Pierre Paris Ouest Nanterre University Nanterre Cedex92001 France Mohammed VI Polytechnic University EMINES Benguerir43140 Morocco LGP INP-ENIT Toulouse University Toulouse31000 France Tunis Tunisia
this paper addresses the manufacturing of highly diversified and seasonal products for emerging markets subject to evolution. the high diversity of local markets may require to postpone the final customization during ... 详细信息
来源: 评论
Optoelectronic evaluation of indirect dental veneers interfaces  7
Optoelectronic evaluation of indirect dental veneers interfa...
收藏 引用
7th Romanian-Society-for-Laser-in-Dentistry (SRLS) international conference on Lasers in Medicine / 1st Congress of Laser in Dentistry
作者: Maroiu, A-C Rominu, M. Sinescu, C. Negrutiu, M-L Topala, F. Duma, V-F Bradu, A. Podoleanu, A. Gh Victor Babes Univ Med & Pharm Timisoara Fac Dent Med Imaging Grp 2 Eftimie Murgu Sq Timisoara 300041 Romania Aurel Vlaicu Univ Arad 3OM Optomechatron Grp 77 Revolutiei Ave Arad 310130 Romania Polytech Univ Timisoara Doctoral Sch 1 Mihai Viteazu Ave Timisoara 300222 Romania Univ Kent Appl Opt Grp Canterbury CT2 7NZ Kent England
Dental indirect veneers have become the most functional and cost-effective method for providing high-aesthetic results whenever smile design enhancement is required. Yet, clinical failures have been reported due to th... 详细信息
来源: 评论
Fuzzy logic based risk assessment system giving individualized advice for metabolic syndrome and fatal cardiovascular diseases (vol 27, pg S59, 2019)
收藏 引用
TECHNOLOGY AND HEALth CARE 2019年 第6期27卷 681-681页
作者: Korkmaz, Hayriye Canayaz, Emre Akar, Sibel Birtane Altikardes, Zehra Aysun Marmara Univ Fac Technol Dept Elect & Elect Engn Istanbul Turkey Marmara Univ Inst Pure & Appl Sci Dept Elect & Elect Engn Istanbul Turkey Istanbul Arel Univ Vocat Sch Dept Comp Programming Istanbul Turkey Marmara Univ Vocat Sch Tech Sci Dept Comp Technol Istanbul Turkey
In 2005, global cardiovascular diseases caused 30% of deaths in Europe, which is 46% of total deaths for all death groups. Today, according to the international Adult Diabetes Federation, 20% to 25% of the adult popul... 详细信息
来源: 评论
Using Stochastic programming and Remote Sensing to Implement Ecological Restoration of Degraded Mud Flat Ecosystem
Using Stochastic Programming and Remote Sensing to Implement...
收藏 引用
international conference on Agro-Geoinformatics
作者: Ling Sun Zesheng Zhu JiangSu Academy of Agricultural Sciences Institute of Agricultural Information Nanjing China
this paper presents an interval-parameter stochastic programming (ISP) approach for supporting ecological restoration of degraded mud flat ecosystem under mud flat ecological restoration cost uncertainties. ISP is cap... 详细信息
来源: 评论
Generation of behavior-driven development C++ tests from abstract state machine scenarios  8th
Generation of behavior-driven development C++ tests from abs...
收藏 引用
8th international conference on Model and Data Engineering, MEDI 2018, international Workshop on Modeling, Verification and Testing of Dependable Critical Systems, DETECT 2018, Model and Data Engineering for Social Good Workshop, MEDI4SG 2018, 2nd international Workshop on Cybersecurity and functional Safety in Cyber-Physical Systems, IWCFS 2018, international Workshop on Formal Model for Mastering Multifaceted Systems, REMEDY 2018
作者: Bonfanti, Silvia Gargantini, Angelo Mashkoor, Atif Università degli Studi di Bergamo Bergamo Italy Software Competence Center Hagenberg GmbH Hagenberg Austria Johannes Kepler University Linz Austria
In this paper, we present the AsmetaVBDD tool that automatically translates the scenarios written in the AValLa language (used by the asmeta validator (AsmetaV)) into Behavior-Driven Development scenarios for C++. ... 详细信息
来源: 评论
Rendering the Multistage Network Algorithm in Cyber-Film Format and its Code Generation  7
Rendering the Multistage Network Algorithm in Cyber-Film For...
收藏 引用
7th international conference on Cloud Computing, Data Science and Engineering (Confluence)
作者: Escaran, Kenn Mark K. Roxas, Robert R. Univ Philippines Cebu Dept Comp Sci Cebu Philippines
this paper presents a Visual programming Environment that uses the Cyber-Film approach in programming some computational tasks. the film for the multistage network algorithm was developed as one of the films together ... 详细信息
来源: 评论
Optimal Dynamic Tariffs for Flexible Ramp Market in the Presence of Wind Power Generation and Demand Response
Optimal Dynamic Tariffs for Flexible Ramp Market in the Pres...
收藏 引用
IEEE international conference on Environment and Electrical Engineering (EEEIC) / IEEE Industrial and Commercial Power Systems Europe (ICPS Europe)
作者: Osorio, Gerardo J. Shafie-khah, Miadreza Soares, Nuno G. S. Catalao, Joao P. S. C MAST UBI Covilha Portugal FEUP Porto Portugal INESC TEC Porto Portugal INESC ID IST IL Lisbon Portugal
the uncertainty and variability as a consequence of modern utilization of wind power in the electrical system besides unpredicted contingencies of the system components can impose crucial challenges on the Independent... 详细信息
来源: 评论