Готові списки джерел за темами / Formal language generation

Зміст

Статті в журналах
Дисертації
Книги
Частини книг
Тези доповідей конференцій
Звіти організацій

Добірка наукової літератури з теми "Formal language generation"

Автор: Grafiati

Опубліковано: 3 червня 2025

Оновлено: 31 липня 2025

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

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

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

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

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

Статті в журналах з теми "Formal language generation"

Van Deemter, Kees, Ehud Reiter, and Helmut Horacek. "Formal Issues in Natural Language Generation." Research on Language and Computation 4, no. 1 (2006): 1–7. http://dx.doi.org/10.1007/s11168-006-9008-9.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Dreisbach, Jeconiah Louis, and Feorillo Petronilo A. Demeterio III. "INTERGENERATIONAL LANGUAGE PREFERENCE SHIFT AMONG CEBUANOS ON THE CEBUANO, FILIPINO, AND ENGLISH LANGUAGES." LLT Journal: A Journal on Language and Language Teaching 23, no. 2 (2020): 220–40. http://dx.doi.org/10.24071/llt.v23i2.2581.

Повний текст джерела

Анотація:

The historical linguistic conflict of the Cebuano people against the Tagalog-based Philippine national language has been evident in the literature written by Cebuano academics. However, there is no published empirical evidence that presents the on-ground language attitudes of the Cebuanos on the Cebuano, Filipino, and English languages. Employing mixed methods research, the researchers found that both generations predominantly use the Cebuano language for everyday communication. A significant difference was observed in the use of Filipino and English languages as the younger generation spoke i

Стилі APA, Harvard, Vancouver, ISO та ін.

Graics, Bence, Vince Molnár, András Vörös, István Majzik, and Dániel Varró. "Mixed-semantics composition of statecharts for the component-based design of reactive systems." Software and Systems Modeling 19, no. 6 (2020): 1483–517. http://dx.doi.org/10.1007/s10270-020-00806-5.

Повний текст джерела

Анотація:

Abstract The increasing complexity of reactive systems can be mitigated with the use of components and composition languages in model-driven engineering. Designing composition languages is a challenge itself as both practical applicability (support for different composition approaches in various application domains), and precise formal semantics (support for verification and code generation) have to be taken into account. In our Gamma Statechart Composition Framework, we designed and implemented a composition language for the synchronous, cascade synchronous and asynchronous composition of sta

Стилі APA, Harvard, Vancouver, ISO та ін.

Dreisbach, Jeconiah Louis, and Feorillo Petronilo A. Demeterio III. "Language use and preference in the multilingual context of Davao City, Philippines." Studies in English Language and Education 8, no. 1 (2021): 313–27. http://dx.doi.org/10.24815/siele.v8i1.18454.

Повний текст джерела

Анотація:

This paper is a pioneering study on the language use and preference of the Davaoeños from generations X (born in the years 1965 to 1979) and Z (born in the years 1995 to 2015) towards the Cebuano, Filipino, and English languages. Being a linguistically diverse area, Davao is home to the emerging contact language Davao Filipino which is currently spoken by the various ethnolinguistic groups currently inhabiting the city. This study utilized mixed methods research, particularly a survey questionnaire and focus group discussions, to explore the perspectives of the respondents on the said language

Стилі APA, Harvard, Vancouver, ISO та ін.

Mündler, Niels, Jingxuan He, Hao Wang, Koushik Sen, Dawn Song, and Martin Vechev. "Type-Constrained Code Generation with Language Models." Proceedings of the ACM on Programming Languages 9, PLDI (2025): 601–26. https://doi.org/10.1145/3729274.

Повний текст джерела

Анотація:

Large language models (LLMs) have achieved notable success in code generation. However, they still frequently produce uncompilable output because their next-token inference procedure does not model formal aspects of code. Although constrained decoding is a promising approach to alleviate this issue, it has only been applied to handle either domain-specific languages or syntactic features of general-purpose programming languages. However, LLMs frequently generate code with typing errors, which are beyond the domain of syntax and generally hard to adequately constrain. To address this challenge,

Стилі APA, Harvard, Vancouver, ISO та ін.

Lestari, Citra, Kenny Jihiro, Andreas Lim, Daniel Aprilio, and Franciscus Valentinus. "Penggunaan Kamus Singkatan Kata Bahasa Indonesia Sehari-Hari dalam Pembangkitan Fitur Teks." Jurnal Informatika Universitas Pamulang 8, no. 2 (2023): 121–28. http://dx.doi.org/10.32493/informatika.v8i2.29306.

Повний текст джерела

Анотація:

Natural Language Processing (NLP) research on Indonesian language is relatively slow compared to other languages, such as English or Chinese. Most of the researches are dealing with Indonesian formal textes. Some NLP researches that are dealing with Indoensian informal texts are having quite difficulty since Indonesian informal language usually combines formal language, daily language, and local language. In addition, there is a habit in Indoensians to use abbreviation in texting. These cause great difficulty in features generation process, where machines fail to identify stopwords and form le

Стилі APA, Harvard, Vancouver, ISO та ін.

Potiyenko, S. V., and A. V. Kolchin. "Generation of multipurpose formal models from legacy code." PROBLEMS IN PROGRAMMING, no. 3-4 (December 2022): 42–50. http://dx.doi.org/10.15407/pp2022.03-04.042.

Повний текст джерела

Анотація:

In this paper a method for generation of formal models from legacy systems code is proposed. The purpose of these models is to have a possibility of their application in different tasks such as automatic generation of executable tests, translation to modern programming languages, reverse engineering. The method pursues goals to decrease complexity of state space search and checking formulas satisfiability in relation to the direct code modeling, and to help legacy systems understanding and implementing in modern technologies. We focused on formalization of Cobol memory model as it is the most

Стилі APA, Harvard, Vancouver, ISO та ін.

Thangaraj, Jagadeeswaran, and Senthilkumaran Ulaganathan. "A Comparative Study on Transformation of UML/OCL to Other Specifications." Recent Advances in Computer Science and Communications 13, no. 2 (2020): 256–64. http://dx.doi.org/10.2174/2213275912666190129121059.

Повний текст джерела

Анотація:

Background: Static verification is a sound programming methodology that permits automated reasoning about the correctness of an implementation with respect to its formal specification before its execution. Unified Modelling Language is most commonly used modelling language which describes the client’s requirement. Object Constraint Language is a formal language which allows users to express textual constraints regarding the UML model. Therefore, UML/OCL express formal specification and helps the developers to implement the code according to the client’s requirement through software design. Obj

Стилі APA, Harvard, Vancouver, ISO та ін.

Boutekkouk, Fateh. "Towards automatic Maude specifications generation from C functions." Journal of Innovation Information Technology and Application (JINITA) 5, no. 1 (2023): 83–96. http://dx.doi.org/10.35970/jinita.v5i1.1846.

Повний текст джерела

Анотація:

In this paper, we aim to contribute to the knowledge about how imperative C functions can be transformed to Maude functional and system modules respectively. Maude is a formal specification language characterized by simplicity, expressivity and good performance. It is a multi-paradigm meta-language based on rewriting logic and equational theories used to specify, simulate and formally verify concurrent and distributed systems. Maude has been used to define the operational semantics of many programming and specification languages. In particular, the addition of this paper is to close the gap be

Стилі APA, Harvard, Vancouver, ISO та ін.

Ningsih, Claudia Ratna, Irma Yanti Sitorus, Najla Haifa Maulidina Tarigan, Yasinta Theresya Claudia Malau, and Fitriani Lubis. "Analysis of the Role of the Karo Ethnic Young Generation in Preserving the Karo Language Amid the Challenges of Modernity." QISTINA: Jurnal Multidisiplin Indonesia 3, no. 2 (2024): 1290–95. https://doi.org/10.57235/qistina.v3i2.4012.

Повний текст джерела

Анотація:

This research aims to analyze the role of the young generation of Karo ethnicity in preserving the Karo language, especially amidst the challenges of modernity. The Karo language, as part of the cultural identity of the Karo ethnic group, is experiencing a shift in usage among the younger generation due to the influence of modernization, urbanization and the dominance of national and international languages. This research uses a qualitative approach with a literature study method, which utilizes various written sources such as scientific journals and academic articles. Through this method, res

Стилі APA, Harvard, Vancouver, ISO та ін.

Більше джерел

Дисертації з теми "Formal language generation"

Schulze, Walter. "A formal language theory approach to music generation." Thesis, Stellenbosch : University of Stellenbosch, 2010. http://hdl.handle.net/10019.1/4157.

Повний текст джерела

Анотація:

Thesis (MSc (Mathematical Sciences))-- University of Stellenbosch, 2010.<br>ENGLISH ABSTRACT: We investigate the suitability of applying some of the probabilistic and automata theoretic ideas, that have been extremely successful in the areas of speech and natural language processing, to the area of musical style imitation. By using music written in a certain style as training data, parameters are calculated for (visible and hidden) Markov models (of mixed, higher or first order), in order to capture the musical style of the training data in terms of mathematical models. These models are

Стилі APA, Harvard, Vancouver, ISO та ін.

Kamath, Roshan. "Type-Safety Obligation Generation in Rosetta." University of Cincinnati / OhioLINK, 2002. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1026494806.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Adam, Laura. "Mapping Genotype to Phenotype using Attribute Grammar." Diss., Virginia Tech, 2013. http://hdl.handle.net/10919/51768.

Повний текст джерела

Анотація:

Over the past 10 years, several synthetic biology research groups have proposed tools and domain-specific languages to help with the design of artificial DNA molecules. Community standards for exchanging data between these tools, such as the Synthetic Biology Open Language (SBOL), have been developed. It is increasingly important to be able to perform in silico simulation before the time and cost consuming wet lab realization of the constructs, which, as technology advances, also become in themselves more complex. By extending the concept of describing genetic expression as a language, we prop

Стилі APA, Harvard, Vancouver, ISO та ін.

Hadjadj, Mohammed. "Modélisation de la Langue des Signes Française : Proposition d’un système à compositionalité sémantique." Thesis, Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLS560/document.

Повний текст джерела

Анотація:

La reconnaissance de la langue des signes française (LSF) comme une langue à part entière en 2005 a créé un besoin important de développement d’outils informatiques pour rendre l’information accessible au public sourd. Dans cette perspective, cette thèse a pour cadre la modélisation linguistique pour un système de génération de la LSF. Nous présentons dans un premier temps les différentes approches linguistiques ayant pour but la description linguistique des langues des signes (LS). Nous présentons ensuite les travaux effectués en informatique pour les modéliser.Dans un deuxième temps, nous pr

Стилі APA, Harvard, Vancouver, ISO та ін.

Miyazawa, Alvaro Heiji. "Geração parcial de código Java a partir de especificações formais Z." Universidade de São Paulo, 2008. http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02112008-224245/.

Повний текст джерела

Анотація:

Especificações formais são úteis para descrever o que um sistema deve fazer sem definir como, e, em virtude da sua natureza formal e da possibilidade de abstração, é possível analisá-las sistematicamente. No entanto, o uso de especificações formais como parte do desenvolvimento de software não constitui prática comum. Isso se dá, em parte, pelo fato de existirem apenas um pequeno número de metodologias e ferramentas adequadas que dêem suporte a esse desenvolvimento. O primeiro objetivo deste trabalho é propor uma metodologia de desenvolvimento que possibilite, a partir de uma especificação for

Стилі APA, Harvard, Vancouver, ISO та ін.

Antunes, Cleverton Hentz. "Gera??o autom?tica de testes a partir de descri??es de linguagens." Universidade Federal do Rio Grande do Norte, 2010. http://repositorio.ufrn.br:8080/jspui/handle/123456789/18004.

Повний текст джерела

Анотація:

Made available in DSpace on 2014-12-17T15:47:51Z (GMT). No. of bitstreams: 1 ClevertonHA.pdf: 1775580 bytes, checksum: 9e49f67c9b7fbb459e2b24f568db691b (MD5) Previous issue date: 2010-03-01<br>Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior<br>Some programs may have their entry data specified by formalized context-free grammars. This formalization facilitates the use of tools in the systematization and the rise of the quality of their test process. This category of programs, compilers have been the first to use this kind of tool for the automation of their tests. In this work we

Стилі APA, Harvard, Vancouver, ISO та ін.

Dieumegard, Arnaud. "Formal Guaranties for Safety Critical Code Generation : the Case of Highly Variable Languages." Thesis, Toulouse, INPT, 2015. http://www.theses.fr/2015INPT0016/document.

Повний текст джерела

Анотація:

Les fonctions de commande et de contrôle sont parmi les plus importantes des systèmes embarqués critiques utilisés dans des activités telles les transports, la santé ou la gestion de l’énergie. Leur impact potentiel sur la sûreté de fonctionnement fait de la vérification de leur correction l’un des points les plus critiques de leur développement. Cette vérification est usuellement effectuée en accord avec les normes de certification décrivant un ensemble d’objectifs à atteindre afin d’assurer un haut niveau de qualité du système et donc de prévenir l’apparition de défauts. Cette vérification d

Стилі APA, Harvard, Vancouver, ISO та ін.

Kyjovská, Linda. "Syntaktická analýza založená na multigenerování." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2008. http://www.nusl.cz/ntk/nusl-235439.

Повний текст джерела

Анотація:

This work deals with syntax analysis problems based on multi-generation. The basic idea is to create computer program, which transforms one input string to n -1 output strings. An Input of this program is some plain text file created by user, which contains n grammar rules. Just one grammar from the input file is marked as an input grammar and others n -1 grammars are output grammars. This program creates list of used input grammar rules for an input string and uses corresponding output grammar rules for the creation of n -1 output strings. The program is written in C++ and Bison

Стилі APA, Harvard, Vancouver, ISO та ін.

Bourreau, Pierre. "Jeux de typage et analyse de lambda-grammaires non-contextuelles." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2012. http://tel.archives-ouvertes.fr/tel-00733964.

Повний текст джерела

Анотація:

Les grammaires catégorielles abstraites (ou λ-grammaires) sont un formalisme basé sur le λ-calcul simplement typé. Elles peuvent être vues comme des grammaires générant de tels termes, et ont été introduites aﬁn de modéliser l'interface entre la syntaxe et la sémantique du langage naturel, réunissant deux idées fondamentales : la distinction entre tectogrammaire (c.a.d. structure profonde d'un énoncé) et phénogrammaire (c.a.d représentation de la surface d'un énoncé) de la langue, exprimé par Curry ; et une modélisation algébrique du principe de compositionnalité aﬁn de rendre compte de la sém

Стилі APA, Harvard, Vancouver, ISO та ін.

Slama, Franck. "Automatic generation of proof terms in dependently typed programming languages." Thesis, University of St Andrews, 2018. http://hdl.handle.net/10023/16451.

Повний текст джерела

Анотація:

Dependent type theories are a kind of mathematical foundations investigated both for the formalisation of mathematics and for reasoning about programs. They are implemented as the kernel of many proof assistants and programming languages with proofs (Coq, Agda, Idris, Dedukti, Matita, etc). Dependent types allow to encode elegantly and constructively the universal and existential quantifications of higher-order logics and are therefore adapted for writing logical propositions and proofs. However, their usage is not limited to the area of pure logic. Indeed, some recent work has shown that they

Стилі APA, Harvard, Vancouver, ISO та ін.

Більше джерел

Книги з теми "Formal language generation"

Badecker, William John. Formal grammars and the analysis of infinitives. Indiana University Linguistics Club, 1987.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Gagarina, Larisa, and Elena Kokoreva. Introduction to the theory of algorithmic languages and compilers. INFRA-M Academic Publishing LLC., 2024. http://dx.doi.org/10.12737/1872635.

Повний текст джерела

Анотація:

The textbook provides a systematic course of mastering the theory of formal languages and grammars — both regular and context-free. The modern tasks of lexical, syntactic and semantic analysis are considered, as well as the well-known principles of their use for solving practical problems of software creation. The strict style of presentation is accompanied by numerous examples, as well as tasks for independent solution as part of practical tasks necessary for deep assimilation of the material. Meets the requirements of the federal state educational standards of higher education of the latest

Стилі APA, Harvard, Vancouver, ISO та ін.

Meduna, Alexander. Grammars with context conditions and their applications. Wiley-Interscience, 2005.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Lämmel, Ralf. Generative and Transformational Techniques in Software Engineering IV: International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers. Springer Berlin Heidelberg, 2013.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Vasil'eva, Viktoriya, Liliya Duskaeva, Lyubov' Ivanova, et al. Criticism of media speech. INFRA-M Academic Publishing LLC., 2023. http://dx.doi.org/10.12737/1863377.

Повний текст джерела

Анотація:

Criticism of media speech is one of the directions in media linguistics based on the assessment of the quality of speech activity in the mass media. Within the framework of this direction, several subdisciplines have already been formed, each of which has its own approaches to the development of problems of the norm and the assessment of compliance with it. The manual contains two sections. The first one is devoted to the praxiolinguistic criticism of media speech. It shows how the use of the axiological scale of speech behavior in the media "effectively — permissible (unsuccessful — unaccepta

Стилі APA, Harvard, Vancouver, ISO та ін.

Chierchia, Gennaro. Dynamics of meaning: Anaphora, presupposition, and the theory of grammar. University of Chicago Press, 1995.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Bateman, John, and Michael Zock. Natural Language Generation. Edited by Ruslan Mitkov. Oxford University Press, 2012. http://dx.doi.org/10.1093/oxfordhb/9780199276349.013.0015.

Повний текст джерела

Анотація:

Communication via a natural language requires two fundamental skills, producing text and understanding it. This article introduces the field of computational approaches to the former-natural language generation (NLG) showing some of the theoretical and practical problems that linguists, computer scientists, and psychologists have encountered when trying to explain how language works in machines or in their minds. The corresponding task of NLG spans a wide spectrum: ranging from planning some action to executing it. Providing architectures in which all of these decisions can be made to coexist,

Стилі APA, Harvard, Vancouver, ISO та ін.

Martín-Vide, Carlos. Formal Grammars and Languages. Edited by Ruslan Mitkov. Oxford University Press, 2012. http://dx.doi.org/10.1093/oxfordhb/9780199276349.013.0008.

Повний текст джерела

Анотація:

This article introduces the preliminaries of classical formal language theory. It outlines the main classes of grammars as language-generating devices and automata as language-recognizing devices. It offers a number of definitions and examples and presents the basic results. It classifies grammar according to several criteria. The most widespread one is the form of their productions. This article presents a systematic study of the common properties of language families has led to the theory of abstract families of languages. It shows that a context-free grammar generates not only a set of stri

Стилі APA, Harvard, Vancouver, ISO та ін.

Some results on small context-free grammars generating primitive words. Universität Hamburg, Fachbereich Informatik, 1996.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Kuppusamy, Lakshmanan. New Classes of Contextual Grammars for Mildly Context Sensitive Formalisms. Nova Science Publishers, Incorporated, 2013.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Більше джерел

Частини книг з теми "Formal language generation"

Patten, Terry, and Graeme Ritchie. "A Formal Model of Systemic Grammar." In Natural Language Generation. Springer Netherlands, 1987. http://dx.doi.org/10.1007/978-94-009-3645-4_18.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Dediu, Adrian-Horia, and Gabriela Martín. "Trees as Contexts in Formal Language Generation." In Advances in Natural Language Processing. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11816508_73.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Giannakopoulou, Dimitra, Thomas Pressburger, Anastasia Mavridou, and Johann Schumann. "Generation of Formal Requirements from Structured Natural Language." In Requirements Engineering: Foundation for Software Quality. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-44429-7_2.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Tayal, Madhuri A., M. SasiKumar, Arya Mukkirwar, Srushti Kamdi, and Harsh Singh. "Sentence Generator for Hindi Language Using Formal Semantics." In Transfer, Diffusion and Adoption of Next-Generation Digital Technologies. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-50188-3_12.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Zhang, Weihang, and Shaoying Liu. "Supporting Tool for Automatic Specification-Based Test Case Generation." In Structured Object-Oriented Formal Language and Method. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-39277-1_2.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Chang, Longhui, Huaikou Miao, and Gongzheng Lu. "An Implementation Framework for Optimizing Test Case Generation Using Model Checking." In Structured Object-Oriented Formal Language and Method. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-17404-4_1.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Wang, Xiaobing, Ge Li, Chunyi Li, Liang Zhao, and Xinfeng Shu. "Automatic Generation of Specification from Natural Language Based on Temporal Logic." In Structured Object-Oriented Formal Language and Method. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-77474-5_11.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Qin, Xu, Shaoying Liu, and Zhang Tao. "A New Mutant Generation Algorithm Based on Basic Path Coverage for Mutant Reduction." In Structured Object-Oriented Formal Language and Method. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-41418-4_13.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

van Deemter, Kees, and Jan Odijk. "Formal and Computational Models of Context for Natural Language Generation." In Applied Logic Series. Springer Netherlands, 2000. http://dx.doi.org/10.1007/978-94-015-9397-7_1.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Sato, Yuji, and Taku Sugihara. "Automatic Generation of Specification-Based Test Cases by Applying Genetic Algorithms in Reinforcement Learning." In Structured Object-Oriented Formal Language and Method. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-31220-0_5.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Тези доповідей конференцій з теми "Formal language generation"

Ma, Lezhi, Shangqing Liu, Yi Li, Xiaofei Xie, and Lei Bu. "SpecGen: Automated Generation of Formal Program Specifications via Large Language Models." In 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE). IEEE, 2025. https://doi.org/10.1109/icse55347.2025.00129.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Sevenhuijsen, Merlijn, Khashayar Etemadi, and Mattias Nyberg. "VeCoGen: Automating Generation of Formally Verified C Code With Large Language Models." In 2025 IEEE/ACM 13th International Conference on Formal Methods in Software Engineering (FormaliSE). IEEE, 2025. https://doi.org/10.1109/formalise66629.2025.00017.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Zhou, Motian, Chen Wu, and Chao Sun. "Evaluating Automated Geometric Problem Solving with Formal Language Generation on Large Multimodal Models." In 2024 International Conference on Intelligent Education and Intelligent Research (IEIR). IEEE, 2024. https://doi.org/10.1109/ieir62538.2024.10959992.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Wang, Zhaoyang, Jinqi Jiang, Huichi Zhou, et al. "Verifiable Format Control for Large Language Model Generations." In Findings of the Association for Computational Linguistics: NAACL 2025. Association for Computational Linguistics, 2025. https://doi.org/10.18653/v1/2025.findings-naacl.194.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Alimin, Achmad Anggawirya, Dominik P. Goldstein, Lukas Schulze Balhorn, and Artur M. Schweidtmann. "Talking like Piping and Instrumentation Diagrams (P&IDs)." In The 35th European Symposium on Computer Aided Process Engineering. PSE Press, 2025. https://doi.org/10.69997/sct.159477.

Повний текст джерела

Анотація:

We propose a methodology that allows communication with Piping and Instrumentation Diagrams (P&IDs) using natural language. In particular, we represent P&IDs through the DEXPI data model as labeled property graphs and integrate them with Large Language Models (LLMs). The approach consists of three main parts: 1) P&IDs are cast into a graph representation from the DEXPI format using our pyDEXPI Python package. 2) A tool for generating P&ID knowledge graphs from pyDEXPI. 3) Integration of the P&ID knowledge graph to LLMs using graph-based retrieval augmented generation (graph

Стилі APA, Harvard, Vancouver, ISO та ін.

Carreira-Munich, Tobias, Valentín Paz-Marcolla, and Rodrigo Castro. "DEVS Copilot: Towards Generative AI-Assisted Formal Simulation Modelling based on Large Language Models." In 2024 Winter Simulation Conference (WSC). IEEE, 2024. https://doi.org/10.1109/wsc63780.2024.10838994.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Dougherty, Quinn, and Ronak Mehta. "Proving the Coding Interview: A Benchmark for Formally Verified Code Generation." In 2025 IEEE/ACM International Workshop on Large Language Models for Code (LLM4Code). IEEE, 2025. https://doi.org/10.1109/llm4code66737.2025.00014.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Rupprecht, Sophia, Yassine Hounat, Monisha Kumar, Giacomo Lastrucci, and Artur M. Schweidtmann. "Text2Model: Generating dynamic chemical reactor models using large language models (LLMs)." In The 35th European Symposium on Computer Aided Process Engineering. PSE Press, 2025. https://doi.org/10.69997/sct.165009.

Повний текст джерела

Анотація:

As large language models have shown remarkable capabilities in conversing via natural language, the question arises in which way LLMs could potentially assist chemical engineers in research and industry with domain-specific tasks. We generate dynamic chemical reactor models in Modelica code format from textual descriptions as user input. We fine-tune Llama 3.1 8B Instruct on synthetically generated Modelica code for different reactor scenarios. We compare the performance of our fine-tuned model to the baseline Llama 3.1 8B Instruct model as well as GPT4o. We manually assess the models' predict

Стилі APA, Harvard, Vancouver, ISO та ін.

Manome, Kana, Masashi Yoshikawa, Hitomi Yanaka, Pascual Martínez-Gómez, Koji Mineshima, and Daisuke Bekki. "Neural sentence generation from formal semantics." In Proceedings of the 11th International Conference on Natural Language Generation. Association for Computational Linguistics, 2018. http://dx.doi.org/10.18653/v1/w18-6549.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Metere, Roberto, and Luca Arnaboldi. "Automating cryptographic protocol language generation from structured specifications." In FormaliSE '22: International Conference on Formal Methods in Software Engineering. ACM, 2022. http://dx.doi.org/10.1145/3524482.3527654.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Звіти організацій з теми "Formal language generation"

Ma, Yue, and Felix Distel. Learning Formal Definitions for Snomed CT from Text. Technische Universität Dresden, 2013. http://dx.doi.org/10.25368/2022.193.

Повний текст джерела

Анотація:

Snomed CT is a widely used medical ontology which is formally expressed in a fragment of the Description Logic EL++. The underlying logics allow for expressive querying, yet make it costly to maintain and extend the ontology. Existing approaches for ontology generation mostly focus on learning superclass or subclass relations and therefore fail to be used to generate Snomed CT definitions. In this paper, we present an approach for the extraction of Snomed CT definitions from natural language texts, based on the distance relation extraction approach. By benefiting from a relatively large amount

Стилі APA, Harvard, Vancouver, ISO та ін.

Willis, Craig. ECMI Minorities Blog. Minority Language Media and TikTok: Are Broadcasters Showing They Are Still Relevant for Younger Audiences? European Centre for Minority Issues, 2023. http://dx.doi.org/10.53779/qlmm1477.

Повний текст джерела

Анотація:

Whilst younger audiences move away from traditional forms of media consumption, public broadcasters – including those in minority languages – have long been facing declining viewing figures in terms of linear television. At the same time, social media consumption habits are diverging along a generational gap – younger audiences favour TikTok and Instagram over Facebook or Twitter. This blogpost sheds light on one element of this, analysing the attempts of institutional actors – in this case minority language broadcasters – to reach different audience segments by creating content directly throu

Стилі APA, Harvard, Vancouver, ISO та ін.

Mahdi, Juwan, and Yarjanik Kerob. The Language of the Armenian Ethno-Linguistic Subgroup in Kurdistan Region of Iraq from the Last Generation to Today. Institute of Development Studies, 2023. http://dx.doi.org/10.19088/creid.2023.003.

Повний текст джерела

Анотація:

This topic is significant because it considers the language of an ethno-religious group, the Armenian people, in Iraq with non-Arab or Kurdish origins. The Armenian people did not originate from Iraq but from Armenia, one of the smaller countries in the former Soviet Union. Many Armenians were forced to migrate in 1915 to different countries in the Middle East due to ethnic cleansing under the Ottomans. This study explores the different methods by which the Armenian community has maintained its native Armenian language during its history in the Kurdistan Region of Iraq (KRI). To this end, the

Стилі APA, Harvard, Vancouver, ISO та ін.

Isaacs, Robert. A Lifelong Journey in Aboriginal Affairs and Community: Nulungu Reconciliation Lecture 2021. Edited by Melissa Marshall, Gillian Kennedy, Anna Dwyer, Kathryn Thorburn, and Sandra Wooltorton. Nulungu Research Institute, The University of Notre Dame Australia, 2021. http://dx.doi.org/10.32613/ni/2021.6.

Повний текст джерела

Анотація:

In this 2021 Nulungu Reconciliation lecture, Dr Robert Isaacs AM OAM will explore the meaning of reconciliation and the lessons of his personal journey in two worlds. As part of the Stolen Generation, and born at the dawn of the formal Aboriginal Rights Movement, this lecture outlines the changing social attitudes through the eyes of the lived experience and the evolving national policy framework that has sought to manage, then heal, the wounds that divided a nation. Aspirations of self-determination, assimilation and reconciliation are investigated to unpack the intent versus the outcome, and

Стилі APA, Harvard, Vancouver, ISO та ін.

Park, Yena, Geoffrey LaFlair, Yigal Attali, Andrew Runge, and Sarah Goodwin. Interactive Reading - The Duolingo English Test. Duolingo, 2022. http://dx.doi.org/10.46999/rcxb1889.

Повний текст джерела

Анотація:

This paper introduces a new item type on the Duolingo English Test called Interactive Reading and grounds the item within the Duolingo English Test’s theoretical language assessment design framework and its assessment ecosystem. The innovative response format and automated item generation methods contribute to the specification of the construct of L2 reading, thereby strengthening the validity claims of the Duolingo English Test.

Стилі APA, Harvard, Vancouver, ISO та ін.

Bengio, Yoshua, Caroline Lequesne, Hugo Loiseau, et al. Interdisciplinary Dialogues: The Major Risks of Generative AI. Observatoire international sur les impacts sociétaux de l’intelligence artificielle et du numérique, 2024. http://dx.doi.org/10.61737/xsgm9843.

Повний текст джерела

Анотація:

In an exciting series of Interdisciplinary Dialogues on the societal impacts of AI, we invite a guest speaker and panellists from the fields of science and engineering, health and humanities and social sciences to discuss the advances, challenges and opportunities raised by AI. The first dialogue in this series began with Yoshua Bengio, who, concerned about developments in generative AI and the major risks they pose for society, initiated the organization of a conference on the subject. The event took place on August 14, 2023 in Montreal, and was aimed at initiating collective, interdisciplina

Стилі APA, Harvard, Vancouver, ISO та ін.

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!