Log in

Relevant bibliographies by topics / Formalized description

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Formalized description'

Author: Grafiati

Published: 28 May 2022

Last updated: 30 July 2025

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Formalized description.'

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 "Formalized description"

1

SURKOVA, Kateryna, Kostiantyn SURKOV, and Maryna LOMAKINA. "Formalized description of flight dispatchers’ activities with slot messages." Scientific Bulletin of Flight Academy. Section: Pedagogical Sciences 11 (2022): 82–88. http://dx.doi.org/10.33251/2522-1477-2022-11-82-88.

Full text

Abstract:

The article is devoted to the analysis of the flight dispatchers’ complex activities while working with messages on the organization of air traffic flows. Based on expert information, typical operation situations in the airline have been identified, the probabilities of their occurrence have been determined. The decomposition scheme and algorithms of flight dispatchers’ activity while working with the messages concerning slots have been made. The description of flight dispatchers’ activity with messages on the organization of air traffic flows using the decomposition procedure and flowcharts o

APA, Harvard, Vancouver, ISO, and other styles

2

Poddubnyi, V. O., and O. V. Severinov. "Vulnerability management using a formalized description." Radiotekhnika, no. 203 (December 23, 2020): 121–25. http://dx.doi.org/10.30837/rt.2020.4.203.11.

Full text

Abstract:

The article considers the main stages of vulnerability management and the problems arising in risk assessment and decision making during vulnerability management in the information and telecommunications system. It is assumed that modern techniques are not sufficient for effective vulnerability management. There is a need for creating a risk assessment system to improve decision-making procedures. The comparison of the formalized and informal description of the information and telecommunication system is described. The conclusion from the comparison results is that the formalized description h

APA, Harvard, Vancouver, ISO, and other styles

3

Andreev, Dmitry, Sergey Lyokhin, Sergey Verteshev, and Lilia Motaylenko. "MODELS AND ALGORITHMS FOR CONSTRUCTING A FORMALIZED DESCRIPTION OF PRODUCTION TECHNOLOGIES." ENVIRONMENT. TECHNOLOGIES. RESOURCES. Proceedings of the International Scientific and Practical Conference 2 (June 20, 2019): 21. http://dx.doi.org/10.17770/etr2019vol2.4063.

Full text

Abstract:

The problem of technological knowledge formalization is being considered. Discussed features of systems in the scope of ontological engineering of processes, applied to solving the problems of the structural representation of technologies associated with the organization of their analysis. Proposed a model of the concept of technological action, which identifies technological actions as holistic conceptual formations. Constructed the model of formalized description of technologies, which provides unambiguous transition from verbal descriptions of technologies to their ontological representatio

APA, Harvard, Vancouver, ISO, and other styles

4

Andreev, Dmitry, Alexander Dementiev, Sergey Lyokhin, Sergey Verteshev, and Olga Timofeeva. "INDICATORS OF FORMALIZED DESCRIPTION QUALITY AND ANALYSIS OF PRODUCTION TECHNOLOGIES." ENVIRONMENT. TECHNOLOGIES. RESOURCES. Proceedings of the International Scientific and Practical Conference 2 (June 17, 2021): 21–27. http://dx.doi.org/10.17770/etr2021vol2.6622.

Full text

Abstract:

This paper discusses conceptual basis for assessment and analysis of model quality relating to formalized description of technologies. The authors give indicators used to assess formalized and textual descriptions of technologies. They raise some questions concerning the analysis of technologies that enable to make a list of indicators. The paper examines decomposition structures of specific technologies and provides the calculations of introduced coefficients.

APA, Harvard, Vancouver, ISO, and other styles

5

Gvozdov, R. Y., and R. V. Oliynykov. "Method and technique of formal design of complex information security system in information and telecommunication systems." Radiotekhnika, no. 203 (December 23, 2020): 91–96. http://dx.doi.org/10.30837/rt.2020.4.203.08.

Full text

Abstract:

The aim of the article is to develop a methodology for the formal design of the complex information security system in information and telecommunication systems. At the moment, there are no methods for the formal design of complex information security system in information and telecommunication systems, so the development of such a methodology is an urgent task. The article discusses the methods of formalized modeling of information security policy and methods of formalized description of the information and telecommunications system and information processing processes. The necessity of forma

APA, Harvard, Vancouver, ISO, and other styles

6

NECHAEV, V. V. "METHOD OF REPLACEMENT OF SPARE PARTS FOR MAINTAINING AND ENSURING OPERATING STATE OF MOTOR TRANSPORT." World of transport and technological machines 72, no. 1 (2021): 3–12. http://dx.doi.org/10.33979/2073-7432-2021-72-1-3-12.

Full text

Abstract:

A method based on the sequential implementation of a formalized description of the process of consuming spare parts, a formalized description of the process of determining the state of the el-ements of a market system, a formalized description of the process of determining a rational route for transporting the necessary material and technical means is presented.

APA, Harvard, Vancouver, ISO, and other styles

7

Nesterovich, S. A., А. N. Brezhneva, and S. A. Zyryanova. "Formalized Information Description for a Medical Expert System." Proceedings of the Southwest State University. Series: IT Management, Computer Science, Computer Engineering. Medical Equipment Engineering 13, no. 3 (2024): 21–30. http://dx.doi.org/10.21869/2223-1536-2023-13-3-21-30.

Full text

Abstract:

The purpose of research. The information description of the patient's health status is based on quantitative parameters and qualitative signs. It is proposed to formalize quantitative and qualitative information about the patient's state of health in order to use this information to build a medical expert system. The expert system built on the basis of this information will be able to make a more accurate diagnosis, which will reduce the time for diagnosis and ultimately increase the effectiveness of treatment.Methods. On the basis of a formalized information description of the state of health

APA, Harvard, Vancouver, ISO, and other styles

8

Sborshchikov, Sergey, and Dmitriy Leybman. "FORMALIZED DESCRIPTION OF STRATEGIC CONTROL SYSTEM FUNCTIONING." Vestnik MGSU, no. 10 (October 2016): 151–59. http://dx.doi.org/10.22227/1997-0935.2016.10.151-159.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Stacy, Zachary A., Abigail M. Yancey, Allison E. High, Amie D. Brooks, and John M. Burke. "Description of a formalized residency preparation program." Currents in Pharmacy Teaching and Learning 5, no. 2 (2013): 140–45. http://dx.doi.org/10.1016/j.cptl.2012.09.013.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

TABANAKOVA, Vera D., and Julia G. Kokorina. "THE UNIVERSAL STRUCTURE OF A DICTIONARY ARTICLE AS A STEP TOWARDS FORMALIZING THE LEXICOGRAPHICAL DESCRIPTION OF ARCHEOLOGICAL TERMINOLOGY." Tyumen State University Herald. Humanities Research. Humanitates 6, no. 3 (2020): 22–37. http://dx.doi.org/10.21684/2411-197x-2020-6-3-22-37.

Full text

Abstract:

This article studies the formalized lexicographic description of the archaeological terminology and aims to develop its basis — the universal dictionary entry structure. The authors prove the need for the unified description of an archaeological term in dictionaries and terminological databases. The comparative analysis of the dictionary entry structures of contemporary archaeological dictionaries and term databases has shown that the unified principles for the formalized description of an archaeological object have not yet been developed. Thus, the archaeological dictionaries, as well as the

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Formalized description"

1

Неня, Віктор Григорович, Виктор Григорьевич Неня, Viktor Hryhorovych Nenia, Вікторія Петрівна Захарченко, Виктория Петровна Захарченко та Viktoriia Petrivna Zakharchenko. "Формалізований опис процесу проектування насосів". Thesis, Сумський державний університет, 2014. http://essuir.sumdu.edu.ua/handle/123456789/39245.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Formalized description"

1

Formalized contrastive lexical description: A framework for bilingual dictionaries. LINCOM Europa, 2014.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Gai nian bian ti ji qi xing shi hua miao xie: Alloconcepts and their formalized description. Zhongguo she hui ke xue chu ban she, 2011.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Ditters, Everhard. Issues in Arabic Computational Linguistics. Edited by Jonathan Owens. Oxford University Press, 2013. http://dx.doi.org/10.1093/oxfordhb/9780199764136.013.0009.

Full text

Abstract:

This article focuses on the current state of affairs in the field of Arabic computational linguistics. It begins by briefly monitoring relevant trends in phonetics and phonology, morphology, syntax, lexicology, semantics, stylistics, and pragmatics. Then, the chapter describes changes or special accents within formal Arabic syntax. After some evaluative remarks about the approach opted for, it continues with a linguistic description of literary Arabic for analysis purposes as well as an introduction to a formal description, pointing to some early results. The article hints at further perspecti

APA, Harvard, Vancouver, ISO, and other styles

4

Ditters, Everhard. Issues in Arabic Computational Linguistics. Edited by Jonathan Owens. Oxford University Press, 2013. http://dx.doi.org/10.1093/oxfordhb/9780199764136.013.010_update_001.

Full text

Abstract:

This article focuses on the current state of affairs in the field of Arabic computational linguistics. It begins by briefly monitoring relevant trends in phonetics and phonology, morphology, syntax, lexicology, semantics, stylistics, and pragmatics. Then, the chapter describes changes or special accents within formal Arabic syntax. After some evaluative remarks about the approach opted for, it continues with a linguistic description of literary Arabic for analysis purposes as well as an introduction to a formal description, pointing to some early results. The article hints at further perspecti

APA, Harvard, Vancouver, ISO, and other styles

5

Deans, N. D., and A. J. Miller. Study of the Feasibility of Using a Formalised Language for the Description of Reliability Problems. European Communities / Union (EUR-OP/OOPEC/OPOCE), 1988.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

O'Donoghue, Cathal. Practical Microsimulation Modelling. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780198852872.001.0001.

Full text

Abstract:

The purpose of this book is to bring together for the first time a description, with examples, of the main methods used in microsimulation modelling, used in the field of income-distribution analysis. The book provides a practical complement to the Handbook of Microsimulation Modelling, published in 2014. It is structured to develop and use the different types of models used in the field, with a focus on household-targeted policy. The book aims to fill a gap in the literature in providing a greater degree of codified knowledge through a practical guide to developing and using microsimulation m

APA, Harvard, Vancouver, ISO, and other styles

7

Nolan, Cynthia M. Intelligence Oversight in the USA. Oxford University Press, 2017. http://dx.doi.org/10.1093/acrefore/9780190846626.013.223.

Full text

Abstract:

Oversight of intelligence agencies maintains public control and knowledge of their activities through an assurance of accountability and responsible use of power. It reflects the essential part of democratic checks and balances as applied to intelligence and security services in government. The US intelligence community and its oversight offices are the most extensive, oldest, and most studied in the world. Here, oversight of intelligence had developed as a series of checks and balances against the often unchecked power that had revealed itself in a scandal of some sort. Meanwhile, early descr

APA, Harvard, Vancouver, ISO, and other styles

8

Devine, A. M., and Laurence D. Stephens. Pragmatics for Latin. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780190939472.001.0001.

Full text

Abstract:

Latin is often described as a free word order language, but in general each word order encodes a particular information structure: in that sense, each word order has a different meaning. This book provides a descriptive analysis of Latin information structure based on detailed philological evidence and elaborates a syntax-pragmatics interface that formalizes the informational content of the various different word orders. The book covers a wide ranges of issues including broad scope focus, narrow scope focus, double focus, topicalization, tails, focus alternates, association with focus, scrambl

APA, Harvard, Vancouver, ISO, and other styles

9

Portner, Paul. Mood. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780199547524.001.0001.

Full text

Abstract:

The category of mood is widely used in the description of languages and the formal analysis of their grammatical properties. It typically refers to features of a sentence’s form (or a class of sentences which share such features), either individual morphemes or grammatical patterns, which reflect how the sentence contributes to the modal meaning of a larger phrase or which indicates the type of fundamental pragmatic function it has in conversation. The first subtype, verbal mood, includes the categories of indicative and subjunctive subordinate clauses; the second sentence mood, encompasses de

APA, Harvard, Vancouver, ISO, and other styles

10

Kennedy, Meegan. Writing Embodiment in Victorian Microscopy. Oxford University PressOxford, 2024. https://doi.org/10.1093/9780198940623.001.0001.

Full text

Abstract:

Abstract Victorian microscopists saw observation as deeply embodied, the images emerging through a material entanglement of bodies (of the observer, instrument, apparatus, and object) in a dynamic, unstable system. These ideas echo mid-century work by physiological psychologists, who saw mind (perception, thinking, feeling) as embodied, distributed, and dynamic processes, enacted and affected by automatic or unconscious reflex action, attention, mental training, and fatigue. Microscopists circulated metaphorical and narrative tropes of embodiment through the varied forms of nineteenth-century

APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Formalized description"

1

Jharko, Elena. "A Formalized Description Approach to Continuos Time Systems." In Computer Aided Systems Theory - EUROCAST’99. Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/10720123_13.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Holub, Štěpán, Martin Raška, and Štěpán Starosta. "Binary Codes that Do Not Preserve Primitivity." In Automated Reasoning. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10769-6_23.

Full text

Abstract:

AbstractA code X is not primitivity preserving if there is a primitive list $$\mathbf {w}\in \texttt {lists}\, X$$ w ∈ lists X whose concatenation is imprimitive. We formalize a full characterization of such codes in the binary case in the proof assistant Isabelle/HOL. Part of the formalization, interesting on its own, is a description of $$\{x,y\}$$ { x , y } -interpretations of the square xx if $$\left| y \right| \le \left| x \right| $$ y ≤ x . We also provide a formalized parametric solution of the related equation $$x^jy^k = z^\ell $$ x j y k = z ℓ .

APA, Harvard, Vancouver, ISO, and other styles

3

Qiao, Huan, Juanqiong Gou, and Hongyu Ma. "Research on Multi-view Formalized Description of Traffic Social Scenarios for CA Model." In LISS 2014. Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-43871-8_172.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Yamada, Natsuki. "手塚修とグルメ漫画をつなぐものー「あしたのジョー」の減 / Tezuka Osamu’s Gourmet Manga." In Studi e saggi. Firenze University Press, 2021. http://dx.doi.org/10.36253/978-88-5518-506-6.06.

Full text

Abstract:

I talk on change in the nature of the character in the cartoon through description of a food and the genre called a gourmet cartoon again. Specifically, the process until the character will be the existence which ‘mediates between a story with a reader’ is analyzed so that it may be seen in the gourmet cartoon. First I pay attention to Tezuka Osamu early stage work, Takamori Asao original work and Chiba Tetsuya taking pictures "Joe of tomorrow". And it is considered about the thing description about life and death there foreground propizes through a food. Further, it is confirmed that the effo

APA, Harvard, Vancouver, ISO, and other styles

5

Yan, Sheng, Yaoshun Fu, Dakai Guo, and Wensheng Yu. "A Formalization of Topological Spaces in Coq." In Proceeding of 2021 International Conference on Wireless Communications, Networking and Applications. Springer Nature Singapore, 2022. http://dx.doi.org/10.1007/978-981-19-2456-9_21.

Full text

Abstract:

AbstractIt is a wish for Wu Wen-tsun to implement the mechanical proving of theorems in topology. Topological spaces constitute a fundamental concept of general topology, which is significant in understanding the essential content of general topology. Based on the machine proof system of axiomatic set theory, we presented a computer formalization of topological spaces in Coq. Basic examples of topological spaces are formalized, including indiscrete topological spaces and discrete topological spaces. Furthermore, the formal description of some well-known equivalent definitions of topological sp

APA, Harvard, Vancouver, ISO, and other styles

6

Poli, Roberto. "Descriptive, Formal and Formalized Ontologies." In Contributions to Phenomenology. Springer Netherlands, 2003. http://dx.doi.org/10.1007/978-94-017-0207-2_12.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Maqbool, Osama, and Jürgen Roßmann. "Scenario-Driven Data Generation with Experimentable Digital Twins." In Annals of Scientific Society for Assembly, Handling and Industrial Robotics 2022. Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-10071-0_11.

Full text

Abstract:

AbstractSynthetic data is an indispensable supplement to the difficult-to-acquire real data in order to meet the substantial demand by machine learning based systems. Data playing the key role in machine learning models, its objective and maintainable quality metrics are vital for quality assurance of the whole system. This paper introduces a systematic and domain-neutral methodology based on formalized scenario variation and experimental digital twins for the generation of synthetic data. The methodology uses human-readable scenarios and semantically meaningful parameter variations to describ

APA, Harvard, Vancouver, ISO, and other styles

8

Zheng, Yuan, Olli Seppänen, Sebastian Seiß, and Jürgen Melzner. "Testing ChatGPT-Aided SPARQL Generation for Semantic Construction Information Retrieval." In CONVR 2023 - Proceedings of the 23rd International Conference on Construction Applications of Virtual Reality. Firenze University Press, 2023. http://dx.doi.org/10.36253/979-12-215-0289-3.75.

Full text

Abstract:

Recently there has been a strong interest in using semantic technologies to improve information management in the construction domain. Ontologies provide a formalized domain knowledge representation that provides a structured information model to facilitate information management issues such as formalization and integration of construction workflow information and data and enables further applications such as information retrieval and reasoning. SPARQL Protocol And RDF Query Language (SPARQL) queries are the main approaches to conduct the information retrieval from the Resource Description Fra

APA, Harvard, Vancouver, ISO, and other styles

9

Zheng, Yuan, Olli Seppänen, Sebastian Seiß, and Jürgen Melzner. "Testing ChatGPT-Aided SPARQL Generation for Semantic Construction Information Retrieval." In CONVR 2023 - Proceedings of the 23rd International Conference on Construction Applications of Virtual Reality. Firenze University Press, 2023. http://dx.doi.org/10.36253/10.36253/979-12-215-0289-3.75.

Full text

Abstract:

Recently there has been a strong interest in using semantic technologies to improve information management in the construction domain. Ontologies provide a formalized domain knowledge representation that provides a structured information model to facilitate information management issues such as formalization and integration of construction workflow information and data and enables further applications such as information retrieval and reasoning. SPARQL Protocol And RDF Query Language (SPARQL) queries are the main approaches to conduct the information retrieval from the Resource Description Fra

APA, Harvard, Vancouver, ISO, and other styles

10

Indrzejczak, Andrzej, and Nils Kürbis. "A Cut-Free, Sound and Complete Russellian Theory of Definite Descriptions." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-43513-3_7.

Full text

Abstract:

AbstractWe present a sequent calculus for first-order logic with lambda terms and definite descriptions. The theory formalised by this calculus is essentially Russellian, but avoids some of its well known drawbacks and treats definite description as genuine terms. A constructive proof of the cut elimination theorem and a Henkin-style proof of completeness are the main results of this contribution.

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Formalized description"

1

Bliek, Dan. "Architecture-Driven Assurance for Safety-Critical Avionic Systems." In Vertical Flight Society 74th Annual Forum & Technology Display. The Vertical Flight Society, 2018. http://dx.doi.org/10.4050/f-0074-2018-12890.

Full text

Abstract:

As the growth in complexity of avionic systems continues, development costs and schedules have correspondingly increased dramatically. Systems engineering tools and methods have not sufficiently adapted to the demands of today’s complex systems and as a result avionic systems typically field late, over budget, and often with reduced capabilities. The status quo for systems and software engineering tools, methods and processes is no longer affordable. Architecture-Driven Assurance is model-based systems engineering (MBSE) development approach for constructing reliable and secure systems using e

APA, Harvard, Vancouver, ISO, and other styles

2

Stove, A. G. "A compact, formalized description of radar architectures." In 2008 International Conference on Radar (Radar 2008). IEEE, 2008. http://dx.doi.org/10.1109/radar.2008.4654004.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Yu, Kashirin I., and Filatov I. Yu. "Formalized Description Of Intuitive Perception Of Spatial Situations." In 2019 8th Mediterranean Conference on Embedded Computing (MECO). IEEE, 2019. http://dx.doi.org/10.1109/meco.2019.8760102.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Song, Yanwei, and Guangzhou Zeng. "Formalized Description of Workflow Exception Handlings Based on Automaton." In 2011 Third Pacific-Asia Conference on Circuits, Communications and System (PACCS). IEEE, 2011. http://dx.doi.org/10.1109/paccs.2011.5990244.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Bin, Cai. "Formalized Description and Analysis of FTP on Petri Net." In 2015 International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP). IEEE, 2015. http://dx.doi.org/10.1109/iih-msp.2015.118.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Wang, Lei, Xue-shan Luo, and Ai-min Luo. "Formalized Description of Service View within C4ISR Architecture Framework." In 2010 International Conference on Management and Service Science (MASS 2010). IEEE, 2010. http://dx.doi.org/10.1109/icmss.2010.5577545.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Kim, Sik, Kwang-Hyun Cho, and Byeong Min. "An efficient GPIO block design methodology using formalized SFR description." In 2011 International SoC Design Conference (ISOCC 2011). IEEE, 2011. http://dx.doi.org/10.1109/isocc.2011.6138652.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

He, Jianhua, Yaolin Liu, and Xinming Tang. "Formalized description of indeterminate geographic object based on fuzzy-degree." In MIPPR 2005 Geospatial Information, Data Mining, and Applications, edited by Jianya Gong, Qing Zhu, Yaolin Liu, and Shuliang Wang. SPIE, 2005. http://dx.doi.org/10.1117/12.651404.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Pashchenko, Dmitry, Mikhail Sinev, Dmitry Trokoz, et al. "Formalized Description of Message Encryption in Messaging Apps Using Automata Theory." In 2019 XXI International Conference Complex Systems: Control and Modeling Problems (CSCMP). IEEE, 2019. http://dx.doi.org/10.1109/cscmp45713.2019.8976517.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Sun, Yizhong, Xiaolei Xue, and Xiaoqin Zhao. "Formalized description and construction of semantic dictionary of graphic-text spatial relationship." In Sixth International Conference on Advanced Optical Materials and Devices, edited by Lin Liu, Xia Li, Kai Liu, Xinchang Zhang, and Aijun Chen. SPIE, 2008. http://dx.doi.org/10.1117/12.812532.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Formalized description"

1

Baader, Franz, Pavlos Marantidis, and Alexander Okhotin. Approximate Unification in the Description Logic FL₀. Technische Universität Dresden, 2016. http://dx.doi.org/10.25368/2022.228.

Full text

Abstract:

Unification in description logics (DLs) has been introduced as a novel inference service that can be used to detect redundancies in ontologies, by finding different concepts that may potentially stand for the same intuitive notion. It was first investigated in detail for the DL FL₀, where unification can be reduced to solving certain language equations. In order to increase the recall of this method for finding redundancies, we introduce and investigate the notion of approximate unification, which basically finds pairs of concepts that “almost” unify. The meaning of “almost” is formalized usin

APA, Harvard, Vancouver, ISO, and other styles

2

Maksymov, Oleksandr S., Julia O. Maksymova, and Oleksandr O. Maksymov. Integrated Control of Students Competencies in Educational Programs. Innovative Modeling Using an Ontology Approach. Publishing House - Vilnius Business College, 2023. http://dx.doi.org/10.57005/ab.2023.1.4.

Full text

Abstract:

For comprehensive testing of students’ knowledge, it is necessary to have two areas of consideration - this is an ontological model of the subject area and formulated, formalized, and described concept of knowledge. A formalized description of concepts from the subject area of knowledge is quite specific and time-consuming. At the same time, already at this stage in the development of research and the use of relevant ontology results, they make a significant contribution to the problems of managing and controlling the knowledge of students of higher educational institutions. This article is an

APA, Harvard, Vancouver, ISO, and other styles

3

Borgwardt, Stefan, and Rafael Peñaloza. Undecidability of Fuzzy Description Logics. Technische Universität Dresden, 2011. http://dx.doi.org/10.25368/2022.184.

Full text

Abstract:

Fuzzy description logics (DLs) have been investigated for over two decades, due to their capacity to formalize and reason with imprecise concepts. Very recently, it has been shown that for several fuzzy DLs, reasoning becomes undecidable. Although the proofs of these results differ in the details of each specific logic considered, they are all based on the same basic idea. In this report, we formalize this idea and provide sufficient conditions for proving undecidability of a fuzzy DL. We demonstrate the effectiveness of our approach by strengthening all previously-known undecidability results

APA, Harvard, Vancouver, ISO, and other styles

4

Huertas Molina, William René, Mónica Yiceth Martín Bohórquez, Michelle Thadiana Herrera Alvarado, and Ana Milena Gamba Vallejo. Caracterización del sector comercio en los municipios de Almeida, Guateque y Garagoa. Universidad Nacional Abierta y a Distancia, 2022. http://dx.doi.org/10.22490/ecacen.5790.

Full text

Abstract:

Con el desarrollo del proyecto de investigación, se busca tener una perspectiva del panorama actual de formalidad en los establecimientos de comercio en la región del Valle de Tenza, en el departamento de Boyacá. Para lograr este objetivo, se realiza una Investigación descriptiva, no experimental, mixta, a través de la caracterización de una muestra de establecimientos de comercio en 3 municipios representativos de la región, como son Almeida, Guateque y Garagoa. Una vez definidos en cada municipio la población de establecimientos de comercio y los tipos de negocio, se realiza una muestra cons

APA, Harvard, Vancouver, ISO, and other styles

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!