Relevant bibliographies by topics / Logical environments

Contents

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

Academic literature on the topic 'Logical environments'

Author: Grafiati
Published: 7 June 2025
Last updated: 2 August 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 environments.'

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 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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
More sources

Dissertations / Theses on the topic "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.

Full text
Abstract:
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, and other styles
2

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
10

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

Full text
Abstract:
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, and other styles
More sources

Books on the topic "Logical environments"

1

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

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

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
4

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Book chapters on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles

Conference papers on the topic "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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
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.

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

Reports on the topic "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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

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
8

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

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
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.

Full text
Abstract:
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, and other styles
You might also be interested in the extended bibliographies on the topic 'Logical environments' 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