Consistent term mappings, term partitions, and inverse resolution

2005 ◽  
pp. 361-374 ◽  
Author(s):  
Shan Hwei Nienhuys-Cheng ◽  
Peter A. Flach
Keyword(s):  
Inverse Resolution

Estimation of the Time-Dependent Profile of a Melting Front by Inverse Resolution

1997 ◽  
Vol 119 (3) ◽  
pp. 574-578 ◽  
Author(s):  
B. Guerrier ◽  
H. G. Liu ◽  
C. Be´nard
Keyword(s):  
Solid Phase ◽  
Transfer Problem ◽  
Numerical Study ◽  
A Priori ◽  
Inverse Operator ◽  
Melting Front ◽  
Inverse Heat Transfer ◽  
Ill Posed ◽  
Using Data ◽  
Inverse Resolution

The profile and time evolution of a solid/liquid interface in a phase change process is estimated by solving an inverse heat transfer problem, using data measurements in the solid phase only. One then faces the inverse resolution of a heat equation in a variable and a priori unknown 2D domain. This ill-posed problem is solved by a regularization approach: the unknown function (position of the melting front) is obtained by minimization of a two component criterion, consisting of a distance between the output of a simulation model and the measured data, to which a penalizing function is added in order to restore the continuity of the inverse operator. A numerical study is developed to analyze the validity domain of the identification method. From simulation tests, it is shown that the minimum signal/noise ratio that can be handled depends strongly on the position of the measurement sensors.

A Critical Comparison of Various Methods Based on Inverse Resolution

1991 ◽  
pp. 168-172
Author(s):  
Xiaofeng (Charles) Ling ◽  
Malur Aji Narayan
Keyword(s):  
Critical Comparison ◽  
Inverse Resolution

scholarly journals Using Inverse Resolution to Learn Relations from Experiments

1991 ◽  
pp. 412-416 ◽  
Author(s):  
David Hume ◽  
Claude Sammut
Keyword(s):  
Inverse Resolution

scholarly journals Inverse Resolution Limit of Partition Density and Detecting Overlapping Communities by Link-Surprise

2017 ◽  
Vol 7 (1) ◽  
Author(s):  
Juyong Lee ◽  
Zhong-Yuan Zhang ◽  
Jooyoung Lee ◽  
Bernard R. Brooks ◽  
Yong-Yeol Ahn
Keyword(s):  
Resolution Limit ◽  
Overlapping Communities ◽  
Inverse Resolution

scholarly journals Learning CNF Theories Using MDL and Predicate Invention

2021 ◽  
Author(s):  
Arcchit Jain ◽  
Clément Gautrais ◽  
Angelika Kimmig ◽  
Luc De Raedt
Keyword(s):  
Machine Learning ◽  
Pattern Mining ◽  
Frequent Pattern Mining ◽  
Frequent Pattern ◽  
Predicate Invention ◽  
Mdl Principle ◽  
Distinguishing Features ◽  
Novel Algorithm ◽  
Inverse Resolution

We revisit the problem of learning logical theories from examples, one of the most quintessential problems in machine learning. More specifically, we develop an approach to learn CNF-formulae from satisfiability. This is a setting in which the examples correspond to partial interpretations and an example is classified as positive when it is logically consistent with the theory. We present a novel algorithm, called Mistle -- Minimal SAT Theory Learner, for learning such theories. The distinguishing features are that 1) Mistle performs predicate invention and inverse resolution, 2) is based on the MDL principle to compress the data, and 3) combines this with frequent pattern mining to find the most interesting theories. The experiments demonstrate that Mistle can learn CNF theories accurately and works well in tasks involving compression and classification.

Inverse Resolution

2017 ◽  
pp. 682-683
Keyword(s):  
Inverse Resolution

Inverse Resolution

2012 ◽  
Keyword(s):  
Inverse Resolution
Sign in / Sign up

Export Citation Format

Share Document