咨询与建议

限定检索结果

文献类型

  • 16 篇 会议
  • 15 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 32 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 25 篇 工学
    • 22 篇 软件工程
    • 20 篇 计算机科学与技术...
    • 4 篇 电气工程
    • 3 篇 控制科学与工程
  • 3 篇 教育学
    • 3 篇 心理学(可授教育学...
  • 3 篇 理学
    • 2 篇 生物学
    • 1 篇 数学
    • 1 篇 系统科学
  • 2 篇 农学
    • 1 篇 畜牧学
  • 2 篇 医学
    • 2 篇 基础医学(可授医学...
  • 2 篇 管理学
    • 1 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 1 篇 经济学
    • 1 篇 应用经济学

主题

  • 32 篇 behavioral progr...
  • 5 篇 scenario-based p...
  • 3 篇 executable speci...
  • 3 篇 requirement engi...
  • 3 篇 live sequence ch...
  • 3 篇 scenario-based m...
  • 3 篇 machine learning
  • 2 篇 deep neural netw...
  • 2 篇 program repair
  • 2 篇 abstraction
  • 2 篇 liveness
  • 2 篇 smt solvers
  • 2 篇 verification
  • 2 篇 constraint solve...
  • 2 篇 artificial intel...
  • 2 篇 synchronization
  • 1 篇 experimentation
  • 1 篇 rearing feeding ...
  • 1 篇 conversational a...
  • 1 篇 NOT FOUND

机构

  • 6 篇 weizmann inst sc...
  • 5 篇 ben gurion univ ...
  • 4 篇 hebrew univ jeru...
  • 4 篇 weizmann inst sc...
  • 3 篇 ben gurion univ ...
  • 2 篇 ben gurion univ ...
  • 2 篇 ben gurion univ ...
  • 1 篇 vassar coll dept...
  • 1 篇 technion haifa
  • 1 篇 weizmann inst sc...
  • 1 篇 leibniz univ han...
  • 1 篇 facin pucrs port...
  • 1 篇 hp labs haifa
  • 1 篇 ben gurion univ ...
  • 1 篇 univ guelph onta...
  • 1 篇 ibm res haifa la...
  • 1 篇 ben gurion univ ...
  • 1 篇 weizmann inst sc...
  • 1 篇 univ guelph onta...
  • 1 篇 weill cornell me...

作者

  • 13 篇 weiss gera
  • 12 篇 marron assaf
  • 9 篇 harel david
  • 7 篇 katz guy
  • 6 篇 elyasaf achiya
  • 5 篇 yaacov tom
  • 2 篇 sadon aviran
  • 2 篇 gordon michal
  • 2 篇 wiener guy
  • 2 篇 szekely smadar
  • 1 篇 david harel
  • 1 篇 frazier a.
  • 1 篇 ricci alessandro
  • 1 篇 assaf marron
  • 1 篇 xu yue
  • 1 篇 hurdus jesse gut...
  • 1 篇 gritzner daniel
  • 1 篇 michael s. brani...
  • 1 篇 weiss guy
  • 1 篇 marelly rami

语言

  • 31 篇 英文
  • 1 篇 其他
检索条件"主题词=Behavioral programming"
32 条 记 录,以下是31-40 订阅
排序:
Categorizing methods for integrating machine learning with executable specifications
收藏 引用
Science China(Information Sciences) 2024年 第1期67卷 5-19页
作者: David HAREL Raz YERUSHALMI Assaf MARRON Achiya ELYASAF Department of Computer Science and Applied Mathematics Weizmann Institute of Science Department of Software and Information Systems Engineering Ben-Gurion University of the Negev
Deep learning(DL),which includes deep reinforcement learning(DRL),holds great promise for carrying out real-world tasks that human minds seem to cope with quite *** promise is already delivering extremely impressive r... 详细信息
来源: 评论
APPLYING THE LEAST RESTRICTIVE ALTERNATIVE PRINCIPLE TO TREATMENT DECISIONS - A LEGAL AND behavioral-ANALYSIS
收藏 引用
BEHAVIOR ANALYST 1993年 第1期16卷 103-115页
作者: JOHNSTON, JM SHERMAN, RA GRAFFIN & KRATTENMAKER PC BOSTONMA
The least restrictive alternative concept is widely used in mental health law. This paper addresses how the concept has been applied to treatment decisions. The paper offers both a legal and a behavioral analysis to s... 详细信息
来源: 评论