检索结果-南通市图书馆

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 results in a variety of ***,while DL-enabled systems achieve excellent performance,they are far from *** has been demonstrated,in several domains,that DL systems can err when they encounter cases they had not hitherto ***,the opacity of the produced agents makes it difficult to explain their behavior and ensure that they adhere to various requirements posed by human *** the other end of the software development spectrum of methods,behavioral programming(BP) facilitates orderly system development using self-standing executable modules aligned with how humans intuitively describe desired system *** this paper,we elaborate on different approaches for combining DRL with BP and,more generally,machine learning(ML) with executable specifications(ES).We begin by defining a framework for studying the various approaches,which can also be used to study new emerging approaches not covered *** then briefly review state-of-the-art approaches to integrating ML with ES,continue with a focus on DRL,and then present the merits of integrating ML with *** conclude with guidelines on how this categorization can be used in decision making in system development,and outline future research challenges.

关键词： machine learning artificial intelligence grey box learning domain knowledge rules behavioral programming deep reinforcement learning survey

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Ingredient Losses during Melting Binary Ni-Ti Shape Memory Alloys

引用

Journal of Materials Science & Technology 2005年第4期21卷 484-488页

作者： S.K.Sadrnezhaad S.Badakhshan raz Center of Excellence for Advanced Processes of Production and Shaping of Materials Department of Materials Science and Engineering Sharif University of Technology Tehran P.O. Box 11365-9466 IranCenter of Excellence for Advanced Processes of Production and Shaping of Materials Department of Materials Science and Engineering Sharif University of Technology Tehran P.O. Box 11365-9466 Iran

Losses of the alloying elements during vacuum induction melting of the binary NiTi alloys were evaluated by visual observation and chemical analysis of the NiTi melted specimens and the scalp formed on the internal surface of the crucible. The results indicated that the major sources of the losses were （a） evaporation of the metals, （b） formation of the NiTi scalp and （c） the sprinkling drops splashed out of the melt due to the exothermic reactions occurring between Ni and Ti to form the NiTi parent phase. Quantitative evaluations were made for the metallic losses by holding the molten alloy for 0.5, 3, 5, 10 and 15 min at around 100℃ above the melting point inside the *** analysis showed that there existed an optimum holding time of 3 min during which the alloying elements were only dropped to a predictable limit. Microstructure, chemical composition, shape memory and mechanical properties of the cast metal ingots were determined to indicate the appropriate achievements with the specified 3 min optimum holding time.

关键词： Shape memory alloy (SMA) Vacuum induction melting (VIM) Metallic loss

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Therapeutic applications of collagenase(metalloproteases): A review

引用

Asian Pacific Journal of Tropical Biomedicine 2016年第11期6卷 975-981页

作者： Hamzeh Alipour Abbasali raz Sedigheh Zakeri navid Dinparast Djadid Malaria and Vector Research Group Biotechnology Research Center Pasteur Institute of Iran Department of Medical Entomology School of Health Research Center for Health Sciences Shiraz University of Medical Sciences

Non-invasive therapeutic methods have recently been used in medical sciences. Enzymes have shown high activity at very low concentrations in laboratories and pharmaceutical,enabling them to play crucial roles in different biological phenomena related to living organism, especially human medicine. Recently, using the therapeutic methods based on non-invasive approaches has been emphasized in medical society. Researchers have focused on producing medicines and tools reducing invasive procedures in *** are proteins which catalyze chemical processes and break the peptide bonds in collagen. Collagen may be generated more than the required amount or produced in unsuitable sites or may not degrade after a certain time. In such cases, using an injectable collagenase or its ointment can be helpful in collagen degradation. In both in vitro and in vivo tests, it has been revealed that collagenases have several therapeutic properties in wound healing, burns, nipple pain and some diseases including intervertebral disc herniation, keloid, cellulite, lipoma among others. This review describes the therapeutic application of collagenase in medical sciences and the process for its production using novel methods, paving the way for more effective and safe applications of collagenases.

关键词： Enzyme Therapeutic application Collagenase Non-invasive Metalloproteinase

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Automatic Humor Classification on Twitter

Automatic Humor Classification on Twitter

引用

作者： Yishay raz 上海交通大学

学位级别：硕士

Much has been written about humor and even sarcasm automatic recognition on Twitter. Nevertheless, the task of classifying humorous tweets according to the type of humor has not been confronted so far, as far as we *** research is aimed at applying semi-supervised classification algorithms and other NLP algorithms to the challenging task of automatically identifying the type of humor appearing in messages on *** different methods, algorithms, tools and classifiers used are discussed, as well as the specific difficulty encountered due to the very subjective nature of humor and the informal language applied in *** is shown that the discussed methods improve the accuracy of classification by up to 5% above the baseline which is Zero R, the algorithm that classifies all instances to the majority class.

关键词：

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

Sniffing Bacteria with a Carbon-Dot Artificial Nose

引用

nano-Micro Letters 2021年第7期13卷 138-152页

作者： Nitzan Shauloff Ahiud Morag Karin Yaniv Seema Singh ravit Malishev Ofra Paz-Tal Lior Rokach raz Jelinek Department of Chemistry Ben Gurion University of the Negev84105 Beer ShevaIsrael Department of Biotechnology Engineering Ben Gurion University of the Negev84105 Beer ShevaIsrael Chemistry Department Nuclear Research CenterNegevP.O.Box 900184190 Beer ShevaIsrael Department of Software and Information System Engineering Ben-Gurion University of the NegevBeer ShevaIsrael Ilse Katz Institute for nanotechnology Ben Gurion University of the Negev84105 Beer ShevaIsrael

Continuous,real-time monitoring and identification of bacteria through detection of microbially emitted volatile molecules are highly sought albeit elusive *** introduce an artificial nose for sensing and distinguishing vapor molecules,based upon recording the capacitance of interdigitated electrodes(IDEs)coated with carbon dots(C-dots)exhibiting different *** of the C-dot-IDEs to volatile molecules induced rapid capacitance changes that were intimately dependent upon the polarities of both gas molecules and the electrode-deposited *** deciphered the mechanism of capacitance transformations,specifically substitution of electrode-adsorbed water by gas molecules,with concomitant changes in capacitance related to both the polarity and dielectric constants of the vapor molecules *** C-dot-IDE gas sensor exhibited excellent selectivity,aided by application of machine learning *** capacitive C-dot-IDE sensor was employed to continuously monitor microbial proliferation,discriminating among bacteria through detection of distinctive“volatile compound fingerprint”for each bacterial *** C-dot-IDE platform is robust,reusable,readily assembled from inexpensive building blocks and constitutes a versatile and powerful vehicle for gas sensing in general,bacterial monitoring in particular.

关键词： Carbon dots Bacterial detection Bacterially emitted volatile molecules Capacitive gas sensors Gas polarity

来源：

维普期刊数据库

同方期刊数据库评论

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：