Готові списки джерел за темами / Logical environments

Зміст

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

Добірка наукової літератури з теми "Logical environments"

Автор: Grafiati
Опубліковано: 7 червня 2025
Оновлено: 2 серпня 2025

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

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

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

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

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

Статті в журналах з теми "Logical environments"

1

Giunta, Ines. "Heuristic Environments." Interaction Design and Architecture(s), no. 11_12 (September 20, 2011): 77–82. http://dx.doi.org/10.55612/s-5002-011_12-006.

Повний текст джерела
Анотація:
The purpose of this research is the identification of a paradigm which fixes the basic concepts and the type of logical relationships between them, whereby direct, govern and evaluate choises on new technologies. The contribution is based on the assumption that the complexity of knowledge is correlated with the complexity of the learning environment. From the existence of this correlation will descend a series of consequences that contribute to the definition of a theoretical construct in which the logical categories of learning become the guiding criteria on which to design learning environme
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Magnani, Lorenzo. "Logic and Abduction: Cognitive Externalizations in Demonstrative Environments." THEORIA 22, no. 3 (2009): 275–84. http://dx.doi.org/10.1387/theoria.448.

Повний текст джерела
Анотація:
In her book Abductive Reasoning Atocha Aliseda (2006) stresses the attention to the logical models of abduction, centering on the semantic tableaux as a method for extending and improving both the whole cognitive/philosophical view on it and on other more restricted logical approaches. I will describe the importance of increasing logical knowledge on abduction also taking advantage of some ideas coming from the so-called distributed cognition where logical models are seen as forms of cognitive externalizations of preexistent in-formal human reasoning performances
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Cabodi, Gianpiero, Paolo Camurati, Paolo Prinetto, and Matteo Sonza Reorda. "Expressing logical and temporal conditions in simulation environments: TPDL∗." Microprocessing and Microprogramming 26, no. 4 (1989): 241–52. http://dx.doi.org/10.1016/0165-6074(89)90270-6.

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

SAAKE, GUNTER, RALF JUNGCLAUS, and THORSTEN HARTMANN. "APPLICATION MODELLING IN HETEROGENEOUS ENVIRONMENTS USING AN OBJECT SPECIFICATION LANGUAGE." International Journal of Cooperative Information Systems 02, no. 04 (1993): 425–49. http://dx.doi.org/10.1142/s0218215793000198.

Повний текст джерела
Анотація:
We propose an object-oriented logical formalism to conceptionally model applications in an interoperable environment. Such an environment consists of heterogeneous and autonomous local (database) systems. Applications in such an environment use several resources and services. Their conceptual modelling involves re-specification of existing systems in terms of homogeneous views, modelling of behavior and system dynamics, modelling of logically distributed components in an open environment and the modelling of communication relationships and dependencies between components. We introduce a formal
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Goel, Vinod, Milan Makale, and Jordan Grafman. "The Hippocampal System Mediates Logical Reasoning about Familiar Spatial Environments." Journal of Cognitive Neuroscience 16, no. 4 (2004): 654–64. http://dx.doi.org/10.1162/089892904323057362.

Повний текст джерела
Анотація:
It has recently been shown that syllogistic reasoning engages two dissociable neural systems. Reasoning about familiar situations engages a frontal-temporal lobe system, whereas formally identical reasoning tasks involving unfamiliar situations recruit a frontal-parietal visuospatial network. These two systems may correspond to the “heuristic” and “formal” methods, respectively, postulated by cognitive theory. To determine if this dissociation generalizes to reasoning about transitive spatial relations, we studied 14 volunteers using event-related fMRI, as they reasoned about landmarks in fami
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Samokhvalov, Yu Ya. "Decomposition of linguistic-logical decision models in distributed computing environments." Cybernetics and Systems Analysis 33, no. 1 (1997): 44–49. http://dx.doi.org/10.1007/bf02665939.

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

Aquino, Rafael Lemes de, Meirielen Danubia Marra, Anaísa Filmiano Andrade Lopes, Suzana Ferreira de Paula Silva, and Douglas Ataniel Alves Xavier. "Método lógico para redação científica." Revista de Enfermagem UFPE on line 13, no. 1 (2019): 290. http://dx.doi.org/10.5205/1981-8963-v13i1a238921p290-291-2019.

Повний текст джерела
Анотація:
It is inserted the reading of the book "Logical method for scientific writing", by Gilson Luiz Volpato, in a perspective of presenting and discussing a very important theme in academic environments, which is the recovery of scientific quality through a logical method proposed by the author.
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Saito, Tadao, Hitoshi Aida, Terumasa Aoki, Soichiro Hidaka, Tredej Toranawigtrai, and Akinori Hashimoto. "A distributed access control method for wireless LANs in shadowing environments." Electronics and Communications in Japan (Part I: Communications) 84, no. 9 (2001): 16–26. http://dx.doi.org/10.1002/ecja.1037.

Повний текст джерела
Анотація:
AbstractIn recent years, the trend to use wireless LANs to realize mobile or ad hoc network is expanding. Previous proposals for access control methods for wireless LANs included such methods as Carrier Sense Multiple Access with Collision Avoidance (CSMA/CA) and polling. However, both methods have problems of transfer efficiency and delay time. Research and development on new access control methods is required to implement high‐performance wireless LANs. In this paper, we examine the development of a wireless version of the wired token passing LAN access control method as a new wireless LAN a
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Collins, John M. "Content Externalism and Brute Logical Error." Canadian Journal of Philosophy 38, no. 4 (2008): 549–74. http://dx.doi.org/10.1353/cjp.0.0031.

Повний текст джерела
Анотація:
Externalism with respect to content is the thesis that the contents of an individual's mental states are fixed, not just by the intrinsic physical characteristics of the individual, but also in part by the external circumstances of the individual. This idea can be illustrated by means of thought experiments involving pairs of ‘twins’ who are identical with respect to their intrinsic features yet who differ mentally because of differences in their environments. The thoughts of a thirsty earthling may turn to water. Suppose that an earthling has a molecule-for-molecule twin on a very distant pla
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Dudar, Zoya, and Volodymyr Liashyk. "Method for solving quantifier linear equations based on the algebra of linear predicate operations." Radioelectronic and Computer Systems 2025, no. 1 (2025): 102–12. https://doi.org/10.32620/reks.2025.1.07.

Повний текст джерела
Анотація:
The subject involves structured approaches that extend the existing set of mathematical tools for processing complex relationships within databases and computational systems. This is particularly relevant for applications requiring efficient information retrieval, knowledge representation, and logical inference in automated decision-making environments. The task of this article is to develop a method for solving quantifier linear equations using the algebra of linear predicate operations, aimed at improving database query optimization and enhancing the capabilities of intelligent systems. The
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Дисертації з теми "Logical environments"

1

Behar, Patrícia Alejandra. "Análise operatória de ferramentas computacionais de uso individual e cooperativo." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 1998. http://hdl.handle.net/10183/17779.

Повний текст джерела
Анотація:
Esta tese de doutoramento trata da integração da teoria piagetiana com a Ciência da Computação, mais especificamente, a análise de ferramentas computacionais do ponto de vista da lógica operatória. Para isso, foi preciso investigar, em primeiro lugar, a teoria do sujeito individual, no que se refere a função simbólica e reinterpretar estes conceitos no objeto. Neste caso, o objeto e a ferramenta computacional de uso individual. Portanto, somente a partir deste estudo foi possível construir o modelo geral de interação de um sujeito qualquer com uma ferramenta computacional, para depois analisá-
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Dawson, William Mark Grant. "A generic logic environment." Thesis, Imperial College London, 1991. http://hdl.handle.net/10044/1/46740.

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

Dal, Bem Vinícius. "SAT based environment for logical capacity evaluation of via configurable block templates." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2016. http://hdl.handle.net/10183/142737.

Повний текст джерела
Анотація:
ASICs estruturados com leiautes regulares representam uma das soluções para a perda de rendimento de fabricação de circuitos integrados em tecnologias nanométricas causada pela distorção de fotolitografia. Um método de projeto de circuitos integrados ainda mais restritivo resulta em ASICs estruturados configuráveis apenas pelas camadas de vias, que são compostos pela repetição do mesmo modelo de bloco em todas as camadas do leiaute, exceto as camadas de vias. A escolha do modelo de bloco tem grande influência nas características do circuito final, criando a demanda por novas ferramentas de CAD
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Rochefort, Stephen. "Logic programming applications in educational environments." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape3/PQDD_0012/NQ61676.pdf.

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

Horton, David Collins. "An object-oriented approach towards enhancing logical connectivity in a distributed database environment." Thesis, Massachusetts Institute of Technology, 1988. http://hdl.handle.net/1721.1/61047.

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

Wang, Haoming. "Object-oriented GUI design of a modeling environment for logical discrete event systems." Mémoire, Sherbrooke : Université de Sherbrooke, 2004. http://savoirs.usherbrooke.ca/handle/11143/4613.

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

Soerjaningsih, Widia. "Student outcomes, learning environment, logical thinking and motivation among computing students in an Indonesian university." Thesis, Curtin University, 2001. http://hdl.handle.net/20.500.11937/164.

Повний текст джерела
Анотація:
This study involved examining differences and similarities between the learning environment perceptions of students attending the Computer Science department and the Management department at an information technology university in Jakarta, Indonesia. In doing so, the study investigated which types of learning environments were most likely to strengthen student outcomes in computer-related courses and identify ways in which the university could enhance the teaching and learning process.The study examined whether relationships exist between students' cognitive and affective outcomes and four pro
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Soerjaningsih, Widia. "Student outcomes, learning environment, logical thinking and motivation among computing students in an Indonesian University /." Curtin University of Technology, Science and Mathematics Education Centre, 2001. http://espace.library.curtin.edu.au:80/R/?func=dbin-jump-full&object_id=13086.

Повний текст джерела
Анотація:
This study involved examining differences and similarities between the learning environment perceptions of students attending the Computer Science department and the Management department at an information technology university in Jakarta, Indonesia. In doing so, the study investigated which types of learning environments were most likely to strengthen student outcomes in computer-related courses and identify ways in which the university could enhance the teaching and learning process.The study examined whether relationships exist between students' cognitive and affective outcomes and four pro
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Jiménez, Ruiz Ernesto. "Logic-based support for Ontology Development in Open Environments." Doctoral thesis, Universitat Jaume I, 2010. http://hdl.handle.net/10803/10493.

Повний текст джерела
Анотація:
El sentido filosófico del término ontología hace referencia a la esencia misma del ser, a su existencia (onto=ser). Para un sistema inteligente lo que existe es lo que puede representarse. En informática una ontología se ha definido como una conceptualización formal y compartida de un dominio. Actualmente las ontologías tienen un rol clave en el desarrollo de laWeb Semántica, pero también están siendo usadas en otros dominios como la biomedicina, agricultura, defensa, robótica y astronomía.<br/>En la investigación llevada a cabo en esta tesis nos hemos centrado en el diseño y desarrollo de mét
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Acar, Hayri. "Software development methodology in a Green IT environment." Thesis, Lyon, 2017. http://www.theses.fr/2017LYSE1256/document.

Повний текст джерела
Анотація:
Le nombre de périphériques mobiles (smartphone, tablette, ordinateur portable, etc.) et les internautes augmentent continuellement. En raison de l'accessibilité du cloud computing, de l'Internet et de l'Internet des Objets (IdO), les utilisateurs utilisent de plus en plus d'applications logicielles qui provoquent un effet croissant sur les émissions de gaz à effet de serre. Ainsi, les TIC (Technologies de l'Information et de la Communication) sont responsables d'environ 2% des émissions mondiales de gaz à effet de serre qui sont équivalentes à celles émises par l'industrie aérienne. Selon des
Стилі APA, Harvard, Vancouver, ISO та ін.
Більше джерел

Книги з теми "Logical environments"

1

Gérard, Huet, and Plotkin G. 1946-, eds. Logical environments. Cambridge University Press, 1993.

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

Yarrow, Joanna. Eco-logical!: The thinker's guide to green living. Duncan Baird Publishers, 2009.

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

Chikurov, Nikolay, and Nikolay Levizi. Construction of discrete-logical control systems for electroautomatics. INFRA-M Academic Publishing LLC., 2023. http://dx.doi.org/10.12737/1852441.

Повний текст джерела
Анотація:
The textbook discusses engineering methods of analysis and synthesis of discrete logic control systems of industrial mechanisms based on the apparatus of logic algebra and cyclograms of the operation of these mechanisms. New methods have been developed that make it possible to synthesize complex control systems on various element bases fairly quickly. Examples of designing control systems for machine-tool electrical automation devices are given. Students master the methodology of programming logic controllers in the instrumental programming environment of the ISaGRAF 6.5 ASP version using the
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Shukla, Shridhar B. Group membership in asynchronous distributed environments using logically ordered views. Naval Postgraduate School, 1992.

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

Wozniak, S. J. Environmental assessment of buildings and building developments: A logical methodology for the world. S. J. Wozniak, 1993.

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

Meyer, John-Jules Ch. Agent-Based Defeasible Control in Dynamic Environments. Springer Netherlands, 2002.

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

Chella, Fabrizio. Distorsioni climatiche: Una logica che cambia la forma del volume vuoto. LetteraVentidue, 2020.

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

Honan, Brian. Implementing ISO27001 in a Windows environment: The best practice implementation handbook for a Microsoft Windows environment. IT Governance, 2009.

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

MacLennan, Bruce J. A simple software environment based on objects and relations. Naval Postgraduate School, 1985.

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

Frakes, William B. Software engineering in the UNIX/C environment. Prentice Hall, 1991.

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

Частини книг з теми "Logical environments"

1

Mossakowski, Till, and Andrzej Tarlecki. "Heterogeneous Logical Environments for Distributed Specifications." In Recent Trends in Algebraic Development Techniques. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-03429-9_18.

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

Flotyński, Jakub. "Knowledge Representation with Logical Systems." In Knowledge-Based Explorable Extended Reality Environments. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-59965-2_3.

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

Fronhöfer, Bertram, and Gerd Neugebauer. "ESPRIT Project P973 ALPES - Advanced Logical Programming Environments -." In Wissensbasierte Systeme. Springer Berlin Heidelberg, 1987. http://dx.doi.org/10.1007/978-3-642-88719-2_36.

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

Satoh, Ichiro. "Physical Mobility and Logical Mobility in Ubiquitous Computing Environments." In Mobile Agents. Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-36112-x_13.

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

Ghiani, Giuseppe, Fabio Paternò, and Carmen Santoro. "User Interface User Interface Migration Based on the Use of Logical Descriptions." In Migratory Interactive Applications for Ubiquitous Environments. Springer London, 2011. http://dx.doi.org/10.1007/978-0-85729-250-6_5.

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

Hidaka, Soichiro, Terumasa Aoki, Hitoshi Aida, and Tadao Saito. "A FIFO Queue Class Library as a State Variable of Time Warp Logical Processes." In Computing in Object-Oriented Parallel Environments. Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-49372-7_15.

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

Paternò, Fabio, and Christian Sisti. "Deriving Vocal Interfaces from Logical Descriptions in Multi-device Authoring Environments." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-13911-6_14.

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

Hirata, Ichiro, and Toshiki Yamaoka. "A Logical Design Method for User Interface Using GUI Design Patterns." In Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-39232-0_40.

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

Speiser, Kilian, Kepeng Hong, and Jochen Teizer. "Enhancing the Realism of Virtual Construction Safety Training: Integration of Real-Time Location Systems for Real-World Hazard Simulations." 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.15.

Повний текст джерела
Анотація:
In numerous studies, virtual training for construction safety has been proposed as a promising approach. However, creating realistic training scenarios requires significant resources, encompassing various elements such as sound, graphics, agent behavior, and realistic hazards. Digital Twins have revolutionized this process, and although so far, on a conceptual level only, significantly reducing the associated workload, it is still not exploiting its full potential. In this work, we propose a novel approach that leverages Real-time Location Systems (RTLS) data to simulate the real-world behavio
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Speiser, Kilian, Kepeng Hong, and Jochen Teizer. "Enhancing the Realism of Virtual Construction Safety Training: Integration of Real-Time Location Systems for Real-World Hazard Simulations." 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.15.

Повний текст джерела
Анотація:
In numerous studies, virtual training for construction safety has been proposed as a promising approach. However, creating realistic training scenarios requires significant resources, encompassing various elements such as sound, graphics, agent behavior, and realistic hazards. Digital Twins have revolutionized this process, and although so far, on a conceptual level only, significantly reducing the associated workload, it is still not exploiting its full potential. In this work, we propose a novel approach that leverages Real-time Location Systems (RTLS) data to simulate the real-world behavio
Стилі APA, Harvard, Vancouver, ISO та ін.

Тези доповідей конференцій з теми "Logical environments"

1

Wei, Liang, and Kewei Gao. "Corrosion of Carbon Steel and Cr-containing Alloy Steels in CCS Systems." In CORROSION 2019. NACE International, 2019. https://doi.org/10.5006/c2019-12838.

Повний текст джерела
Анотація:
Abstract For transporting large amounts of CO2 (compressing to supercritical or liquid state) over long distance during Carbon Capture and Storage process, the most logical and economical option is pipelines network made from carbon steels such as X65 and X70 steels, which, however, is susceptible to corrosion in the supercritical CO2 systems containing free water. This work aims to evaluate the performance of the newly developed Cr-containing steels, which fills the gap between carbon steels and anticorrosion alloys in view of the cost and corrosion resistance, in the static and dynamic water
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Cheberiachko, Serhii, Dmytro Radchuk, Yuriy Cheberiachko, Oleg Deryugin, and Mykola Naumov. "Evaluation of the Impact of Wearing a Filtering Half Mask on the Cognitive Indicators of Users." In 8th International Congress "Environment Protection. Energy Saving. Sustainable Environmental Management". Trans Tech Publications Ltd, 2025. https://doi.org/10.4028/p-1jvlxw.

Повний текст джерела
Анотація:
Purpose. Study of the influence of users' cognitive indicators on decision-making time when using filtering half masks. Method. 10 men and 5 women who used RPA-DE filtering half masks manufactured by Research and Production Enterprise STANDART took part in the study. During the study, the time and speed of the reaction of half masks users to a stimulus were determined, which allows us to assess the speed of decision-making when performing professional activities in a polluted working environment. The tasks were performed in the absence of physical exertion: once in a half mask, another time wi
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Berdikulov, Ravshan, Aybek Iskanderov, Iskandar Shernazarov, Saidjon Ismailov, and Zakhida Usmanova. "Development of Logical Picture Thinking in Teaching Chemistry in an Innovative Educational Environment." In The Second Pamir Transboundary Conference for Sustainable Societies- | PAMIR. SCITEPRESS - Science and Technology Publications, 2023. https://doi.org/10.5220/0012924800003882.

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

Pickthall, Tom, Vernon Morris, and Hector Gonzalez. "Corrosion Monitoring of a Crude Oil Pipeline a Comparison of Multiple Methods." In CORROSION 2007. NACE International, 2007. https://doi.org/10.5006/c2007-07340.

Повний текст джерела
Анотація:
Abstract This paper reviews one of the test methods applied the proactive investigation of a pipeline with a potentially corrosive environment. This pipeline is located in an area of high consequence if there is a leak or failure. A 36” crude oil dock line was investigated for potential internal corrosion issues using a single pass low point simulator. The corrosion monitoring techniques and the results gathered during this test are presented. The purpose of this paper is to present a methodical and logical approach to investigating a pipeline in a potentially corrosive environment.
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Aminof, Benjamin, Giuseppe De Giacomo, Sasha Rubin, and Florian Zuleger. "Proper Linear-time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/4.

Повний текст джерела
Анотація:
To help it achieve its goal, an agent exploits assumptions it has about the behavior of its environment. The common view in planning and reactive synthesis is that such assumptions are sets of traces. This trace-centric view has the advantage of having well-understood specification formalisms, such as linear-time temporal logic. An alternative view, that we have promoted as being conceptually superior, is strategy-centric: assumptions are non-empty sets of environment strategies. In this work we relate these views and show that the strategy-centric view is a refinement of the trace-centric vie
Стилі APA, Harvard, Vancouver, ISO та ін.
6

SU, S. AUGUSTINE, and RICHARD FURUTA. "A LOGICAL HAND DEVICE IN VIRTUAL ENVIRONMENTS." In Proceedings of the VRST '94 Conference. WORLD SCIENTIFIC, 1994. http://dx.doi.org/10.1142/9789814350938_0004.

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

Alvi, A., and D. Greaves. "A logical approach to home automation." In 2nd IET International Conference on Intelligent Environments (IE 06). IEE, 2006. http://dx.doi.org/10.1049/cp:20060677.

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

Colley, M. J., and R. P. Stacey. "Forming logical node groupings in sensor networks." In 2nd IET International Conference on Intelligent Environments (IE 06). IEE, 2006. http://dx.doi.org/10.1049/cp:20060655.

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

Oparin, G. A., V. G. Bogdanova, and A. A. Pashinin. "Investigation of observability property of controlled binary dynamical systems: a logical approach." In 3rd International Workshop on Information, Computation, and Control Systems for Distributed Environments 2021. Crossref, 2021. http://dx.doi.org/10.47350/iccs-de.2021.11.

Повний текст джерела
Анотація:
The property of observability of controlled binary dynamical systems is investigated. A formal definition of the property is given in the language of applied logic of predicates with bounded quantifiers of existence and universality. A Boolean model of the property is built in the form of a quantified Boolean formula accordingly to the Boolean constraints method developed by the authors. This formula satisfies both the logical specification of the property and the equations of the binary system dynamics. Aspects of the proposed approach implementation for the study of the observability propert
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Romagnuolo, Anna. "INTRODUCING ELSE: A QUEST FOR ECO/LOGICAL LEARNING AND SIMULATION ENVIRONMENTS." In 12th annual International Conference of Education, Research and Innovation. IATED, 2019. http://dx.doi.org/10.21125/iceri.2019.1314.

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

Звіти організацій з теми "Logical environments"

1

Constable, Robert L., and Christoph Kreitz. An Open Logical Programming Environment. A Practical Framework for Sharing Formal Models. Defense Technical Information Center, 2002. http://dx.doi.org/10.21236/ada411860.

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

Kolmogorova, S. S., and A. A. Rantsev. Program for construction and modeling of logical control schemes of the control system of the additional energy converter installation in the Control Expert environment. Ailamazyan Program Systems Institute of Russian Academy of Sciences, 2025. https://doi.org/10.12731/ofernio.2025.25521.

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

McKone, Thomas E., and Ashok W. Deshpande. Can fuzzy logic bring complex problems into focus? Modeling imprecise factors in environmental policy. Office of Scientific and Technical Information (OSTI), 2004. http://dx.doi.org/10.2172/834236.

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

Baader, Franz, and Benjamin Zarrieß. Verification of Golog Programs over Description Logic Actions. Technische Universität Dresden, 2013. http://dx.doi.org/10.25368/2022.198.

Повний текст джерела
Анотація:
High-level action programming languages such as Golog have successfully been used to model the behavior of autonomous agents. In addition to a logic-based action formalism for describing the environment and the effects of basic actions, they enable the construction of complex actions using typical programming language constructs. To ensure that the execution of such complex actions leads to the desired behavior of the agent, one needs to specify the required properties in a formal way, and then verify that these requirements are met by any execution of the program. Due to the expressiveness of
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Elliott, Jane, Maureen Muir, and Judith Green. Trajectories of everyday mobility at older age. Wellcome Centre for Cultures and Environments of Health, 2023. http://dx.doi.org/10.58182/bnec3269.

Повний текст джерела
Анотація:
Background: This review and exploratory data analysis focuses on everyday mobility at older age; that is, travel outside the house for routine activities. Everyday mobility is an important determinant of health and wellbeing. Although there can be physiological reasons for declines in an individual’s capacity for mobility, trajectories are uneven. A social model of mobility at older age assumes that impairments due to bodily ageing do not inevitably lead to reduced mobility, and that policy and environmental interventions (such as transport provision, quality of built environment) can and shou
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Keto, Aila, and Keith Scott. Impacts of intensive native forest logging on the endangered Greater Glider in Queensland: A response to Eco Logical Australia Risk Assessment and Department of Agriculture and Fisheries Protection Measures. Australian Rainforest Conservation Society Inc, 2024. http://dx.doi.org/10.62974/bxpw2062.

Повний текст джерела
Анотація:
It is clear that selective logging has a significant impact on the Greater Glider. Whereas the Protection Measures proposed by the Department of Agriculture and Fisheries (DAF) may produce a small decrease in the impact, DAF is proposing to continue significantly impacting this endangered species. The application of a policy to balance jobs and the environment is inappropriate for an endangered species. The overall approach of the risk assessment and DAF’s response does not appear to take account of the fact that the Greater Glider is already endangered and in serious decline. The risk assessm
Стилі APA, Harvard, Vancouver, ISO та ін.
7

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.

Повний текст джерела
Анотація:
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 та ін.
8

Borgwardt, Stefan, and Veronika Thost. Temporal Query Answering in EL. Technische Universität Dresden, 2015. http://dx.doi.org/10.25368/2022.214.

Повний текст джерела
Анотація:
Context-aware systems use data about their environment for adaptation at runtime, e.g., for optimization of power consumption or user experience. Ontology-based data access (OBDA) can be used to support the interpretation of the usually large amounts of data. OBDA augments query answering in databases by dropping the closed-world assumption (i.e., the data is not assumed to be complete any more) and by including domain knowledge provided by an ontology. We focus on a recently proposed temporalized query language that allows to combine conjunctive queries with the operators of the well-known pr
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Bjella, Kevin, Yuri Shur, Misha Kanevskiy, et al. Improving design methodologies and assessment tools for building on permafrost in a warming climate. Engineer Research and Development Center (U.S.), 2020. http://dx.doi.org/10.21079/11681/38879.

Повний текст джерела
Анотація:
The U.S. Department of Defense (DoD) operates numerous Arctic and Subarctic installations, including Alaska. Changes to permafrost can threaten critical built infrastructure. It is critical to accurately characterize and compare site conditions in permafrost regions to enable the efficient, cost-effective design and construction of an infrastructure well suited to the permafrost environment and that meets DoD requirements. This report describes three research efforts to establish (1) field investigation approaches for ground ice detection and delineation, (2) methods and modeling for early war
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Guppy, Lisa, Paula Uyttendaele, Karen Villholth, and Vladimir Smakhtin. Groundwater and Sustainable Development Goals: Analysis of Interlinkages. United Nations University Institute for Water, Environment and Health, 2018. http://dx.doi.org/10.53328/jrlh1810.

Повний текст джерела
Анотація:
Groundwater represents 97% of the world’s available freshwater resources and is extensively abstracted throughout the world. While abundant in a global context, it can only de developed to a certain extent without causing environmental impacts. Also, it is highly variable across the globe, and where it is heavily relied on, it is less renewable. Hence, it is critically important that this resource is managed sustainably. However, the Sustainable Development Goals (SDGs) of the 2030 Development Agenda do not, as a rule, account explicitly for the significant role that groundwater plays and will
Стилі APA, Harvard, Vancouver, ISO та ін.
Також вас можуть зацікавити розширені добірки на тему "Logical environments" для конкретних типів джерел:
Статті в журналах Дисертації Книги
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!

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