Log in

Relevant bibliographies by topics / Logical environments / Journal articles

To see the other types of publications on this topic, follow the link: Logical environments.

Journal articles 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 top 50 journal articles for your research 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.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

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

11

Peraschi Selvan Subramanian. "Simplifying AI reasoning: unlocking logical capabilities in large language models (LLMs)." World Journal of Advanced Research and Reviews 26, no. 2 (2025): 1835–41. https://doi.org/10.30574/wjarr.2025.26.2.1808.

Full text

Abstract:

The integration of logical reasoning capabilities in large language models (LLMs) represents a transformative advancement in artificial intelligence, fundamentally altering the landscape of machine intelligence. This article examines how LLMs have evolved from pattern recognition systems into sophisticated reasoning engines capable of human-like logical deduction and inference across diverse domains. Through strategic architectural innovations, including advanced scaling techniques, synthetic multihop reasoning environments, and hybrid neural-symbolic frameworks, these reasoning capabilities h

APA, Harvard, Vancouver, ISO, and other styles

12

Nitonye, Samson, Sidum Adumene, Charles Ugochukwu Orji, and Anietie Effiong Udo. "Operational failure assessment of Remotely Operated Vehicle (ROV) in harsh offshore environments." Pomorstvo 35, no. 2 (2021): 275–86. http://dx.doi.org/10.31217/p.35.2.10.

Full text

Abstract:

For an effective integrity assessment of marine robotic in offshore environments, the elements’ failure characteristics need to be understood. A structured probabilistic methodology is proposed for the operational failure assessment (OFA) characteristics of ROV. The first step is to assess the likely failure mode of the ROV system and its support systems. This captures the interaction and failure induced events during operation. The identified potential failure modes are further developed into logical connectivity based on the cause-effect relationship. The logical framework is modeled using t

APA, Harvard, Vancouver, ISO, and other styles

13

CAVE, ANDREW, and BRIGITTE PIENTKA. "Mechanizing proofs with logical relations – Kripke-style." Mathematical Structures in Computer Science 28, no. 9 (2018): 1606–38. http://dx.doi.org/10.1017/s0960129518000154.

Full text

Abstract:

Proofs with logical relations play a key role to establish rich properties such as normalization or contextual equivalence. They are also challenging to mechanize. In this paper, we describe two case studies using the proof environmentBeluga: First, we explain the mechanization of the weak normalization proof for the simply typed lambda-calculus; second, we outline how to mechanize the completeness proof of algorithmic equality for simply typed lambda-terms where we reason about logically equivalent terms. The development of these proofs inBelugarelies on three key ingredients: (1) we encode l

APA, Harvard, Vancouver, ISO, and other styles

14

Sreevani, M., Pravalika Boya , Naveen Gadala , and Mohan Sai Bora. "Power-Optimized Gaussian Filtering with Approximate Adders and logical optimization." INTERANTIONAL JOURNAL OF SCIENTIFIC RESEARCH IN ENGINEERING AND MANAGEMENT 09, no. 01 (2025): 1–9. https://doi.org/10.55041/ijsrem40509.

Full text

Abstract:

Gaussian filters are crucial in numerous image and signal processing applications for tasks like noise reduction and smoothing. In resource-constrained environments, such as embedded and mobile devices, optimizing these filters for power efficiency is paramount. This paper focuses on designing a power-efficient Gaussian filter architecture through Design Space Exploration (DSE). The approach leverages logical optimizations and introduces approximate adders to minimize power consumption without significantly impacting performance. The trade-offs between power, area, and output quality are analy

APA, Harvard, Vancouver, ISO, and other styles

15

Martin, J. R. "Logical meaning, interdependency and the linking particle {na/-ng} in Tagalog." Functions of Language 2, no. 2 (1995): 189–228. http://dx.doi.org/10.1075/fol.2.2.04mar.

Full text

Abstract:

In this paper the linking particle {nal-ng} in Tagalog is interpreted from the perspective of systemic functional linguistics. It is suggested that Tagalog's deployment of this particle to depend one unit on another across a range of grammatical environments argues for a grammatical theory in which constituency and interdependency are seen as complementary structuring principles, reflecting the experiential and logical subcomponents of Halliday's ideational meta-function. In addition, the challenge posed by Tagalog's apparently interpersonal deployments of the linking particle is addressed.

APA, Harvard, Vancouver, ISO, and other styles

16

Nutaro, James, and Hessam Sarjoughian. "Design of Distributed Simulation Environments: A Unified System-Theoretic and Logical Processes Approach." SIMULATION 80, no. 11 (2004): 577–89. http://dx.doi.org/10.1177/0037549704050919.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Mello, Patricia Alencar Silva, Mario Gomes Schapiro, and Nelson Marconi. "Targeting economic development with science and technology parks and gateway cities: Schumpeterian possibilities of new developmental states in fostering local and global development." Brazilian Journal of Political Economy 40, no. 3 (2020): 462–83. http://dx.doi.org/10.1590/0101-31572020-3114.

Full text

Abstract:

ABSTRACT In this paper, we investigate how innovative environments as a local strategic policy with particular features of the new entrepreneurial developmental state associated to what we call a Schumpeterian-style of policy can transform regions of middle-income countries, like Brazil. In particular, we sought to answer the following research question: how the São José dos Campos Science and Technology Park (STP-SJC) has been used as a tool to promote regional development? To answer it, having a logical model of this policy in perspective, we focus on this environment’s main objectives and

APA, Harvard, Vancouver, ISO, and other styles

18

Semenov, Serhii, Serhii Yenhalychev, Maxim Pochebut, and Oksana Sitnikova. "Models of data processing and logical access segregation considering the heterogeneity of entities in information systems." INNOVATIVE TECHNOLOGIES AND SCIENTIFIC SOLUTIONS FOR INDUSTRIES, no. 2(28) (June 30, 2024): 143–52. http://dx.doi.org/10.30837/2522-9818.2024.28.143.

Full text

Abstract:

The subject of the research is the process of logical access segregation to data in information systems. The aim of the article is to improve the accuracy and reliability of modeling processes for data processing and logical access segregation considering the heterogeneity of entities in information systems. The tasks to be solved include: conducting a comparative analysis of modern data access distribution models, integrating simpler role-based models, synthesizing hierarchical role-based models, developing enforced typing models based on trust relationships, and presenting the main provision

APA, Harvard, Vancouver, ISO, and other styles

19

Pasha, Obed Q., Theodore H. Poister, and Lauren H. Edwards. "Mutual Relationship of Strategic Stances and Formulation Methods, and Their Impacts on Performance in Public Local Transit Agencies." Administration & Society 50, no. 6 (2015): 884–910. http://dx.doi.org/10.1177/0095399715587524.

Full text

Abstract:

This study is a continuation of previous work that emphasizes an alignment between the internal management (strategy formulation) of public organizations and their environment (strategic stance). As public organizations formulate strategy through strategic planning or logical incrementalism, they relate to their external environments through the strategy stances of prospector or defender. Current research asserts that organizations with a prospector stance perform better when they adopt logical incrementalism, whereas organizations with a defender stance perform better when they formulate thei

APA, Harvard, Vancouver, ISO, and other styles

20

Akanksha Mishra. "A Review of Physical and Logical Design in IoT: Comparative Analysis of Devices, Protocols, Communication Models, and APIs." International Journal of Scientific Research in Computer Science, Engineering and Information Technology 10, no. 5 (2024): 159–75. http://dx.doi.org/10.32628/cseit2410595.

Full text

Abstract:

The Internet of Things (IoT) has emerged as a transformative technology, enabling connectivity and data exchange among a vast network of devices. This paper presents a comprehensive comparative analysis of the physical and logical design elements of IoT systems, focusing on IoT devices, communication protocols, models, and APIs (REST and WebSocket). The research highlights the critical role that both physical and logical components play in ensuring efficient, secure, and scalable IoT deployments. By examining the integration of these aspects, the paper aims to provide insights for optimizing I

APA, Harvard, Vancouver, ISO, and other styles

21

Li, Yuqian, Shuai Lu, Weiguo Xu, and Yingzhou Gao. "Logic-Driven and Technology-Supported Creativity Development Model in Open-Ended Design Tasks." Buildings 15, no. 6 (2025): 871. https://doi.org/10.3390/buildings15060871.

Full text

Abstract:

The increasing reliance on digital tools in architectural education has transformed design workflows, offering new opportunities for creativity while posing challenges to students’ logical reasoning and structured problem-solving abilities. While digital tools facilitate automation and generative design, over-reliance on them can limit students’ ability to navigate design complexity independently. Addressing this issue, this study develops the Logic-Driven and Technology-Supported Creativity Development Model to examine the roles of logical frameworks, digital tools, and open-ended design task

APA, Harvard, Vancouver, ISO, and other styles

22

Wati, Rotma, Risnanosanti Risnanosanti, and Winda Ramadianti. "Students' Mathematical Logical Thinking Skills through Kite Making in STEM Education." Journal of Mathematics Instruction, Social Research and Opinion 4, no. 1 (2025): 129–38. https://doi.org/10.58421/misro.v4i1.365.

Full text

Abstract:

This study investigates the enhancement of students' mathematical and logical thinking skills through kite-making activities using the STEM approach. Conducted with 28 ninth-grade students at SMP Negeri 03 Bengkulu Tengah, this qualitative descriptive research utilized observation, documentation, and interviews for data collection. Data were analyzed using the Miles and Huberman model, focusing on integrating geometry, measurement, and symmetry within the kite-making process. The findings reveal that STEM-based kite-making activities significantly improve students' logical reasoning and proble

APA, Harvard, Vancouver, ISO, and other styles

23

Greenhalgh, Chris, Adrian Bullock, Emmanuel Frécon, David Lloyd, and Anthony Steed. "Making Networked Virtual Environments Work." Presence: Teleoperators and Virtual Environments 10, no. 2 (2001): 142–59. http://dx.doi.org/10.1162/105474601750216777.

Full text

Abstract:

Collaborative virtual environments (CVEs) are a promising technology enabling remote participants to share a common place through three-dimensional graphical scenes. Within the COVEN project (Normand, 1999), we have run prolonged series of Internet trials that have allowed us to gather valuable data to formulate usability guidelines and networking requirements. However, running such trials in a real setting and making sure that the application and networking infrastructures will be stable enough is still a challenge. In this paper, we describe some of our experiences, together with the technic

APA, Harvard, Vancouver, ISO, and other styles

24

Jiang, Wenchao, Yanhong Zhou, Hai Jin, and Matthias Baumgarten. "A novel service scheduling policy based on logical subnet partitioning in Bio-Grid environments." International Journal of Grid and Utility Computing 2, no. 2 (2011): 85. http://dx.doi.org/10.1504/ijguc.2011.040596.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Xia, Guobin, Philip Henry, Muzi Li, Francisco Queiroz, Stephen Westland, and Luwen Yu. "A Comparative Study of Colour Effects on Cognitive Performance in Real-World and VR Environments." Brain Sciences 12, no. 1 (2021): 31. http://dx.doi.org/10.3390/brainsci12010031.

Full text

Abstract:

This research explores the influence of colour on cognitive performance and intellectual abilities (i.e., logical and lateral thinking abilities and people’s attention to detail) in a conventional laboratory setting and an approximately identical virtual reality (VR) environment. Comparative experiments using psychological methods were carried out in both settings to explore the impact of immersive colour experience. This work builds on earlier studies that suggest that the VR environment enhances user experiences, with results evidencing that a considered approach to colour design can trigger

APA, Harvard, Vancouver, ISO, and other styles

26

Khorsheed, Murad B., Qasim M. Zainel, Oday A. Hassen, and Saad M. Darwish. "The Application of Fractal Transform and Entropy for Improving Fault Tolerance and Load Balancing in Grid Computing Environments." Entropy 22, no. 12 (2020): 1410. http://dx.doi.org/10.3390/e22121410.

Full text

Abstract:

This paper applies the entropy-based fractal indexing scheme that enables the grid environment for fast indexing and querying. It addresses the issue of fault tolerance and load balancing-based fractal management to make computational grids more effective and reliable. A fractal dimension of a cloud of points gives an estimate of the intrinsic dimensionality of the data in that space. The main drawback of this technique is the long computing time. The main contribution of the suggested work is to investigate the effect of fractal transform by adding R-tree index structure-based entropy to exis

APA, Harvard, Vancouver, ISO, and other styles

27

Polovikova, O. N., V. V. Shiryaev, N. M. Oskorbin, and L. L. Smolyakova. "Features of Software Implementation of Logical Tasks in Prolog." Izvestiya of Altai State University, no. 1(117) (March 17, 2021): 116–20. http://dx.doi.org/10.14258/izvasu(2021)1-20.

Full text

Abstract:

One of the promising areas for using Prolog-systems is to solve logical tasks. This study outlines a solution approach based on the state generation procedure and the verification procedure. A solution to a logical task is presented, which demonstrates in practice the proposed approach and method of specifying a procedure for generating states. In the proposed example, a bit chain is generated that defines the code of a particular letter in the solution of the applied problem. Building a solution by means of code generation with verification allows not storing in the knowledge base a binary tr

APA, Harvard, Vancouver, ISO, and other styles

28

Güçlü, Yıldıray. "Mantıksal Çözümlemeli Düşünme Yöntemlerinde Otantik Materyaller ile Gerçek Dünya Durumlarının Kullanımı." International Journal of Social Sciences 8, no. 34 (2024): 498–510. http://dx.doi.org/10.52096/usbd.8.34.28.

Full text

Abstract:

The aim of this study is to investigate the use of authentic materials and real-world situations in logical analytical thinking methods. Although the teaching programs and learning environments are well prepared, it is an obligation for teachers to have the necessary competencies in order to successfully achieve the goals of the program. Teachers who use logical analytical thinking method skills effectively and are expected to train individuals who think with logical analysis should have logical analytical thinking method knowledge, skills and tendencies, be able to apply methods and technique

APA, Harvard, Vancouver, ISO, and other styles

29

Zeng, Yajian, Xiaorong Hou, Xinrui Wang, and Junying Li. "Towards a Unified Temporal and Event Logic Paradigm for Multi-Hop Path Reasoning in Knowledge Graphs." Electronics 14, no. 3 (2025): 516. https://doi.org/10.3390/electronics14030516.

Full text

Abstract:

Path reasoning in knowledge graphs is a pivotal task for uncovering complex relational patterns and facilitating advanced inference processes. It also holds significant potential in domains such as power electronics, where real-time reasoning over dynamic, evolving data is essential for advancing topology design and application systems. Despite its importance, traditional approaches often encounter substantial limitations when applied to dynamic, time-sensitive scenarios. These models typically fail to adequately capture intricate logical dependencies and demonstrate suboptimal performance in

APA, Harvard, Vancouver, ISO, and other styles

30

Mammadova, K. A., and A. A. Aliyeva. "Simulation of the Logical Control System of Mobile Robots in a Fuzzy Environment." Herald of Azerbaijan Engineering Academy 17, no. 1 (2025): 105–13. https://doi.org/10.52171/herald.250.

Full text

Abstract:

In the realization of mobile robots, it is very important to apply a fuzzy logic control system for effective navigation and decision making in complex environments. The purpose of this paper is to investigate the steps of creating a fuzzy logic control system and different moments in time and select the optimal path. Fuzzy logic control systems are especially suitable for mobile robots due to the uncertainty and the possibility of approximate logical control. Unlike classical logical Boolean logic (true or false), fuzzy logic allows for varying degrees of accuracy, making it ideal for situati

APA, Harvard, Vancouver, ISO, and other styles

31

Lim, JongBeom. "Adaptive Scheduling Based on Intelligent Agents in Edge-Cloud Computing Environments." Journal of Internet Technology 25, no. 4 (2024): 609–17. http://dx.doi.org/10.70003/160792642024072504011.

Full text

Abstract:

Scheduling in cloud computing environments has been extended to support the Internet of Things (IoT) applications, which require additional quality of services such as energy consumption and real-time properties. To this end, edge-cloud computing environments are prevalently deployed by encompassing the fog management layer. However, traditional scheduling techniques for cloud tasks have limited capabilities to support real-time properties required for IoT applications. In this paper, we propose a deep learning-based dynamic cloud scheduling technique using intelligent agents, which intelligen

APA, Harvard, Vancouver, ISO, and other styles

32

Colgate, J. E. "Coordinate Transformations and Logical Operations for Minimizing Conservativeness in Coupled Stability Criteria." Journal of Dynamic Systems, Measurement, and Control 116, no. 4 (1994): 643–49. http://dx.doi.org/10.1115/1.2899263.

Full text

Abstract:

Often it is desirable to guarantee that a manipulator will remain stable when contacting any member of some set of environments. Coupled stability criteria based on passivity may be used to provide such a guarantee, but may be arbitrarily conservative depending on the environment set. In this paper, two techniques for reducing conservativeness are introduced. The first is based on a canonical coordinate transformation which enables an environment set viewed in the frequency domain to be conformally mapped to the interior of the unit circle. A stability criterion is then derived via the small g

APA, Harvard, Vancouver, ISO, and other styles

33

HONSELL, FURIO, LUIGI LIQUORI, PETAR MAKSIMOVIĆ, and IVAN SCAGNETTO. "Plugging-in proof development environments usingLocksinLF." Mathematical Structures in Computer Science 28, no. 9 (2018): 1578–605. http://dx.doi.org/10.1017/s0960129518000105.

Full text

Abstract:

We present two extensions of theLFconstructive type theory featuring monadiclocks. A lock is a monadic type construct that captures the effect of anexternal call to an oracle. Such calls are the basic tool forplugging-inand gluing together, different metalanguages and proof development environments. Oracles can be invoked either to check that a constraint holds or to provide a witness. The systems are presented in thecanonical styledeveloped by the ‘CMU School.’ The first system,CLLF𝒫, is the canonical version of the systemLLF𝒫, presented earlier by the authors. The second system,CLLF𝒫?, featu

APA, Harvard, Vancouver, ISO, and other styles

34

CIRSTEA, HORATIU, and MARIBEL FERNÁNDEZ. "Rewriting calculi, higher-order reductions and patterns: introduction." Mathematical Structures in Computer Science 18, no. 3 (2008): 427–29. http://dx.doi.org/10.1017/s0960129508006737.

Full text

Abstract:

The integration of first-order and higher-order paradigms has been one of the main challenges in the design of both declarative programming languages and proof environments. It has led to the development of new computation models and new logical frameworks, which have been obtained by enriching first-order rewriting with higher-order capabilities or by adding algebraic features to the λ-calculus.

APA, Harvard, Vancouver, ISO, and other styles

35

Bushchak, Ihor, and Yuliia Makarii. "THE USE OF ROBOTIC DEVICES IN PRESCHOOL CLASSES FOR THE DEVELOPMENT OF LOGICAL THINKING." Collection of Scientific Papers of Uman State Pedagogical University, no. 2 (June 24, 2021): 51–59. http://dx.doi.org/10.31499/2307-4906.2.2021.236634.

Full text

Abstract:

The progressive development of all activities in society requires determination in the modernization of education. The preschool education system is affected by significant changes in the restructuring of the subject and developmental environment in preschool education. It still needs new natural and accessible solutions of the teachings methods for children. Since the basic and initial concepts are formed in early childhood, it is impossible to ignore this period of human life. One of the most important cornerstones for harmonious development is the forming of logical thinking. Under the infl

APA, Harvard, Vancouver, ISO, and other styles

36

Suyama, Masaki, and Kosuke Sato. "Investigation Into Open-Ended Fitness Landscape Through Evolutionary Logical Circuits." Letters on Evolutionary Behavioral Science 11, no. 2 (2020): 31–36. http://dx.doi.org/10.5178/lebs.2020.78.

Full text

Abstract:

Cumulative cultural evolution is what made humanity to thrive in various ecological and demographic environments. Solutions to the tasks that humans needed to solve could be mapped onto a task space which could take the form of either closed or open-ended fitness landscape, with the former being modeled more extensively than the latter in studies of cultural evolution. In this article, we modified a simulation by Arthur and Polak (2006) that modeled open-ended fitness landscape by using a computer simulation that builds logical circuits with circuits that were built in earlier trials. We used

APA, Harvard, Vancouver, ISO, and other styles

37

Onesimus Laia, Harun, Bambang Avip Priatna Martadiputra, and Jarnawi Afgani Dahlan. "The effect of logical-mathematical intelligence on mathematics learning and moderator analysis: A meta-analysis." Al-Jabar : Jurnal Pendidikan Matematika 16, no. 1 (2025): 129–49. https://doi.org/10.24042/ajpm.v16i1.25539.

Full text

Abstract:

Purpose: This study explores the contribution of logical-mathematical intelligence to students' mathematics learning and investigates whether certain contextual factors act as moderators of this relationship. Method: A meta-analysis was conducted by synthesizing findings from empirical studies published between 2014 and 2024. The research followed a systematic review protocol using the PRISMA method, selecting only quantitative studies that focused on the relationship between logical-mathematical intelligence and variables in mathematics education. Data from eligible studies were analyzed usin

APA, Harvard, Vancouver, ISO, and other styles

38

Appleyard, Hal. "A Strategy to Establish Trees among High-Density Housing." Arboriculture & Urban Forestry 26, no. 2 (2000): 78–86. http://dx.doi.org/10.48044/jauf.2000.009.

Full text

Abstract:

High-density housing (HDH) ranks as one of the most hostile of planting environments. The best success rates are realized after the implementation of a planned tree-planting strategy. A strategy converts what is commonly addressed as an annual one-off task into an allencompassing process of events, which when placed into a logical order provide optimal circumstances for ensuring successful tree establishment. The tree-planting strategy developed in Lambeth, United Kingdom, based on observations and consultation with users, has proved to reduce failure rates. It is possible to apply the princip

APA, Harvard, Vancouver, ISO, and other styles

39

Tashi Garg. "Effective visualization of large-scale data center networks topology." World Journal of Advanced Engineering Technology and Sciences 15, no. 3 (2025): 540–46. https://doi.org/10.30574/wjaets.2025.15.3.0959.

Full text

Abstract:

This article explores strategies for effective visualization of large-scale data center network topologies through hierarchical organization and intuitive interface design. The article addresses the inherent challenges of visual clutter, rendering performance, and cognitive overload when monitoring complex infrastructure environments. Key techniques include logical grouping of nodes by both physical location and functional purpose, implementation of intuitive navigation patterns with drill-down capabilities, integration of interactive UI elements, and application of performance optimization te

APA, Harvard, Vancouver, ISO, and other styles

40

Hao, Wendong. "Research on the Rehabilitation Medical Space Design Update Based on the Needs of Children with Autism." Communications in Humanities Research 48, no. 1 (2024): 41–51. http://dx.doi.org/10.54254/2753-7064/48/20240172.

Full text

Abstract:

Abstract: This study aims to explore and summarize the relationship between the psychological development of children with autism and the redesign of modern public medical environments, from the perspectives of their basic characteristics and needs, interior functional spaces, and interior design strategies. The research employs methods including literature analysis, field investigations, interdisciplinary studies, and comparative analysis, focusing on the logical relationship of identifying, analyzing, and solving problems. Taking the current state of rehabilitation medical environments as th

APA, Harvard, Vancouver, ISO, and other styles

41

Gorokhov, M. M., and P. M. Kurguzkin. "Information and Logic Model Development Natural Engineering System Environmental Monitoring." Intellekt. Sist. Proizv. 22, no. 2 (2024): 41–48. http://dx.doi.org/10.22213/2410-9304-2024-2-41-48.

Full text

Abstract:

Environmental monitoring is the main source of information on the current environment state and its changes associated with man-made and anthropogenic impact. The system of environmental monitoring of increased danger technogenic objects includes state observations of air and water environments, soil snow cover, as well as monitoring of flora and fauna, including biotesting and bioindication. An example of an integrated approach to organizing the environment conditionobserving system is environmental monitoring in the zone of chemical weapons destruction facilities. The results of monitoring a

APA, Harvard, Vancouver, ISO, and other styles

42

Minin, Igor V., and Oleg V. Minin. "PROBLEMS OF TERAHERTZ RADIATION METROLOGY IN MEDICINE." Vestnik SSUGT (Siberian State University of Geosystems and Technologies) 26, no. 3 (2021): 162–80. http://dx.doi.org/10.33764/2411-1759-2021-26-3-162-180.

Full text

Abstract:

The purpose of this work is to consider the issue of safe propagation of terahertz radiation in bio-logical objects. The article gives a brief review of studies of the influence mechanisms of terahertz radiation on biological environments. It considers optical characteristics of blood and its components in the THz frequency range. It is found that the boundaries of the terahertz wavelength range are not precisely defined. It is established that the recently discovered "photon jet" effect allows terahertz ra-diation to penetrate biological objects to considerable depths, due to the effect of a

APA, Harvard, Vancouver, ISO, and other styles

43

Niven, BS. "Logical Synthesis of an Animals Environment - Sponges to Non-Human Primates .3. The Rat Tapeworm, Hymenolepis-Diminuta." Australian Journal of Zoology 36, no. 1 (1988): 1. http://dx.doi.org/10.1071/zo9880001.

Full text

Abstract:

The environment of the rat tapeworm, H. diminuta, is classified according to the defining equations given in the first paper of this series. Two envirograms are presented: they display the objects within the environments of larva and adult in their correct places. Notes on the envirograms include informal versions of the appropriate defining equations that are used for the classification.

APA, Harvard, Vancouver, ISO, and other styles

44

Niven, BS. "Logical Synthesis of an Animals Environment - Sponges to Non-Human Primates .1. Primitive Terms and Definitions." Australian Journal of Zoology 35, no. 6 (1987): 597. http://dx.doi.org/10.1071/zo9870597.

Full text

Abstract:

This paper is the first in a series on the environment of the freshwater sponge, Spongilla lacustris, the rat tapeworm, Hymenolepis diminuta, the common octopus, Octopus vulgaris, the cane toad, Bufo marinus, and the chimpanzee, Pan troglodytes. A new version is given of the formal symbolic definition of total environment, which was published by Niven (Erkenntnis, 1982, 17, 307-20). Informal defining equations are then presented, with examples from the environments of the five species of the study.

APA, Harvard, Vancouver, ISO, and other styles

45

Gordillo, Sandra, and Alec E. Aitken. "Palaeoenvironmental Interpretation of Late Quaternary Marine Molluscan Assemblages, Canadian Arctic Archipelago." Géographie physique et Quaternaire 54, no. 3 (2002): 301–15. http://dx.doi.org/10.7202/005650ar.

Full text

Abstract:

Abstract This study examines neonto- logical and palaeontological data pertaining to arctic marine molluscs with the goal of reconstructing the palaeoecology of Late Quaternary ca. 12-1 ka BP glaciomarine environments in the Canadian Arctic Archipelago. A total of 26 taxa that represent 15 bivalves and 11 gastropods were recorded in shell collections recovered from Prince of Wales, Somerset, Devon, Axel Heiberg and Ellesmere islands. In spite of taphonomic bias, the observed fossil faunas bear strong similarities to modern benthic molluscan faunas inhabiting high latitude continental shelf env

APA, Harvard, Vancouver, ISO, and other styles

46

Sakellariou, Maria, Maria Banou, Eleni Loizou, and Charilaos Zaragas. "Views of Greek Primary Education Professionals on the Utilisation of Play within Preschool and School Environments." East African Scholars Journal of Education, Humanities and Literature 7, no. 02 (2024): 40. http://dx.doi.org/10.36349/easjehl.2024.v07i02.002.

Full text

Abstract:

Although play comprises a key factor for children’s learning and development, it seems not to be connected with learning or utilised for pedagogical purposes, by a large part of the educational community within Greek preschool environments. This study, conducted during the 2019-2020 school year, aims at exploring, with the aid of a questionnaire, the views of kindergarten educators (N:715) and elementary school teachers (N:793) throughout Greece, regarding play and its utilisation as a didactic tool in kindergarten and elementary school. The investigational data showed that within school envir

APA, Harvard, Vancouver, ISO, and other styles

47

Martins Vasconcellos, Daniella, Laís Pisetta Van Vossen, Maria Teresa Silva Santos, and Karine Alessandra Cordova. "Escape Programado: Um jogo para ensinar pensamento computacional em ambiente de realidade virtual." Anais do Computer on the Beach 16 (May 27, 2025): 622–24. https://doi.org/10.14210/cotb.v16.p622-624.

Full text

Abstract:

ABSTRACTGiven the recent popularity of escape rooms, dynamics like thesecan be used in the classroom to stimulate teamwork, and theirimplementation in virtual reality (VR) environments can bringbenefits such as increased student engagement. Therefore, thisarticle proposes a game titled Escape Programado, which utilizesa VR environment to build an escape room, with challenges thatstimulate computational logical thinking in players. As results,a prototype of the first phase and the structuring of the game’sdynamics were presented.

APA, Harvard, Vancouver, ISO, and other styles

48

O’Beirne-Ryan, Anne Marie. "11. Question Me an Answer: Re-awakening the Art of Inquiry in Post-Secondary Science Education." Collected Essays on Learning and Teaching 1 (July 1, 2011): 66. http://dx.doi.org/10.22329/celt.v1i0.3180.

Full text

Abstract:

In our science learning and teaching environment, how often do we present science as a body of facts, or at best, a compendium of knowledge to which we can add more information, if we ask the “right” questions? In reality, the nature of science is significantly more complex, and the number of iterations we go through to resolve a given inquiry is often considerable. Similarly, how often do we vocalize the hope that our students will develop critical thinking, yet in reality, encourage only logical, linear thinking? Would science become more inclusive if we actually encouraged creative and dive

APA, Harvard, Vancouver, ISO, and other styles

49

Nabiryo, Nancy R., and Samuel Sekiziyivu. "The Influence of Classroom Environments on English Language Writing Instruction and Learning." Journal of Language Teaching and Research 10, no. 1 (2019): 68. http://dx.doi.org/10.17507/jltr.1001.08.

Full text

Abstract:

Writing is one of the four language skills. Writing plays a big role in helping individuals clarify their thoughts, to the nation for storing information and in the academic world for taking notes and expressing logical arguments. Unfortunately, society still complains that school leavers do not know how to write indicating that either they were not taught writing or that the classroom environments where they were taught were not adequate enough to prepare them for the kind of writing they would need after school. This paper explores the influence of classroom environments on the teaching and

APA, Harvard, Vancouver, ISO, and other styles

50

Anila, Gogineni. "Isolation Techniques for Preventing Cascading Failures in Multi-Tenant Multi-Cluster Environments." International Journal of Leading Research Publication 5, no. 4 (2024): 1–11. https://doi.org/10.5281/zenodo.14769609.

Full text

Abstract:

This paper discusses measures that can be employed to avoid domino effects in multi-tenant, multi-cluster architecture that is common in contemporary cloud systems. This paper aims at reviewing logical, physical, resource, fault, and network isolation techniques with a view of ascertaining how they curb failure domino effects across tenants. These advanced techniques demonstrate the necessity and care to be taken while choosing and deploying these techniques so as to combine low error handling with system performance. Finally, some suggestions about distance semantics implementation for large-

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!