Filters








428 Hits in 5.5 sec

On the Integration of Recursive $$ \mathcal{A}\mathcal{L}\mathcal{N} $$-Theories [chapter]

Aida Vitória, Margarida Mamede
2000 Lecture Notes in Computer Science  
Then, we present an implementation of the proposed operations, for knowledge bases expressed in the language ALN extended with recursive definitions of concepts, which transforms compositions of knowledge  ...  In this paper we focus on the problem of integrating knowledge bases expressed in a description logic. To this end, we propose three basic operations: union, intersection and renaming.  ...  In particular, we focus our attention on the language ALN , extended with recursive definitions of concepts.  ... 
doi:10.1007/3-540-45486-1_10 fatcat:mwilbmp6ybhndjz6peeyks6b3q

Page 353 of Mathematics Magazine Vol. 11, Issue 8 [page]

1937 Mathematics Magazine  
These recursion formulas offer an easier method of computing successive solutions of x? —dy?= +1 or of raising /, ++, 1d to successive positive integral powers. E. P.. for x?—2y?  ...  (See Dickson’s History of the Theory of Numbers, volume 2, pages 384, 386, 397.) Proof: Same as before except that #2—du? =1.t tHere t-—;=t, u-—1 = —ur.  ... 

Page 353 of Mathematics Magazine Vol. 11, Issue 8 [page]

1937 Mathematics Magazine  
These recursion formulas offer an easier method of computing successive solutions of x?—dy?= +1 or of raising ¢,-+-u-/d to successive positive integral powers. E. g., for x?  ...  (See Dickson’s History of the Theory of Numbers, volume 2, pages 384, 386, 397.) Proof: Same as before except that (?—duj=1.t+ tHere t-+=t, u-1 = —Uur.  ... 

Sources of Iranian Labour Productivity

Abbas Valadkhani
2005 Review of Middle East Economics and Finance  
A substantial rise in productivity can not be achieved unless the economy increases its stock of capital in both ITT and non-ITT sectors, and industrial protectionist policies are reversed.  ...  This study presents a model capturing sources of Iranian aggregate labour productivity using annual time series data from 1960 to 2002.  ...  Figure 2 .Figure 2 . 22 Graphical recursive tests for parameter constancy of the short-run productivity growth, Áln(Y t /L t ), model ContinuedSources of Iranian Labour Productivity 215 Table 1 . 1  ... 
doi:10.2202/1475-3693.1043 fatcat:4mqnu5pwszbirlwrk6qjf3f5rq

Sources of Iranian Labour Productivity

Abbas Valadkhani
2005 Review of Middle East Economics and Finance  
A substantial rise in productivity can not be achieved unless the economy increases its stock of capital in both ITT and non-ITT sectors, and industrial protectionist policies are reversed.  ...  This study presents a model capturing sources of Iranian aggregate labour productivity using annual time series data from 1960 to 2002.  ...  Figure 2 .Figure 2 . 22 Graphical recursive tests for parameter constancy of the short-run productivity growth, Áln(Y t /L t ), model ContinuedSources of Iranian Labour Productivity 215 Table 1 . 1  ... 
doi:10.1080/14753680500407142 fatcat:hr56yzkpgvbqvndo22ftx22zhi

Building Rules on Top of Ontologies for the Semantic Web with Inductive Logic Programming

FRANCESCA A. LISI
2008 Theory and Practice of Logic Programming  
AbstractBuilding rules on top of ontologies is the ultimate goal of the logical layer of the Semantic Web. To this aim, an ad-hoc markup language for this layer is currently under discussion.  ...  It is intended to follow the tradition of hybrid knowledge representation and reasoning systems, such as$\mathcal{AL}$-log that integrates the description logic$\mathcal{ALC}$and the function-free Horn  ...  The DLs ALC and ALN are members of the AL family.  ... 
doi:10.1017/s1471068407003195 fatcat:2ncsy2pl35holhip7j5xdtgcam

Page 1385 of Mathematical Reviews Vol. , Issue 2004b [page]

2004 Mathematical Reviews  
The above theory is illustrated for the case of a flat equidistant antenna array.  ...  We show the strong influence of precomputation errors—both within the initial fast Fourier trans- form and the recursionon the numerical stability.  ... 

Electronic structure of fullerenelike cages and finite nanotubes of aluminum nitride

Rajendra R. Zope, Brett I. Dunlap
2005 Physical Review B  
All structures are energetically stable with binding energy of about 10-11 eV per AlN pair.  ...  The binding energy show systematic increase with increase in the length of (4,4) nanotube.  ...  In the present paper, we report the study of fullerene analogue of AlN cages and finite (4, 4) singlewalled AlN nanotubes using analytic density functional theory.  ... 
doi:10.1103/physrevb.72.045439 fatcat:3vgygwn3vvetzhfcmj7i3sthkm

SAW Parameters Analysis and Equivalent Circuit of SAW Device [chapter]

Trang Hoang
2011 Acoustic Waves - From Microdevices to Helioseismology  
The equivalent circuit of SAW delay line based on Couple-Of-Mode theory is presented in section 4.  ...  Based on section 3 and 4, section 5 shows comparison between using the equivalent circuit of SAW delay line device based on Mason model and COM theory.  ...  -Many theories, problems of electric circuits have already been solved such as microwave network theory, integrated circuit etc.  ... 
doi:10.5772/19910 fatcat:ludejc22ovec3hocbyyvwczzje

Learning Onto-Relational Rules with Inductive Logic Programming [article]

Francesca A. Lisi
2012 arXiv   pre-print
Rules complement and extend ontologies on the Semantic Web.  ...  For the sake of illustration, we provide details of a specific Onto-Relational Learning solution to the problem of learning rule-based definitions of DL concepts and roles with ILP.  ...  Hypotheses are represented as CARIN-ALN non-recursive rules with a Horn literal in the head that plays the role of target concept.  ... 
arXiv:1210.2984v2 fatcat:caeq4ahppzhjbddoa5fyhgr4pe

Educational Performance of ALN via Content Analysis

Reuven Aviv
2019 Online Learning  
Following findings of the Social Interdependence Theory of Cooperative Learning, we conjecture that the ALN is Cooperative Learning enhanced by extended think time.  ...  evaluation of the performance profiles of the ALN educational processes.  ...  Special thanks are given to Tami Shapira and Orli Doron for the initial analysis of the data. ABOUT THE AUTHOR  ... 
doi:10.24059/olj.v4i2.1901 fatcat:l5iizdqxofc6jhrzugcyt47e64

Alienation Coefficient and Wigner Distribution Function Based Protection Scheme for Hybrid Power System Network with Renewable Energy Penetration

Sheesh Ram Ram Ola, Amit Saraswat, Sunil Kumar Goyal, Virendra Sharma, Baseem Khan, Om Prakash Mahela, Hassan Haes Alhelou, Pierluigi Siano
2020 Energies  
The rapid growth of grid integrated renewable energy (RE) sources resulted in development of the hybrid grids.  ...  All types of fault were identified using a fault index (FI), which is based on both the voltage and current features.  ...  In [7] , authors introduced an algorithm based on the fast recursive discrete Fourier transform (FRDFT) for the protection of distribution system, integrated with DG.  ... 
doi:10.3390/en13051120 fatcat:cflw2i7imjdxbetbyrn4gdqumi

Fully analytic implementation of density functional theory for efficient calculations on large molecules [article]

Rajendra R. Zope, Brett I. Dunlap
2006 arXiv   pre-print
The calculation of C2160 using nearly 39000 orbital basis functions is the largest calculation on any isolated molecule reported to-date at this level of theory, and it includes full geometry optimization  ...  The electronic structure related properties of the inorganic cages and other carbon fulerenes have been studied.  ...  On the other hand, if one AlN cages are energetically stable with binding energy of about 10-11 eV per pair of AlN.  ... 
arXiv:cond-mat/0610060v1 fatcat:beqe6dvu4za5bnivz4htx7p37y

Simulation of X-Ray Diffraction Spectra for AlN/GaN Multiple Quantum Well Structures on AlN(0001) with Interface Roughness and Variation of Vertical Layers Thickness

O. I. Liubchenko, V. P. Kladko
2018 Metallofizika i novejsie tehnologii  
A detailed XRD analysis of AlN/GaN multiple quantum well (MQW) structures grown on AlN(0001) substrates is proposed.  ...  The effect of roughness on the 2 scans measured in Bragg diffraction for symmetrical reflections is investigated together with the effect of depth variation of the well and barrier thickness.  ...  ACKNOWLEDGMENTS This work was funded by the Program of Fundamental Research of the National Academy of Sciences of Ukraine 'Fundamental Problems of New Nanomaterials and Nanotechnologies'.  ... 
doi:10.15407/mfint.40.06.0759 fatcat:pix3bvg27vfofjpcuzkl244vki

Semantic Difference in ALN

Alain Léger, Christophe Rey, Farouk Toumani
2007 International Workshop on Description Logics  
We study the semantic difference operator defined in [16] for ALN . We give a polynomial-time algorithm to compute it.  ...  We compare it with the syntactic difference operator defined in [7] , for which we also give a polynomial-time algorithm for ALN .  ...  Conclusion In this paper, we investigated the problem of computing the semantic and the syntactic difference operators in the context of the ALN language.  ... 
dblp:conf/dlog/LegerRT07 fatcat:k4elyx3gwnhldoohx4iwbvskoe
« Previous Showing results 1 — 15 out of 428 results