Готові списки джерел за темами / Paper industry Computer programs

Добірка наукової літератури з теми "Paper industry Computer programs"

Автор: Grafiati
Опубліковано: 10 грудня 2022
Оновлено: 29 січня 2023

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Зміст

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Paper industry Computer programs".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "Paper industry Computer programs"

1

Rahman, Nayem. "Toward Achieving Environmental Sustainability in the Computer Industry." International Journal of Green Computing 7, no. 1 (January 2016): 37–54. http://dx.doi.org/10.4018/ijgc.2016010103.

Повний текст джерела
Анотація:
The computer industry has come under increasing scrutiny in terms of energy consumption, the carbon emissions and e-waste. Shipment of e-waste to developing countries where it is often disposed of in unsafe ways is another major issue. Organizations and individuals have a tendency to throw away or store their aging computer technology assets which is not environmentally sustainable and or cost effective. Implementation of an end-to-end computer and related products' sustainability management strategy by incorporating the reuse of existing technology can make a major impact on the environment. Computer industry sustainability management includes design and development of energy efficient computer products, refurbishing of computer assets, purchasing of green or refurbished components and providing sustainability metrics procedures. By implementing sustainability programs, organizations can contribute in reducing the amount of energy spent to develop new computer technology products, help in reducing carbon emission, keep e-waste out of landfills and recycle them. This paper discusses different aspects of sustainable computer industry program and proposes that computer makers take ownership of disposing of e-waste by following safety standards. The paper also proposes adopting reverse supply chain process for possible reuse, recycle or disposal of computers.
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Santi, Gian Maria, Alessandro Ceruti, Alfredo Liverani, and Francesco Osti. "Augmented Reality in Industry 4.0 and Future Innovation Programs." Technologies 9, no. 2 (April 29, 2021): 33. http://dx.doi.org/10.3390/technologies9020033.

Повний текст джерела
Анотація:
Augmented Reality (AR) is worldwide recognized as one of the leading technologies of the 21st century and one of the pillars of the new industrial revolution envisaged by the Industry 4.0 international program. Several papers describe, in detail, specific applications of Augmented Reality developed to test its potentiality in a variety of fields. However, there is a lack of sources detailing the current limits of this technology in the event of its introduction in a real working environment where everyday tasks could be carried out by operators using an AR-based approach. A literature analysis to detect AR strength and weakness has been carried out, and a set of case studies has been implemented by authors to find the limits of current AR technologies in industrial applications outside the laboratory-protected environment. The outcome of this paper is that, even though Augmented Reality is a well-consolidated computer graphic technique in research applications, several improvements both from a software and hardware point of view should be introduced before its introduction in industrial operations. The originality of this paper lies in the detection of guidelines to improve the Augmented Reality potentialities in factories and industries.
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Barry, David C. "SIMULATION TECHNOLOGY AND OPA 90 MANAGEMENT TRAINING FOR OIL SPILL CRISES." International Oil Spill Conference Proceedings 1997, no. 1 (April 1, 1997): 509–12. http://dx.doi.org/10.7901/2169-3358-1997-1-509.

Повний текст джерела
Анотація:
ABSTRACT This paper investigates the application of computer simulation technology to the discipline of oil spill response management. Since June 1993, the Center for Marine Environmental Protection and Safety has operated a simulation facility for oil spill management training and exercises. The training programs include programs tailored to meet the training requirements and demands of maritime industry qualified individuals and spill management team members. This paper discusses the center's application of oil spill simulation to industry OPA 90 training programs, and to the conduct of exercises under the OPA 90 Preparedness for Response Exercise Program (PREP). The requirements needed to support simulation exercises and the limitations and benefits of oil spill management simulation are reviewed.
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Kuzmics, Glebs, and Maaruf Ali. "Audio Networking in the Music Industry." Annals of Emerging Technologies in Computing 2, no. 1 (January 1, 2018): 22–48. http://dx.doi.org/10.33166/aetic.2018.01.004.

Повний текст джерела
Анотація:
This paper surveys the rôle of computer networking technologies in the music industry. A comparison of their relevant technologies, their defining advantages and disadvantages; analyses and discussion of the situation in the market of network enabled audio products followed by a discussion of different devices are presented. The idea of replacing a proprietary solution with open-source and freeware software programs has been chosen as the fundamental concept of this research. The technologies covered include: native IEEE AVnu Alliance Audio Video Bridging (AVB), CobraNet®, Audinate Dante™ and Harman BLU Link.
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Ellis, R. Darin, and Joseph H. Goldberg. "Training Older Workers in Industry." Proceedings of the Human Factors and Ergonomics Society Annual Meeting 39, no. 20 (October 1995): 1289–93. http://dx.doi.org/10.1177/154193129503902011.

Повний текст джерела
Анотація:
The work force of the near future will contain both a larger number and percentage of workers over the age of 55. Many of these older workers will re-enter the full-time work force in new areas or will transition into pools of contingent workers. Recent changes in labor law will also help keep older workers in the work place longer. The combination of these factors creates a situation where understanding the training and retraining needs of older workers is critical for continued productivity improvements. This paper summarizes the general state of current knowledge on training older workers, focusing on visual inspection and computer system usage. Generalizable aspects of training programs which have been successful are then considered, followed by identification of the areas in which research is most lacking.
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Curiel, M. C., Ho Sung Aum, and Joaquín Lira-Olivares. "Optimization of Sheet Metal Process Parameters of a Shield Case Piece Using Computer Simulation." Materials Science Forum 510-511 (March 2006): 330–33. http://dx.doi.org/10.4028/www.scientific.net/msf.510-511.330.

Повний текст джерела
Анотація:
Numerical simulations based on Finite Element Analysis (FEA) are widely used to predict and evaluate the forming parameters before performing the physical processes. In the sheet metal industry, there are basically two types of FE programs: the inverse (one-step) programs and the incremental programs. In the present paper, the forming process of the shield case piece (LTA260W1-L05) was optimized by performing simulations with both types of software. The main analyzed parameter was the blankholding force while the rest of the parameters were kept constant. The criteria used to determine the optimum value was based on the Forming Limit Diagram (FLD), fracture and wrinkling of the material, thickness distribution, and the principal strains obtained. It was found that the holding force during the forming process deeply affects the results, and a range of values was established in which the process is assumed to give a good quality piece.
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Muñoz, Mirna, Pérez Negrón, Jezreel Mejia, and Lara López. "Actual state of the coverage of Mexican software industry requested knowledge regarding the project management best practices." Computer Science and Information Systems 13, no. 3 (2016): 849–73. http://dx.doi.org/10.2298/csis160808040m.

Повний текст джерела
Анотація:
In Mexico, the small and medium size enterprises (SMEs) are key for the software development industry. For them, having highly qualified personal for the development of high quality software products is a fundamental piece to guarantee their permanency in the market. Therefore, matching the software industry requirements with the academy training represents a significant problem that must be addressed for both sectors benefit. This paper presents an analysis of the coverage between the Moprosoft norm, standard developed to be used for software industry to ensure quality in Software Engineering practices, and ten academic curricular programs of higher education related to Computer Science and Informatics; to get an overview of the knowledge and skills that Computer Science students acquire at universities, regarding knowledge required in organizations that work under process models. In addition, a survey to 32 SMEs was conducted to contrast the coverage results with their hired, recently graduated, personal.
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Miller, Laura A., and Kay M. Stanney. "The Windows Computer Experience Questionnaire." Proceedings of the Human Factors and Ergonomics Society Annual Meeting 40, no. 20 (October 1996): 1027–31. http://dx.doi.org/10.1177/154193129604002004.

Повний текст джерела
Анотація:
Windows environments are growing increasingly popular in both academia and industry. Despite the proliferation of these software programs, however, means of systematically determining an individual's experience in a Windows environment are seemingly non-existent. To address this problem we have developed the Windows Computer Experience Questionnaire (WCEQ). This paper describes the questionnaire and the procedures used to establish reliability and validity for the WCEQ. The WCEQ was administered to 82 participants and then re-administered 1-week later. The questionnaire was easy and quick to administer. It also provided a range of results reflecting the inherent diversity in computer experience of the group studied. Split-half and test-retest results indicated that the WCEQ has high internal consistency and is a reliable tool for measuring a user's knowledge of Windows environments. Furthermore, initial validity studies in a follow-up study provided evidence of the instrument's construct validity.
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Khairat, Saif, Ryan Sandefer, David Marc, and Lee Pyles. "A review of biomedical and health informatics education: A workforce training framework." Journal of Hospital Administration 5, no. 5 (July 3, 2016): 10. http://dx.doi.org/10.5430/jha.v5n5p10.

Повний текст джерела
Анотація:
Objective: The purpose of this paper is to review the current state of health information technology (HIT) training programs and identify limitations in workforce expectations and student/trainee level of preparedness. A framework is proposed to build a more effective training program, differentiate HIT and health informatics, and emphasize the critical role of interprofessional collaboration for informatics-related curriculum. We define interprofessionalism as the multi-sector collaborations among academia, industry (Health Care Organizations), and vendors to produce competent informaticians.Methods: Critical review of published HIT and health informatics curricular competencies was conducted, including those published by the Office of the National Coordinator (ONC) for HIT, the American Medical Informatics Association (AMIA), the International Medical Informatics Association (IMIA), and the Council on Accreditation for Health Informatics and Information Management. A review of literature related to HIT and health informatics education and training was also completed.Results: The paper presents a framework for promoting health informatics training with an interprofessional foundation. The core components of the curricular competencies include understanding the healthcare system, biomedical data, computer programming, data analytics, usability, and technology infrastructure. To effectively deliver the content, programs require collaboration between academic institutions, healthcare organizations, and industry vendors.Conclusions: HIT and health informatics-related training programs, in their current form, are not meeting industry needs. The proposed framework addresses the current limitations by providing unique pathways for content delivery by promoting interprofessional collaboration and partnerships between academia and industry.
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Catalin Silviu, NUTU. "Perspectives on advanced and basic engineering technologies." Scientific Bulletin of Naval Academy XXIV, no. 1 (July 15, 2021): 83–87. http://dx.doi.org/10.21279/1454-864x-21-i1-009.

Повний текст джерела
Анотація:
After presenting in the Introduction the goals of the paper, in its second section the paper is presenting and summarizing important features and details about the professional engineering software programs such as CAD, CAM, CIM, CFD, their advantages and downsides and how they have been used and have been helpful until now. In the second section of the paper, the computer games exhibiting the construction’s feature are presented and how they are impacting the today’s children’s lives. In the last section, the paper draws conclusions about the products of the game industry in general, its possible evolution and also about the engineering technologies in particular and brings the software programs in relationship with the nowadays’ advanced technologies: Artificial Intelligence (AI), big data, block chain technology, 3D printing, Virtual Reality (VR) and Internet of Things (IoT).
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Дисертації з теми "Paper industry Computer programs"

1

Lei, Lei. "Computer Usage and Demand for Paper/Paperboard Products." Thesis, Available online, Georgia Institute of Technology, 2007, 2007. http://etd.gatech.edu/theses/available/etd-04062007-134445/.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

MARTINS, DOUGLAS POHL. "A COMPUTER GRAPHICS SYSTEM FOR DOCKING FIGURES TARGETING THE PAPER PACKAGING INDUSTRY." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 1991. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=33528@1.

Повний текст джерела
Анотація:
CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICO
Este trabalho apresenta o desenvolvimento de um sistema computacional para ser utilizado na diagramação (encaixe) de figuras planas em cartões retangulares na indústria de embalagens de papel. O sistema aparece como o primeiro passo para a automação total da fabricação de embalagens. Consta de quatro subsistemas: a edição de figuras; e edição de cores das arestas destas figuras; a confecção e edição de encaixes,onde se leva em conta a relação entre as cores das arestas das figuras de acordo com diferentes tipos de problema; a saída destes encaixes por plotter. É apresentada uma discussão detalhada sobre os cálculos de distância entre figuras e sua utilização no esquema de encaixe. Uma série de exemplos gráficos e apresentada cobrindo as diversas situações possíveis.
This research work consists of the development of a computer system to be used in the nesting of plane figures on rectangular cardboards in the paper industry. This system is a first step towards the total automation of the manufacture of paper packs. The system consists of four parts: a figure editor; a subsystem for editing the colors of the edges; the nesting subsystem, in which the colors of the edges are taken into account; and a subsystem for outputing the drawings. A detailed discussion on the calculation of the distance between the figures and its influence on the nesting system is presented. Finally, graphical examples which cover the various possible situations are presented.
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Dietrich, Dave. "Pernova: A travel industry business plan." CSUSB ScholarWorks, 2001. https://scholarworks.lib.csusb.edu/etd-project/1903.

Повний текст джерела
Анотація:
The travel and tourism industries are today facing unprecedented challenges in coping with emerging technology paradigms. Consequently, reengineering traditional travel business models is necessary. Internet technologies coupled with increasingly complex software applications and information structures are distracting travel companies from the strategic elements of providing values to travelers.
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Gagnon, Bertrand. "Gestion d'information sur les procédés thermiques par base de données." Thesis, McGill University, 1986. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=65447.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Vũ, John Huân. "Software Internationalization: A Framework Validated Against Industry Requirements for Computer Science and Software Engineering Programs." DigitalCommons@CalPoly, 2010. https://digitalcommons.calpoly.edu/theses/248.

Повний текст джерела
Анотація:
View John Huân Vũ's thesis presentation at http://youtu.be/y3bzNmkTr-c. In 2001, the ACM and IEEE Computing Curriculum stated that it was necessary to address "the need to develop implementation models that are international in scope and could be practiced in universities around the world." With increasing connectivity through the internet, the move towards a global economy and growing use of technology places software internationalization as a more important concern for developers. However, there has been a "clear shortage in terms of numbers of trained persons applying for entry-level positions" in this area. Eric Brechner, Director of Microsoft Development Training, suggested five new courses to add to the computer science curriculum due to the growing "gap between what college graduates in any field are taught and what they need to know to work in industry." He concludes that "globalization and accessibility should be part of any course of introductory programming," stating: A course on globalization and accessibility is long overdue on college campuses. It is embarrassing to take graduates from a college with a diverse student population and have to teach them how to write software for a diverse set of customers. This should be part of introductory software development. Anything less is insulting to students, their family, and the peoples of the world. There is very little research into how the subject of software internationalization should be taught to meet the major requirements of the industry. The research question of the thesis is thus, "Is there a framework for software internationalization that has been validated against industry requirements?" The answer is no. The framework "would promote communication between academia and industry ... that could serve as a common reference point in discussions." Since no such framework for software internationalization currently exists, one will be developed here. The contribution of this thesis includes a provisional framework to prepare graduates to internationalize software and a validation of the framework against industry requirements. The requirement of this framework is to provide a portable and standardized set of requirements for computer science and software engineering programs to teach future graduates.
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Smeltzer, Gerald Gilbert. "Legal rights to information and skilled employees in the computer industry." Thesis, University of British Columbia, 1985. http://hdl.handle.net/2429/24436.

Повний текст джерела
Анотація:
Canada is currently experiencing the transition to a post-industrial society as the result of the wide spread introduction of information related technologies. This thesis focuses on the legal rights to information of skilled employees who work with modern computer technology. The objective is to assess the adequacy of existing laws to meet the needs of employers and employees and to serve the public interest. The initial chapters concentrate on the legal principles of trade secrets and breach of confidence as applied to the employment relationship. Patent and copyright protection for software is briefly reviewed but not emphasized. Against this background, the major portion of the thesis examines the delicate balance between the legal interests of the employer, the employee and the public. Any attempt by employers to limit post employment use of information by employees invokes the doctrine of restraint of trade. This doctrine recognizes an employee's right to use the knowledge and skills developed during employment for the benefit of other employers. The thesis examines the elements of the restraint of trade doctrine as applied to skilled employees in the computer industry. The creation and development of software is used throughout the thesis to illustrate legal principles. Employers such as software developers are extremely vulnerable to misappropriation of confidential information by their employees. Such employers rely heavily upon the use of restrictive covenants in employment agreements to limit disclosure and to prevent future competition. The remedies for an employee's breach of confidence are reviewed. This chapter concludes that the legal principles governing interlocutory injunctions are inadequate to properly protect the information employer. The thesis concludes that the present Canadian law is increasingly inadequate to protect a computer industry employer against an employee's unauthorized appropriation of confidential information. In short, the law has not yet recognized the social and technological changes that have greatly increased the vulnerability of the information employer. If neither the courts nor the legislatures take action, information employers will have to further increase their reliance on the limited and uncertain protection of restrictive covenants in employment agreements.
Law, Peter A. Allard School of
Graduate
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Yang, Jun. "An expert system for project analysis and control." Thesis, Queensland University of Technology, 1991.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Persson, Måns, and Tom Waern. "Automatic adjustments of NC programs in machining centers." Thesis, Uppsala universitet, Fasta tillståndets elektronik, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-354416.

Повний текст джерела
Анотація:
The goal of this master thesis was to automate the compensation of NC-programs. Automatic compensations can reduce errors and make the production more efficient. This is vital for increased precision and meeting the quality demands from the market.The project started with a study of how the feedback-loop between production and measurements was done at the time and also researching how the data could be sent between the different machines. This was done by researching solutions of similar problems and interviewing the machine operators. Simulations of how automation could be done with more in-depth measurements of the production machine were also made.The limitations was also evaluated. Research was done on errors and practical flaws which could be problematic for automation.The automation was implemented using Java to send the data between the measuring machine to the production machine. Furthermore a UI was created for the machine operators so that the information flow was under supervision at all times. The UI would suggest a compensation from a pre-programmed algorithm together with the measuring data, and the operator could then decide whether or not to diverge from the suggested compensation.
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Hill, Ann Marie. "A study of the impact of computer technology on Quebec’s apparel industry and college level apparel design programs." The Ohio State University, 1993. http://rave.ohiolink.edu/etdc/view?acc_num=osu1300102416.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Hill, Ann Marie. "A study of the impact of computer technology on Quebec's apparel industry and college level apparel design programs /." The Ohio State University, 1993. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487843314697239.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Книги з теми "Paper industry Computer programs"

1

Bashkatov, Aleksandr, Roman Zasedatelev, and Evgeniy Sumerkin. Computer programs in the electric power industry. Workshop. ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1048798.

Повний текст джерела
Анотація:
The workshop consists of two chapters. The first one is basic, in the form of 10 works aimed at studying primary-level application programs. The second-extended-contains guidelines for seven works with software complexes (systems "Electric", DIALux) and a description of the application of programs for project purposes (calculation of the crossbar, sPlan, "1-2-3 Scheme", etc.). Along with the practical section, each topic includes reference and information support in the form of theoretical material. The papers contain basic information about the operations performed with mandatory references to specialized literature, including a review of standard examples and individual tasks in the applications section for monitoring the knowledge gained. Meets the requirements of the federal state educational standards of secondary vocational education of the latest generation. For students in the specialty "Power supply (by industry)" when conducting laboratory work on the academic discipline "Electrical Engineering", as well as when solving design problems, during course and diploma design, organizing practices. It can be useful not only for students of electric power specialties, but also for anyone who, by the nature of their activity, is faced with the need to perform calculations of electric networks using a computer.
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Pierce, Phil. Computer programs about industry. Oxford: Geography, Schools and Industry Project, 1986.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

New England Computer Law Conference (10th 1990 Boston, Mass.). The computer industry in the nineties: 10th annual New England Computer Law Conference '90. Boston, MA (20 West St., Boston 02111): Massachusetts Continuing Legal Education, 1990.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Geoffrey, Moore R., and Main Philip R, eds. Computer programs for building cost appraisal. London: Collins, 1985.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Oppenheimer, Max Stul. Chips!: Strategic issues in computer industry negotiation. Homewood, Ill: Dow Jones-Irwin, 1987.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Kyōkai, Konpyūta Sofutowea Chosakuken. Chūgoku ni okeru Nihon no konpyūta sofutowea no ryūtsū ni kansuru chosakuken shingai tō ni tsuite no chōsa hōkokusho: Bunkachō Chōkan Kanbō Kokusaika itaku jigyō. Tōkyō: Konpyūta Sofutowea Chosakuken Kyōkai, 2003.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Graham, Lawrence D. Legal battles that shaped the computer industry. Westport, Conn: Quorum, 1999.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Anderson, R. Bruce. Programs for computer simulation of a crosscut-first furniture rough mill. [Broomall, Pa.]: U.S. Dept. of Agriculture, Forest Service, Northeastern Forest Experiment Station, 1985.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Band, Jonathan. Interfaces on trial: Intellectual property and interoperability in the global software industry. Boulder: Westview Press, 1995.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Essinger, James. Advanced computer applications for investment managers. Oxford, UK: Elsevier Advanced Technology, 1989.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Частини книг з теми "Paper industry Computer programs"

1

Zhou, Shaoni, and Chunling Shi. "Evolution of Paper Industry." In Communications in Computer and Information Science, 92–98. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-23023-3_13.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Berardi, Stefano, Mario Coppo, Ferruccio Damiani, and Paola Giannini. "Type-Based Useless-Code Elimination for Functional Programs Position Paper." In Lecture Notes in Computer Science, 172–89. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-45350-4_13.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Itzhaky, Shachar, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, and Ilya Sergey. "Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities." In Computer Aided Verification, 110–34. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81685-8_5.

Повний текст джерела
Анотація:
Abstract This paper presents the main ideas behind deductive synthesis of heap-manipulating program and outlines present challenges faced by this approach as well as future opportunities for its applications.
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Lanzinger, Florian, and Alexander Weigl. "Towards a Formal Approach for Data Minimization in Programs (Short Paper)." In Lecture Notes in Computer Science, 161–69. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-93944-1_11.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Gurfinkel, Arie. "Program Verification with Constrained Horn Clauses (Invited Paper)." In Computer Aided Verification, 19–29. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-13185-1_2.

Повний текст джерела
Анотація:
AbstractMany problems in program verification, Model Checking, and type inference are naturally expressed as satisfiability of a verification condition expressed in a fragment of First-Order Logic called Constrained Horn Clauses (CHC). This transforms program analysis and verification tasks to the realm of first order satisfiability and into the realm of SMT solvers. In this paper, we give a brief overview of how CHCs capture verification problems for sequential imperative programs, and discuss CHC solving algorithm underlying the Spacer engine of SMT-solver Z3.
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Christakis, Maria, Hasan Ferit Eniser, Holger Hermanns, Jörg Hoffmann, Yugesh Kothari, Jianlin Li, Jorge A. Navas, and Valentin Wüstholz. "Automated Safety Verification of Programs Invoking Neural Networks." In Computer Aided Verification, 201–24. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81685-8_9.

Повний текст джерела
Анотація:
AbstractState-of-the-art program-analysis techniques are not yet able to effectively verify safety properties of heterogeneous systems, that is, systems with components implemented using diverse technologies. This shortcoming is pinpointed by programs invoking neural networks despite their acclaimed role as innovation drivers across many application areas. In this paper, we embark on the verification of system-level properties for systems characterized by interaction between programs and neural networks. Our technique provides a tight two-way integration of a program and a neural-network analysis and is formalized in a general framework based on abstract interpretation. We evaluate its effectiveness on 26 variants of a widely used, restricted autonomous-driving benchmark.
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Andriushchenko, Roman, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, and Šimon Stupinský. "PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs." In Computer Aided Verification, 856–69. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81685-8_40.

Повний текст джерела
Анотація:
AbstractThis paper presents PAYNT, a tool to automatically synthesise probabilistic programs. PAYNT enables the synthesis of finite-state probabilistic programs from a program sketch representing a finite family of program candidates. A tight interaction between inductive oracle-guided methods with state-of-the-art probabilistic model checking is at the heart of PAYNT. These oracle-guided methods effectively reason about all possible candidates and synthesise programs that meet a given specification formulated as a conjunction of temporal logic constraints and possibly including an optimising objective. We demonstrate the performance and usefulness of PAYNT using several case studies from different application domains; e.g., we find the optimal randomized protocol for network stabilisation among 3M potential programs within minutes, whereas alternative approaches would need days to do so.
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Winkler, Tobias, Christina Gehnen, and Joost-Pieter Katoen. "Model Checking Temporal Properties of Recursive Probabilistic Programs." In Lecture Notes in Computer Science, 449–69. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99253-8_23.

Повний текст джерела
Анотація:
AbstractProbabilistic pushdown automata (pPDA) are a standard operational model for programming languages involving discrete random choices, procedures, and returns. Temporal properties are useful for gaining insight into the chronological order of events during program execution. Existing approaches in the literature have focused mostly on $$\omega $$ ω -regular and LTL properties. In this paper, we study the model checking problem of pPDA against $$\omega $$ ω -visibly pushdown languages that can be described by specification logics such as CaRet and are strictly more expressive than $$\omega $$ ω -regular properties. With these logical formulae, it is possible to specify properties that explicitly take the structured computations arising from procedural programs into account. For example, CaRet is able to match procedure calls with their corresponding future returns, and thus allows to express fundamental program properties like total and partial correctness.
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Klijnsma, Tosca, and Tim Steenvoorden. "Semantic Equivalence of Task-Oriented Programs in TopHat." In Lecture Notes in Computer Science, 100–125. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-21314-4_6.

Повний текст джерела
Анотація:
AbstractTask-oriented programming (top) is a new programming paradigm for specifying multi-user workflows. To reason formally about top programs, a formal language called TopHat has been designed, together with its operational semantics. For proving properties about task-oriented programs, it is desirable to know when two TopHat-programs are semantically equivalent. This paper aims to answer this question. We show that a task can be in either one of five conditions, and for every two tasks in the same condition, we define what it means for them to be semantically equivalent. Using this definition, we study a number of transformation laws for TopHat-programs, which can be used by developers and compilers to optimise top-programs. We show that the "Image missing" operation on types in TopHat is a functor but cannot be a monad. We support our findings with proofs formalised in the dependently typed programming language Idris.
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Singh, Meenu, and Millie Pant. "A Hybrid FLP-AHP Approach for Optimal Product Mix in Pulp and Paper Industry." In Communications in Computer and Information Science, 324–36. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-85672-4_24.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Тези доповідей конференцій з теми "Paper industry Computer programs"

1

Lipnitski, L. A., P. K. Shalkevich, M. A. Treyvas, and E. P. Cherevan. "RESEARCH AND COMPARISON OF OPTIMIZATION OF COMPUTER PROGRAMS." In SAKHAROV READINGS 2021: ENVIRONMENTAL PROBLEMS OF THE XXI CENTURY. International Sakharov Environmental Institute of Belarusian State University, 2021. http://dx.doi.org/10.46646/sakh-2021-2-302-305.

Повний текст джерела
Анотація:
Improving the performance of the created software product is one of the most important moments in the information industry. Optimal values of the speed of the program are achieved using various methods of code optimization. This paper presents the main ways to solve this problem.
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Schonning, Alexandra, and Daniel Cox. "Industry-Academia Computer Aided Engineering Undergraduate Research Projects." In ASME 2006 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2006. http://dx.doi.org/10.1115/detc2006-99069.

Повний текст джерела
Анотація:
Florida’s First Coast Manufacturing Innovation Partnership (MIP), sponsored by the National Science Foundation (NSF), promotes collaboration between academia and local industry members by providing a shared resource center. The local industry provides the university with research opportunities for its undergraduate students in areas of mechanical engineering design, manufacturing, and analysis and the university provides the local industry with technical resources. This paper outlines how this collaborative effort is structured, what types of projects are undertaken, and what the benefits are to academia, industry, and society in general. In particular, the paper describes three computer aided engineering (CAE) projects, addresses how these industry-academia projects help achieve the goals of the MIP program, and how these projects help improve the CAE skills of the future workforce.
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Winer, Charles, and John Maniotes. "The Evolution of a B.S. Internet/Web Program at Purdue University Calumet." In 2002 Informing Science + IT Education Conference. Informing Science Institute, 2002. http://dx.doi.org/10.28945/2589.

Повний текст джерела
Анотація:
The growth of the Internet and the impact of the Community College system in Indiana have had a profound impact or the traditional two and four year programs in Computer Information Systems (CIS). Purdue University Calumet has recognized this impact and has revised and implemented an innovative Internet/Web B.S. program and related courses to support it. The B.S. program was developed and refined with input from the University’s local business/industry advisory committee. This paper presents the new four year Internet/Web B.S. program, which gives students a strong foundation in basic concepts and a high degree of employability.
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Sidarta, Djoni E., Xiaoning Jing, Kostas F. Lambrakos, Roger W. Burke, and William C. Webster. "An Efficient Time Domain Code for Strength and Fatigue Analysis of Steel Catenary Risers." In ASME 2015 34th International Conference on Ocean, Offshore and Arctic Engineering. American Society of Mechanical Engineers, 2015. http://dx.doi.org/10.1115/omae2015-41957.

Повний текст джерела
Анотація:
Steel Catenary Risers (SCRs) are commonly used in the offshore industry. Strength and fatigue performance of SCRs due to waves, currents and vessel motions is typically calculated using time domain dynamic analysis. Strength analysis may involve a large number of load cases for different environments, riser conditions and vessel configurations. Fatigue analysis may involve computation of riser response for hundreds of fatigue sea-states. It is very important for project schedule and cost that the analysis software used is both accurate and computer efficient. This paper presents RodDyn as an alternative time domain analysis tool for SCR strength and fatigue analysis. RodDyn is a finite element program for dynamic analysis of single-pipe risers. Several publications on this program are available in the literature. The results of dynamic analysis of an SCR for strength and fatigue from RodDyn are compared against the results from ABAQUS. ABAQUS is a general finite element program that has been widely used in the offshore exploration and production industry and has been considered one of the standard finite element programs. Riser dynamic analysis uses time series of vessel motions due to metocean environments at an oblique angle to the plane of the SCR. Von Mises stress per API RP 2RD, strength checks per API STD 2RD and fatigue damage along the riser are presented for both RodDyn and ABAQUS. Time series of effective tension and bending moments at selected locations on the riser are also compared. The main advantage of using RodDyn for riser analysis is the speed of computation. This paper shows that RodDyn can deliver significant gains in computational speed compared to standard riser analysis software programs without sacrificing accuracy of the computed results.
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Ma, W., Z. Lei, and Y. Rong. "FIX-DES: A Computer-Aided Modular Fixture Configuration Design System." In ASME 1997 Design Engineering Technical Conferences. American Society of Mechanical Engineers, 1997. http://dx.doi.org/10.1115/detc97/cie-4281.

Повний текст джерела
Анотація:
Abstract This paper presents a computer-aided modular fixture design system: FIX-DES. When fixturing requirements are specified as locating/clamping surfaces and points, a fixture configuration will be automatically generated by (1) selecting fixture elements from a fixture element database to form fixture units based on fixture element assembly relationships and (2) placing the fixture units and elements into position on a baseplate while the fixturing requirements and assembly relationships (e.g., hole alignment) are maintained. The fixture element assembly relationships can be automatically established when the geometric models and fixturing functions of the fixture elements are specified so that the FIX-DES system can be easily applied to different fixture systems. The system also provides the interactive design and design modification functions for human expert involvement. The system was developed with core programs in C/C++ and interface programs in a specific CAD environment. The system has been successfully applied in industry and can be easily transferred to other CAD systems. The overall structure of the FIX-DES system is introduced in the paper. The development of the automated fixture configuration design (AFCD) functions are presented in detail. Finally a fixture configura-tion design example is given to illustrate the application of the system.
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Memmott, Edmund A. "Usage of the Lund Rotordynamic Programs in the Analysis of Centrifugal Compressors." In ASME 2003 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2003. http://dx.doi.org/10.1115/detc2003/vib-48460.

Повний текст джерела
Анотація:
This paper is intended to be a history of the usage of the Jorgen Lund rotordynamic programs in the analysis of centrifugal compressors from the perspective of the author’s experience in that industry. Application of the Lund tilt pad bearing, rotor response, and stability programs will be described. They will be seen to be the basis for an industry wide acceptance criterion for the rotor dynamics of centrifugal compressors. They are used in the required audit reports for new compressors, and in trouble shooting investigations on the rotordynamics of centrifugal compressors.
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Steinbach, Theresa, James White, and Linda Knight. "Encouraging Minority Enrollment in IT Degree Programs through Participatory Organizations." In 2002 Informing Science + IT Education Conference. Informing Science Institute, 2002. http://dx.doi.org/10.28945/2576.

Повний текст джерела
Анотація:
Worldwide demand for qualified IT workers has employers exploring under-represented segments of the workforce. The percentage of women IT workers is not keeping pace with the growth of the industry. Minority populations, which are country specific, are also under-represented segments. This paper focuses on three significant minority segments in the United States: women, African Americans and Hispanic Americans. Studies have shown that increasing the number of these three groups enrolled in university computer science programs can help ease the shortage of qualified IT workers. One approach to attract and retain these students is to encourage the use of participatory organizations. This paper traces the initial efforts of one university to retain these segments through student-led chapters of the Association for Computing Machinery - Women, National Society of Black Engineers and Society of Hispanic Professional Engineers. Critical success factors are identified for use by other universities interested in initiating similar programs.
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Gomide, João Victor Boechat, Elton Vieira Cunha, and Guilherme Boechat Gomide. "Automatic Yeast Detection and Counting Using Computer Vision Techniques." In Workshop de Visão Computacional. Sociedade Brasileira de Computação - SBC, 2021. http://dx.doi.org/10.5753/wvc.2021.18884.

Повний текст джерела
Анотація:
This paper presents the development of a computer vision system that automatically identifies and counts viable and inviable brewer's yeast, to improve the time and accuracy of results obtained compared to the manual expert counting method commonly performed in the brewing industry. The equipment used consists of a digital video camera coupled to an optical microscope, which transmits the captured images, in real time, to the computer. Two approaches were tested and implemented, one taking into account the morphology and color of yeasts, and the other using machine learning. Although there are programs that automatically count yeasts, this is the first application that makes use of convolutional neural network techniques with Yolo to identify yeasts, making the results more accurate and reliable compared to manual methods. Experiments were carried out to measure the performance and accuracy of the prototype, which are presented in this article.
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Hentea, Mariana. "A Perspective on Achieving Information Security Awareness." In InSITE 2005: Informing Science + IT Education Conference. Informing Science Institute, 2005. http://dx.doi.org/10.28945/2855.

Повний текст джерела
Анотація:
The guidelines “Towards a Culture of Security” emphasize a culture of security in all aspects of information systems, from designing and planning through to everyday use, and among all participants, from government down through business to consumers. In response to national needs, Information Security education has become a priority for many educational institutions in US for the past years. More universities and colleges have established courses or specialized programs to teach Information Security skills to students enrolled in degrees related to computers such as computer information systems, computer engineering, and computer science. However, there are aspects of the security education model that need attention. This paper discusses these issues including changes to improve security awareness education. Through close coordination between faculty, industry, government agencies, and universities, the critical education of future graduates, Information Technology professionals, Information Security professionals, and public can be accelerated.
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Jones, Kennie H., Donald P. Randall, Lawrence F. Rowell, Raymond L. Gates, Chris M. Nichols, and S. Blake Williams. "Environment for Application Software Integration and Execution." In ASME 1992 International Computers in Engineering Conference and Exposition. American Society of Mechanical Engineers, 1992. http://dx.doi.org/10.1115/edm1992-0142.

Повний текст джерела
Анотація:
Abstract The Environment For Application Software Integration and Execution (EASIE) is a methodology and a set of software utility programs developed at the NASA Langley Research Center for coordinating the use of engineering design and analysis computer programs. Under user direction, EASIE controls the execution of independently developed programs and manages the flow of data to and from a common relational data base in order to accomplish design or analysis objectives. The process is highly automated. For example, a utility program generates a DATA DICTIONARY, describing the contents of the data base and the various subsets of data used by the application programs. Other utilities automatically generate FORTRAN or C subroutines to link the application programs with the database or to pre- and post-process the data. EASIE is also “user friendly,” providing “windows” into the data base to view subsets of the data and the means to modify the data at any time A key feature is the degree of independence it provides to the programmer and user from the details of the operating system and Data Base Management System. EASIE has been used successfully in the integration of several design systems at Langley and within the aerospace industry. This paper discusses the application of EASIE to these specific systems, emphasizing the advantages it has provided to both programmers and users. Significant improvements made as a result of these experiences will also be discussed.
Стилі APA, Harvard, Vancouver, ISO та ін.

Звіти організацій з теми "Paper industry Computer programs"

1

Velázquez López, Noé. Working Paper PUEAA No. 7. Development of a farm robot (Voltan). Universidad Nacional Autónoma de México, Programa Universitario de Estudios sobre Asia y África, 2022. http://dx.doi.org/10.22201/pueaa.005r.2022.

Повний текст джерела
Анотація:
Over the last century, agriculture has evolved from a labor-intensive industry to one that uses mechanized, high-powered production systems. The introduction of robotic technology in agriculture could be a new step towards labor productivity. By mimicking or extending human skills, robots overcome critical human limitations, including the ability to operate in harsh agricultural environments. In this context, in 2014 the development of the first agricultural robot in Mexico (“Voltan”) began at Chapingo Autonomous University. The research’s objective was to develop an autonomous multitasking vehicle for agricultural work. As a result of this development, a novel suspension system was created. In addition, autonomous navigation between crop rows was achieved through computer vision, allowing crop monitoring, fertilizer application and, in general, pest and disease control.
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Seidametova, Zarema S., Zinnur S. Abduramanov, and Girey S. Seydametov. Using augmented reality for architecture artifacts visualizations. [б. в.], July 2021. http://dx.doi.org/10.31812/123456789/4626.

Повний текст джерела
Анотація:
Nowadays one of the most popular trends in software development is Augmented Reality (AR). AR applications offer an interactive user experience and engagement through a real-world environment. AR application areas include archaeology, architecture, business, entertainment, medicine, education and etc. In the paper we compared the main SDKs for the development of a marker-based AR apps and 3D modeling freeware computer programs used for developing 3D-objects. We presented a concept, design and development of AR application “Art-Heritage’’ with historical monuments and buildings of Crimean Tatars architecture (XIII-XX centuries). It uses a smartphone or tablet to alter the existing picture, via an app. Using “Art-Heritage’’ users stand in front of an area where the monuments used to be and hold up mobile device in order to see an altered version of reality.
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Striuk, Andrii M. Software engineering: first 50 years of formation and development. [б. в.], December 2018. http://dx.doi.org/10.31812/123456789/2880.

Повний текст джерела
Анотація:
The article analyzes the main stages of software engineering (SE) development. Based on the analysis of materials from the first SE conferences (1968-1969), it was determined how the software crisis prompted scientists and practitioners to join forces to form an engineering approach to programming. Differences in professional training for SE are identified. The fundamental components of the training of future software engineers are highlighted. The evolution of approaches to the design, implementation, testing and documentation of software is considered. The system scientific, technological approaches and methods for the design and construction of computer programs are highlighted. Analysis of the historical stages of the development of SE showed that despite the universal recognition of the importance of using the mathematical apparatus of logic, automata theory and linguistics when developing software, it was created empirically without its use. The factor that led practitioners to turn to the mathematical foundations of an SE is the increasing complexity of software and the inability of empirical approaches to its development and management to cope with it. The training of software engineers highlighted the problem of the rapid obsolescence of the technological content of education, the solution of which lies in its fundamentalization through the identification of the basic foundations of the industry. It is determined that mastering the basics of computer science is the foundation of vocational training in SE.
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Lazonick, William, Philip Moss, and Joshua Weitz. The Unmaking of the Black Blue-Collar Middle Class. Institute for New Economic Thinking Working Paper Series, May 2021. http://dx.doi.org/10.36687/inetwp159.

Повний текст джерела
Анотація:
In the decade after the Civil Rights Act of 1964, African Americans made historic gains in accessing employment opportunities in racially integrated workplaces in U.S. business firms and government agencies. In the previous working papers in this series, we have shown that in the 1960s and 1970s, Blacks without college degrees were gaining access to the American middle class by moving into well-paid unionized jobs in capital-intensive mass production industries. At that time, major U.S. companies paid these blue-collar workers middle-class wages, offered stable employment, and provided employees with health and retirement benefits. Of particular importance to Blacks was the opening up to them of unionized semiskilled operative and skilled craft jobs, for which in a number of industries, and particularly those in the automobile and electronic manufacturing sectors, there was strong demand. In addition, by the end of the 1970s, buoyed by affirmative action and the growth of public-service employment, Blacks were experiencing upward mobility through employment in government agencies at local, state, and federal levels as well as in civil-society organizations, largely funded by government, to operate social and community development programs aimed at urban areas where Blacks lived. By the end of the 1970s, there was an emergent blue-collar Black middle class in the United States. Most of these workers had no more than high-school educations but had sufficient earnings and benefits to provide their families with economic security, including realistic expectations that their children would have the opportunity to move up the economic ladder to join the ranks of the college-educated white-collar middle class. That is what had happened for whites in the post-World War II decades, and given the momentum provided by the dominant position of the United States in global manufacturing and the nation’s equal employment opportunity legislation, there was every reason to believe that Blacks would experience intergenerational upward mobility along a similar education-and-employment career path. That did not happen. Overall, the 1980s and 1990s were decades of economic growth in the United States. For the emerging blue-collar Black middle class, however, the experience was of job loss, economic insecurity, and downward mobility. As the twentieth century ended and the twenty-first century began, moreover, it became apparent that this downward spiral was not confined to Blacks. Whites with only high-school educations also saw their blue-collar employment opportunities disappear, accompanied by lower wages, fewer benefits, and less security for those who continued to find employment in these jobs. The distress experienced by white Americans with the decline of the blue-collar middle class follows the downward trajectory that has adversely affected the socioeconomic positions of the much more vulnerable blue-collar Black middle class from the early 1980s. In this paper, we document when, how, and why the unmaking of the blue-collar Black middle class occurred and intergenerational upward mobility of Blacks to the college-educated middle class was stifled. We focus on blue-collar layoffs and manufacturing-plant closings in an important sector for Black employment, the automobile industry from the early 1980s. We then document the adverse impact on Blacks that has occurred in government-sector employment in a financialized economy in which the dominant ideology is that concentration of income among the richest households promotes productive investment, with government spending only impeding that objective. Reduction of taxes primarily on the wealthy and the corporate sector, the ascendancy of political and economic beliefs that celebrate the efficiency and dynamism of “free market” business enterprise, and the denigration of the idea that government can solve social problems all combined to shrink government budgets, diminish regulatory enforcement, and scuttle initiatives that previously provided greater opportunity for African Americans in the government and civil-society sectors.
Стилі APA, Harvard, Vancouver, ISO та ін.
Також вас можуть зацікавити розширені добірки на тему "Paper industry Computer programs" для конкретних типів джерел:
Статті в журналах Дисертації Книги
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!

До бібліографії