Bibliographies thématiques / Logical environments

Sommaire

Articles de revues
Thèses
Livres
Chapitres de livres
Actes de conférences
Rapports d'organisations

Littérature scientifique sur le sujet « Logical environments »

Auteur : Grafiati

Publié le 7 juin 2025

Mis à jour le 2 août 2025

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Logical environments ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Articles de revues sur le sujet "Logical environments"

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Thèses sur le sujet "Logical environments"

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Livres sur le sujet "Logical environments"

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Chapitres de livres sur le sujet "Logical environments"

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

Texte intégral

Résumé :

Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "Logical environments"

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Rapports d'organisations sur le sujet "Logical environments"

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

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.

Texte intégral

Résumé :

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

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!