296 Hits in 2.1 sec

Page 5769 of Mathematical Reviews Vol. , Issue 2000h [page]

2000 Mathematical Reviews  
This proof is generalised to a theorem about string rewriting systems.”  ...  This rewriting system is self-embedding, so the standard termination techniques which rely on Kruskal’s tree the- orem cannot be applied directly. N. Dershowitz and C.  ... 

Dependent Types for Class-based Mutable Objects

Joana Campos, Vasco T. Vasconcelos, Michael Wagner
2018 European Conference on Object-Oriented Programming  
By way of example, we implement insertion and deletion for binary search trees in an imperative style, and come up with types that ensure the binary search tree invariant.  ...  Similarly, dependent sum types, written Σa : I.T , generalise ordinary product types restricted to some constraint domain.  ...  The effort of programming in DOL is essentially to come up with the right type. We implement the binary search tree in an imperative style, allowing subtrees to be modified in place.  ... 
doi:10.4230/lipics.ecoop.2018.13 dblp:conf/ecoop/0002V18 fatcat:bic3asnwk5d75mtzybc6zxtuae

The Influence of Different Levels of Data Detail on Land use Change Analyses: A Case Study of Franciscan Cadastre for a Part of the Pannonian Hills, Slovenia

Jennifer Deriaz, Rok Ciglič, Mateja Ferk, Dénes Loczy
2019 European Countryside  
We can conclude that a comparison of modern data and historical data based on Franciscan Cadastre must include generalisation to a parcel level.  ...  An example of the Jareninski Dol (left: year 1824; right: year 2018, parcel level).  ...  trees other permanent crops individual trees meadows and pastures grassland overgrown areas individual trees riparian overgrowthfield forest trees on agricultural land individual trees forest  ... 
doi:10.2478/euco-2019-0019 fatcat:lzqitsvtrvchhartad4joloegy

Ontohub: A semantic repository for heterogeneous ontologies [article]

Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski, Fabian Neuhaus
2016 arXiv   pre-print
Ontohub supports a wide range of formal logical and ontology languages, as well as various structuring and modularity constructs and inter-theory (concept) mappings, building on the OMG-standardized DOL  ...  API, we have derived a generalised API for use with other evaluation services.  ...  Note that also structuring within repositories is possible, since each repository is a complete file system tree. • Secondly, repositories are Git repositories.  ... 
arXiv:1612.05028v1 fatcat:lbdztzlwgnclvnd3czvmd4naa4

Dynamic Impacts of Economic Growth and Forested Area on Carbon Dioxide Emissions in Malaysia

Rawshan Ara Begum, Asif Raihan, Mohd Nizam Mohd Said
2020 Sustainability  
Time series data over the period of 1990 to 2016 were used by employing the dynamic ordinary least squared (DOLS) approach.  ...  The results of DOLS estimation indicate that the coefficient of economic growth is positive and significant with CO2 emissions, meaning that RM1 million increase in gross domestic product (GDP) is associated  ...  Forests and their tree biomass absorb and store the atmospheric CO2, which is also called carbon sequestration, while due to deforestation/tree cutting, CO2 is released into the atmosphere.  ... 
doi:10.3390/su12229375 fatcat:wmsohosa3vb3ppb237tnqqkwly

Characterisation and pathogenicity of Cryphonectria parasitica on sweet chestnut and sessile oak trees in Serbia

Dragan Karadžić, Zlatan Radulović, Katarzyna Sikora, Zoran Stanivuković, Vesna Golubović Ćurguz, Tomasz Oszako, Ivan Milenković
2019 Plant Protection Science  
In field conditions, both isolates were aggressive to sessile oak trees after previous bark wounds and they were statistically significantly different compared to the control trees.  ...  Analysis of the variance was performed using a generalised linear model, with a significance level of α = 0.05.  ...  Two natural and two planted stands of sweet chestnut trees were sampled in southern Serbia in different localities near Vranje, including Kozji Dol, Milivojce, Muhovac and Sobina, respectively (Table  ... 
doi:10.17221/38/2018-pps fatcat:ki5kbvr2q5dvpgihxb4galxeaa

JPR volume 37 issue 1 Cover and Front matter

2000 Journal of Applied Probability  
DOUGLAS Zero-temperature Ising spin dynamics on the homogeneous tree of degree three ITOH, YOSHIAKI, MAEHARA, HIROSHI and TOKUSHIGE, NORI-HILDE Orientated graphs generated by random points on a circle  ...  The Galton-Watson process revisited: some martingale relationships available at Coordinating di or EDI DOl 0 I E  ... 
doi:10.1017/s0021900200015473 fatcat:4fgicts2k5hqtlhjkz4mqvi734

Chemical and biological investigations of a toxic plant from Central Africa, Magnistipula butayei subsp. montana

C. Karangwa, V. Esters, M. Frédérich, M. Tits, J.N. Kadima, J. Damas, A. Noirfalise, L. Angenot
2006 Journal of Ethnopharmacology  
Dol of original article:10.1016/j.jep.2005.08.019. Introduction Magnistipula butayei subsp. mori,tana (Hauman) F.  ...  Restricted seizures occurred more frequently than generalised seizures.  ... 
doi:10.1016/j.jep.2005.08.019 pmid:16174557 fatcat:fmk7ba336bbnpodg4zw7geqjju

Cumulative index volumes 1–100

1992 Theoretical Computer Science  
Geiser, An efficient procedure for the theory of rational order (, A., Une generalisation des theoremes de Higman et de Simon aux mots intinis (, P.C., J.H. Jou and D.-M.  ...  Wilkinson, Code properties and homomorphisms of DOL systems 35 (2-3) ( 1985) 295-312 Head, T. and B. Lando, Periodic DOL languages 46 ( 1) ( 1986) 83-89 Head, T. and B.  ... 
doi:10.1016/0304-3975(92)90292-n fatcat:ekwes6owtrco3lkfkiqagnketq

Multi-view Consistency in UML [article]

Alexander Knapp, Till Mossakowski
2016 arXiv   pre-print
Finally, we elaborate cornerstones of a comprehensive distributed semantics approach to consistency using OMG's Distributed Ontology, Model and Specification Language (DOL).  ...  For a state machine, a so-called free DOL expression can be used to specify a particular DOL realisation.  ... 5 This is the first semantics of UML class diagrams that has been reviewed by co-designers of UML. See [31] and the DOL standard at for details.  ... 
arXiv:1610.03960v1 fatcat:pv54iuodbjeknasghsxvbhldue

Cumulative index of volumes 1–50

1988 Theoretical Computer Science  
Miyano HEAD, T., Adherences of DOL languages HEAD, T. and B. LANDO, Periodic DOL languages HEAD, T. and B. LANDO, Regularity of sets of initial strings of periodic DOL-systems HEAD, T., G.  ...  WILKINSON, DOL schemes and the periodicity of string embeddings (Note) HEAD, T. and J. WILKINSON, Finite DOL languages and codes (Note) 221 HONG, J.W. and Q.  ... 
doi:10.1016/0304-3975(88)90002-3 fatcat:gasluptczbb6bfplioxrtdrlpy

Reference list of indexed articles

1999 Theoretical Computer Science  
Finkel, Une generalisation des theoremes de Higman et de Simon aux mots inlinis 38 (1) (1985) 137-142 747. D.  ...  Van, Ensembles code-compatibles et une generalisation du theoreme de Sardinas-Patterson 38 (1) (1985) 123-132 745. E.  ... 
doi:10.1016/s0304-3975(98)00320-x fatcat:bdgg2ekzdjahdo7g2gtwbdye6m

Revisiting the Relationship between Poverty and Environmental Sustainability in Sub-Saharan African Countries using Dynamic Econometric Models

Owusu Samuel Mensah, Chen Jianlin, Fu Chuambo, Hu Qio
2021 Economy  
Generalised Methods of Moments This paper adopted Generalised Methods of Moments (GMM) to investigate the dynamism, Heteroskedasticity and endogeneity found in the regression models.  ...  When trees are burned, this carbon returns to the atmosphere as carbon dioxide.  ... 
doi:10.20448/journal.502.2021.82.16.25 fatcat:3njfkcmtmvag7i3ql2bxrdo3te

Complex Data: Mining Using Patterns [chapter]

Arno Siebes, Zbyszek Struzik
2002 Lecture Notes in Computer Science  
The DOL representation can be conveniently normalised to give the rate of increase of v DOL with scale: h i,j = v DOL i,j / log(2 (i) ) for i > 0 .  ...  Such an analysis requires that familiar notions such as similarity are generalised to complex data types. There are two ways in which one can approach this problem.  ... 
doi:10.1007/3-540-45728-3_3 fatcat:c3r36v66ybcwfai52d5v6ocmxa

A computational framework for conceptual blending

Manfred Eppe, Ewen Maclean, Roberto Confalonieri, Oliver Kutz, Marco Schorlemmer, Enric Plaza, Kai-Uwe Kühnberger
2018 Artificial Intelligence  
Our framework treats a crucial part of the blending process, namely the generalisation of input concepts, as a search problem that is solved by means of modern answer set programming methods to find commonalities  ...  The trees are then combined in the sense that the leaves of the constants-tree are applied to the relations-tree.  ...  The blending algorithm generates two binary trees that are based on the input graph.  ... 
doi:10.1016/j.artint.2017.11.005 fatcat:mbpcuotjr5a7vjqzy4ct6i6wua
« Previous Showing results 1 — 15 out of 296 results