Log in

Relevant bibliographies by topics / Description logics with spatial operators / Journal articles

To see the other types of publications on this topic, follow the link: Description logics with spatial operators.

Journal articles on the topic 'Description logics with spatial operators'

Author: Grafiati

Published: 11 March 2023

Last updated: 31 July 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 'Description logics with spatial operators.'

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

Schoop, D., and J. Bernauer. "Formal Classification of Medical Concept Descriptions: Graph-Oriented Operators." Methods of Information in Medicine 37, no. 04/05 (1998): 510–17. http://dx.doi.org/10.1055/s-0038-1634546.

Full text

Abstract:

AbstractA crucial component of a medical concept representation system is the classifier. It requires features that are not sufficiently supported by current logic based formalisms like description logics and conceptual graphs. Those features are, for instance, the representation of partitive and spatial relations and their impact on sUbsumption. This paper introduces graph oriented classification operators for a concept representation language with normal forms. Emphasis is on the separation of generic and partitive relations and on the mutual interdependence of sUbsumption and part-whole. Fo

APA, Harvard, Vancouver, ISO, and other styles

2

MARTSENYUK, VASYL, IGOR ANDRUSHCHAK, NATALIIA KOZODII, YURII KRAVCHYK, ANDRIY SVERSTIUK, and YURI PALANIZA. "COMPARISON OF RESULTS OF NUMERICAL ANALYSIS OF SIMULATION OF CYBERPHYSICAL BIOSENSOR SYSTEMS." Herald of Khmelnytskyi National University. Technical sciences 319, no. 2 (2023): 202–12. http://dx.doi.org/10.31891/2307-5732-2023-319-1-202-212.

Full text

Abstract:

The article compares the results of numerical modeling of mathematical models of cyber-physical biosensor systems using lattice difference equations with time delay on hexagonal and rectangular lattices. The main attention is paid to the mathematical description of the dynamics of a discrete population in combination with the dynamic logic of the studied models. Lattice difference equations with delay are proposed for modeling the antigen-antibody interaction in hexagonal and rectangular biopixels. Similar to the diffusion phenomenon, spatial operators are considered to model the interaction b

APA, Harvard, Vancouver, ISO, and other styles

3

Nascimento, Maikon, Jing Li, and Dileepan Joseph. "Efficient Pipelined Circuits for Histogram-based Tone Mapping of Nonlinear CMOS Image Sensors." Journal of Imaging Science and Technology 65, no. 4 (2021): 40503–1. http://dx.doi.org/10.2352/j.imagingsci.technol.2021.65.4.040503.

Full text

Abstract:

Abstract Tone mapping is extensively researched to address the issue of displaying high dynamic range (DR) scenes on low DR displays. Even though several tone-mapping operators (TMOs) exist, not all are designed for hard real time. The operator has to be capable of scaling up the spatial resolution without compromising the frame rate. The implementation of a TMO should also be simple enough to embed in low-cost platforms for imaging systems. A computationally efficient, and well accepted, class of TMOs are global ones based on histograms. This work presents a method to implement TMOs that use

APA, Harvard, Vancouver, ISO, and other styles

4

Lehmann, Jens, and Pascal Hitzler. "Concept learning in description logics using refinement operators." Machine Learning 78, no. 1-2 (2009): 203–50. http://dx.doi.org/10.1007/s10994-009-5146-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Kamide, Norihiro. "Linear and affine logics with temporal, spatial and epistemic operators." Theoretical Computer Science 353, no. 1-3 (2006): 165–207. http://dx.doi.org/10.1016/j.tcs.2005.10.043.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Sofronie-Stokkermans, Viorica. "Locality and Applications to Subsumption Testing in EL and Some of its Extensions." Scientific Annals of Computer Science XXIII, no. 2 (2013): 251–84. https://doi.org/10.7561/SACS.2013.2.251.

Full text

Abstract:

In this paper we show that subsumption problems in the description logics EL and EL<sup>+</sup> can be expressed as uniform word problems in classes of semilattices with monotone operators. We use possibilities of efficient local reasoning in such classes of algebras, to obtain uniform PTIME decision procedures for TBox and CBox subsumption in EL and EL<sup>+</sup>. These locality considerations allow us to present a new family of (possibly many-sorted) logics which extend EL and EL<sup>+</sup> with n-ary roles and/or numerical domains.

APA, Harvard, Vancouver, ISO, and other styles

7

Fanizzi, Nicola. "Concept Induction in Description Logics Using Information-Theoretic Heuristics." International Journal on Semantic Web and Information Systems 7, no. 2 (2011): 23–44. http://dx.doi.org/10.4018/jswis.2011040102.

Full text

Abstract:

This paper presents an approach to ontology construction pursued through the induction of concept descriptions expressed in Description Logics. The author surveys the theoretical foundations of the standard representations for formal ontologies in the Semantic Web. After stating the learning problem in this peculiar context, a FOIL-like algorithm is presented that can be applied to learn DL concept descriptions. The algorithm performs a search through a space of candidate concept definitions by means of refinement operators. This process is guided by heuristics that are based on the available

APA, Harvard, Vancouver, ISO, and other styles

8

Klarman, Szymon, and Víctor Gutiérrez-Basulto. "Two-Dimensional Description Logics for Context-Based Semantic Interoperability." Proceedings of the AAAI Conference on Artificial Intelligence 25, no. 1 (2011): 215–20. http://dx.doi.org/10.1609/aaai.v25i1.7854.

Full text

Abstract:

Description Logics (DLs) provide a clear and broadly accepted paradigm for modeling and reasoning about terminological knowledge. However, it has been often noted, that although DLs are well-suited for representing a single, global viewpoint on an application domain, they offer no formal grounding for dealing with knowledge pertaining to multiple heterogeneous viewpoints — a scenario ever more often approached in practical applications, e.g. concerned with reasoning over distributed knowledge sources on the Semantic Web. In this paper, we study a natural extension of DLs, in the style of two-d

APA, Harvard, Vancouver, ISO, and other styles

9

Reznichenko, V. A., and O. V. Zakharova. "Description of the web service process. Tabular interpretation." PROBLEMS IN PROGRAMMING, no. 4 (December 2024): 99–113. https://doi.org/10.15407/pp2024.04.099.

Full text

Abstract:

Solving the tasks of web services at the process level is an actual problem for many years. This research is based on the previous ones, where the functional model of the web service and its tasks of this level are formalized by ontologies built on the basis of the descriptive logics. But the functional model is static and does not consider the behavior aspects of the web service. For a formalization of web service behavior, the descriptive logic should be extended by temporal operators. This is the focus of the research. To interpret temporal operators a tabular representation is used. This s

APA, Harvard, Vancouver, ISO, and other styles

10

Fernández-Duque, David, and Yoàv Montacute. "Dynamic Tangled Derivative Logic of Metric Spaces." Proceedings of the AAAI Conference on Artificial Intelligence 38, no. 9 (2024): 10509–16. http://dx.doi.org/10.1609/aaai.v38i9.28920.

Full text

Abstract:

Dynamical systems are abstract models of interaction between space and time. They are often used in fields such as physics and engineering to understand complex processes, but due to their general nature, they have found applications for studying computational processes, interaction in multi-agent systems, machine learning algorithms and other computer science related phenomena. In the vast majority of applications, a dynamical system consists of the action of a continuous `transition function' on a metric space. In this work, we consider decidable formal systems for reasoning about such struc

APA, Harvard, Vancouver, ISO, and other styles

11

Roussey, Catherine, François Pinet, and Michel Schneider. "Representations of Topological Relations Between Simple Regions in Description Logics." International Journal of Agricultural and Environmental Information Systems 4, no. 2 (2013): 50–69. http://dx.doi.org/10.4018/jaeis.2013040105.

Full text

Abstract:

This paper proposes an operational approach to (1) formalize, in Description Logics (DL), the topological relations between simple regions and (2) automatically check whether a set of relations is consistent. The solution allows for the use of traditional DL reasoners (Pellet, Fact++, etc.) to check the consistency of relations and detect the sources of error. The solution does not require any specific extension of the DL or reasoner. The authors demonstrate how to apply this approach with Protégé and Fact++. Different spatial relations in agricultural and environmental applications are also p

APA, Harvard, Vancouver, ISO, and other styles

12

Wang, Zhe, Kewen Wang, and Rodney Topor. "A New Approach to Knowledge Base Revision in DL-Lite." Proceedings of the AAAI Conference on Artificial Intelligence 24, no. 1 (2010): 369–74. http://dx.doi.org/10.1609/aaai.v24i1.7593.

Full text

Abstract:

Revising knowledge bases (KBs) in description logics (DLs) in a syntax-independent manner is an important, nontrivial problem for the ontology management and DL communities. Several attempts have been made to adapt classical model-based belief revision and update techniques to DLs, but they are restricted in several ways. In particular, they do not provide operators or algorithms for general DL KB revision. The key difficulty is that, unlike propositional logic, a DL KB may have infinitely many models with complex (and possibly infinite) structures, making it difficult to define and compute re

APA, Harvard, Vancouver, ISO, and other styles

13

Takahashi, Kazufumi, Masato Minamitsuji, and Hayato Motohashi. "Effective description of generalized disformal theories." Journal of Cosmology and Astroparticle Physics 2023, no. 07 (2023): 009. http://dx.doi.org/10.1088/1475-7516/2023/07/009.

Full text

Abstract:

Abstract Generalized disformal transformations enable us to construct the generalized disformal Horndeski theories, which form the most general class of ghost-free scalar-tensor theories to this date. We extend the effective field theory (EFT) of cosmological perturbations to incorporate these generalized disformal Horndeski theories. The main difference from the conventional EFT is that our extended EFT involves operators with higher spatial derivatives of the lapse function. Our EFT also accommodates the generalized disformal transformation of U-DHOST theories.

APA, Harvard, Vancouver, ISO, and other styles

14

Gnatenko, Anton Romanovich, and Vladimir Anatolyevich Zakharov. "On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic." Modeling and Analysis of Information Systems 28, no. 4 (2021): 356–71. http://dx.doi.org/10.18255/1818-1015-2021-4-356-371.

Full text

Abstract:

Sequential reactive systems are computer programs or hardware devices which process the flows of input data or control signals and output the streams of instructions or responses. When designing such systems one needs formal specification languages capable of expressing the relationships between the input and output flows. Previously, we introduced a family of such specification languages based on temporal logics $LTL$, $CTL$ and $CTL^*$ combined with regular languages. A characteristic feature of these new extensions of conventional temporal logics is that temporal operators and basic predica

APA, Harvard, Vancouver, ISO, and other styles

15

Ber, Florence, and Amedeo Napoli. "The Design of an Object-based System for Representing and Classifying Spatial Structures and Relations." JUCS - Journal of Universal Computer Science 8, no. (8) (2002): 751–73. https://doi.org/10.3217/jucs-008-08-0751.

Full text

Abstract:

Our work is concerned with the design of a knowledge-based system for recognizing agricultural landscape models on land-use maps. Landscape models are defined as sets of spatial structures and spatial relations. This paper focuses on the representation of topological relations inside an object-based representation system. In this system, relations are represented by objects with their own properties. We propose to define two types of properties: the first ones are concerned with relations as concepts while the second are concerned with relations as links between concepts. In order to represent

APA, Harvard, Vancouver, ISO, and other styles

16

Wolter, Frank, and Michael Zakharyaschev. "A logic for metric and topology." Journal of Symbolic Logic 70, no. 3 (2005): 795–828. http://dx.doi.org/10.2178/jsl/1122038915.

Full text

Abstract:

AbstractWe propose a logic for reasoning about metric spaces with the induced topologies. It combines the ‘qualitative’ interior and closure operators with ‘quantitative’ operators ‘somewhere in the sphere of radius r’ including or excluding the boundary. We supply the logic with both the intended metric space semantics and a natural relational semantics, and show that the latter (i) provides finite partial representations of (in general) infinite metric models and (ii) reduces the standard ‘ε-definitions’ of closure and interior to simple constraints on relations. These features of the relati

APA, Harvard, Vancouver, ISO, and other styles

17

Zhou, Jianlong, Ivan Lee, Bruce Thomas, Roland Menassa, Anthony Farrant, and Andrew Sansome. "In-Situ Support for Automotive Manufacturing Using Spatial Augmented Reality." International Journal of Virtual Reality 11, no. 1 (2012): 33–41. http://dx.doi.org/10.20870/ijvr.2012.11.1.2835.

Full text

Abstract:

In automotive manufacturing, quality inspection of spot welding demands excessive manual operations. Operators refer to a printed drawing of the testing body, with the inspection points marked on this drawing. Operators have to locate the matching spot on the drawing and the body manually to perform the inspection. Further more, different subsets of spots are inspected on different car bodies with a pre-determined sequence. This paper describes a system that projects visual data onto arbitrary surfaces for providing just-in-time information to a user in-situ within a physical work-cell. This s

APA, Harvard, Vancouver, ISO, and other styles

18

Chetverikov, V. N. "Linear Differential Operators Invertible in the Integro-differential Sense." Mathematics and Mathematical Modeling, no. 4 (December 13, 2019): 20–33. http://dx.doi.org/10.24108/mathm.0419.0000195.

Full text

Abstract:

The paper studies linear differential operators in derivatives with respect to one variable. Such operators include, in particular, operators defined on infinite prolongations of evolutionary systems of differential equations with one spatial variable. In this case, differential operators in total derivatives with respect to the spatial variable are considered. In parallel, linear differential operators with one independent variable are investigated. The known algorithms for reducing the matrix to a stepwise or diagonal form are generalized to the operator matrices of both types. These general

APA, Harvard, Vancouver, ISO, and other styles

19

Yip, K., and F. Zhao. "Spatial Aggregation: Theory and Applications." Journal of Artificial Intelligence Research 5 (August 1, 1996): 1–26. http://dx.doi.org/10.1613/jair.315.

Full text

Abstract:

Visual thinking plays an important role in scientific reasoning. Based on the research in automating diverse reasoning tasks about dynamical systems, nonlinear controllers, kinematic mechanisms, and fluid motion, we have identified a style of visual thinking, imagistic reasoning. Imagistic reasoning organizes computations around image-like, analogue representations so that perceptual and symbolic operations can be brought to bear to infer structure and behavior. Programs incorporating imagistic reasoning have been shown to perform at an expert level in domains that defy current analytic or num

APA, Harvard, Vancouver, ISO, and other styles

20

LEVIN, MICHAEL Y., and BENJAMIN C. PIERCE. "TinkerType: a language for playing with formal systems." Journal of Functional Programming 13, no. 2 (2003): 295–316. http://dx.doi.org/10.1017/s0956796802004550.

Full text

Abstract:

TinkerType is a pragmatic framework for compact and modular description of formal systems (type systems, operational semantics, logics, etc.). A family of related systems is broken down into a set of clauses – individual inference rules – and a set of features controlling the inclusion of clauses in particular systems. Simple static checks are used to help maintain consistency of the generated systems. We present TinkerType and its implementation and describe its application to two substantial repositories of typed lambda-calculi. The first repository covers a broad range of typing features, i

APA, Harvard, Vancouver, ISO, and other styles

21

Deagustini, Cristhian Ariel D., Maria Vanina Martinez, Marcelo A. Falappa, and Guillermo R. Simari. "Datalog+- Ontology Consolidation." Journal of Artificial Intelligence Research 56 (August 30, 2016): 613–56. http://dx.doi.org/10.1613/jair.5131.

Full text

Abstract:

Knowledge bases in the form of ontologies are receiving increasing attention as they allow to clearly represent both the available knowledge, which includes the knowledge in itself and the constraints imposed to it by the domain or the users. In particular, Datalog± ontologies are attractive because of their property of decidability and the possibility of dealing with the massive amounts of data in real world environments; however, as it is the case with many other ontological languages, their application in collaborative environments often lead to inconsistency related issues. In this paper w

APA, Harvard, Vancouver, ISO, and other styles

22

Ber, Florence, Amedeo Napoli, Jean-Luc Metzger, and Sylvie Lardon. "Modeling and Comparing Farm Maps using Graphs and Case-based Reasoning." JUCS - Journal of Universal Computer Science 9, no. (9) (2003): 1073–95. https://doi.org/10.3217/jucs-009-09-1073.

Full text

Abstract:

In this paper, we present the knowledgebased system rosa working on spatial and functional organizations in agriculture. The reasoning in rosa combines hierarchical classification, case-based reasoning, and qualitative spatial reasoning. The goal of the system is twofold: formalizing and building a case base holding on farm spatial and functional organizations, and helping the analysis of new cases. Domain knowledge and cases are modeled with the help of the so-called spatial organization graphs (sogs), and represented within a description logic system. Hierarchical case-based reasoning, invo

APA, Harvard, Vancouver, ISO, and other styles

23

Lyagushyn, S. F., A. I. Sokolovsky, and S. A. Sokolovsky. "Material equations in electrodynamics of medium consisting of two-level emitters." Journal of Physics and Electronics 27, no. 1 (2019): 9–18. http://dx.doi.org/10.15421/331902.

Full text

Abstract:

The process of self-ordering in the famous Dicke model was studied in the framework of eliminating the boson variables. But the reduced description method enables us to obtain also the picture of electromagnetic field evolution provided field amplitudes and correlation functions are included into the number of reduced description parameters. In the Dicke Hamiltonian structure the interaction term includes the operators of emitter dipole moments or dipole moment density (polarization) since a spatial system is under consideration. Thus operator evolution equations are based on using such operat

APA, Harvard, Vancouver, ISO, and other styles

24

Voskresenski, Valentin. "Monumental Memorialization of Political Violence in Bulgaria (1944 – 1989): beyond Traumatization, Contestation and Dangerization of Memory." Balkanistic Forum 30, no. 3 (2021): 49–73. http://dx.doi.org/10.37708/bf.swu.v30i3.3.

Full text

Abstract:

The article examines monumental memorialization of political violence in the period of communism in Bulgaria. The text reviews contemporary research presenting the topic of transitional justice, formation of victim’s identities and as part of post-communist cultural memory. A research is made of three theoretical approaches to understanding monumental memorialization – through traumatization, contestation or dangerization of memory and the social functions and meanings stemming from them. The analytical part represents a case study from Bulgaria, using ample empirical material – interviews, ar

APA, Harvard, Vancouver, ISO, and other styles

25

Kashapov, A. I., L. L. Doskolovich, E. A. Bezus, N. V. Golovastikov, and D. A. Bykov. "Second-order optical differentiation of a 3D light beam at oblique incidence using a multilayer metal-dielectric structure." Computer Optics 47, no. 6 (2023): 845–55. http://dx.doi.org/10.18287/2412-6179-co-1311.

Full text

Abstract:

We investigate the optical implementation of a second-order differentiation operation using a metal-dielectric layered structure in the oblique incidence geometry. It is shown that the transformation of the profile of a three-dimensional light beam occurring upon its reflection from a layered structure can be described using the theory of linear systems. The transfer function of the corresponding linear system is obtained, and it is shown that if a layered structure has a reflection zero of the second order with respect to the spatial frequency for one of the polarizations, the transformation

APA, Harvard, Vancouver, ISO, and other styles

26

Mironov, S. V., K. N. Dudkin, and A. K. Doudkine. "Separation of Figure from Ground as an Adaptive Image Processing." Perception 26, no. 1_suppl (1997): 270. http://dx.doi.org/10.1068/v970139.

Full text

Abstract:

We define the separation of figure from ground as a visual-attribute-dependent and task-dependent representation of sensory information in higher-level visual processes. A computer model for adaptive segmentation of 2-D visual objects (Dudkin et al, 1995 Proceedings of SPIE 122) was developed in these studies. The description and separation of figure from ground are implemented by spatial frequency filters and feature detectors performing as self-organising mechanisms. The simulation of control processes caused by attention (top - down), and lateral, frequency-selective, and cross-orientation

APA, Harvard, Vancouver, ISO, and other styles

27

Mittet, Rune, and Lasse Renlie. "High‐order, finite‐difference modeling of multipole logging in formations with anisotropic attenuation and elasticity." GEOPHYSICS 61, no. 1 (1996): 21–33. http://dx.doi.org/10.1190/1.1443942.

Full text

Abstract:

A realistic description of the formation seen by an acoustic logging tool includes intrinsic attenuation, anisotropy, and spatial variations of the formation properties. These features are included in finite‐difference (FD) modeling of acoustic full waveform multipole logging. Intrinsic attenuation is included using a phenomenological model that allows for many physical causes of attenuation, including viscous fluid flow losses, to be modeled. Furthermore, the attenuation, the corresponding velocity dispersion, and the elasticity can have any type of axisymmetric anisotropy. To increase comput

APA, Harvard, Vancouver, ISO, and other styles

28

Zhao, Jiahao. "Possible Implementations of Oracles in Quantum Algorithms." Journal of Physics: Conference Series 2386, no. 1 (2022): 012010. http://dx.doi.org/10.1088/1742-6596/2386/1/012010.

Full text

Abstract:

Abstract Quantum computing is an inspiring technic on solving complicate problems, which shows the superiority over the classical computing. Contemporarily, the quantum-based algorithms were invented in many purposes on solving those problems. The thing is some of the algorithms were composed with oracles, which can be treated as a black box. It can be worked out/analyzed in theoretical mathematical expressions, but it can never fall in the ground without those actual implementations. Therefore, this paper will illustrate the idea and possible implementations on some quantum algorithm. Among v

APA, Harvard, Vancouver, ISO, and other styles

29

Xu, Joseph, and John Laird. "Combining Learned Discrete and Continuous Action Models." Proceedings of the AAAI Conference on Artificial Intelligence 25, no. 1 (2011): 1449–54. http://dx.doi.org/10.1609/aaai.v25i1.7833.

Full text

Abstract:

Action modeling is an important skill for agents that must perform tasks in novel domains. Previous work on action modeling has focused on learning STRIPS operators in discrete, relational domains. There has also been a separate vein of work in continuous function approximation for use in optimal control in robotics. Most real world domains are grounded in continuous dynamics but also exhibit emergent regularities at an abstract relational level of description. These two levels of regularity are often difficult to capture using a single action representation and learning method. In this paper

APA, Harvard, Vancouver, ISO, and other styles

30

Chung, Nguyen Van. "Scaled boundary finite element method with circular defining curve for geo-mechanics applications." Journal of Science and Technology in Civil Engineering (STCE) - NUCE 13, no. 3 (2019): 124–34. http://dx.doi.org/10.31814/stce.nuce2019-13(3)-12.

Full text

Abstract:

This paper presents an efficient and accurate numerical technique based upon the scaled boundary finite element method for the analysis of two-dimensional, linear, second-order, boundary value problems with the domain completely described by a circular defining curve. The scaled boundary finite element formulation is established in a general framework allowing single-field and multi-field problems, bounded and unbounded bodies, distributed body source, and general boundary conditions to be treated in a unified fashion. The conventional polar coordinates together with a properly selected scalin

APA, Harvard, Vancouver, ISO, and other styles

31

Tsonkov, Nikolay, and Kamen Petrov. "New trends searching for urban transport management in the context of the regional development of Stara Zagora municipality." Journal of Infrastructure, Policy and Development 8, no. 8 (2024): 5820. http://dx.doi.org/10.24294/jipd.v8i8.5820.

Full text

Abstract:

The paper proposes a methodology for the analysis and evaluation of the traffic scheme of Bulgarian cities. The authors combine spatial, network, and socio-economic analyses of cities with transport operators’ financial-economic evaluation, sociological studies of transport habits, and the possibilities of new information technologies for transport modeling (such as geographic information systems). The model proposes several approaches to optimize the municipality’s transport scheme. It results from a new need to improve urban traffic, the quality of transport services, and the integration of

APA, Harvard, Vancouver, ISO, and other styles

32

Chan, King, and David A. Hoeltzel. "A knowledge-based user interface for the interactive design of three-dimensional objects." Artificial Intelligence for Engineering Design, Analysis and Manufacturing 2, no. 1 (1988): 1–16. http://dx.doi.org/10.1017/s0890060400000512.

Full text

Abstract:

A critical problem with existing computer-based geometric modeling is the labor intensive task involved in specifying data input for the description of three-dimensional (3-D) objects. This paper describes a new, 3-D input system aimed at alleviating this problem. It is based on the use of a three-dimensional digitizer for the direct input of spatial coordinates, and an intelligent interactive user interface. The intent of this system is to create a high level, intelligent interface between the designer and a geometric solid modeler which would lighten the designer's burden in performing arduo

APA, Harvard, Vancouver, ISO, and other styles

33

Sokolovsky, A., and S. Lyagushyn. "Ferromagnetism methods in the theory of superradiance." Low Temperature Physics 51, no. 3 (2025): 323–31. https://doi.org/10.1063/10.0035835.

Full text

Abstract:

Superradiance, both optical and acoustic, is one of the most important methods of generating the coherent pulses and obtaining the information about emitters via resonant phenomena. The process of ordering in a system of excited emitters, which results in a powerful short radiation pulse, is described with correlation functions of emitter and field parameters. Their behavior is problem of interest, especially in a spatial system. The known theoretical approaches to such questions are based on using some ways of correlator decoupling, at the same time the validity and exactness of applied opera

APA, Harvard, Vancouver, ISO, and other styles

34

Aimrun, W., M. S. M. Amin, and M. H. Ezrin. "Small Scale Spatial Variability of Apparent Electrical Conductivity within a Paddy Field." Applied and Environmental Soil Science 2009 (2009): 1–7. http://dx.doi.org/10.1155/2009/267378.

Full text

Abstract:

Quick variability description is an important component for zone management practices. Precision farming requires topping up of only the nutrients that are lacking in the soil to attain the highest yield with the least input. The apparent soil electrical conductivity (ECa) sensor is a useful tool in mapping to identify areas of contrasting soil properties. In nonsaline soils,ECais a substitute measurement for soil texture. It is directly related to both water holding capacity and Cation Exchange Capacity (CEC), which are key ingredients of productivity. This sensor measures theECaacross a fiel

APA, Harvard, Vancouver, ISO, and other styles

35

Brennan, Ruth. "Making space for plural ontologies in fisheries governance: Ireland’s disobedient offshore islands." Maritime Studies 21, no. 1 (2022): 35–51. http://dx.doi.org/10.1007/s40152-021-00257-8.

Full text

Abstract:

AbstractThis paper contributes to the growing body of literature that engages with ontological scholarship on fisheries management and governance, and more generally, to debates on environmental governance. It argues that fisheries governance is an ontological challenge that raises questions of culture, equity, legitimacy and inclusion/exclusion, requiring more context-sensitive and politically aware fisheries governance approaches. By engaging with the concept of political ontology, and drawing from empirical research carried out in Ireland’s offshore islands, five ontological assumptions are

APA, Harvard, Vancouver, ISO, and other styles

36

Delgrande, J. P., and R. Wassermann. "Horn Clause Contraction Functions." Journal of Artificial Intelligence Research 48 (November 12, 2013): 475–511. http://dx.doi.org/10.1613/jair.4031.

Full text

Abstract:

In classical, AGM-style belief change, it is assumed that the underlying logic contains classical propositional logic. This is clearly a limiting assumption, particularly in Artificial Intelligence. Consequently there has been recent interest in studying belief change in approaches where the full expressivity of classical propositional logic is not obtained. In this paper we investigate belief contraction in Horn knowledge bases. We point out that the obvious extension to the Horn case, involving Horn remainder sets as a starting point, is problematic. Not only do Horn remainder sets have unde

APA, Harvard, Vancouver, ISO, and other styles

37

SLOTA, MARTIN, JOÃO LEITE, and TERRANCE SWIFT. "Splitting and updating hybrid knowledge bases." Theory and Practice of Logic Programming 11, no. 4-5 (2011): 801–19. http://dx.doi.org/10.1017/s1471068411000317.

Full text

Abstract:

AbstractOver the years, nonmonotonic rules have proven to be a very expressive and useful knowledge representation paradigm. They have recently been used to complement the expressive power of Description Logics (DLs), leading to the study of integrative formal frameworks, generally referred to ashybrid knowledge bases, where both DL axioms and rules can be used to represent knowledge. The need to use these hybrid knowledge bases in dynamic domains has called for the development of update operators, which, given the substantially different way DLs and rules are usually updated, has turned out t

APA, Harvard, Vancouver, ISO, and other styles

38

Herrebrugh ‎, Ir A. V. "Gravity: Where Quantum Physics and Classical Physics finally merge." Hyperscience International Journals 4, no. 1 (2024): 1–9. http://dx.doi.org/10.55672/hij2024pp1-9.

Full text

Abstract:

In this 3rd paper of a triptych on quantum theory regarding gravity, quantum, and classical physics are merged seamlessly-however with conclusions deviating from classical physics regarding singularities, space-curvature, and graviton. Mathematically, singularities (Schwarzschild, Droste) vanish by proper definition of the gravity source and field descriptions acquiring full validity at the Planck scale. Space(-time) curvature is shown to be geodesic-trajectory curvature by (energy) objects in the field of (a) gravity source(s). The gravity field is found to be a scalar field in which the traj

APA, Harvard, Vancouver, ISO, and other styles

39

Navarro-Ruiz, Sandra, Ana B. Casado-Díaz, and Josep Ivars-Baidal. "Cruise tourism: the role of shore excursions in the overcrowding of cities." International Journal of Tourism Cities 6, no. 1 (2019): 197–214. http://dx.doi.org/10.1108/ijtc-04-2018-0029.

Full text

Abstract:

Purpose The purpose of this paper is to provide a deeper understanding of the relevance of shore excursions in the distribution of cruise passenger flows; an approach which has been overlooked by many studies on cruise tourism. Specifically, the paper focuses on two destinations: Barcelona, a mature cruise destination suffering from the impact of overcrowding; and Valencia, an emerging cruise destination facing the risk of future (similar) impacts. Design/methodology/approach The method used is multiple-case study with replication logic. First, web content analysis is conducted of shore excurs

APA, Harvard, Vancouver, ISO, and other styles

40

Avci, Derya, Eroğlu İskender, and Necati Özdemir. "The Dirichlet problem of a conformable advection-diffusion equation." Thermal Science 21, no. 1 Part A (2017): 9–18. http://dx.doi.org/10.2298/tsci160421235a.

Full text

Abstract:

The fractional advection-diffusion equations are obtained from a fractional power law for the matter flux. Diffusion processes in special types of porous media which has fractal geometry can be modelled accurately by using these equations. However, the existing nonlocal fractional derivatives seem complicated and also lose some basic properties satisfied by usual derivatives. For these reasons, local fractional calculus has recently been emerged to simplify the complexities of fractional models defined by nonlocal fractional operators. In this work, the conformable, a local, well-behaved and l

APA, Harvard, Vancouver, ISO, and other styles

41

Land, Martin. "Covariant Representation of Spin and Entanglement—A Review and Reformulation." Symmetry 16, no. 11 (2024): 1465. http://dx.doi.org/10.3390/sym16111465.

Full text

Abstract:

A consistent theory of quantum entanglement requires that constituent single-particle states belong to the same Hilbert space, the coherent eigenstates of a complete set of operators in a given representation, defined with respect to a shared continuous parameterization. Formulating such eigenstates for a single relativistic particle with spin, and applying them to the description of many-body states, presents well-known challenges. In this paper, we review the covariant theory of relativistic spin and entanglement in a framework first proposed by Stueckelberg and developed by Horwitz, Piron,

APA, Harvard, Vancouver, ISO, and other styles

42

Fontes, Jassiel V. H., Paulo R. R. de Almeida, Harlysson W. S. Maia, et al. "Marine Accidents in the Brazilian Amazon: The Problems and Challenges in the Initiatives for Their Prevention Focused on Passenger Ships." Sustainability 15, no. 1 (2022): 328. http://dx.doi.org/10.3390/su15010328.

Full text

Abstract:

The Brazilian Amazon is part of one of the largest river systems in the world, in which the transport of cargo and passengers is commonplace. However, several accidents still occur to passenger ships, causing fatalities. Transportation occurs commonly in remote regions, where there are transport inequalities, and emergency assistance is hard to find. This can affect sustainability in communities with considerable levels of economic and social vulnerability. More information is needed about accidents involving inland transport in the Amazon, to identify the threats to ships and propose strategi

APA, Harvard, Vancouver, ISO, and other styles

43

Wilson, James H. "The quantum electrodynamics physical (QED-P) theory to complement quantum electrodynamics (QED)." Physics Essays 34, no. 1 (2021): 17–27. http://dx.doi.org/10.4006/0836-1398-34.1.17.

Full text

Abstract:

The electronic and muonic hydrogen energy levels are calculated very accurately [M. L. Eides, H. Grotch, and V. Shelyuto, Phys. Rep. 342, 63 (2001)] in Quantum Electrodynamics (QED) by coupling the Dirac Equation four vector c(α, I) current covariantly with the external electromagnetic (EM) field four vector in QED’s Interactive Representation. While QED has been extraordinarily successful computationally, it presents no physical description of the electron, or other charged leptons. The QED-Physical (QED-P) theory presented in this paper is equivalent to QED in that it is based only on the fo

APA, Harvard, Vancouver, ISO, and other styles

44

Stanley, Kieran M., Aoife Grant, Simon O'Doherty, et al. "Greenhouse gas measurements from a UK network of tall towers: technical description and first results." Atmospheric Measurement Techniques 11, no. 3 (2018): 1437–58. http://dx.doi.org/10.5194/amt-11-1437-2018.

Full text

Abstract:

Abstract. A network of three tall tower measurement stations was set up in 2012 across the United Kingdom to expand measurements made at the long-term background northern hemispheric site, Mace Head, Ireland. Reliable and precise in situ greenhouse gas (GHG) analysis systems were developed and deployed at three sites in the UK with automated instrumentation measuring a suite of GHGs. The UK Deriving Emissions linked to Climate Change (UK DECC) network uses tall (165–230 m) open-lattice telecommunications towers, which provide a convenient platform for boundary layer trace gas sampling. In this

APA, Harvard, Vancouver, ISO, and other styles

45

Chang, Ting-Ying, and Yihong Du. "Long-time dynamics of an epidemic model with nonlocal diffusion and free boundaries." Electronic Research Archive 30, no. 1 (2022): 289–313. http://dx.doi.org/10.3934/era.2022016.

Full text

Abstract:

<abstract><p>In this paper, we consider a reaction-diffusion epidemic model with nonlocal diffusion and free boundaries, which generalises the free-boundary epidemic model by Zhao et al. <sup>[<xref ref-type="bibr" rid="b1">1</xref>]</sup> by including spatial mobility of the infective host population. We obtain a rather complete description of the long-time dynamics of the model. For the reproduction number $ R_0 $ arising from the corresponding ODE model, we establish its relationship to the spreading-vanishing dichotomy via an associated eigenvalue proble

APA, Harvard, Vancouver, ISO, and other styles

46

Wilson, James H. "The QED-physical theory of electron spin and quantum entanglement." Physics Essays 35, no. 1 (2022): 5–14. http://dx.doi.org/10.4006/0836-1398-35.1.5.

Full text

Abstract:

The QED-Physical (QED-P) theory described in four previous papers [J. H. Wilson, Phys. Essays 28, 1 (2015); 29, 402 (2016); 31, 59 (2018); 34, 17 (2021)] is combined with QED into a single theory in this paper, since both are based on the same Dirac Equation four current c(α,I). QED couples this four-vector with an external electromagnetic (EM) field and uses covariant perturbation theory to produce results that are very accurate computationally [M. L. Eides et al., Phys. Rep. 342, 63 (2001)], except for the electron self-energy, which is infinite. The reason for QED’s accuracy is its Dirac eq

APA, Harvard, Vancouver, ISO, and other styles

47

Zhou, Hui, and Hamdi A. Tchelepi. "Operator-Based Multiscale Method for Compressible Flow." SPE Journal 13, no. 02 (2008): 267–73. http://dx.doi.org/10.2118/106254-pa.

Full text

Abstract:

Summary Multiscale methods have been developed for accurate and efficient numerical solution of flow problems in large-scale heterogeneous reservoirs. A scalable and extendible Operator-Based Multiscale Method (OBMM) is described here. OBMM is cast as a general algebraic framework. It is natural and convenient to incorporate more physics in OBMM for multiscale computation. In OBMM, two operators are constructed: prolongation and restriction. The prolongation operator is constructed by assembling the multiscale basis functions. The specific form of the restriction operator depends on the coarse

APA, Harvard, Vancouver, ISO, and other styles

48

Wilson, James H. "Completing Dirac’s work. The Dirac electron is a 2D hologram." Physics Essays 36, no. 4 (2023): 450–58. http://dx.doi.org/10.4006/0836-1398-36.4.450.

Full text

Abstract:

The QED-physical (QED-P) theory [J. H. Wilson, Phys. Essays 35, 5 (2022)] is actually the theory Dirac sought in 1962 in his attempt to predict the muon as an “extensible model of the electron.” Recently, Lerche attempted to produce a classical solution to Dirac’s equation for the radial motion of an extensible, basically classical, model of the electron. Both Dirac and Lerche proceeded in the wrong, classical direction in this effort. The QED-P center of charge (CoC) position operator is derived directly from the Dirac equation (DE) CoC velocity operator, cα with no ad hoc assumptions. QED-P

APA, Harvard, Vancouver, ISO, and other styles

49

Lake, Matthew J., Marek Miller, and Shi-Dong Liang. "Generalised Uncertainty Relations for Angular Momentum and Spin in Quantum Geometry." Universe 6, no. 4 (2020): 56. http://dx.doi.org/10.3390/universe6040056.

Full text

Abstract:

We derive generalised uncertainty relations (GURs) for orbital angular momentum and spin in the recently proposed smeared-space model of quantum geometry. The model implements a minimum length and a minimum linear momentum and recovers both the generalised uncertainty principle (GUP) and extended uncertainty principle (EUP), previously proposed in the quantum gravity literature, within a single formalism. In this paper, we investigate the consequences of these results for particles with extrinsic and intrinsic angular momentum and obtain generalisations of the canonical so ( 3 ) and su ( 2 ) a

APA, Harvard, Vancouver, ISO, and other styles

50

Dong, Ming, and Xuesong Wu. "On continuous spectra of the Orr–Sommerfeld/Squire equations and entrainment of free-stream vortical disturbances." Journal of Fluid Mechanics 732 (September 12, 2013): 616–59. http://dx.doi.org/10.1017/jfm.2013.421.

Full text

Abstract:

AbstractSmall-amplitude perturbations are governed by the linearized Navier–Stokes equations, which are, for a parallel or nearly parallel shear flow, customarily reduced to the Orr–Sommerfeld (O-S) and Squire equations. In this paper, we consider continuous spectra (CS) of the O-S and Squire operators for the Blasius and asymptotic suction boundary layers, and address the issue of whether and when continuous modes can represent free-stream vortical disturbances and their entrainment into the shear layer. For the Blasius boundary layer, we highlight two particular properties of the CS: (i) the

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!