检索结果-内蒙古大学图书馆

automated programming for bioinformatics algorithm deployment

BIOINFORMATICS 2008年第3期24卷 450-451页

作者： Alterovitz, Gil Jiwaji, Adnaan Ramoni, Marco F. Harvard Univ Div Hlth Sci & Technol Childrens Hosp Informat Program Boston MA 02115 USA MIT Dept Comp Sci & Elect Engn Boston MA USA Harvard Univ Sch Med Harvard Partners Ctr Genet & Genom Boston MA USA

Many bioinformatics solutions suffer from the lack of usable interface/platform from which results can be analyzed and visualized. Overcoming this hurdle would allow for more widespread dissemination of bioinformatics algorithms within the biological and medical communities. The algorithms should be accessible without extensive technical support or programming knowledge. Here, we propose a dynamic wizard platform that provides users with a Graphical User Interface (GUI) for most Java bioinformatics library toolkits. The application interface is generated in real-time based on the original source code. This platform lets developers focus on designing algorithms and biologists/physicians on testing hypotheses and analyzing results.

关键词： .user graphical source code open source toolkits wizard automated programming

来源：评论

学校读者我要写书评

暂无评论

automated programming, symbolic computation, machine learning: my personal view

引用

ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2023年第5期91卷 569-589页

作者： Buchberger, Bruno Johannes Kepler Univ Linz Res Inst Symbol Computat RISC Linz Austria

In this note, I present my personal view on the interaction of the three areas automated programming, Symbolic Computation, and Machine Learning. programming is the activity of finding a (hopefully) correct program (algorithm) for a given problem. programming is central to automation in all areas and is considered one of the most creative human activities. However, already very early in the history of programming, people started to "jump to the meta-level" of programming, i.e., started to develop procedures that automate, or semi-automate, (various aspects or parts of) the process of programming. This area has various names like "automated programming", "automated Algorithm Synthesis", etc. Developing compilers can be considered an early example of a problem in automated programming. automated reasoners for proving the correctness of programs with respect to a specification is an advanced example of a topic in automated programming. ChatGPT producing (amazingly good) programs from problem specifications in natural language is a recent example of automated programming. programming tends to become the most important activity as the level of technological sophistication increases. Therefore, automating programming is maybe the most exciting and relevant technological endeavor today. It also will have enormous impact on the global job market in the software industry. Roughly, I see two main approaches to automated programming:symbolic computationand machine learning. In this note, I explain how the two approaches work and that they are fundamentally different because they address two completely different ways of how problems are specified. Together, the two approaches constitute (part of) what some people like to call "artificial intelligence". In my analysis, both approaches are just part of (algorithmic) mathematics. The approaches, like all non-trivial mathematical methods, need quite some intelligence on the side of the human inventors of the methods. However, apply

关键词： automated programming Symbolic computation automated reasoning Machine learning Artificial intelligence Artificial general intelligence Pretrained large language models Software industry programming assistant. .

来源：评论

学校读者我要写书评

暂无评论

automated programming of NC-machines: Evolution of shopfloor programming

Automated programming of NC-machines: Evolution of shopfloor...

引用

18th International Symposium of the Danube-Adria-Association-for-Automation-and-Manufacturing

作者： Ficko, Mirko Pahole, Ivo Balic, Joza

ISBN: (纸本)9783901509582

Since the beginning of use of numerically controlled machines (CNC) there has been a tendency towards increasing the productivity in creation of CNC programs (G-code) and, in the same time, reducing the exactingness of programming. Striving for these two targets has led to two separate manners of programming Which are, today, most widely used: computer - aided programming and programming on the machine. Due to the variety of properties the area of use differs completely. Both manners of programming do no more satisfiy the requirements of modern use of CNC machines. In last years systems for automated programming are appearing, promising that they will replace programming on the machine in the future.

关键词： computer aided manufacturing automated programming

来源：评论

学校读者我要写书评

暂无评论

A LANGUAGE FOR automated programming OF MATHEMATICAL APPLICATIONS

引用

COMPUTER LANGUAGES 1992年第3期17卷 169-184页

作者： KLERER, RJ KLERER, M GROSSMAN, F POLYTECH INST NEW YORK DEPT COMP SCIBROOKLYNNY 11201 PACE UNIV SCH COMP SCI & INFORMAT SYSTNEW YORKNY 10038

A new language system, the automated PROGRAMMER, has been designed and implemented. It aims to automate a great deal of routine effort for scientific, engineering, and mathematical application programming. Its notation is modeled after conventional textbook mathematical representation so that mathematical expressions may be entered just as they appear in conventional solution specifications. It employs a flexible vocabulary and syntax that emulates technical English. This approach enhances self-documentation, diminishes programming error, and eases maintainability and verifiability. System design is highly user-oriented so as to make the system easy to learn and use. Programs are input via a two-dimensional screen editor using a four-case English, Greek, and mathematical symbol alphabet. Lexical restrictions are minimal, keyword synonyms are available, and various common synonymous syntactic structures, mimicking technical English, are acceptable. Matrix arithmetic is accomplished using standard textbook notation. Powerful input and output facilities are provided.

关键词： automated programming MATHEMATICAL APPLICATIONS SELF-DOCUMENTING LANGUAGE CONTEXT-DEPENDENT LANGUAGES 2-DIMENSIONAL INPUT OUTPUT

来源：评论

学校读者我要写书评

暂无评论

EGGG: automated programming for game generation

引用

IBM SYSTEMS JOURNAL 2000年第3-4期39卷 782-794页

作者： Orwant, J Oreilly & Associates Cambridge MA 02140 USA

EGGG, the Extensible Graphical Game Generator, is an experiment in automated programming. By concentrating on a particular domain - games - EGGG allows users to create applications with a minimum of programming effort. We codified the similarities among games and game programs into reusable software components that decouple the rules of a game from its implementation. As a consequence, users can create games merely by describing the rules to EGGG, which then generates a fully functioning game program. In this paper, we survey the design and implementation of EGGG and provide some examples of games that can be created with the system.

关键词： .Describing generates poker EGGG automated programming

来源：评论

学校读者我要写书评

暂无评论

automated robotic programming for products with changes

引用

INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH 2007年第9期45卷 2105-2118页

作者： Bi, Z. M. Lang, S. Y. T. Natl Res Council Canada Integrated Mfg Technol Inst London ON N6G 4X8 Canada

To achieve mass customization, a manufacturing system needs to accomplish a variety of manufacturing processes of different products for the same product family. One of the critical issues is to develop an automatic program for process planning, so that the required product variations can be tackled appropriately in the same manufacturing system. In the current paper, robotic motion planning for automatic coating process is investigated, the state of the art in this area is reviewed and a new methodology is proposed for path generation, trajectory planning and integrated system simulation.

关键词： process planning automated programming industrial robots mass customization reconfigurable tools

来源：评论

学校读者我要写书评

暂无评论

automated PLANNING AND programming ENVIRONMENTS FOR ROBOTS

引用

ROBOTICA 1992年第1期10卷 75-82页

作者： ELMARAGHY, HA RONDEAU, JM Centre for Flexible Manufacturing Research and Development McMaster University Hamilton Ontario (Canada) L8S 4L7

Traditionally, most industrial robots are programmed by teaching. Automatic planning of robotic tasks has many potential benefits for flexible automation. It allows the user to describe a task to the robot programming system in a formal and natural manner, and reduces the time required to generate and update robot programs. Two main levels of abstraction in describing robot tasks can be identified. Robot-level programming is based on robot movements and actions, as detailed by the programmer. Object-level or task-level programming allows the user to describe assembly tasks in terms of operations performed on objects being manipulated instead of specifying the individual motions of the robot end-effector. However, commercially available robot-level programming languages still fall short of the robot user's need to programme complex tasks and consequently are not widely used in industry. There is an increasing need for integrating sensors feedback into the robot system to provide better perception and for improving the capacity of the robot to reason and make decisions intelligently in real-time. Task-level programming represents the highest level of abstraction and is the most attractive, as it uses reasoning capabilities provided by Artificial Intelligence. To date, no system of this class has been completely implemented in industry. This paper reviews the progress made in robot programming and task planning systems in the last twenty years, and discusses the current research trends.

关键词： automated PLANNING automated programming ROBOTS TASK-LEVEL programming

来源：评论

学校读者我要写书评

暂无评论

Closed-loop programming using external responses for deep brain stimulation in Parkinson's disease

引用

PARKINSONISM & RELATED DISORDERS 2021年 84卷 47-51页

作者： Sasaki, Fuyuko Oyama, Genko Sekimoto, Satoko Nuermaimaiti, Maierdanjiang Iwamuro, Hirokazu Shimo, Yasushi Umemura, Atsushi Hattori, Nobutaka Juntendo Univ Dept Neurol Sch Med Tokyo Japan Juntendo Univ Dept Res & Therapeut Movement Disorders Grad Sch Med Tokyo Japan Juntendo Univ Dept Neurosurg Sch Med Tokyo Japan Juntendo Univ Dept Neurol Nerima Hosp Tokyo Japan

Introduction: Deep brain stimulation (DBS) is an established treatment for Parkinson's disease (PD). Clinicians face various challenges in adjusting stimulation parameters and configurations in clinical DBS settings owing to inexperience, time constraints, and recent advances in DBS technology that have expanded the number of possible contact configurations. We aimed to assess the efficacy of a closed-loop algorithm (CLA) for the DBS-programming method using external motion sensor-based motor assessments in patients with PD. Methods: In this randomized, double-blind, crossover study, we enrolled 12 patients who underwent eight-ring-contact DBS lead implantations bilaterally in the subthalamic nucleus. The DBS settings of the participants were programmed using a standard of care (SOC) and CLA method. The clinical effects of both programming methods were assessed in a randomized crossover fashion. The outcomes were evaluated using the Unified Parkinson's Disease Scale part III (UPDRS-III) and sensor-based scores for baseline (medication-off/stimulation-off) and both programming methods. The number of programming steps required for each programming method was also recorded. Results: The UPDRS-III scores and sensor-based scores were significantly improved by SOC and CLA settings compared to the baseline. No statistical difference was observed between SOC and CLA. The programming steps were significantly reduced in the CLA settings compared to those in the SOC. No serious adverse events were observed. Conclusion: CLA can optimize DBS settings prospectively with similar therapeutic benefits as that of the SOC and reduce the number of programming steps. automated optimization of DBS settings would reduce the burden of programming for both clinicians and patients.

关键词： Parkinson's disease Deep brain stimulation Closed loop programming automated programming Wearable sensor Objective assessment

来源：评论

学校读者我要写书评

暂无评论

Non-procedural Implementation of Local Heuristic Search in Control Network programming

Non-procedural Implementation of Local Heuristic Search in C...

引用

14th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems

作者： Kratchanov, Kostadin Golemanova, Emilia Golemanov, Tzanko Ercan, Tuncay Yasar Univ Dept Software Engn Univ Cad Yagacli Yol 35-37 TR-35100 Bornova Turkey Rousse Univ Dept Computing Rousse Bulgaria

The report describes the type of improved uninformed or heuristic search algorithms that are well-suited for non-procedural implementation in Control network programming, and how this can be achieved using the tools f... 详细信息

ISBN: (纸本)9783642153891

关键词： Control network programming heuristic algorithms programming paradigms programming languages nonprocedural programming local search automated programming

来源：评论

学校读者我要写书评

暂无评论

Modeling and control of flexible context-dependent manufacturing systems

引用

INFORMATION SCIENCES 2017年 421卷 1-14页

作者： Silva, Andre Lucas Ribeiro, Richardson Teixeira, Marcelo Univ Tecnol Fed Parana Pato Branco Brazil

In emerging Manufacturing Systems (MSs), flexibility is a key issue. It is related to the ability for a MS to recognize the context and switch its workflow accordingly. Although the literature has provided automated options to model and control MSs, programming context-dependent controllers remains challenging. This is an event-based construction that integrates a large and intricate combination of events and states in order to make the controller flexible, i.e., include context-sensitiveness strategies subject to switching at runtime. Without self-adaptation, each system configuration may require an entire control solution to be recalculated, which implies redesigning the whole modeling and implementation structures. This paper shows that a system model can nevertheless be enriched with elements collected from the context, which optimizes the design of formula-based constraints that can then be integrated to control frameworks for synthesis and code generation. The result is a controller that recognizes the context and takes control decisions accordingly. Examples are provided to illustrate the approach. (C) 2017 Elsevier Inc. All rights reserved.

关键词： Formal modeling Context recognition automated programming Factory automation Flexible manufacturing systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：