Relevant bibliographies by topics / PHP (Computer program language)

Contents

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

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

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

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

Select a source type:

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

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

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

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

1

Adawiyah Ritonga and Yahfizham Yahfizham. "Studi Literatur Perbandingan Bahasa Pemrograman C++ dan Bahasa Pemrograman Python pada Algoritma Pemrograman." Jurnal Teknik Informatika dan Teknologi Informasi 3, no. 3 (November 10, 2023): 56–63. http://dx.doi.org/10.55606/jutiti.v3i3.2863.

Full text
Abstract:
Programming Language is a language used to write computer program codes. Programming languages ​​allow programmers to instruct computers to perform certain tasks. There are many different programming languages ​​such as Python, Java, C++, PHP, JavaScript and so on. This article only focuses on explaining the C++ and Python programming languages. The aim of this article is to find out the differences between the C++ and Python programming languages ​​and to find out the advantages and functions of each programming language. From the results obtained, the two C++ programming languages ​​are more focused on Windows development, while Python is more often used in software development and the C++ programming language is more difficult to understand than the Python programming language.
APA, Harvard, Vancouver, ISO, and other styles
2

Wijoyo, Hadion, and Muhammad Yahya. "Developing School Information Program." International Journal of Asian Education 1, no. 3 (December 1, 2020): 179–86. http://dx.doi.org/10.46966/ijae.v1i3.70.

Full text
Abstract:
This research aims to develop a student data management system at 9 Tapung Junior High School (SMP) Negeri 9 Tapung, which has not documented using a computer or school web using text-based programming languages like HTML, JavaScript, CSS, and PHP. The student information system design at SMP Negeri 9 Tapung in its manufacture uses a literacy methodology where each phase can be carries repeatedly until it gets the desired results. The phase of system manufacture is the investigation, analysis, design, and implementation. To make this application, the author uses PHP and MySQL. This development research results create a student information system application that can display school data, student data, which graphics form, and its development, including data on the development of honesty and discipline. The system also displays the student interests and talents observed, extracurricular activities, student violations, and achievement. This application still needs development, refinement, the addition of features, and suggestions, and criticism from all related parties to create a better and structured information system to improve the quality and character of SMP Negeri 9 Tapung.
APA, Harvard, Vancouver, ISO, and other styles
3

Firmansyah, Muhammad, and Eri Sasmita Susanto. "IMPLEMENTASI SISTEM PAKAR BERBASIS WEB UNTUK MENDIAGNOSIS PENYAKIT AYAM BROILER MENGGUNAKAN METODE FORWARD CHAINING." JEIS: JURNAL ELEKTRO DAN INFORMATIKA SWADHARMA 4, no. 1 (January 31, 2024): 10–16. http://dx.doi.org/10.56486/jeis.vol4no1.435.

Full text
Abstract:
The expert system is a computer program designed to transfer knowledge from an expert in a specific field to solve problems or provide advice. Its development has led to various applications, including veterinary medicine. This research focuses on implementing a web-based expert system using PHP to assist broiler chicken farmers in diagnosing diseases through forward chaining. The method is a qualitative approach with the waterfall development method and black-box testing, Unified Modeling Language (UML) for system modeling and design. The system, built with PHP, Codeigniter framework, and MariaDB MySQL database, successfully provides a web-based expert application for diagnosing broiler chicken diseases through forward chaining. This application help farmers in effectively diagnosing and managing diseases in their broiler chickens.
APA, Harvard, Vancouver, ISO, and other styles
4

Adam Huda Nugraha. "DEVELOPMENT OF RW CHAIRMAN SELECTION APPLICATION WEB USING CODEIGNITER, PHP AND MYSQL FRAMEWORK." Journal of Engineering, Electrical and Informatics 1, no. 3 (October 1, 2021): 1–10. http://dx.doi.org/10.55606/jeei.v1i3.201.

Full text
Abstract:
E-Voting is the use of computer technology for the implementation of voting. One choice of computer technology used for the implementation of e-voting is to use a client-server architecture. So the use of an all-computer-based-system is expected to replace the manual voting process. The goal to be achieved from making this e-voting application is to be able to assist committee officers in calculating the number of voters and calculating election results quickly and accurately. This application is made using the PHP programming language which is expected to overcome problems related to selection. In making this website, the stages carried out are, preparing the required data, designing the website, designing input and output, followed by the implementation stage of making program coding, the last stage is the trial stage on localhost. Planned trials that set up the application to run properly.
APA, Harvard, Vancouver, ISO, and other styles
5

Safrinal, Safrinal, Inyak Sukendi, Supriyanto Supriyanto, and Afrizal Afrizal. "Use of a Webpage in Designing Employee Data Collection at the Aceh Language Center Office." International Journal Software Engineering and Computer Science (IJSECS) 1, no. 1 (April 1, 2021): 1. http://dx.doi.org/10.35870/ijsecs.v1i1.321.

Full text
Abstract:
The employee information system is one of the data processing activities at the Aceh Language Hall Office, to get information about employees to be more focused and easy to obtain. In this study, researchers only discussed employee problems and data management mechanisms at the Aceh Language Center Office and designed an employee data collection information system using PHP and MySQL. The research objective was to understand the problems of employees and data management at the Aceh Language Center Office and to create a supporting application about employee information systems using PHP and MySQL. The collection of data needed in writing this report was obtained by two methods, namely literature studies related to literature, library books, and other scientific works, field studies by conducting interviews, and direct observation of objects related to this research. The employee information system is carried out by one of the administrative staff and assisted by 2 (two) employee administration staff to record and input employee data. From the results of the study, it can be concluded that the employee information system at the Aceh Language Hall Office has followed the procedure and uses a computer with the PHP and MySQL language programs as the database.
APA, Harvard, Vancouver, ISO, and other styles
6

Rahayu, Sri, Yudi Muhtadi, and Abizal Al Farobie. "Design Of Web Based Employees Information System Design in SD Kumnamu School Tangerang." Aptisi Transactions on Management (ATM) 1, no. 2 (December 27, 2018): 130–35. http://dx.doi.org/10.33050/atm.v1i2.662.

Full text
Abstract:
ayroll systems in every company vary, most have used computer-based information systems, but there are still some companies that have not implemented it as in SD KUMNAMU SCHOOL. In this educational institution in the payroll information system is still using the calculation manually and using MS aids program. Excel. In this study using SWOT method as a method used to determine the strengths, weaknesses, opportunities, and system threats that run today through several stages of interview and literature study. Which produces a payroll information system that can manage computerized payroll, perform absentee calculations, automatically calculate monthly salary, allowances calculation, present salary slips and salary reports required every month or every year and others. System design using UML (Unified Modeling Language) tool, while in making system program using MySQL tool to design database and PHP (Hypertext Preprocessor) as programming language.
APA, Harvard, Vancouver, ISO, and other styles
7

Tamrin, Teguh, and Akhmad Khanif Zyen. "PUSPINDES E-Performance Information System for Monitoring the Performance." Journal of Applied Intelligent System 7, no. 2 (September 7, 2022): 120–27. http://dx.doi.org/10.33633/jais.v7i2.6492.

Full text
Abstract:
Puspindes is a government institution built by the Pemalang government to provide competence in the field of Information and Communication Technology (ICT) development. The rural informatics empowerment center, hereinafter referred to as PUSPINDES, Pemalang Regency is a flagship program under the supervision and responsibility of BAPERMASDES (Community Empowerment Agency Village) Pemalang Regency this institution focuses on village development, especially in the field of Computer Information Technology and also Intern networks for villages. A system was created to assist in the administrative process carried out by PUSPINDES employees using the PHP Programming Language CodeIgniter package and data storage using a MySQL database.
APA, Harvard, Vancouver, ISO, and other styles
8

Pu, Ao, Xia Feng, Yuhan Zhang, Xuelin Wan, Jiaxuan Han, and Cheng Huang. "BERT-Embedding-Based JSP Webshell Detection on Bytecode Level Using XGBoost." Security and Communication Networks 2022 (August 31, 2022): 1–11. http://dx.doi.org/10.1155/2022/4315829.

Full text
Abstract:
Webshell is a malicious program that might result in data theft, file modification, or other damaging behaviors once uploaded to a server. Detecting webshells is a key security concern for website administrators. In recent years, techniques such as obfuscation and encryption have been deployed on webshell technology, and classic detection approaches such as static feature matching are gradually underperforming on webshell detection. Meanwhile, there are variations between languages such as JSP and PHP, and researchers have proposed webshell detection methods primarily for languages such as PHP. At the same time, there are fewer detection techniques for JSP webshells. In this case, a detection approach for the JSP webshells is needed. This paper provides a novel webshell detection model for the JSP language. The model’s fundamental premise is that it introduces the BERT-based word vector extraction method, which has been shown in experiments to be more effective at detecting obfuscation, encryption, and other means of evading detection than the traditional Word2vec word vector extraction method. Meanwhile, we introduce the XGBoost algorithm as the model classifier. The experimental results reveal that present model has achieved 99.14% accuracy, 98.68% precision, 98.03% recall, and 98.35% f1 score, and the overall effect is better than the already existing JSP webshell detection approaches.
APA, Harvard, Vancouver, ISO, and other styles
9

Karlina K, Yuni, Nurfitri Andayani, and Murlena Murlena. "Sistem Absensi Online Berbasis Website Studi Kasus: Program Studi Ilmu Komputer Universitas Pat Petulai." Arcitech: Journal of Computer Science and Artificial Intelligence 3, no. 2 (December 31, 2023): 124. http://dx.doi.org/10.29240/arcitech.v3i2.9637.

Full text
Abstract:
The Computer Science Study Program at Pat Petulai University is currently still adopting a conventional or manual attendance system, both in implementing and managing attendance data, so there is a need for a website that can manage attendance data and processes online. Based on these problems, this research aims to build a website-based online attendance system that can manage attendance data and processes online without having to do it manually or conventionally. By using qualitative descriptive research methods in this research, it is hoped that it can explain the results of the research that has been carried out. The use of information technology in this attendance was made with PHP, MySQL as a database and Laravel framework. System design using Unifed Modeling Language (UML) and waterfall tools as software development methods. The results of the software were tested in terms of functionality using black box testing. With the website that has been built, it is hoped that it can support the progress of the Pat Petulai University Computer Science Study Program in terms of managing student attendance data.
APA, Harvard, Vancouver, ISO, and other styles
10

Dwi Yuliansyah Kusnadi and Gingin Sutisna. "Analisis Sistem Informasi Pendistribusian Alat Tulis Kantor di Fakultas Pendidikan Ilmu Pengetahuan Sosial Universitas Pendidikan Indonesia." El-Mal: Jurnal Kajian Ekonomi & Bisnis Islam 5, no. 4 (February 9, 2024): 3009–20. http://dx.doi.org/10.47467/elmal.v5i4.1831.

Full text
Abstract:
Office equipment, often referred to as Office Stationery (ATK), is a necessity that must be fulfilled and carefully considered in its use in an institution, such as in the Department of Computer Science. Currently, the Department of Computer Science still utilizes Microsoft Excel and handwritten notes in processing ATK data, ranging from the registration of incoming items to the distribution to professors and staff. Therefore, the Department of Computer Science requires a system that can support the process of distributing ATK data. The developed system is expected to assist in generating ATK distribution reports. The system development method chosen in this research is the Waterfall system development model. The system design in this research uses the Unified Modeling Language (UML). The program development process (coding) utilizes the PHP programming language with HTML, and MySQL for database creation. The testing approach in this research employs Black Box testing with the Equivalence Partitioning (EP) method. The results of the conducted testing indicate that all system functions operate according to their intended purposes.
APA, Harvard, Vancouver, ISO, and other styles
More sources

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

1

Wright, Madeleine. "A detailed investigation of interoperability for web services." Thesis, Rhodes University, 2006. http://hdl.handle.net/10962/d1004832.

Full text
Abstract:
The thesis presents a qualitative survey of web services' interoperability, offering a snapshot of development and trends at the end of 2005. It starts by examining the beginnings of web services in earlier distributed computing and middleware technologies, determining the distance from these approaches evident in current web-services architectures. It establishes a working definition of web services, examining the protocols that now seek to define it and the extent to which they contribute to its most crucial feature, interoperability. The thesis then considers the REST approach to web services as being in a class of its own, concluding that this approach to interoperable distributed computing is not only the simplest but also the most interoperable. It looks briefly at interoperability issues raised by technologies in the wider arena of Service Oriented Architecture. The chapter on protocols is complemented by a chapter that validates the qualitative findings by examining web services in practice. These have been implemented by a variety of toolkits and on different platforms. Included in the study is a preliminary examination of JAX-WS, the replacement for JAX-RPC, which is still under development. Although the main language of implementation is Java, the study includes services in C# and PHP and one implementation of a client using a Firefox extension. The study concludes that different forms of web service may co-exist with earlier middleware technologies. While remaining aware that there are still pitfalls that might yet derail the movement towards greater interoperability, the conclusion sounds an optimistic note that recent cooperation between different vendors may yet result in a solution that achieves interoperability through core web-service standards.
APA, Harvard, Vancouver, ISO, and other styles
2

Blokhina, Natalia. "Development of a content management system (CMS) for a small polling organization." [Denver, Colo.] : Regis University, 2006. http://165.236.235.140/lib/NBlokhina2006.pdf.

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

Dharod, Vishal. "Web based internship management system: A collaborative coordinating tool." CSUSB ScholarWorks, 2004. https://scholarworks.lib.csusb.edu/etd-project/2575.

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

Martins, Dalton Lopes. "Suporte a colaboração em redes P2P." [s.n.], 2004. http://repositorio.unicamp.br/jspui/handle/REPOSIP/261770.

Full text
Abstract:
Orientador: Ivan Luiz Marques Ricarte
Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação
Made available in DSpace on 2018-08-04T04:08:09Z (GMT). No. of bitstreams: 1 Martins_DaltonLopes_M.pdf: 1278026 bytes, checksum: b7c0e45069a357920387e022e4bc3f77 (MD5) Previous issue date: 2004
Resumo: O suporte à colaboração e as redes P2P (peer-to-peer) tem sido dois assuntos que, por muitos momentos, se cruzam no estudo e na pesquisa do uso das novas tecnologias em ambientes colaborativos de aprendizado. O presente estudo trata das motivações sociais e técnicas para o uso das redes P2P como um suporte ao trabalho colaborativo entre grupos. Inicialmente, realizamos um estudo das características de uso e da mudança de paradigmas de trabalho em rede que o P2P nos fornece. Como base de aplicação prática deste trabalho, também apresentamos um estudo de protocolos e sistemas computacionais já existentes que tratam, de alguma forma, da questão da colaboração através de redes P2P. Por final, com base no estudo apresentado, elaboramos a especificação e a implementação de um sistema de colaboração, o SemiCode, de forma a validar algumas das idéias desenvolvidas neste trabalho, além de apresentarmos algumas soluções onde o P2P pode atuar em conjunto com sistemas cliente-servidor
Abstract: The support to the collaboration and P2P network are two related subjects in the study and research involving new technologies for collaboratives learning environments. The present study deals with social motivations and techniques for the use of P2P nets as a support to the collaborative work. Initially, we carry through a study of the characteristics of use and the change of paradigms of work in net P2P supplies. Supporting the development of a application in this work, also we present a study of protocols and existing computational systems that, in some way, deal with collaboration through P2P nets. Finally, based on this study, we elaborate the specification and the implementation of a collaborative system, the SemiCode, wich validates some of these ideas. We also present some solutions based on the integra from between P2P and client-server systems
Mestrado
Engenharia de Computação
Mestre em Engenharia Elétrica
APA, Harvard, Vancouver, ISO, and other styles
5

Kelbley, Steven M. "Detecting PHP-based Cross-Site Scripting Vulnerabilities Using Static Program Analysis." Wright State University / OhioLINK, 2016. http://rave.ohiolink.edu/etdc/view?acc_num=wright1481196751743616.

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

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

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

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

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

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

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

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

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

Gordon, Christopher Todd. "A visual language for ADA program unit specifications." Thesis, This resource online, 1990. http://scholar.lib.vt.edu/theses/available/etd-06232009-063007/.

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

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

1

Mcarthur, Kevin. Pro PHP. Dordrecht: Springer, 2008.

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

Vaswani, Vikram. PHP. New York: McGraw-Hill, 2008.

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

Converse, Tim. PHP 4 bible. Foster City, Calif: IDG Books Worldwide, 2000.

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

Wandschneider, Marc. PHP and MySQL. Upper Saddle River, N.J: Prentice Hall, 2009.

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

Wandschneider, Marc. PHP and MySQL. Upper Saddle River, N.J: Prentice Hall, 2009.

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

Golemon, Sara. Extending and Embedding PHP. Upper Saddle River: Sams Publishing, 2007.

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

J, Walker Michael. Instant PHP 4. New York: Osborne/McGraw-Hill, 2001.

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

Herrington, Jack D. PHP hacks. Bejing: O'Reilly, 2005.

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

Beighley, Lynn. Head first PHP & MySQL. Beijing: O'Reilly, 2009.

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

Beighley, Lynn. Head first PHP & MySQL. Beijing: O'Reilly, 2009.

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

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

1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Leidner, Jochen L., and Michael Reiche. "Language-Model Assisted Learning How to Program?" In Communications in Computer and Information Science, 425–38. Cham: Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-50485-3_41.

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

Walden, James, Maureen Doyle, Robert Lenhof, and John Murray. "Idea: Java vs. PHP: Security Implications of Language Choice for Web Applications." In Lecture Notes in Computer Science, 61–69. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-11747-3_5.

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

Anqi, Xing, and Zheng Yanqun. "International Chinese Language Education Online Teacher Training Program and Practice." In Computer Science and Education, 271–85. Singapore: Springer Nature Singapore, 2023. http://dx.doi.org/10.1007/978-981-99-2446-2_25.

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

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

1

Cimen, Ali, and Dincer Dede. "FABSIS: A DATA MANAGEMENT SYSTEM IN EDUCATIONAL ADMINISTRATION." In eLSE 2018. Carol I National Defence University Publishing House, 2018. http://dx.doi.org/10.12753/2066-026x-18-268.

Full text
Abstract:
In education management, it is very important to get the information of schools fast and reliable. In Istanbul Provincial Directorate of National Education, management of 3170 schools of 39 districts is planned in. In particular; projects such as the Fatih Project where all the schools are equipped with technological infrastructure, requires correct and fast data flow during the planning and implementation processes because of the cost of a wrong action. For example, information which taken from schools in July cannot be reached and re requested in August because of the vacation of the officer who handles the data. During data gathering process, schools do not send data, they send late, and the information provided is stored in personnel computers. So, there is no continuity of the data and some information from the schools is requested repeatedly and this situation is causing the progeny in planning and implementation. The purpose of this research is to create an educational information system in which school information is effectively managed, do not need a programmer for each information request, in which the continuity and sharing of information is ensured. The program was built using the PHP programming language and the MYSQL database system. A responsive design has been used to allow access from mobile phones, tablets and desktop computers. Some sub-systems have been developed to facilitate data collection and management. One of that sub-systems is that information stored in computers in the type of office formats can be added to the system quickly and forms can be created using the titles of these data on the fly. It is considered that data mining and machine learning algorithms can be added to the system and data mining can be done on the data for future studies.
APA, Harvard, Vancouver, ISO, and other styles
2

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

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

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

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

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

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

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

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

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

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

Ros, J., J. Gil, and I. Zabalza. "3D_Mec: An Application to Teach Mechanics." In ASME 2005 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2005. http://dx.doi.org/10.1115/detc2005-85086.

Full text
Abstract:
3D_Mec is a GPL-ed application for the solution of problems related to Mechanics. It is specially well suited for the direct kinematic and dynamic simulation of general systems. Is has been used during the last 10 years as a practical complement of the “Mechanics” Bachelor Course in Mechanical Engineering at the Public University of Nabarre-Spain. The main focus of the application is teaching Classical Mechanical principles and their applications. To that end 3D_Mec is constructed over an underlying Symbolic Algebra Kernel that allows the user to express itself in a language that closely resembles that of the mechanics and its level of abstraction. Classical kinematical primitives: Point, Basis and Reference, and set of operators acting upon them; support for vector and tensors, automatic basis change, ... relieve the user from the tedious algebraic manipulations directing his focus at the concept. A set of OpenGL based graphical primitives allow to represent the system and its simulation, and to create clips from them, it also represents a valuable way to check for the validity of the defined vectors and equations. 3D_Mec can also be used as a preprocessor or postprocessor, this is accomplished exporting the defined variables and different sets of equations in the popular language MatLab [3], where the integration or a different problem can be readily made based on well formed tested equations, results can be easily imported back from files containing a temporal series of the different variables. The program is also being used successfully in this way in “Dynamics of MultiBody Systems” PhD. course.
APA, Harvard, Vancouver, ISO, and other styles
8

Qin, Weida, Yinhu Wei, and Ricai Luo. "Program Design and Implementation of Y Class Matrix Eigenvalue Based on Python Language." In 2022 Asia-Pacific Computer Technologies Conference (APCT). IEEE, 2022. http://dx.doi.org/10.1109/apct55107.2022.00022.

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

Dovhopolova, Hanna. "COMPUTER PROGRAM AS A METHOD OF DEVELOPING STUDENTS’ FOREIGN LANGUAGE COMMUNICATION SKILLS." In THEORETICAL AND EMPIRICAL SCIENTIFIC RESEARCH: CONCEPT AND TRENDS. European Scientific Platform, 2020. http://dx.doi.org/10.36074/24.07.2020.v3.02.

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

Jin, Yuqiang, Yuliang Chen, Zijian Lin, and Junwei Lei. "Research on PID control and Simulation with M Language of Matlab Program." In 2nd International Conference on Electronics, Network and Computer Engineering (ICENCE 2016). Paris, France: Atlantis Press, 2016. http://dx.doi.org/10.2991/icence-16.2016.98.

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

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

1

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

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

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

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

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

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

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

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

To the bibliography