1,450 research outputs found
Comparison of thermal, mechanical and thermomechanical properties of poly(lactic acid) injection-molded into epoxy-based Rapid Prototyped (PolyJet) and conventional steel mold
Comparison of thermal, mechanical and thermomechanical properties of poly(lactic acid) injection-molded into epoxy-based Rapid Prototyped (PolyJet) and conventional steel mold
Discovering a junction tree behind a Markov network by a greedy algorithm
In an earlier paper we introduced a special kind of k-width junction tree,
called k-th order t-cherry junction tree in order to approximate a joint
probability distribution. The approximation is the best if the Kullback-Leibler
divergence between the true joint probability distribution and the
approximating one is minimal. Finding the best approximating k-width junction
tree is NP-complete if k>2. In our earlier paper we also proved that the best
approximating k-width junction tree can be embedded into a k-th order t-cherry
junction tree. We introduce a greedy algorithm resulting very good
approximations in reasonable computing time.
In this paper we prove that if the Markov network underlying fullfills some
requirements then our greedy algorithm is able to find the true probability
distribution or its best approximation in the family of the k-th order t-cherry
tree probability distributions. Our algorithm uses just the k-th order marginal
probability distributions as input.
We compare the results of the greedy algorithm proposed in this paper with
the greedy algorithm proposed by Malvestuto in 1991.Comment: The paper was presented at VOCAL 2010 in Veszprem, Hungar
Human Resource Development as a possibility for developing the most underdeveloped micro-regions of Hungary
One of the problems in regional development policy having been present for a long time – and presumably to remain for a long while – is developing the most underdeveloped regions. Unfortunately the difference between the developed and the underdeveloped has increased in Hungary during the last two decades – despite the strengthening regional politics. These regions are usually afflicted with multiple disadvantages, therefore it is not enough to explore and change only one cause leading to underdevelopment. It is of complex origin; the effect of several correlated factor-layers can be observed. It is an elemental thesis in case of local improvements that investing into human resources (to put it in an ordinary way, into people) and improving the conditions of the population (qualification, healthcare, standards of living, etc.) is one of the most efficient and less costly means to eliminate underdevelopment. Despite its cost-efficiency only long-term results can be expected; in many cases it takes generations to benefit from the investment. In this work we will review the conclusions and suggestions of the educational aspects of a complex Hungarian development programme
Finding Finite Models in Multi-Sorted First-Order Logic
This work extends the existing MACE-style finite model finding approach to
multi-sorted first order logic. This existing approach iteratively assumes
increasing domain sizes and encodes the related ground problem as a SAT
problem. When moving to the multi-sorted setting each sort may have a different
domain size, leading to an explosion in the search space. This paper focusses
on methods to tame that search space. The key approach adds additional
information to the SAT encoding to suggest which domains should be grown.
Evaluation of an implementation of techniques in the Vampire theorem prover
shows that they dramatically reduce the search space and that this is an
effective approach to find finite models in multi-sorted first order logic.Comment: SAT 201
Far-Infrared Properties of Spitzer-selected Luminous Starbursts
We present SHARC-2 350 micron data on 20 luminous z ~ 2 starbursts with
S(1.2mm) > 2 mJy from the Spitzer-selected samples of Lonsdale et al. and
Fiolet et al. All the sources were detected, with S(350um) > 25 mJy for 18 of
them. With the data, we determine precise dust temperatures and luminosities
for these galaxies using both single-temperature fits and models with power-law
mass--temperature distributions. We derive appropriate formulae to use when
optical depths are non-negligible. Our models provide an excellent fit to the
6um--2mm measurements of local starbursts. We find characteristic
single-component temperatures T1 ~ 35.5+-2.2 K and integrated infrared (IR)
luminosities around 10^(12.9+-0.1) Lsun for the SWIRE-selected sources.
Molecular gas masses are estimated at 4 x 10^(10) Msun, assuming
kappa(850um)=0.15 m^2/kg and a submillimeter-selected galaxy (SMG)-like
gas-to-dust mass ratio. The best-fit models imply >~2 kpc emission scales. We
also note a tight correlation between rest-frame 1.4 GHz radio and IR
luminosities confirming star formation as the predominant power source. The
far-IR properties of our sample are indistinguishable from the purely
submillimeter-selected populations from current surveys. We therefore conclude
that our original selection criteria, based on mid-IR colors and 24 um flux
densities, provides an effective means for the study of SMGs at z ~ 1.5--2.5.Comment: 13 pages, 4 figures, edited to match published version in ApJ 717,
29-39 (2010
The HATNet and HATSouth Exoplanet Surveys
The Hungarian-made Automated Telescope Network (HATNet) has been in operation
since 2003, with the key science goal being the discovery and accurate
characterization of transiting extrasolar planets (TEPs) around bright stars.
Using six small, 11\,cm\ aperture, fully automated telescopes in Arizona and
Hawaii, as of 2017 March, it has discovered and accurately characterized 67
such objects. The HATSouth network of telescopes has been in operation since
2009, using slightly larger, 18\,cm diameter optical tubes. It was the first
global network of telescopes using identical instrumentation. With three
premier sites spread out in longitude (Chile, Namibia, Australia), the HATSouth
network permits round-the-clock observations of a 128 square arcdegree swath of
the sky at any given time, weather permitting. As of this writing, HATSouth has
discovered 36 transiting exoplanets. Many of the altogether ~100 HAT and
HATSouth exoplanets were the first of their kind. They have been important
contributors to the rapidly developing field of exoplanets, motivating and
influencing observational techniques, theoretical studies, and also actively
shaping future instrumentation for the detection and characterization of such
objects.Comment: Invited review chapter, accepted for publication in "Handbook of
Exoplanets", edited by H.J. Deeg and J.A. Belmonte, Springer Reference Work
Thin accretion disks in stationary axisymmetric wormhole spacetimes
In this paper, we study the physical properties and the equilibrium thermal
radiation emission characteristics of matter forming thin accretion disks in
stationary axially symmetric wormhole spacetimes. The thin disk models are
constructed by taking different values of the wormhole's angular velocity, and
the time averaged energy flux, the disk temperature and the emission spectra of
the accretion disks are obtained. Comparing the mass accretion in a rotating
wormhole geometry with the one of a Kerr black hole, we verify that the
intensity of the flux emerging from the disk surface is greater for wormholes
than for rotating black holes with the same geometrical mass and accretion
rate. We also present the conversion efficiency of the accreting mass into
radiation, and show that the rotating wormholes provide a much more efficient
engine for the transformation of the accreting mass into radiation than the
Kerr black holes. Therefore specific signatures appear in the electromagnetic
spectrum of thin disks around rotating wormholes, thus leading to the
possibility of distinguishing wormhole geometries by using astrophysical
observations of the emission spectra from accretion disks.Comment: 12 pages, 26 figures. V2: minor corrections and references added; to
appear in Physical Review D. V3: typos corrected, matches published versio
Structural characterization of nanostructures grown by Ni metal induced lateral crystallization of amorphous-Si
- …