Relevant bibliographies by topics / LISP (Computer program language)

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'LISP (Computer program language)'

Author: Grafiati
Published: 4 June 2021
Last updated: 29 July 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'LISP (Computer program language).'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "LISP (Computer program language)"

1

Chaplygin, А. А. "Using Metaprogramming Tools of the Common Lisp Language for the Development of Emulator Systems." Proceedings of the Southwest State University. Series: IT Management, Computer Science, Computer Engineering. Medical Equipment Engineering 13, no. 3 (January 27, 2024): 135–45. http://dx.doi.org/10.21869/2223-1536-2023-13-3-135-145.

Full text
Abstract:
The purpose of research is to analyze and use metaprogramming in the Common Lisp language when designing and implementing emulators that simulate computer system hardware. The metaprogramming, the macro tools of the Common Lisp language and the use of macros for metaprogramming are considered.Methods. The Lisp language is characterized by its use of uniform S-expressions to represent data and programs. Thus, data can be part of a program and vice versa: a program can be data. Common Lisp macro tools allow you to directly modify the abstract syntax tree of a program, and thus it is possible to create new syntactic constructs to solve a given problem. When implementing emulator functions, macro tools of the Common Lisp language can be used to generate functions, where the common part of the functions is included in the macro, and the differences between the functions are specified in the parameters when calling the macros. Examples of this macros are: bit status register macros, generation of ariphmetic commands, comparation commands, memory commands. Using that you can significantly reduce the size of the program.Results. As a result of computer modeling, a simulator of the NES architecture (MOS 6502 processor) was developed and implemented in the conventional object-orientied C# programming language and in the Common Lisp metaprogramming language. As a result, the simulator written in a language with metaprogramming support turned out to be more than 2 times smaller than the simulator written in C#.Conclusion. The use of metaprogramming (using the example of creating emulators) can significantly reduce the size of a program, simplify and improve the program architecture, reduce the number of errors and improve the quality of programs. The use of domain specific languages lets reduce code size even more.
APA, Harvard, Vancouver, ISO, and other styles
2

Leitão, António. "From Lisp S-expressions to Java source code." Computer Science and Information Systems 5, no. 2 (2008): 19–38. http://dx.doi.org/10.2298/csis0802019l.

Full text
Abstract:
The syntax of Lisp languages is based on S-expressions, an extremely simple form of structured data representation that is nevertheless fundamental to the development of Lisp syntactic extensions. By adopting a more conventional syntax, the Java language placed itself in a difficult position in regard to user-defined syntax extensions. In spite of the many efforts to provide mechanisms for such extensions, they continue to be more difficult to use than S-expression- based ones. In this paper, we will describe the use of the S-expression syntax in a Java code generation environment. By providing an S-expression based program representation for Java source code, we are able to reuse and extend Lisp macro-expansion techniques to significantly simplify the construction of Java programs. .
APA, Harvard, Vancouver, ISO, and other styles
3

Soloway, Elliot. "From Problems to Programs via Plans: The Content and Structure of Knowledge for Introductory LISP Programming." Journal of Educational Computing Research 1, no. 2 (May 1985): 157–72. http://dx.doi.org/10.2190/wk8c-bycf-vq5c-e307.

Full text
Abstract:
Typically, when a programming language is taught, the syntax and the semantics of the language are emphasized. In contrast, we report here on an organization of information for teaching LISP which puts primary emphasis on the structure of and relationships between: a problem, a program, and, an intermediate abstraction, a plan. This organization is based on an analysis of the underlying structure of ostensibly different problems and their program solutions. We present qualitative observations on the use of this organization gleaned from actual classroom teaching. Finally, we attempt to generalize these notions to other problem domains and to other programming languages.
APA, Harvard, Vancouver, ISO, and other styles
4

Gupta, Rajiv. "Research Paper on Artificial Intelligence." International Journal of Engineering and Computer Science 12, no. 02 (February 18, 2023): 25654–0656. http://dx.doi.org/10.18535/ijecs/v12i02.4720.

Full text
Abstract:
This branch of computer science is concerned with making computers behave like humans. Artificial intelligence includes game playing, expert systems, neural networks, natural language, and robotics. Currently, no computers exhibit full artificial intelligence (that is, are able to simulate human behavior). The greatest advances have occurred in the field of games playing. The best computer chess programs are now capable of beating humans. Today, the hottest area of artificial intelligence is neural networks, which are proving successful in a number of disciplines such as voice recognition and natural-language processing. There are several programming languages that are known as AI languages because they are used almost exclusively for AI applications. The two most common are LISP and Prolog. Artificial intelligence is working a lot in decreasing human effort but with less growth.
APA, Harvard, Vancouver, ISO, and other styles
5

Hamed, Najat. "An Automatic Drawing Spur Gears Based on AutoCAD Program." Tikrit Journal of Engineering Sciences 28, no. 1 (June 5, 2021): 64–70. http://dx.doi.org/10.25130/tjes.28.1.07.

Full text
Abstract:
In this research, a computer-aided drawing system of spur gear was developed. An auto LISP programming language embedded within the AutoCAD design package was used to develop a new program to create a 3D model of a spur gear in two main stages. In the first stage, the developed program of spur gear allows automatic 2D spur gear drawing generation using the technique that depends on the half tooth thickness at the pitch diameter. In the second stage, inner profiles of a 2D spur gear views are used to create a 3D model of a spur gear. The developed program helpful for the user in drawing the spur gear modelling, due to less work and time to be spent when compared with the conventional approach, and it also improves a high degree of accuracy of spur gear modelling. The spur gear resulting from the prepared gear drawing system can also work with other popular CAD software.
APA, Harvard, Vancouver, ISO, and other styles
6

Li, Xian Zhi, Xin Zhou, Li Juan Wang, and Chun Shan Liu. "Study on Parametric Drawing of Planetary Gear Transmission." Advanced Materials Research 308-310 (August 2011): 2215–19. http://dx.doi.org/10.4028/www.scientific.net/amr.308-310.2215.

Full text
Abstract:
In the planetary gear transmission design, the structure and shape of some major parts are often the same or similar, tedious and duplicate drawing may reduce the drawing efficiency. This paper studies redevelopment technology by using Visual Lisp language in AutoCAD platform, and compiles drawing programs to realize parametric drawing. The new graph can be generated automatically by a computer by modifying simply a few parameters in the drawing process.
APA, Harvard, Vancouver, ISO, and other styles
7

Lane, C. D., Joan Walton, and E. H. Shortliffe. "Graphical Access to Medical Expert Systems: II. Design of an Interface for Physicians." Methods of Information in Medicine 25, no. 03 (July 1986): 143–50. http://dx.doi.org/10.1055/s-0038-1635464.

Full text
Abstract:
SummaryThe ONCOCIN Interviewer program provides a graphical interface between physicians and an expert system that is designed to assist with therapy selection for patients receiving experimental cancer therapy. A principal goal has been to increase acceptance of advanced computer tools in a clinical setting. The interface has been developed for high-performance Lisp workstations and is tailored to the existing paper forms and practices of the outpatient clinic. To be flexible, the program makes use of a document formatting language to control a raster graphics display of medical forms, traditional paper versions of which have been used to track patient progress. The program utilizes a mouse input device coupled with a software-defined data entry approach that may be customized to the specific environment. The work described suggests ways in which high density graphics interfaces, with pointing devices rather than an emphasis on keyboards, may make decision support tools more useful to physicians and more acceptable to them.
APA, Harvard, Vancouver, ISO, and other styles
8

Zhang, Zhi Ping, Han Wu Liu, and Xiao Xia Li. "Study on the Intelligent Design System of Square Tube Aluminum Profile Extrusion Processes Based on VB." Advanced Materials Research 549 (July 2012): 884–88. http://dx.doi.org/10.4028/www.scientific.net/amr.549.884.

Full text
Abstract:
According to the similar characteristics of structure, geometry and constraints conditions in the same type of extrusion process, the intelligent design system of a square tube aluminum profile extrusion forming process was established in this paper based on the VB programming language, with using parametric programming language APDL provides by ANSYS software. The parameterized optimization design plan of pre-treatment and post-processing of ANSYS analysis during a square tube aluminum extrusion forming process was achieved, and the program of a three-dimensional model of the extrusion die under Visual Lisp environment was also programmed. The human-computer interaction intelligent design system which combined with pre-processing of semi-finished product, finite element analysis of extrusion die strength, extrusion die temperature field analysis, structural optimization of the die was realized. The research results show that the system can provide program decision-making, structural design, performance analysis and graphics treatment for the actual extrusion productions of square tube aluminum extrusion process, which reduced the design time of the technical staff, and saved design cost.
APA, Harvard, Vancouver, ISO, and other styles
9

Bossard, Antoine. "The SOF Programming Paradigm." International Journal of Software Innovation 10, no. 1 (January 1, 2022): 1–14. http://dx.doi.org/10.4018/ijsi.309965.

Full text
Abstract:
Out of the four main programming paradigms, it is widely considered that functional programming is the most promising. The programming languages that implement the functional paradigm generally do so either in a pure manner, such as Haskell, or by providing a multi-paradigm programming solution, such as most Lisp dialects, in order to allow side effects, which are proscribed under the former (pure) model. Nevertheless, tracking the execution steps of such a functional program remains challenging for the programmer. In this paper, the author addresses this issue by proposing a novel programming paradigm that combines the imperative programming approach based on a sequence of instructions with the pure function approach of functional programming, the objective being to retain the advantages of both strategies. This proposal is named “sequence of functions” (SOF), and its applicability and novelty are shown hereinafter throughout various examples and experiments.
APA, Harvard, Vancouver, ISO, and other styles
10

Kourtz, Peter. "Artificial intelligence: a new tool for forest management." Canadian Journal of Forest Research 20, no. 4 (April 1, 1990): 428–37. http://dx.doi.org/10.1139/x90-060.

Full text
Abstract:
Articicial intelligence is a new science that deals with the representation, automatic acquisition, and use of knowledge. Artificial intelligence programs attempt to emulate human thought processes such as deduction, inference, language, and visual recognition. The goal of artificial intelligence is to make computers more useful for reasoning, planning, acting, and communicating with humans. Development of artificial intelligence applications involves the integration of advanced computer science, psychology, and sometimes robotics. Of the subfields that artificial intelligence can be broken into, the one of most immediate interest to forest management is expert systems. Expert systems involve encoding knowledge usually derived from an expert in a narrow subject area and using this knowledge to mimic his decision making. The knowledge is represented usually in the form of facts and rules, involving symbols such as English words. At the core of these systems is a mechanism that automatically searches for and pieces together the facts and rules necessary to solve a specific problem. Small expert systems can be developed on common microcomputers using existing low-cost commercial expert shells. Shells are general expert systems empty of knowledge. The user merely defines the solution structure and adds the desired knowledge. Larger systems usually require integration with existing forestry data bases and models. Their development requires either the relatively expensive expert system development tool kits or the use of one of the artificial intelligence development languages such as lisp or PROLOG. Large systems are expensive to develop, require a high degree of skill in knowledge engineering and computer science, and can require years of testing and modification before they become operational. Expert systems have a major role in all aspects of Canadian forestry. They can be used in conjunction with conventional process models to add currently lacking expert knowledge or as pure knowledge-based systems to solve problems never before tackled. They can preserve and accumulate forestry knowledge by encoding it. Expert systems allow us to package our forestry knowlege into a transportable and saleable product. They are a means to ensure consistent application of policies and operational procedures. There is a sense of urgency associated with the integration of artificial intelligence tools into Canadian forestry. Canada must awaken to the potential of this technology. Such systems are essential to improve industrial efficiency. A possible spin-off will be a resource knowledge business that can market our forestry knowledge worldwide. If we act decisively, we can easily compete with other countries such as Japan to fill this niche. A consortium of resource companies, provincial resource agencies, universities, and federal government laboratories is required to advance this goal.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "LISP (Computer program language)"

1

Trachsel, Anne Roberta. "L-EQUEL : an embedded query language for Franz LISP." Thesis, Kansas State University, 1985. http://hdl.handle.net/2097/9884.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Pearson, Mark Philip. "The design, implementation, and use of a concurrent lisp programming system for distributed computing environments." Diss., Georgia Institute of Technology, 1993. http://hdl.handle.net/1853/13029.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Vo-Dinh, Nhieu. "EPSCADD : energy performance simulation using CADD." Thesis, Georgia Institute of Technology, 1987. http://hdl.handle.net/1853/33634.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Charron, Rhona. "The influence of different degrees of assistance in automated intelligent tutoring /." Thesis, McGill University, 1989. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=61997.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Li, Zhu. "Macro-operators generation in the 15-puzzle." Virtual Press, 1987. http://liblink.bsu.edu/uhtbin/catkey/481685.

Full text
Abstract:
Macro-operators is a problem solving technique in the field of artificial intelligence. The application of this technique depends on the generation of macro-operators. This research investigated macro-operators generation in the 15-puzzle. A method named "Iterative-Deepening Depth-First Search" and the relevant analysis were presented. A program using this method was developed in LISP. It was concluded that the performance of iterative-deepening depth-first search is much better than that of the ordinary exhaustive search methods. It was recommended that research be continued in searching for optimal macro-operators and improving the generation method.Ball State UniversityMuncie, IN 47306
APA, Harvard, Vancouver, ISO, and other styles
6

Fischer, Christian E. "Development of a practical software tool for the design of rolls for near net shape profile rolling." Ohio : Ohio University, 1994. http://www.ohiolink.edu/etd/view.cgi?ohiou1176922884.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Stratton, David. "A program visualisation meta language." Thesis, University of Ballarat, 2003. http://researchonline.federation.edu.au/vital/access/HandleResolver/1959.17/63588.

Full text
Abstract:
The principle motivation of this work is to define an open PV architecture that will enable a variety of visualisation schemes to interoperate and that will encourage the generation of PV systems and research into their efficacy. Ultimately this may lead to more effective pedagogy in the field of computer programming and hence remove a barrier to students entering the profession.
Doctorate of Philosophy
APA, Harvard, Vancouver, ISO, and other styles
8

Shepherd, David. "Natural language program analysis combining natural language processing with program analysis to improve software maintenance tools /." Access to citation, abstract and download form provided by ProQuest Information and Learning Company; downloadable PDF file, 176 p, 2007. http://proquest.umi.com/pqdweb?did=1397920371&sid=6&Fmt=2&clientId=8331&RQT=309&VName=PQD.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Chou, Robert Shih-pei. "A program design language for COBOL." Thesis, Kansas State University, 1985. http://hdl.handle.net/2097/13200.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Richardson, Joel E. "E a persistent systems implementation language /." Madison, Wis. : University of Wisconsin-Madison, Computer Sciences Dept, 1989. http://catalog.hathitrust.org/api/volumes/oclc/20839601.html.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "LISP (Computer program language)"

1

Steele, Guy L. COMMON LISP: The language. 2nd ed. Bedford, Mass: Digital Press, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Kaisler, Stephen H. Interlisp: The language and its usuage. New York: Wiley, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Bromley, Hank. Lisp lore: A guide to programming the Lisp machine. Boston: Kluwer Academic Publishers, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Cameron, Robert D. Symbolic computing with LISP. Englewood Cliffs, NJ: Prentice-Hall, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Riley, John H. A Common Lisp workbook. Englewood Cliffs: Prentice Hall, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Hughes, Sheila. Lisp. London: Pitman, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Koschmann, Timothy D. The Common Lisp companion. New York: Wiley, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Milner, Wendy L. Common Lisp: A tutorial. Englewood Cliffs, N.J: Prentice Hall, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

R, Anderson John. Essential LISP. Reading, Mass: Addison-Wesley, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Shapiro, Stuart Charles. Common LISP: An interactive approach. New York: Computer Science Press, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "LISP (Computer program language)"

1

Weik, Martin H. "language program." In Computer Science and Communications Dictionary, 871. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_9931.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Šimůnek, Milan, and Jan Rauch. "EverMiner Prototype Using LISp-Miner Control Language." In Lecture Notes in Computer Science, 113–22. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-08326-1_12.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Weik, Martin H. "program design language." In Computer Science and Communications Dictionary, 1347. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_14835.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Craven, Paul Vincent. "What Is a Computer Language?" In Program Arcade Games, 33–40. Berkeley, CA: Apress, 2016. http://dx.doi.org/10.1007/978-1-4842-1790-0_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Ito, Takayasu, and Manabu Matsui. "A parallel lisp language PaiLisp and its kernel specification." In Lecture Notes in Computer Science, 58–100. Berlin, Heidelberg: Springer Berlin Heidelberg, 1990. http://dx.doi.org/10.1007/bfb0024150.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Halstead, Robert H. "New ideas in parallel lisp: Language design, implementation, and programming tools." In Lecture Notes in Computer Science, 1–57. Berlin, Heidelberg: Springer Berlin Heidelberg, 1990. http://dx.doi.org/10.1007/bfb0024149.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Volpano, Dennis, and Geoffrey Smith. "Language Issues in Mobile Program Security." In Lecture Notes in Computer Science, 25–43. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-68671-1_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Li, Yixuan, Julian Parsert, and Elizabeth Polgreen. "Guiding Enumerative Program Synthesis with Large Language Models." In Computer Aided Verification, 280–301. Cham: Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-65630-9_15.

Full text
Abstract:
AbstractPre-trained Large Language Models (LLMs) are beginning to dominate the discourse around automatic code generation with natural language specifications. In contrast, the best-performing synthesizers in the domain of formal synthesis with precise logical specifications are still based on enumerative algorithms. In this paper, we evaluate the abilities of LLMs to solve formal synthesis benchmarks by carefully crafting a library of prompts for the domain. When one-shot synthesis fails, we propose a novel enumerative synthesis algorithm, which integrates calls to an LLM into a weighted probabilistic search. This allows the synthesizer to provide the LLM with information about the progress of the enumerator, and the LLM to provide the enumerator with syntactic guidance in an iterative loop. We evaluate our techniques on benchmarks from the Syntax-Guided Synthesis (SyGuS) competition. We find that GPT-3.5 as a stand-alone tool for formal synthesis is easily outperformed by state-of-the-art formal synthesis algorithms, but our approach integrating the LLM into an enumerative synthesis algorithm shows significant performance gains over both the LLM and the enumerative synthesizer alone and the winning SyGuS competition tool.
APA, Harvard, Vancouver, ISO, and other styles
9

Harf, Mait, Kristiina Kindel, Vahur Kotkas, Peep Küngas, and Enn Tyugu. "Automated Program Synthesis for Java Programming Language." In Lecture Notes in Computer Science, 157–64. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45575-2_17.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Wen, Cheng, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, and Cong Tian. "Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification." In Computer Aided Verification, 302–28. Cham: Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-65630-9_16.

Full text
Abstract:
AbstractFormal verification provides a rigorous and systematic approach to ensure the correctness and reliability of software systems. Yet, constructing specifications for the full proof relies on domain expertise and non-trivial manpower. In view of such needs, an automated approach for specification synthesis is desired. While existing automated approaches are limited in their versatility, i.e., they either focus only on synthesizing loop invariants for numerical programs, or are tailored for specific types of programs or invariants. Programs involving multiple complicated data types (e.g., arrays, pointers) and code structures (e.g., nested loops, function calls) are often beyond their capabilities. To help bridge this gap, we present AutoSpec, an automated approach to synthesize specifications for automated program verification. It overcomes the shortcomings of existing work in specification versatility, synthesizing satisfiable and adequate specifications for full proof. It is driven by static analysis and program verification, and is empowered by large language models (LLMs). AutoSpec addresses the practical challenges in three ways: (1) driving AutoSpec by static analysis and program verification, LLMs serve as generators to generate candidate specifications, (2) programs are decomposed to direct the attention of LLMs, and (3) candidate specifications are validated in each round to avoid error accumulation during the interaction with LLMs. In this way, AutoSpec can incrementally and iteratively generate satisfiable and adequate specifications. The evaluation shows its effectiveness and usefulness, as it outperforms existing works by successfully verifying 79% of programs through automatic specification synthesis, a significant improvement of 1.592x. It can also be successfully applied to verify the programs in a real-world X509-parser project.
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "LISP (Computer program language)"

1

Hotchkiss, Anthony. "The Development of a Profile-Milling Program for Teaching Computer-Aided-Manufacturing and CNC Programming." In ASME 1997 Design Engineering Technical Conferences. American Society of Mechanical Engineers, 1997. http://dx.doi.org/10.1115/detc97/cie-4439.

Full text
Abstract:
Abstract At SUNY College at Buffalo, a new course, TEC302, CAD/CAM, computer-aided-design and computer-aided-manufacturing was added to the Industrial Technology (IT) undergraduate curriculum in the fall of 1994. At that time, the technology department had been using the AutoCAD system for design/drafting, and SmartCAM for demonstrating computer-aided-manufacturing. SmartCAM is a sophisticated product that takes a great deal of training to use, does not work directly in AutoCAD, and with only four licenses, was not available to all the students. For these reasons, the author developed a CAM program, VAL-CAM, that works inside AutoCAD, and has most of the aspects of a more sophisticated CAM program, yet is simpler to use, is available to all students, and automatically generates CNC (computer-numerical-control) code suitable for driving the departments’ vertical milling machining center. This paper discusses the development of VAL-CAM, which is written in the AutoLISP language for compatibility with AutoCAD. The dialogue control language (DCL) of AutoCAD was also used for part of the user interface for VALCAM. The algorithms, flow diagrams, pseudo code and actual LISP code for some of the more interesting parts of the program are presented. VAL-CAM is under continuous development, and later sections of the program will be discussed in future papers.
APA, Harvard, Vancouver, ISO, and other styles
2

Lee, Chung-Ching. "On the Generation Synthesis of Movable Octahedral 6R Mechanisms." In ASME 1996 Design Engineering Technical Conferences and Computers in Engineering Conference. American Society of Mechanical Engineers, 1996. http://dx.doi.org/10.1115/96-detc/mech-1576.

Full text
Abstract:
Abstract The geometric characteristics of three well-known movable octahedral 6R mechanisms are described and then, by matrix algebra method, we derive their general displacement closed-form solutions for further investigation and analysis. Based on the fundamentals of three dimensional analytical coordinate geometry, a systematic approach is offered to generate the configuration of movable octahedral 6R mechanism with the help of computer graphics. In addition, a user-friendly computer aided program implementing the process of generation synthesis can be developed in Autolisp, a Lisp language interpreter within autoCAD. The numerical results for every generation and their constrained motion are confirmed by the derived analytical solutions. The physical models of these synthesized mechanisms are also built respectively.
APA, Harvard, Vancouver, ISO, and other styles
3

Craig, Kevin. "Mechatronics at Rensselaer: Integration Through Design." In ASME 1992 International Computers in Engineering Conference and Exposition. American Society of Mechanical Engineers, 1992. http://dx.doi.org/10.1115/cie1992-0117.

Full text
Abstract:
Abstract Mechatronics is the synergistic combination of precision mechanical engineering, electronics, control engineering, and computer science in the design process. This paper describes a new elective course entitled Mechatronics which has been developed and was taught for the first time at Rensselaer during the fall 1991 semester to 45 senior-undergraduate and graduate students. The key areas of mechatronics which are studied in depth in this course are: control sensors and actuators, interfacing sensors and actuators to a microcomputer, discrete controller design, and real-time programming for control using the C programming language. The course is heavily laboratory-based with a two-hour laboratory weekly in addition to three hours of classroom lecture. The laboratory exercises include computer-aided control system design using MATRIXx, various analog and digital sensors, hydraulic actuators, DC and stepper motors, and computer control of a variety of physical systems. The unifying theme for the course is the integration of these key areas into a successful mechatronic design. Students are required, as a final project, to: identify a problem or need, analyze the problem, and write a problem statement; perform a state-of-the-art review; develop a list of specifications and identify the key specifications; generate an outstanding mechatronic-system conceptual design; and finally perform a detailed design of the system which may include model building and hardware development. Examples of student projects are described. This course should significantly enhance our design education program in the Mechanical Engineering Department and lay the foundation for the students to become mechatronic design engineers.
APA, Harvard, Vancouver, ISO, and other styles
4

Hundal, M. S., and Louis D. Langholtz. "Developing Function Structures of Engineering Systems Using C and X-Toolkit Intrinsics." In ASME 1991 International Computers in Engineering Conference and Exposition. American Society of Mechanical Engineers, 1991. http://dx.doi.org/10.1115/cie1991-0020.

Full text
Abstract:
Abstract An interactive graphical program is described, which uses an object oriented approach for developing conceptual designs. The program is written in the C programming language and designed on a UNIX operating system. It starts with the specifications list, develops function structures and searches for solutions, for systems with mechanical, electrical/electronic, fluid and other components. It can be used for developing new and improving existing devices, systems and processes. Applications include any designs which can be described in terms of interconnected functional blocks with definable input and output parameters. By running the system, the variety of functional blocks can be tested to determine the optimal solution based on the given specifications. Designers will benefit from the pictorial representation; data-based functional and connective representation; and the generation and evaluation of concept variants. The use of the program is illustrated by an industrial design example.
APA, Harvard, Vancouver, ISO, and other styles
5

Vieira Ferreira, Gustavo, Weliton Dal Pizzol Maria, and Adriano Rodrigues de Melo. "Introdução à Geometria Fractal no Ensino Médio Técnico: Uma Abordagem com Programação Python." In Computer on the Beach. São José: Universidade do Vale do Itajaí, 2021. http://dx.doi.org/10.14210/cotb.v12.p543-546.

Full text
Abstract:
This work is inserted in the context of technical high school andit aimed to analyze the integration between the branches of FractalGeometry, Analytical Geometry and Computer Programming.For this purpose, we carried out a bibliographic search about whatcharacterizes and distinguishes Fractal Geometry from EuclideanGeometry, we also seek in our readings to list the most famousfractals. Then, we developed (in python language) several fractalgeneration programs. It was possible to work with amazing andeasily programmable fractal shapes, such as the Cantor Set, theHilbert Curve and Sierpinski Triangle. We also built two new familiesof fractal shapes from a generalization of the Koch Curve. Weconclude that programming fractals in the context of technical highschool is productive and challenging, as it requires many changesin the representations of fractal patterns.
APA, Harvard, Vancouver, ISO, and other styles
6

Yang, Xiaoli, Rong Ge, and Charles Tseng. "Visualizing genetic recombination with interactive computer program." In 2010 International Conference on Audio, Language and Image Processing (ICALIP). IEEE, 2010. http://dx.doi.org/10.1109/icalip.2010.5685128.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Kim, Sung-Hun, Jin-Tak Choi, and Kil-Hong Joo. "Development of Cyber Sign Language Interpreting App Program for Deaf." In Next Generation Computer and Information Technology 2017. Science & Engineering Research Support soCiety, 2017. http://dx.doi.org/10.14257/astl.2017.145.03.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Ling, Xiang, Guoqing Wu, and Bo Huang. "Comparing program to requirement and design using language acceptance." In 2012 2nd International Conference on Computer Science and Network Technology (ICCSNT). IEEE, 2012. http://dx.doi.org/10.1109/iccsnt.2012.6525961.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Qin, Yi, and Guonian Wang. "A computer-aided Chinese pronunciation training program for English-speaking learners." In 2014 International Conference on Asian Language Processing (IALP). IEEE, 2014. http://dx.doi.org/10.1109/ialp.2014.6973499.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Menotti, Ricardo, Joao M. P. Cardoso, Marcio M. Fernandes, and Eduardo Marques. "LALP: A Novel Language to Program Custom FPGA-Based Architectures." In 2009 21st International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD). IEEE, 2009. http://dx.doi.org/10.1109/sbac-pad.2009.23.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "LISP (Computer program language)"

1

Ponce, Juan, Mercedes Onofa, and Paul E. Carrillo. Information Technology and Student Achievement: Evidence from a Randomized Experiment in Ecuador. Inter-American Development Bank, December 2010. http://dx.doi.org/10.18235/0011199.

Full text
Abstract:
This paper studies the effects of information and communication technologies (ICT) in the school environment on educational achievement. To quantify these effects, the impact is evaluated of a project run by the municipality of Guayaquil, Ecuador, which provides computer-aided instruction in mathematics and language to students in primary schools. Using an experimental design, it is found that the program had a positive impact on mathematics test scores (about 0. 30 of a standard deviation) and a negative but statistically insignificant effect on language test scores. The impact is heterogeneous and is much larger for those students at the top of the achievement distribution.
APA, Harvard, Vancouver, ISO, and other styles
2

Makhachashvili, Rusudan K., Svetlana I. Kovpik, Anna O. Bakhtina, and Ekaterina O. Shmeltser. Technology of presentation of literature on the Emoji Maker platform: pedagogical function of graphic mimesis. [б. в.], July 2020. http://dx.doi.org/10.31812/123456789/3864.

Full text
Abstract:
The article deals with the technology of visualizing fictional text (poetry) with the help of emoji symbols in the Emoji Maker platform that not only activates students’ thinking, but also develops creative attention, makes it possible to reproduce the meaning of poetry in a succinct way. The application of this technology has yielded the significance of introducing a computer being emoji in the study and mastering of literature is absolutely logical: an emoji, phenomenologically, logically and eidologically installed in the digital continuum, is separated from the natural language provided by (ethno)logy, and is implicitly embedded into (cosmo)logy. The technology application object is the text of the twentieth century Cuban poet José Ángel Buesa. The choice of poetry was dictated by the appeal to the most important function of emoji – the expression of feelings, emotions, and mood. It has been discovered that sensuality can reconstructed with the help of this type of meta-linguistic digital continuum. It is noted that during the emoji design in the Emoji Maker program, due to the technical limitations of the platform, it is possible to phenomenologize one’s own essential-empirical reconstruction of the lyrical image. Creating the image of the lyrical protagonist sign, it was sensible to apply knowledge in linguistics, philosophy of language, psychology, psycholinguistics, literary criticism. By constructing the sign, a special emphasis was placed on the facial emogram, which also plays an essential role in the transmission of a wide range of emotions, moods, feelings of the lyrical protagonist. Consequently, the Emoji Maker digital platform allowed to create a new model of digital presentation of fiction, especially considering the psychophysiological characteristics of the lyrical protagonist. Thus, the interpreting reader, using a specific digital toolkit – a visual iconic sign (smile) – reproduces the polylaterial metalinguistic multimodality of the sign meaning in fiction. The effectiveness of this approach is verified by the poly-functional emoji ousia, tested on texts of fiction.
APA, Harvard, Vancouver, ISO, and other styles
3

Striuk, Andrii M., and Serhiy O. Semerikov. The Dawn of Software Engineering Education. [б. в.], February 2020. http://dx.doi.org/10.31812/123456789/3671.

Full text
Abstract:
Designing a mobile-oriented environment for professional and practical training requires determining the stable (fundamental) and mobile (technological) components of its content and determining the appropriate model for specialist training. In order to determine the ratio of fundamental and technological in the content of software engineers’ training, a retrospective analysis of the first model of training software engineers developed in the early 1970s was carried out and its compliance with the current state of software engineering development as a field of knowledge and a new the standard of higher education in Ukraine, specialty 121 “Software Engineering”. It is determined that the consistency and scalability inherent in the historically first training program are largely consistent with the ideas of evolutionary software design. An analysis of its content also provided an opportunity to identify the links between the training for software engineers and training for computer science, computer engineering, cybersecurity, information systems and technologies. It has been established that the fundamental core of software engineers’ training should ensure that students achieve such leading learning outcomes: to know and put into practice the fundamental concepts, paradigms and basic principles of the functioning of language, instrumental and computational tools for software engineering; know and apply the appropriate mathematical concepts, domain methods, system and object-oriented analysis and mathematical modeling for software development; put into practice the software tools for domain analysis, design, testing, visualization, measurement and documentation of software. It is shown that the formation of the relevant competencies of future software engineers must be carried out in the training of all disciplines of professional and practical training.
APA, Harvard, Vancouver, ISO, and other styles
4

Markova, Oksana, Serhiy Semerikov, and Maiia Popel. СoCalc as a Learning Tool for Neural Network Simulation in the Special Course “Foundations of Mathematic Informatics”. Sun SITE Central Europe, May 2018. http://dx.doi.org/10.31812/0564/2250.

Full text
Abstract:
The role of neural network modeling in the learning сontent of special course “Foundations of Mathematic Informatics” was discussed. The course was developed for the students of technical universities – future IT-specialists and directed to breaking the gap between theoretic computer science and it’s applied applications: software, system and computing engineering. CoCalc was justified as a learning tool of mathematical informatics in general and neural network modeling in particular. The elements of technique of using CoCalc at studying topic “Neural network and pattern recognition” of the special course “Foundations of Mathematic Informatics” are shown. The program code was presented in a CofeeScript language, which implements the basic components of artificial neural network: neurons, synaptic connections, functions of activations (tangential, sigmoid, stepped) and their derivatives, methods of calculating the network`s weights, etc. The features of the Kolmogorov–Arnold representation theorem application were discussed for determination the architecture of multilayer neural networks. The implementation of the disjunctive logical element and approximation of an arbitrary function using a three-layer neural network were given as an examples. According to the simulation results, a conclusion was made as for the limits of the use of constructed networks, in which they retain their adequacy. The framework topics of individual research of the artificial neural networks is proposed.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'LISP (Computer program language)' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography