scholarly journals HOLCF '11: A Definitional Domain Theory for Verifying Functional Programs

2000 ◽  
Author(s):  
Brian Huffman
Keyword(s):  
Domain Theory ◽  
Definitional Domain

Domain theory of polarization echoes in ferroelectrics

1982 ◽  
Vol 43 (3) ◽  
pp. 567-574 ◽  
Author(s):  
U. Kh. Kopvillem ◽  
S.V. Prants
Keyword(s):  
Domain Theory

scholarly journals Learning From a Complementary-Label Source Domain: Theory and Algorithms

2021 ◽  
pp. 1-15
Author(s):  
Yiyang Zhang ◽  
Feng Liu ◽  
Zhen Fang ◽  
Bo Yuan ◽  
Guangquan Zhang ◽  
...  
Keyword(s):  
Domain Theory ◽  
Source Domain

Determination of Intrinsic Magnetic Parameters of SmCo5 Phase in Sintered Samples

2005 ◽  
Vol 498-499 ◽  
pp. 129-133 ◽  
Author(s):  
Marcos Flavio de Campos ◽  
Fernando José Gomes Landgraf
Keyword(s):  
Powder Metallurgy ◽  
Domain Wall ◽  
Kerr Effect ◽  
Critical Diameter ◽  
Optical Microscope ◽  
Domain Theory ◽  
Magnetic Domains ◽  
Magnetic Parameters ◽  
Intrinsic Parameters

SmCo5 magnets are usually produced by powder metallurgy route, including milling, compaction and orientation under magnetic field, sintering and heat treatment. The samples produced by powder metallurgy, with grain size around 10 μm, are ideal for determination of intrinsic parameters. The first step for determination of intrinsic magnetic parameters is obtaining images of domain structure in demagnetized samples. In the present study, the domain images were produced by means of Kerr effect, in a optical microscope. After the test of several etchings, Nital appears as the most appropriate for observation of magnetic domains by Kerr effect. Applying Stereology and Domain Theory, several intrinsic parameters of SmCo5 phase were determined: domain wall energy 120 erg/cm2, critical diameter for single domain particle size 2 μm and domain wall thickness 60 Å. In the case of SmCo5, and also other phases with high magnetocrystalline anisotropy, Domain Theory presents several advantages when compared with Micromagnetics.

Linear types and approximation

2000 ◽  
Vol 10 (6) ◽  
pp. 719-745 ◽  
Author(s):  
MICHAEL HUTH ◽  
ACHIM JUNG ◽  
KLAUS KEIMEL
Keyword(s):  
Full Subcategory ◽  
Linear Logic ◽  
Domain Theory ◽  
Classical Domain ◽  
Complete Distributivity ◽  
Linear Types ◽  
Continuous Lattices

We study continuous lattices with maps that preserve all suprema rather than only directed ones. We introduce the (full) subcategory of FS-lattices, which turns out to be *-autonomous, and in fact maximal with this property. FS-lattices are studied in the presence of distributivity and algebraicity. The theory is extremely rich with numerous connections to classical Domain Theory, complete distributivity, Topology and models of Linear Logic.

scholarly journals THE APPLICATION OF MACHINE LEARNING TOOLS TO THE VALIDATION OF AN AIR TRAFFIC CONTROL DOMAIN THEORY

2001 ◽  
Vol 10 (04) ◽  
pp. 613-637 ◽  
Author(s):  
M. M. WEST ◽  
T. L. McCLUSKEY
Keyword(s):  
Machine Learning ◽  
Traffic Control ◽  
Air Traffic Control ◽  
Air Traffic ◽  
Domain Theory ◽  
Learning Tools ◽  
General Clause ◽  
Faulty Component ◽  
Training Examples ◽  
Mixed Initiative

In this paper we describe a project (IMPRESS) in which machine learning (ML) tools were created and utilised for the validation of an Air Traffic Control domain theory written in first order logic. During the project, novel techniques were devised for the automated revision of general clause form theories using training examples. These techniques were combined in an algorithm which focused in on the parts of a theory which involve ordinal sorts, and applied geometrical revision operators to repair faulty component parts. While we illustrate the feasibility of applying ML to this area, we conclude that to be effective it must be focused to the application at hand, and used in mixed-initiative mode within a tools environment. The method is illustrated with experimental results obtained during the project.

Sign in / Sign up

Export Citation Format

Share Document