Relevant bibliographies by topics / Logical solutions

Contents

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

Academic literature on the topic 'Logical solutions'

Author: Grafiati
Published: 30 May 2022
Last updated: 31 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 'Logical solutions.'

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 "Logical solutions"

1

Pavlova, Nataliya, and Michaela Toncheva. "Types of Solutions in the Didactic Game “Logical Monsters”." Mathematics and Informatics LXV, no. 5 (2022): 484–93. http://dx.doi.org/10.53656/math2022-5-3-typ.

Full text
Abstract:
The article presents the results of the approbation of the game “Logic Monsters”. The game is aimed at developing logic thinking and is applicable within various educational subjects. Several different implementations of the game’s basic idea have been proposed. Modifications encompass technological performance and cognitive goals directed at both directions of the task. The study covered a core group of students from four countries, aged 14 – 18. A survey, discussion and observation were conducted with them. Additionally, results from a group of teachers and a group of university students wit
APA, Harvard, Vancouver, ISO, and other styles
2

Kersting, K., L. De Raedt, and T. Raiko. "Logical Hidden Markov Models." Journal of Artificial Intelligence Research 25 (April 19, 2006): 425–56. http://dx.doi.org/10.1613/jair.1675.

Full text
Abstract:
Logical hidden Markov models (LOHMMs) upgrade traditional hidden Markov models to deal with sequences of structured symbols in the form of logical atoms, rather than flat characters. This note formally introduces LOHMMs and presents solutions to the three central inference problems for LOHMMs: evaluation, most likely hidden state sequence and parameter estimation. The resulting representation and algorithms are experimentally evaluated on problems from the domain of bioinformatics.
APA, Harvard, Vancouver, ISO, and other styles
3

Zahid, Saleem, Kifayat Ullah, Abdul Waheed, Sadia Basar, Mahdi Zareei, and Rajesh Roshan Biswal. "Fault Tolerant DHT-Based Routing in MANET." Sensors 22, no. 11 (2022): 4280. http://dx.doi.org/10.3390/s22114280.

Full text
Abstract:
In Distributed Hash Table (DHT)-based Mobile Ad Hoc Networks (MANETs), a logical structured network (i.e., follows a tree, ring, chord, 3D, etc., structure) is built over the ad hoc physical topology in a distributed manner. The logical structures guide routing processes and eliminate flooding at the control and the data plans, thus making the system scalable. However, limited radio range, mobility, and lack of infrastructure introduce frequent and unpredictable changes to network topology, i.e., connectivity/dis-connectivity, node/link failure, network partition, and frequent merging. Moreove
APA, Harvard, Vancouver, ISO, and other styles
4

d’Ors, Angel. "Tu scis an de mentiente sit falsum Sortem esse illum: On the Syncategorem ‘an’." Vivarium 53, no. 2-4 (2015): 269–93. http://dx.doi.org/10.1163/15685349-12341300.

Full text
Abstract:
This article presents some results of the study of seventeen medieval treatises containing a logical analysis of the syncategorem ‘an’. On the one hand, a new classification is proposed of the literary genres of the Logica Modernorum, based on the four elements involved in the logical analysis of syncategorematic terms: the meaning of the syncategorem, logical rules, related sophisms, and proposed solutions. On the other, three texts are studied in detail, showing the origins and development of the logical analysis of the syncategorem ‘an’ between the 12th and the 13th centuries. Finally, a co
APA, Harvard, Vancouver, ISO, and other styles
5

Elyasarikh, Annisa Alvi, and Masriyah Masriyah. "Bagaimana Literasi Matematis Siswa pada Penyelesaian Soal PISA-Like Berdasarkan Tingkat Kecerdasan Logis Matematis?" MATHEdunesa 13, no. 2 (2024): 451–67. http://dx.doi.org/10.26740/mathedunesa.v13n2.p451-467.

Full text
Abstract:
Mathematical literacy refers to an individual's capacity to think mathematically to formulate, employ, and interpret solutions to real world problems that can be seen through PISA result. In solving PISA problems, one of intelligence that needed is mathematical logical intelligence. Therefore, this study intends to describe the mathematical literacy of students with high or low mathematical logical intelligence in solving PISA-Like problems. This study took a descriptive qualitative approach. The subjects of this research were 2 students with high or low logical intelligence. Data collection w
APA, Harvard, Vancouver, ISO, and other styles
6

Li, Daomin, and Adi Mao. "Russell Paradox Analysis: Descriptions and Logical Cases." Communications in Humanities Research 5, no. 1 (2023): 423–28. http://dx.doi.org/10.54254/2753-7064/5/20230344.

Full text
Abstract:
The Russell Paradox is a classic problem in mathematical logic that challenges the underlying basics of set theory and the concept of infinity. This study provides a comprehensive analysis of the paradox, including its history, development, and recent research. The paradox arises from the set whose members are sets not containing themselves, which results in being contradictory. Bertrand Russell and Ernst Zermelo proposed early solutions, while the axiomatic set theory provided a rigorous foundation for mathematics. Recent studies suggest alternative solutions, including distinguishing between
APA, Harvard, Vancouver, ISO, and other styles
7

qizi, Mamasaidova Muhabbat Abdusalom, and Xakimova Oqilaxon Odiljon qizi. "DEVELOPING INDEPENDENT THINKING IN PRIMARY SCHOOL STUDENTS THROUGH LOGICAL PROBLEMS." International Journal of Advance Scientific Research 5, no. 1 (2025): 31–36. https://doi.org/10.37547/ijasr-05-01-06.

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

Qiao, Yupeng, Hongsheng Qi, and Daizhan Cheng. "Partition-Based Solutions of Static Logical Networks With Applications." IEEE Transactions on Neural Networks and Learning Systems 29, no. 4 (2018): 1252–62. http://dx.doi.org/10.1109/tnnls.2017.2669972.

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

Dietrich, Michael, and Phillip Honenberger. "Duhem’s problem revisited: logical versus epistemic formulations and solutions." Synthese 197, no. 1 (2018): 337–54. http://dx.doi.org/10.1007/s11229-018-1845-1.

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

Horváth, Fruzsina, and László Pokorádi. "Graph-Demonstration of The Solutions of Engineering Tasks." Műszaki Tudományos Közlemények 9, no. 1 (2018): 103–6. http://dx.doi.org/10.33894/mtk-2018.09.21.

Full text
Abstract:
Abstract During technical education it is a very difficult yet essential task to develop the good logical engineering thinking of students or pupils. One main part of this thinking is the determination of the optimal set of required input parameters for the calculation task mentioned above. The LogTreeMM (Logical Tree of Mathematical Modelling) method can help to solve this task. The aim of this paper is to show modification of the LogTreeMM method to determine the required parameters of a mathematical model by a simple case study.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Logical solutions"

1

Kazakov, Mikhaïl. "A Methodology of semi-automated software integration : an approach based on logical inference. Application to numerical simulation solutions of Open CASCADE." INSA de Rouen, 2004. http://www.theses.fr/2004ISAM0001.

Full text
Abstract:
Application integration is a process of bringing of data or functionality from one program together with that from another application programs that were not initially created to work together. Recently, the integration of numerical simulation solvers gained the importance. Integration within this domain has high complexity due to the presence of non-standard application interfaces that exchange complex, diverse and often ambiguous data. Nowadays, the integration is done mostly manually. Difficulties of the manual process force to increase the level of automation of the integration process. Th
APA, Harvard, Vancouver, ISO, and other styles
2

Yehorova, Victoria, та Вікторія Олександрівна Єгорова. "The world's main manufacturers of programmable logic сontrollers. Overview". Thesis, National Aviation University, 2021. https://er.nau.edu.ua/handle/NAU/50749.

Full text
Abstract:
1. Top Five Vendors in the PLC Market [Electronic resource]. – Mode of access: https://www.spendedge.com/blogs/top-five-vendors-plc-market. 2. Technavio Announces Top Five Vendors in the Global Micro PLC Market from 2016 to 2020 [Electronic resource]. – Mode of access: https://www.businesswire.com/news/home/20160502005493/en/Technavio-Announces-Top-Five-Vendors-in-the-Global-Micro-PLC-Market-from-2016-to-2020. 3. PLC – Programmable Logic Controllers [Electronic resource]. – Mode of access: https://www.deltaww.com/en-US/products/PLCProgrammableLogicControllers/ALL/. 4. FOTEK CONTROLS CO., L
APA, Harvard, Vancouver, ISO, and other styles
3

Comon-Lundh, Hubert. "Unification et disunification : théorie et applications." Grenoble INPG, 1988. http://tel.archives-ouvertes.fr/tel-00331263.

Full text
Abstract:
Les règles de transformation des problèmes equationnels sont donnes permettant, en particulier, de décider de l'existence d'une solution fermée. Comme première application, il est montre comment calculer une grammaire pour le langage des termes fermes irréductibles par un système de réécriture. D'autres applications et extensions sont ensuite envisagées. En particulier, en programmation logique et dans les spécifications algébriques
APA, Harvard, Vancouver, ISO, and other styles
4

Sempolinski, Peter. "Automatic Solutions of Logic Puzzles." Thesis, Boston College, 2009. http://hdl.handle.net/2345/690.

Full text
Abstract:
Thesis advisor: Howard Straubing<br>The use of computer programs to automatically solve logic puzzles is examined in this work. A typical example of this type of logic puzzle is one in which there are five people, with five different occupations and five different color houses. The task is to use various clues to determine which occupation and which color belongs to each person. The clues to this type of puzzle often are statements such as, ''John is not the barber,'' or ''Joe lives in the blue house.'' These puzzles range widely in complexity with varying numbers of objects to identify and va
APA, Harvard, Vancouver, ISO, and other styles
5

CAUSAPRUNO, GIOVANNI. "Architectural Solutions for NanoMagnet Logic." Doctoral thesis, Politecnico di Torino, 2016. http://hdl.handle.net/11583/2643285.

Full text
Abstract:
The successful era of CMOS technology is coming to an end. The limit on minimum fabrication dimensions of transistors and the increasing leakage power hinder the technological scaling that has characterized the last decades. In several different ways, this problem has been addressed changing the architectures implemented in CMOS, adopting parallel processors and thus increasing the throughput at the same operating frequency. However, architectural alternatives cannot be the definitive answer to a continuous increase in performance dictated by Moore’s law. This problem must be addressed from a
APA, Harvard, Vancouver, ISO, and other styles
6

Sandberg, Robert. "Corporate consulting for customer solutions : bridging diverging business logics." Doctoral thesis, Stockholm : Economic Research Institute, Stockholm School of Economics [Ekonomiska forskningsinstitutet vid Handelshögsk.] (EFI), 2003. http://www.hhs.se/efi/summary/617.htm.

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

Nourtier-Mazauric, Elise. "Modélisation géochimique et numérique des interactions entre des solutions solides et une solution aqueuse. Extension du logiciel de réaction-transport Archimède et application à la diagenèse des réservoirs." Saint-Etienne, EMSE, 2003. http://tel.archives-ouvertes.fr/tel-00088991.

Full text
Abstract:
Cette thèse présente un modèle thermodynamique et cinétique des interactions entre un fluide et des solutions solides idéales à plusieurs pôles. La réaction entre une solution solide et la solution aqueuse résulte de la compétition entre la dissolution stoechiométrique de la solution solide initiale et la coprécipitation de la solution solide la moins soluble dans le fluide à l'instant considéré. Ce modèle a été intégré au logiciel de transport réactif en milieu poreux archimède, puis appliqué à divers exemples. Dans le cas de solutions solides binaires, une méthode graphique a permis de déter
APA, Harvard, Vancouver, ISO, and other styles
8

Tournier, Évelyne. "Solutions formelles d'équations différentielles : le logiciel de calcul formel DESIR : étude théorique et réalisation." Grenoble 1, 1987. http://tel.archives-ouvertes.fr/tel-00323706.

Full text
Abstract:
Le sujet de la thèse se rattache au calcul formel. La première partie est consacrée à l'étude et à la réalisation d'un logiciel de résolution d'équations différentielles. Ce logiciel DESIR est écrit pour le système de calcul formel REDUCE. Il permet d'obtenir les solutions formelles d'équations différentielles, d'un ordre quelconque, au voisinage de points réguliers et irréguliers. La deuxième partie est une étude approfondie des équations aux différences. Cette étude est orientée vers la recherche d'algorithme permettant de construire une base de solutions asymptotiques d'une équation aux dif
APA, Harvard, Vancouver, ISO, and other styles
9

Nourtier-Mazauric, Elise. "Modélisation géochimique et numérique des interactions entre des solutions solides et une solution aqueuse. Extension du logiciel de réaction-transport Archimède et application à la diagénèse minérale des réservoirs." Phd thesis, Ecole Nationale Supérieure des Mines de Saint-Etienne, 2003. http://tel.archives-ouvertes.fr/tel-00088991.

Full text
Abstract:
Cette thèse présente un modèle thermodynamique et cinétique des interactions entre un fluide et des solutions solides idéales à plusieurs pôles. La réaction entre une solution solide et la solution aqueuse résulte de la compétition entre la dissolution stoechiométrique de la solution solide initiale et la coprécipitation de la solution solide la moins soluble dans le fluide à l'instant considéré.<br />Ce modèle a été intégré au logiciel de transport réactif en milieu poreux ARCHIMEDE, puis appliqué à divers exemples. Dans le cas de solutions solides binaires, une méthode graphique a permis de
APA, Harvard, Vancouver, ISO, and other styles
10

Tournier, Évelyne. "Solutions formelles d'équations différentielles le logiciel de calcul formel DESIR : étude théorique et réalisation /." Grenoble 2 : ANRT, 1987. http://catalogue.bnf.fr/ark:/12148/cb37610358q.

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

Books on the topic "Logical solutions"

1

Logical Rational Solutions. West Publishing Company, 1992.

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

How Germans Negotiate: Logical Goals, Practical Solutions. Institute of Peace Press, 2003.

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

How Germans Negotiate: Logical Goals, Practical Solutions. Institute of Peace Press, 2003.

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

Huemer, Michael. Paradox Lost: Logical Solutions to Ten Puzzles of Philosophy. Palgrave Macmillan, 2018.

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

Design for Sustainability: A Sourcebook of Integrated, Eco-logical Solutions. Earthscan Publications Ltd., 2002.

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

Skiles, Madalyn. 1001 Natural Logical Consequences: Specific Solutions to Help Kids Behave. PublishAmerica, 2006.

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

Birkeland, Janis. Design for Sustainability: A Sourcebook of Integrated, Eco-logical Solutions. Earthscan Publications Ltd., 2002.

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

me. Perfectly Logical Sudoku with Solutions: Sudoku Puzzle Books for Adults Large Print. Independently Published, 2020.

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

Pansini, Lindsey. Breastfeeding Successfully : Logical Solutions for Challenges and Encouragement: Guide of the Feeding. Independently Published, 2021.

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

Watson, Marta. Tricky Logical Mine Finder Puzzles: MEGA Set with 75 Puzzles with Solutions. Independently Published, 2022.

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

Book chapters on the topic "Logical solutions"

1

Aranyosi, István. "Solutions." In God, Mind, and Logical Space. Palgrave Macmillan UK, 2013. http://dx.doi.org/10.1057/9781137280329_8.

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

Finger, Marcelo. "Computational Solutions for Structural Constraints." In Logical Aspects of Computational Linguistics. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45738-0_2.

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

Hisdal née Gruenwald, Ellen. "Solutions to Some Exercises." In Logical Structures for Representation of Knowledge and Uncertainty. Physica-Verlag HD, 1998. http://dx.doi.org/10.1007/978-3-7908-1887-1_19.

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

Jacobs, Bart. "Some Probabilistic Riddles and Some Logical Solutions." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-61716-4_9.

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

Lyutikova, L. A. "Method of Logical Interpretation of Neural Network Solutions." In Biologically Inspired Cognitive Architectures 2023. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-50381-8_57.

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

Sharwood Smith, Mike. "2. L2 acquisition: logical problems and empirical solutions." In Learnability and second languages, edited by James Pankhurst. De Gruyter, 1988. http://dx.doi.org/10.1515/9783110874150-002.

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

Lyutikova, Larisa. "Correction of Neural Network Solutions by Logical Analysis Methods." In XV International Scientific Conference “INTERAGROMASH 2022”. Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-21219-2_306.

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

Arifianto, Wahyu Aji Bagus, Tasyang Oktavia Rose, Anik Kosimatul Hidayah, et al. "Assessing Chemistry Students’ Logical Thinking in Colligative Properties of Solutions." In Advances in Social Science, Education and Humanities Research. Atlantis Press SARL, 2024. http://dx.doi.org/10.2991/978-2-38476-275-0_19.

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

Liu, Chanjuan, Fenrong Liu, and Kaile Su. "A Dynamic-Logical Characterization of Solutions in Sight-Limited Extensive Games." In PRIMA 2015: Principles and Practice of Multi-Agent Systems. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-25524-8_29.

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

Morris, Bradley J., and Vladimir Sloutsky. "Developmental Differences in Young Children’s Solutions of Logical vs. Empirical Problems." In Proceedings of the Twenty First Annual Conference of the Cognitive Science Society. Psychology Press, 2020. http://dx.doi.org/10.4324/9781410603494-81.

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

Conference papers on the topic "Logical solutions"

1

Menaka, D., K. S. Subhashini, S. Kalyani, L. Anju, and M. K. Varadarajan. "HCNCS: An IoT Based Logical Real-Time Weather Data Analysis to Predict Air Quality by Using Hybrid Convolutional Neural Classification Scheme." In 2025 International Conference on Frontier Technologies and Solutions (ICFTS). IEEE, 2025. https://doi.org/10.1109/icfts62006.2025.11031985.

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

Raju, Valliappan. "A Logical Evaluation of Exploiting Financial Scope Assessment Based on Social Media Analytics Using Deep Learning assisted FinTech Framework for Digital Financial Profiling." In 2025 International Conference on Frontier Technologies and Solutions (ICFTS). IEEE, 2025. https://doi.org/10.1109/icfts62006.2025.11031838.

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

Shepherd, Karl, and Jeremy Wills. "Avionics Open Systems Architecture Standardization." In Vertical Flight Society 74th Annual Forum & Technology Display. The Vertical Flight Society, 2018. http://dx.doi.org/10.4050/f-0074-2018-12730.

Full text
Abstract:
The United States (US) Department of Defense is requiring the use of open systems architectures to reduce the lifecycle cost and enable a more frequent upgrade of capabilities in current and new weapon systems. The US DoD and its military services are actively engaged in the development of many open architecture standards efforts, such as the FACETM, HOST, OMS, UCI, and SOSATM Standards, through participation in standards consortiums and US Government led standards working groups. Our research builds upon Rockwell Collins prior and ongoing work in the development of open standards and implemen
APA, Harvard, Vancouver, ISO, and other styles
4

Elboujdaini, M., R. W. Revie, R. F. Orr, J. E. M. Braid, and Thomas Lau. "Sulphide Stress Cracking Susceptibility of C/Mn and Cr/Mo Steels in Repair Welding." In CORROSION 1994. NACE International, 1994. https://doi.org/10.5006/c1994-94072.

Full text
Abstract:
Abstract Low-alloy steels containing chromium and molybdenum as alloying elements are extensively used in the powergenerating and petroleum industries. Of these, 2.25Cr-1Mo and 1.25Cr-0.5Mo ferritic steels have been a logical choice for power plants and pressure vessels. Hydrogen in steel is a serious problem since hydrogen-induced failures are common. It has caused numerous failures during construction and during service. Sulphide stress cracking (SSC) failure in welded structures often occurs in the weld metal and heat-affected zone (HAZ); the rapid heating and cooling during welding produce
APA, Harvard, Vancouver, ISO, and other styles
5

Lyutikova, Larisa. "Logical Approach to Interpreting Neural Network Solutions." In 2023 International Russian Automation Conference (RusAutoCon). IEEE, 2023. http://dx.doi.org/10.1109/rusautocon58002.2023.10272821.

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

Dzbor, Martin, and Zdenek Zdrahal. "Towards Logical Framework for Sequential Design." In ASME 2001 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2001. http://dx.doi.org/10.1115/detc2001/dtm-21710.

Full text
Abstract:
Abstract Engineering design is usually seen as a knowledge-intensive process that driven by certain objectives eventually delivers an artefact having the desired properties or functions. Design is inherently iterative and the design goals evolve together with the solutions. Many current design theories present more or less efficient ways for finding a suitable solution to the given goals. However, they often leave open the question of the ‘solution talkback’. Under ‘solution talkback’ we understand the reasoning process that is able to infer what formal amendments to the initial design specifi
APA, Harvard, Vancouver, ISO, and other styles
7

Selmeci, A., and T. Orosz. "SAP logical databases applications providing business-requirements-driven solutions." In 2012 IEEE 16th International Conference on Intelligent Engineering Systems (INES). IEEE, 2012. http://dx.doi.org/10.1109/ines.2012.6249886.

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

Marinescu, Radu, Haifeng Qian, Alexander Gray, et al. "Approximate Inference in Logical Credal Networks." In Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}. International Joint Conferences on Artificial Intelligence Organization, 2023. http://dx.doi.org/10.24963/ijcai.2023/632.

Full text
Abstract:
The Logical Credal Network or LCN is a recent probabilistic logic designed for effective aggregation and reasoning over multiple sources of imprecise knowledge. An LCN specifies a set of probability distributions over all interpretations of a set of logical formulas for which marginal and conditional probability bounds on their truth values are known. Inference in LCNs involves the exact solution of a non-convex non-linear program defined over an exponentially large number of non-negative real valued variables and, therefore, is limited to relatively small problems. In this paper, we present A
APA, Harvard, Vancouver, ISO, and other styles
9

Popov, Vladislav S. "First-Order Logical Equations with Parameter and their Exhaustive Search Solutions." In 2023 5th International Youth Conference on Radio Electronics, Electrical and Power Engineering (REEPE). IEEE, 2023. http://dx.doi.org/10.1109/reepe57272.2023.10086751.

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

Bienvenu, Meghyn, Gianluca Cima, and Víctor Gutiérrez-Basulto. "REPLACE: A Logical Framework for Combining Collective Entity Resolution and Repairing." In Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}. International Joint Conferences on Artificial Intelligence Organization, 2023. http://dx.doi.org/10.24963/ijcai.2023/349.

Full text
Abstract:
This paper considers the problem of querying dirty databases, which may contain both erroneous facts and multiple names for the same entity. While both of these data quality issues have been widely studied in isolation, our contribution is a holistic framework for jointly deduplicating and repairing data. Our REPLACE framework follows a declarative approach, utilizing logical rules to specify under which conditions a pair of entity references can or must be merged and logical constraints to specify consistency requirements. The semantics defines a space of solutions, each consisting of a set o
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Logical solutions"

1

Patel, Yusef. File to Factory: A case study of automated prefabrication house-building methods for small-to-medium enterprises. Unitec ePress, 2017. http://dx.doi.org/10.34074/ocds.0823.

Full text
Abstract:
The Eco-Digital Fabrication (EDFAB) research project aimed to investigate how automated prefabrication technologies and off-the-shelf construction products can be employed to disrupt building industry norms. The aim of this research – conducted at the University of Auckland and Unitec Institute of Technology from 2014 onward – was to provide small-to-medium enterprises in the construction industry with a pathway to upskill and increase construction productivity through the use of these processes. The availability of automated machines and easy-to-use fabrication software is increasing dramatic
APA, Harvard, Vancouver, ISO, and other styles
2

Gonchigdorj, Ariunkhishig, Frederika Warren, Akanksha Bapna, Namrata Sharma, Arnaldo Pellini, and Crystal Green. Spotlight on EdTech: Bangladesh. HundrED, 2023. http://dx.doi.org/10.58261/misf7076.

Full text
Abstract:
Bangladesh has made remarkable progress in achieving over 90% primary enrollment with significantly improved gender parity. Its focus has now shifted from universal primary education towards the quality of education and improvements in teaching outcomes. In order to meet this goal, the government has turned to the merits that EdTech can offer and is implementing a blended learning approach that integrates both digital and physical elements, and balances creative and logical aspects to strengthen its progress and address Bangladesh’s current educational challenges. In partnership with EdTech Hu
APA, Harvard, Vancouver, ISO, and other styles
3

Ruff, Grigory, and Tatyana Sidorina. THE DEVELOPMENT MODEL OF ENGINEERING CREATIVITY IN STUDENTS OF MILITARY INSTITUTIONS. Science and Innovation Center Publishing House, 2020. http://dx.doi.org/10.12731/model_of_engineering_creativity.

Full text
Abstract:
The troops of the national guard of the Russian Federation are equipped with modern models of weapons, special equipment, Informatization tools, engineering weapons that have artificial intelligence in their composition are being developed, " etc., which causes an increase in the requirements for the quality of professional training of future officers. The increasing complexity of military professional activities, the avalanche-like increase in information, the need to develop the ability to quickly and accurately make and implement well-known and own engineering solutions in an unpredictable
APA, Harvard, Vancouver, ISO, and other styles
4

Baader, Franz, Stefan Borgwardt, and Barbara Morawska. Dismatching and Local Disunification in EL. Technische Universität Dresden, 2014. http://dx.doi.org/10.25368/2022.210.

Full text
Abstract:
Unification in Description Logics has been introduced as a means to detect redundancies in ontologies. We try to extend the known decidability results for unification in the Description Logic EL to disunification since negative constraints on unifiers can be used to avoid unwanted unifiers. While decidability of the solvability of general EL-disunification problems remains an open problem, we obtain NP-completeness results for two interesting special cases: dismatching problems, where one side of each negative constraint must be ground, and local solvability of disunification problems, where w
APA, Harvard, Vancouver, ISO, and other styles
5

Clément-Fontaine, Mélanie, Roberto Di Cosmo, Bastien Guerry, Patrick Moreau, and François Pellegrini. Note d’opportunité sur la valorisation des logiciels issus de la recherche. Ministère de l'enseignement supérieur et de la recherche, 2019. http://dx.doi.org/10.52949/17.

Full text
Abstract:
Le logiciel est un objet hybride au sein de la recherche, dont il est à la fois moteur (comme outil), résultat (comme preuve d’existence d’une solution) et objet d’études (comme artefact). Ce statut spécifique doit amener à la définition de stratégies, d’outils et de procédures adaptés aux différents enjeux qu’il soulève, tels que notamment : la citation des contributions relatives à la conception et à la production de logiciels, la reproductibilité des résultats de recherche faisant intervenir des logiciels, la valorisation et la pérennisation du patrimoine logiciel créé.
APA, Harvard, Vancouver, ISO, and other styles
6

Yatsymirska, Mariya. KEY IMPRESSIONS OF 2020 IN JOURNALISTIC TEXTS. Ivan Franko National University of Lviv, 2021. http://dx.doi.org/10.30970/vjo.2021.50.11107.

Full text
Abstract:
The article explores the key vocabulary of 2020 in the network space of Ukraine. Texts of journalistic, official-business style, analytical publications of well-known journalists on current topics are analyzed. Extralinguistic factors of new word formation, their adaptation to the sphere of special and socio-political vocabulary of the Ukrainian language are determined. Examples show modern impressions in the media, their stylistic use and impact on public opinion in a pandemic. New meanings of foreign expressions, media terminology, peculiarities of translation of neologisms from English into
APA, Harvard, Vancouver, ISO, and other styles
7

Ho, Philip. Investigation of Solution Space of Trees and DAGs for Realization of Combinational Logic in AT 6000 series FPGAs. Portland State University Library, 2000. http://dx.doi.org/10.15760/etd.6470.

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

Paule, Bernard, Flourentzos Flourentzou, Tristan de KERCHOVE d’EXAERDE, Julien BOUTILLIER, and Nicolo Ferrari. PRELUDE Roadmap for Building Renovation: set of rules for renovation actions to optimize building energy performance. Department of the Built Environment, 2023. http://dx.doi.org/10.54337/aau541614638.

Full text
Abstract:
In the context of climate change and the environmental and energy constraints we face, it is essential to develop methods to encourage the implementation of efficient solutions for building renovation. One of the objectives of the European PRELUDE project [1] is to develop a "Building Renovation Roadmap"(BRR) aimed at facilitating decision-making to foster the most efficient refurbishment actions, the implementation of innovative solutions and the promotion of renewable energy sources in the renovation process of existing buildings. In this context, Estia is working on the development of infer
APA, Harvard, Vancouver, ISO, and other styles
9

Kharadzhian, Natalia, Larysa Savchenko, Karyna Safian, Yuliia Kulinka, and Oksana Mykolaivna Kopylova. Future Professional Education Specialists’ Mastering of Project Methodology of Creating Pedagogical Situations in the Service Sector. [б. в.], 2020. http://dx.doi.org/10.31812/123456789/4142.

Full text
Abstract:
The article reveals the problems of mastering by future specialists of the project methodology of creating pedagogical situations in higher education institutions as a means of improving the quality of education. Objectives of the article: to determine the influence of the project method on the creation of pedagogical situations in the process of teaching students; the choice of logic and mechanism of design actions depends on the purpose and the initial conceptual position regarding the subject reincarnates; to study the influence of pedagogical situations on the quality of education in the h
APA, Harvard, Vancouver, ISO, and other styles
10

Lavrentieva, Olena O., Ihor O. Arkhypov, Olexander I. Kuchma, and Aleksandr D. Uchitel. Use of simulators together with virtual and augmented reality in the system of welders’ vocational training: past, present, and future. [б. в.], 2020. http://dx.doi.org/10.31812/123456789/3748.

Full text
Abstract:
The article discusses the theory and methods of simulation training, its significance in the context of training specialists for areas where the lack of primary qualification is critical. The most widespread hardware and software solutions for the organization welders' simulation training that use VR- and AR- technologies have been analyzed. A review of the technological infrastructure and software tools for the virtual teaching-and-production laboratory of electric welding has been made on the example of the achievements of Fronius, MIMBUS, Seabery. The features of creating a virtual simulati
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Logical solutions' 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