Relevant bibliographies by topics / Users manuals (Computer programs)

Contents

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

Academic literature on the topic 'Users manuals (Computer programs)'

Author: Grafiati
Published: 4 June 2021
Last updated: 28 July 2025

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 'Users manuals (Computer programs).'

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 "Users manuals (Computer programs)"

1

Moore, John. "Lewis And Llyod-Jones, Using Computers In History - A Practical Guide." Teaching History: A Journal of Methods 24, no. 1 (1999): 37–38. http://dx.doi.org/10.33043/th.24.1.37-38.

Full text
Abstract:
The advent of the computer allows the historian to manipulate data and extract meaningful information from a conglomeration of facts and figures. Unfortunately, there are few guides to the process of using a computer to manipulate data in a meaningful fashion. The writers of most computer manuals are more interested in presenting the how and why of computers and computer programs than in describing their use by real people. Few technical books on computers really guide the struggling reader through an actual example of their use. M.J. Lewis and Roger Lloyd-Jones have written a book that fills
APA, Harvard, Vancouver, ISO, and other styles
2

Alourani, Abdullah, Muhammad Tahir, Muhammad Sardaraz, and Muhammad Saud Khan. "Knowledge-Based Framework for Selection of Genomic Data Compression Algorithms." Applied Sciences 12, no. 22 (2022): 11360. http://dx.doi.org/10.3390/app122211360.

Full text
Abstract:
The development of new sequencing technologies has led to a significant increase in biological data. The exponential increase in data has exceeded increases in computing power. The storage and analysis of the huge amount of data poses challenges for researchers. Data compression is used to reduce the size of data, which ultimately reduces the cost of data transmission over the Internet. The field comprises experts from two domains, i.e., computer scientists and biological scientists. Computer scientists develop programs to solve biological problems, whereas biologists use these programs. Compu
APA, Harvard, Vancouver, ISO, and other styles
3

Alam, S. O., J. W. Edmonds, T. Hom, J. A. Nicolosi, and B. Scott. "A Reference Database Retrieval System: Information as a Tool to Assist in XRD Phase Identification." Advances in X-ray Analysis 32 (1988): 545–50. http://dx.doi.org/10.1154/s0376030800020887.

Full text
Abstract:
A common analytical problem in a X-ray diffraction laboratory is the phase identification of an unknown sample. Presently, most phase identification is either performed manually or through computer search-match programs, as found on automated powder diffraction systems. Whether phase identification is performed manually or with computer search-match, often, the diffractionist wishes or needs to be able to make use of more sample information in the phase identification process than just d-I data. Additional information may be in the diffractionist's possession or can be readily obtained. The ty
APA, Harvard, Vancouver, ISO, and other styles
4

Al-Mohair, Hani K., and Hussien A. Alhadadd. "Design an Improved System to Control the Computer Temperature." International Journal of Systems Applications, Engineering & Development 15 (December 29, 2021): 234–39. http://dx.doi.org/10.46300/91015.2021.15.35.

Full text
Abstract:
Temperature is one of the most significant problems that computer users face, especially the users who deal with works that required high-performance processing such as gamers and designers. The traditional PC heat detection methods depend on the information of the CPU and the user should go through a long procedure to check the heat or by installing some third-party programs and in the end, he has to take the action manually. Although some researchers have been talked about the temperature controllers, no system used both software and hardware to control the PC temperature, also there is no c
APA, Harvard, Vancouver, ISO, and other styles
5

Villordon*, Arthur, Jason Franklin, and Don LaBonte. "Using Personal Digital Assistants and Electronic Forms to Collect and Rapidly Summarize Field Data." HortScience 39, no. 4 (2004): 875D—875. http://dx.doi.org/10.21273/hortsci.39.4.875d.

Full text
Abstract:
The use of handheld computers such as personal digital assistants (PDAs) represents a feasible method of automating the transfer of files to computers for archiving and statistical analysis. Data collected using the PDA can be transferred directly to a database program on a desktop computer, virtually eliminating errors associated with the reentry of manually collected data. These devices are highly portable and can be housed in protective cases, enabling data collection even in inclement environments. The availability of handheld database programs that permit the development of electronic for
APA, Harvard, Vancouver, ISO, and other styles
6

Junaedi, Nanang, and Candra Budi Susila. "Pelatihan Microsoft Office 2007 di Desa Sukosari, Kecamatan Dagangan, Kabupaten Madiun." JURNAL DAYA-MAS 5, no. 1 (2020): 22–26. http://dx.doi.org/10.33319/dymas.v5i1.37.

Full text
Abstract:
Information Technology has grown rapidly in Indonesia. Almost all problems can be handled by a computer. For this reason, every level of society must be ready and able to follow along with the development of technology. After the development of information technology, typewriter users moved to the computer. Because of its more efficient performance. Now almost all people must have switched from being manually switched to computers, nowadays performance is demanded to be faster in solving a problem. Correspondence is a problem that is often handled by computer administrators in order to become
APA, Harvard, Vancouver, ISO, and other styles
7

Wolkowski, Bailey, Elisabeth Snead, Michal Wesolowski, et al. "Assessment of freeware programs for the reconstruction of tomography datasets obtained with a monochromatic synchrotron-based X-ray source." Journal of Synchrotron Radiation 22, no. 4 (2015): 1130–38. http://dx.doi.org/10.1107/s1600577515008437.

Full text
Abstract:
Synchrotron-based in-line phase-contrast computed tomography (PC-CT) allows soft tissue to be imaged with sub-gross resolution and has potential to be used as a diagnostic tool. The reconstruction and processing of in-line PC-CT datasets is a computationally demanding task; thus, an efficient and user-friendly software program is desirable. Four freeware programs (NRecon,PITRE,H-PITREandAthabasca Recon) were compared for the availability of features such as dark- and flat-field calibration, beam power normalization, ring artifact removal, and alignment tools for optimizing image quality. An in
APA, Harvard, Vancouver, ISO, and other styles
8

Amaluddin, Muh Nurul Haq, Ridwan Jamaludin, and Al Mahdali. "Analysis of The Influence of CNC Milling Macro Programs and Sub-programs Mazak on The Effectiveness Manufacturing Cover of Pressure Cylinder Using CAM." INTEK: Jurnal Penelitian 11, no. 1 (2024): 1. http://dx.doi.org/10.31963/intek.v11i1.4657.

Full text
Abstract:
CNC machines allow computer programming to control the movement and actions of the machine, enabling more precise and repeatable production. However, in operating a CNC machine, good and efficient programming is essential. To optimize the use of CNC machines, it is necessary to optimize the number of NC program blocks that include the concept of macros and sub-programs. An effective CNC program, along with the proper use of macros and sub-programs, can speed up the production process, reduce human error, and increase accuracy. The research method used is comparative research by comparing using
APA, Harvard, Vancouver, ISO, and other styles
9

Bordus, O. "Computer Tools in Landscape Design: review." Agrobìologìâ, no. 1(187) (May 24, 2024): 303–10. http://dx.doi.org/10.33245/2310-9270-2024-187-1-303-310.

Full text
Abstract:
Modern computer software enhances the productivity of design, simplifies the of precise drawings creation with accurate element placement, and facilitates quick editing and files sharing. Manual drawing is nearly absent in architectural design, and in landscape design it remains only in projects for private clients. Addressing new challenges in landscape planning it is necessary to create landscape-informational model to compensate for theoretical shortcomings and expand the scope of design and construction of local landscapes. Therefore, to solve the main tasks of a landscape designer, one mu
APA, Harvard, Vancouver, ISO, and other styles
10

Hariyadi, I. Putu, and Khairan Marzuki. "Implementation Of Configuration Management Virtual Private Server Using Ansible." MATRIK : Jurnal Manajemen, Teknik Informatika dan Rekayasa Komputer 19, no. 2 (2020): 347–57. http://dx.doi.org/10.30812/matrik.v19i2.724.

Full text
Abstract:
Virtualization technology has been applied to universities with computer study programs to support practicum in Network Management courses. Each user gets a Virtual Private Server (VPS) with container technology. VPS system that is prepared manually requires a long time, especially when the number of users is increasing. The activity repeats every semester so it becomes ineffective and inefficient. Application of automation using Ansible can help to manage VPS objects in the Promox Virtual Environment (PVE) Cluster dynamically. Network Development Life Cycle (NDLC) was used as a method in this
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Users manuals (Computer programs)"

1

Holmes, Richard L., Rex K. Adams, and Harold C. Fritts. "Tree-Ring Chronologies of Western North America: California, Eastern Oregon and Northern Great Basin with Procedures Used in the Chronology Development Work Including Users Manuals for Computer Programs COFECHA and ARSTAN." Laboratory of Tree-Ring Research, University of Arizona (Tucson, AZ), 1986. http://hdl.handle.net/10150/304672.

Full text
Abstract:
Well replicated tree-ring samples were collected, dated and measured for California west of the Sierra Nevada, eastern Oregon and the northern Great Basin. A computer program was developed and used to check crossdating quality. Another computer program to generate and analyze tree-ring chronologies was evaluated, further developed cooperatively and used to produce chronologies for the dated site collections. This report contains these site chronologies in three versions along with site descriptions and chronology statistics. Users manuals are included for the two computer programs.
APA, Harvard, Vancouver, ISO, and other styles
2

Reaux, Ray A. "The investigation of online manuals and the role guidelines abstraction has on the usefulness of interface design guidelines in the evaluation of user system interfaces." Thesis, Virginia Polytechnic Institute and State University, 1987. http://hdl.handle.net/10919/54877.

Full text
Abstract:
User system interface guidelines are emerging as a tool for user interface design. However, guidelines are relatively new, and the effectiveness of guidelines in their present form is still being debated. Some designers of USI tools are attempting to place guidelines online in browsing systems, often as a part of automated USI design tools. This thesis studies the role levels of abstraction has on the detection of USI guidelines violations in user interface evaluation. Studies of online guidance systems, such as help manuals, have yielded mixed results in comparing performance when using onlin
APA, Harvard, Vancouver, ISO, and other styles
3

Pester, Matthias. "Visualization Tools for 2D and 3D Finite Element Programs - User's Manual." Universitätsbibliothek Chemnitz, 2006. http://nbn-resolving.de/urn:nbn:de:swb:ch1-200600436.

Full text
Abstract:
This paper deals with the visualization of numerical results as a very convenient method to understand and evaluate a solution which has been calculated as a set of millions of numerical values. One of the central research fields of the Chemnitz SFB 393 is the analysis of parallel numerical algorithms for large systems of linear equations arising from differential equations (e.g. in solid and fluid mechanics). Solving large problems on massively parallel computers makes it more and more impossible to store numerical data from the distributed memory of the parallel computer to the di
APA, Harvard, Vancouver, ISO, and other styles
4

Kelley, Helen Marie, and University of Lethbridge Faculty of Arts and Science. "The importance of individual differences in developing computer training programs for end users." Thesis, Lethbridge, Alta. : University of Lethbridge, Faculty of Arts and Science, 1994, 1994. http://hdl.handle.net/10133/55.

Full text
Abstract:
Research emphasises that effective and efficient end-user training is a vital component of the successful utilization of computer technology and that individual differences (e.g., learning styles, cognitive reasoning schemata) may effect the outcomes of end-user training. This study investigates the relationships between end users' Motivational Intent to use computer technology and individual differences. End users' Motivational Intent to use computer technology is significantly different for between-subjects grouped according to their level of anxiety (i.e., positive, neutral, negative). The
APA, Harvard, Vancouver, ISO, and other styles
5

Begole, James. "The effectiveness of online interactive tutorial versus online help and printed manual in Project GeoSim's user assistance system." Thesis, Virginia Tech, 1994. http://hdl.handle.net/10919/44596.

Full text
Abstract:
The aim of Project GeoSim is to develop simulation based introductory geography education software. To maximize the educational benefit of the software, Project GeoSim has developed three user assistance and training methods: Online Help, Printed Manual, and Online Interactive Tutorial. Using a population dynamics simulation called IntlPop as the test-bed, an experiment was conducted comparing the three training methods against each other and against no training at all to find the method from which users complete laboratory exercises most quickly and with the greatest accuracy. Twenty-four pa
APA, Harvard, Vancouver, ISO, and other styles
6

Žídek, Marek. "Založení a rozvoj školicího střediska." Master's thesis, Vysoké učení technické v Brně. Fakulta podnikatelská, 2008. http://www.nusl.cz/ntk/nusl-371792.

Full text
Abstract:
Document describes foundation and development of computer training center. It introduces the reader to the development process and the structure of business plan in the beginning. The process starts with SLEPTE analysis, customer research and simple financial analysis. The result of previous three analyses is SWOT analysis. SWOT analysis recommends author to continue in the business plan development. Therefore, documents describe more accurate and detailed analyses specialized to computer professional courses in the region of Brno and surrounding cities. Next, it describes company strategy acc
APA, Harvard, Vancouver, ISO, and other styles
7

"A study of the software piracy problem in corporate users of Hong Kong." Chinese University of Hong Kong, 1990. http://library.cuhk.edu.hk/record=b5886397.

Full text
Abstract:
by Tam Kam-Mau.<br>Thesis (M.B.A.)--Chinese University of Hong Kong, 1990.<br>Bibliography: leaf 50 (2nd group).<br>TABLE OF CONTENTS --- p.ii<br>PREFACE --- p.iii<br>Chapter<br>Chapter I. --- INTRODUCTION --- p.1<br>The Need for Copyright of Software --- p.1<br>Software Piracy and Illicit Copying --- p.2<br>Protective Measures of Software --- p.2<br>The Copyright (Computer Software) Amendment Act --- p.3<br>The Problem --- p.4<br>The Research Problem Defined --- p.8<br>Chapter II. --- METHODOLOGY --- p.9<br>Chapter III. --- THE PROCESS OF THE RESEARCH PROJECT --- p.12<br>Chapter IV
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Users manuals (Computer programs)"

1

Jason, Nora H. FIREDOC users manual. U.S. Dept. of Commerce, National Bureau of Standards, 1987.

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

D, Guptill James, and Lewis Research Center, eds. CometBoards users manual. National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program, 1996.

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

United States. Forest Service. Southern Research Station, ed. Program VSMOKE--users manual. U.S. Dept. of Agriculture, Forest Service, Southern Research Station, 1996.

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

United States. Forest Service. Southern Research Station, ed. Program VSMOKE--users manual. U.S. Dept. of Agriculture, Forest Service, Southern Research Station, 1996.

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

Main, Robert B. Users manual for the FGRAF system of programs. U.S. Dept. of the Interior, Bureau of Reclamation, 1988.

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

Martens, David G. OPTIGRAMI users manual. U.S. Dept. of Agriculture, Forest Service, Northeastern Forest Experiment Station, 1986.

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

Newman, Ely. Willmaker8: Users' manual. Nolo, 2000.

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

Murthy, Pappu L. N. Integrated Composite Analyzer (ICAN): Users and programmers manual. National Aeronautics and Space Administration, Scientific and Technical Information Branch, 1986.

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

United States. National Aeronautics and Space Administration., ed. Enhanced capabilities and updated users manual for axial-flow turbine preliminary sizing code TURBAN. National Aeronautics and Space Administration, 1994.

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

United States. National Aeronautics and Space Administration., ed. Enhanced capabilities and updated users manual for axial-flow turbine preliminary sizing code TURBAN. National Aeronautics and Space Administration, 1994.

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

Book chapters on the topic "Users manuals (Computer programs)"

1

Gopinathan, Kiran, Dionysios Spiliopoulos, Vikram Goyal, Peter Müller, Markus Püschel, and Ilya Sergey. "Accelerating Automated Program Verifiers by Automatic Proof Localization." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2025. https://doi.org/10.1007/978-3-031-98682-6_9.

Full text
Abstract:
Abstract Automated program verifiers such as Dafny, F $$^{\star }$$ ⋆ , Verus, and Viper are now routinely used to verify real-world software. Unfortunately, the performance of the SMT solvers employed by these tools is not always able to keep up with the increasing size and complexity of verification problems, resulting in long verification times and verification failures due to time-outs. This performance degradation occurs because large SMT queries increase the search space for the SMT solver, in particular, the number of possible quantifier instantiations. Most existing attempts to mitigat
APA, Harvard, Vancouver, ISO, and other styles
2

Rodrigues, Kamila, Vânia Paula de Almeida Neris, and Cesar Augusto Camillo Teixeira. "Interaction of the Elderly Viewer with Additional Multimedia Content to Support the Appreciation of Television Programs." In Human-Computer Interaction. Users and Contexts of Use. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-39265-8_25.

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

Chen, Yu-Fang, Kai-Min Chung, Min-Hsiu Hsieh, et al. "AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2025. https://doi.org/10.1007/978-3-031-90660-2_5.

Full text
Abstract:
Abstract We present a verifier of quantum programs called AutoQ 2.0. Quantum programs extend quantum circuits (the domain of AutoQ 1.0) by classical control flow constructs, which enable users to describe advanced quantum algorithms in a formal and precise manner. The extension is highly non-trivial, as we needed to tackle both theoretical challenges (such as the treatment of measurement, the normalization problem, and lifting techniques for verification of classical programs with loops to the quantum world), and engineering issues (such as extending the input format with a support for specify
APA, Harvard, Vancouver, ISO, and other styles
4

Stübinger, Terru, and Lars Hupel. "Extending Isabelle/HOL’s Code Generator with Support for the Go Programming Language." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-71177-0_1.

Full text
Abstract:
AbstractThe Isabelle proof assistant includes a small functional language, which allows users to write and reason about programs. So far, these programs could be extracted into a number of functional languages: Standard ML, OCaml, Scala, and Haskell. This work adds support for Go as a fifth target language for the Code Generator. Unlike the previous targets, Go is not a functional language and encourages code in an imperative style, thus many of the features of Isabelle’s language (particularly data types, pattern matching, and type classes) have to be emulated using imperative language constr
APA, Harvard, Vancouver, ISO, and other styles
5

Eilers, Marco, Malte Schwerhoff, and Peter Müller. "Verification Algorithms for Automated Separation Logic Verifiers." In Computer Aided Verification. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-65627-9_18.

Full text
Abstract:
AbstractMost automated program verifiers for separation logic use either symbolic execution or verification condition generation to extract proof obligations, which are then handed over to an SMT solver. Existing verification algorithms are designed to be sound, but differ in performance and completeness. These characteristics may also depend on the programs and properties to be verified. Consequently, developers and users of program verifiers have to select a verification algorithm carefully for their application domain. Taking an informed decision requires a systematic comparison of the perf
APA, Harvard, Vancouver, ISO, and other styles
6

Muhamad, Gilang Aulia, Bassma Saleh Alsulami, and Khalid Omar Thabit. "Automating NCAAA Accreditation Process with GPT-4 API." In Proceedings in Technology Transfer. Springer Nature Singapore, 2025. https://doi.org/10.1007/978-981-97-8588-9_23.

Full text
Abstract:
Abstract In the educational world, leveraging advanced technology, particularly for accreditation tasks, presents a promising avenue for enhancing efficiency and user experience. This study implements a web application integrating the GPT-4 model via OpenAI's Application Programming Interface (API) to streamline the National Commission for Academic Accreditation &amp; Assessment (NCAAA) accreditation for Computer Science postgraduate programs at King Abdulaziz University (KAU), Saudi Arabia. Traditionally, fulfilling these requirements entailed a substantial workload, including crafting detail
APA, Harvard, Vancouver, ISO, and other styles
7

Beyer, Dirk, and Henrik Wachowitz. "FM-Weck: Containerized Execution of Formal-Methods Tools." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-71177-0_3.

Full text
Abstract:
AbstractSoftware is ubiquitous in the digital world, and the correct function of software systems is critical for our society, industry, and infrastructure. While testing and static analysis are long-established techniques in software-development processes, it became widely acknowledged only in the past two decades that formal methods are required for giving guarantees of functional correctness. Both academia and industry worked hard to develop tools for formal verification of software during the past two decades, with the result that many software verifiers are available now (for example, 59
APA, Harvard, Vancouver, ISO, and other styles
8

Tennent, R. D. "Denotational Semantics." In Handbook of Logic in Computer Science. Oxford University PressOxford, 1995. http://dx.doi.org/10.1093/oso/9780198537625.003.0002.

Full text
Abstract:
Abstract Designers, implementers, and serious users of a programming language need a complete and accurate understanding of the semantics (the intended meaning) of every construct of that language. The semantic descriptions in reference manuals and language standards are almost always inadequate because they are based primarily on implementation techniques and intuition. A rigorous mathematical theory of the semantics of programming languages is needed to support correct description and implementation of their meanings, systematic development and verification of programs, analysis of existing
APA, Harvard, Vancouver, ISO, and other styles
9

Omer J R. "Modelling the effects of dewatering on pile settlement by integrating finite element and load-transfer analyses." In Information Technology in Geo-Engineering. IOS Press, 2010. https://doi.org/10.3233/978-1-60750-617-1-528.

Full text
Abstract:
A Windows based tool is developed for integrating a finite element (FE) model for ground water lowering with a load-transfer method, for use in predicting negative skin friction and settlement of pile foundations influenced by well pumping. Computed results from a finite element analysis are automatically transferred to spreadsheet files, which are linked to a purpose-written program for pile load-transfer analysis. The program is specially interfaced to capture electronic site investigation data from in-situ tests, which may be supplemented by manually entered data from laboratory soil tests.
APA, Harvard, Vancouver, ISO, and other styles
10

Scherer, Reinhold, and Rajesh Rao. "Non-Manual Control Devices." In Handbook of Research on Personal Autonomy Technologies and Disability Informatics. IGI Global, 2011. http://dx.doi.org/10.4018/978-1-60566-206-0.ch015.

Full text
Abstract:
Brain-computer interface (BCI) technology augments the human capability to interact with the environment by directly linking the brain to artificial devices. The first generation of BCIs provided simple 1D control in order to select targets on a screen or trigger pre-defined motion sequences of paralyzed limbs by means of functional electrical stimulation. BCIs today can provide users on-demand access to assistive robotic devices, Virtual Reality environments, and standard software applications such as Internet browsers. Here, we introduce readers to BCIs and review basic principles and method
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Users manuals (Computer programs)"

1

Rudnev, Valery. "Novel User-Friendly Computer Modeling Software for Induction Heating and Induction Heat Treating." In HT 2013, edited by B. Lynn Ferguson. ASM International, 2013. https://doi.org/10.31399/asm.cp.ht2013p0110.

Full text
Abstract:
Abstract This presentation discusses a newly developed family of software for computer modeling a variety of induction heating and heat-treating applications. Many manufacturers of induction heating machinery apply commercially available 2-D and 3-D computer modeling software in optimizing coil design and determining process recipes. As has been reported in numerous publications, successful use of these programs requires intensive and time-consuming training for users and often takes several days to obtain the results of simulations. This presentation reveals recent developments in a family of
APA, Harvard, Vancouver, ISO, and other styles
2

Caccavale, Fiammetta, Carina L. Gargalo, Krist V. Gernaey, Ulrich Kr�hne, and Alessandra Russo. "Beyond ChatGMP: Improving LLM generation through user preferences." In The 35th European Symposium on Computer Aided Process Engineering. PSE Press, 2025. https://doi.org/10.69997/sct.144855.

Full text
Abstract:
Prompt engineering � improving the command given to a large language model (LLM) � is becoming increasingly useful in order to maximize the performance of the model and therefore the quality of the output. However, in certain instances, the user is not able to enrich the prompt with additional and personalized details, such as the preferred tone and length of generated response. Therefore, it is useful to create models that learn these preferences and implement them directly in the prompt. Current state-of-the-art inductive logic programming (ILP) systems can play an important role in the deve
APA, Harvard, Vancouver, ISO, and other styles
3

Jenkins, Walt. "A Refinery Process Equipment Database." In CORROSION 1998. NACE International, 1998. https://doi.org/10.5006/c1998-98401.

Full text
Abstract:
Abstract A typical refinery has more than a thousand equipment items, many of which are complex and/or utilize alloy materials. It also has 88 separate internal environments and each environment requires its own inspection program. Downsizing continues and leads to the necessity of doing more with fewer people. The users responsible for the inspection and maintenance of these equipment items are mostly high school graduates, who are selected and promoted on the basis of their mechanical skills. Given these parameters, this paper discusses a computer program which allows existing personnel to c
APA, Harvard, Vancouver, ISO, and other styles
4

Kim, Hak-Soo, and Jong-Kil Park. "Development of Computer Program for Estimating Decommissioning Cost." In ASME 2011 14th International Conference on Environmental Remediation and Radioactive Waste Management. ASMEDC, 2011. http://dx.doi.org/10.1115/icem2011-59037.

Full text
Abstract:
The programs for estimating the decommissioning cost have been developed for many different purposes and applications. The estimation of decommissioning cost is required a large amount of data such as unit cost factors, plant area and its inventory, waste treatment, etc. These make it difficult to use manual calculation or typical spreadsheet software such as Microsoft Excel. The cost estimation for eventual decommissioning of nuclear power plants is a prerequisite for safe, timely and cost-effective decommissioning. To estimate the decommissioning cost more accurately and systematically, KHNP
APA, Harvard, Vancouver, ISO, and other styles
5

Benjaboonyazit, Veerawit, Kazem Kiani Nassab, Sompop Buapha, Nithipoom Durongwattana, and Rachit Garg. "Implementation of Well Delivery Process Application, A Success Story of Digitalization in Well Design Process." In IADC/SPE Asia Pacific Drilling Technology Conference and Exhibition. SPE, 2022. http://dx.doi.org/10.2118/209841-ms.

Full text
Abstract:
Abstract As a part of the company's digitalization project, the Well Delivery Process (WDP) software solution was successfully developed and launched in early 2021. By using this solution, engineers benefit from the project objectives like process standardization, well design quality, and well planning cycle time reduction. The WDP software consists of a series of integrated well delivery workflows including well design, drilling execution monitoring, and closeout reports within a single cloud-based platform. The system also provides users with many automation features such as well design rule
APA, Harvard, Vancouver, ISO, and other styles
6

Noufal, Abdelwahab, Jaijith Sreekantan, Rachid Belmeskine, Mohamed Amri, and Abed Benaichouche. "Machine Learning in Computer Vision Software for Geomechanics Modeling." In Abu Dhabi International Petroleum Exhibition & Conference. SPE, 2021. http://dx.doi.org/10.2118/208049-ms.

Full text
Abstract:
Abstract AI-GEM (Artificial Intelligence of Geomechanics Earth Modelling) tool aims to detect the geomechanical features, especially the elastic parameters and stresses. Characterizing the wellbore instability issues is one of the factors increases cost of drilling and creating an AI-based tool will enhance and present a real-time solution for wellbore instability. These features are usually interpreted manually, depending on the experience and usually impacted by inconsistencies due to biased or unexperienced interpreters. Therefore, there is a need for a robust automatic or semiautomatic app
APA, Harvard, Vancouver, ISO, and other styles
7

Cortese, Carlo, Marco A. Calamari, and Paolo Spagli. "Modern Software Infrastructure for Industrial Selection Tools." In ASME 2014 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2014. http://dx.doi.org/10.1115/imece2014-36585.

Full text
Abstract:
This paper aims to discuss 30 years of evolution of technical design tools (software and architecture) in GE Oil&amp;Gas. Most important changes are highlighted, as well as some promising evolutionary paths. Legacy codes are the heritage of industrial companies from 70s and 80s. FORTRAN was used in order to automate the calculation the engineers had to perform to design turbines or compressors. The results of legacy codes were files that contain several information’s, relevant to stage geometry and performances, which could be used to generate drawings or to evaluate machines operability. Howe
APA, Harvard, Vancouver, ISO, and other styles
8

Tsujita, Yuichi, Tatsumi Arima, Kazuya Idemitsu, Yoshio Suzuki, and Hideo Kimura. "Building an Application-Specific Grid Computing Environment Using ITBL for Nuclear Material Engineering." In 16th International Conference on Nuclear Engineering. ASMEDC, 2008. http://dx.doi.org/10.1115/icone16-48223.

Full text
Abstract:
Effective use of nuclear fuel is an important issue in nuclear material engineering. Pu recycle is refocused for effective use of nuclear fuel. MOX and inert matrix fuels (e.g., ZrO2-PuO2) are expected for effective burning Pu, however, Pu material is difficult to manage due to its radiotoxicity. As a result, cost of experimental facilities is very expensive. As computer simulation not only cuts cost for experimental researches but also provides deep understandings in atomic behavior, we have performed molecular dynamics (MD) simulations to research its material characteristics. In order to ob
APA, Harvard, Vancouver, ISO, and other styles
9

Khosrowjerdi, M., Robert C. Azar, Ali Salehi, and G. H. Nazari. "Computer-Aided Design of Bicycles." In ASME 1991 International Computers in Engineering Conference and Exposition. American Society of Mechanical Engineers, 1991. http://dx.doi.org/10.1115/cie1991-0132.

Full text
Abstract:
Abstract Traditional manual designing of bicycles often relies on prototype building and testing and since structural deficiencies often are not obvious until a prototype fails, several build-and-test iterations are usually required before a satisfactory design is obtained. Also, the final design may be less than optimal because of quick fixes inserted at the last minute. However, by utilizing computer-aided design, better bicycles can be designed at smaller investments of time and money. The development and utilization of a DI-3000 based (graphics subroutines developed by Precision Visual), u
APA, Harvard, Vancouver, ISO, and other styles
10

Sirawattanachai, Thanongsak, Siriporn Daopiset, Somsak Narasingha, and Jaramporn Hassamontr. "Software Tool Development for Grain Size Measurement Using ASTM Standards." In ASME 2000 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2000. http://dx.doi.org/10.1115/imece2000-1047.

Full text
Abstract:
Abstract This research focuses on the development of a software tool to assist the validation of heat treating process through grain size measurement. Specifically, the software developed is to semi-automatically compute the average grain size from a black-and-white bitmap image taken from an image acquisition system. The technique used here is the intersection count and grain count methods. For the intersection count method, test grids can be of straight lines or circles. The magnification scale must be attached or input by users for calibration purposes. The image processing techniques are u
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Users manuals (Computer programs)"

1

Humphries, Larry L., Victor G. Figueroa, Michael F. Young, David Louie, and John Thomas Reynolds. MELCOR Computer Code Manuals Volume 1: Primer and Users' Guide. Office of Scientific and Technical Information (OSTI), 2015. http://dx.doi.org/10.2172/1433069.

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

Thomasma, Scott A., Linda Ebel Thomasma, and Mark J. Twery. NEWILD (version 1.0) user's manual [Computer program]. U.S. Department of Agriculture, Forest Service, Northeastern Research Station, 1998. http://dx.doi.org/10.2737/ne-gtr-242.

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

Thomasma, Scott A., Linda Ebel Thomasma, and Mark J. Twery. NEWILD (version 1.0) user's manual [Computer program]. U.S. Department of Agriculture, Forest Service, Northeastern Research Station, 1998. http://dx.doi.org/10.2737/ne-gtr-242.

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

Dr. Bradley J Schrader. Radiological Safety Analysis Computer (RSAC) Program Version 7.2 Users? Manual. Office of Scientific and Technical Information (OSTI), 2010. http://dx.doi.org/10.2172/1004248.

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

Dr. Bradley J Schrader. Radiological Safety Analysis Computer (RSAC) Program Version 7.0 Users? Manual. Office of Scientific and Technical Information (OSTI), 2009. http://dx.doi.org/10.2172/950986.

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

HYDROLOGIC ENGINEERING CENTER DAVIS CA. Generalized Computer Program. Agricultural Flood Damage Analysis (AGDAM) Users Manual. Defense Technical Information Center, 1985. http://dx.doi.org/10.21236/ada273535.

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

Byers, James L. Weibull-Based Parts Failure Analysis Computer Program User's Manual. Defense Technical Information Center, 1989. http://dx.doi.org/10.21236/ada223302.

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

Plotkin, Donald, and Ricardo Aguirre. REMR Management Systems BREAKWATER Computer Program User Manual (Version 1.0). Defense Technical Information Center, 1998. http://dx.doi.org/10.21236/ada352558.

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

Alban, Laura Miller, Scott A. Thomasma, and Mark J. Twery. Forest Stewardship Planning Guide (version l.00) user's manual (Computer Program). U.S. Department of Agriculture, Forest Service, Northeastern Forest Experimental Station, 1995. http://dx.doi.org/10.2737/ne-gtr-203.

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

Alban, Laura Miller, Scott A. Thomasma, and Mark J. Twery. Forest Stewardship Planning Guide (version l.00) user's manual (Computer Program). U.S. Department of Agriculture, Forest Service, Northeastern Forest Experimental Station, 1995. http://dx.doi.org/10.2737/ne-gtr-203.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Users manuals (Computer programs)' for particular source types:
Journal articles 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