27,704 research outputs found
Symbolic framework for linear active circuits based on port equivalence using limit variables
Published versio
The role of the energy equation in the fragmentation of protostellar discs during stellar encounters
In this paper, we use high-resolution smoothed particle hydrodynamics (SPH)
simulations to investigate the response of a marginally stable self-gravitating
protostellar disc to a close parabolic encounter with a companion discless
star. Our main aim is to test whether close brown dwarfs or massive planets can
form out of the fragmentation of such discs. We follow the thermal evolution of
the disc by including the effects of heating due to compression and shocks and
a simple prescription for cooling and find results that contrast with previous
isothermal simulations. In the present case we find that fragmentation is
inhibited by the interaction, due to the strong effect of tidal heating, which
results in a strong stabilization of the disc. A similar behaviour was also
previously observed in other simulations involving discs in binary systems. As
in the case of isolated discs, it appears that the condition for fragmentation
ultimately depends on the cooling rate.Comment: 9 pages, 10 figures, accepted in MNRA
MgB2 tunnel junctions and 19 K low-noise dc superconducting quantum interference devices
Point contact junctions made from two pieces of MgB2 can be adjusted to
exhibit either superconductor-insulator-superconductor (SIS) or
superconductor-normal metal-superconductor (SNS) current-voltage
characteristics. The SIS characteristics are in good agreement with the
standard tunneling model for s-wave superconductors, and yield an energy gap of
(2.02 +/- 0.08) meV. The SNS characteristics are in good agreement with the
predictions of the resistively-shunted junction model. DC Superconducting
QUantum Interference Devices made from two SNS junctions yield magnetic field
noise as low as 35 fT/Hz^{1/2} at 19 K.Comment: 4 pages, 4 figure
A novel procedure for fast surface structural analysis based on LEED intensity data
By evaluating LEED intensities from different diffraction beams taken only at discrete energy intervals (which may be as large as 15â20 eV) the same degree of reliability in surface structure determination can be reached as with the conventional techniques based on analysis of continuous I/V-spectra. The minimum of the corresponding R-factor can be found by a least-squares fit method, as will be exemplified with a system in which 8 structural parameters were subject to simultaneous refinement
Computer-aided verification in mechanism design
In mechanism design, the gold standard solution concepts are dominant
strategy incentive compatibility and Bayesian incentive compatibility. These
solution concepts relieve the (possibly unsophisticated) bidders from the need
to engage in complicated strategizing. While incentive properties are simple to
state, their proofs are specific to the mechanism and can be quite complex.
This raises two concerns. From a practical perspective, checking a complex
proof can be a tedious process, often requiring experts knowledgeable in
mechanism design. Furthermore, from a modeling perspective, if unsophisticated
agents are unconvinced of incentive properties, they may strategize in
unpredictable ways.
To address both concerns, we explore techniques from computer-aided
verification to construct formal proofs of incentive properties. Because formal
proofs can be automatically checked, agents do not need to manually check the
properties, or even understand the proof. To demonstrate, we present the
verification of a sophisticated mechanism: the generic reduction from Bayesian
incentive compatible mechanism design to algorithm design given by Hartline,
Kleinberg, and Malekian. This mechanism presents new challenges for formal
verification, including essential use of randomness from both the execution of
the mechanism and from the prior type distributions. As an immediate
consequence, our work also formalizes Bayesian incentive compatibility for the
entire family of mechanisms derived via this reduction. Finally, as an
intermediate step in our formalization, we provide the first formal
verification of incentive compatibility for the celebrated
Vickrey-Clarke-Groves mechanism
Budget feasible mechanisms on matroids
Motivated by many practical applications, in this paper we study budget feasible mechanisms where the goal is to procure independent sets from matroids. More specifically, we are given a matroid îč=(,î”) where each ground (indivisible) element is a selfish agent. The cost of each element (i.e., for selling the item or performing a service) is only known to the element itself. There is a buyer with a budget having additive valuations over the set of elements E. The goal is to design an incentive compatible (truthful) budget feasible mechanism which procures an independent set of the matroid under the given budget that yields the largest value possible to the buyer. Our result is a deterministic, polynomial-time, individually rational, truthful and budget feasible mechanism with 4-approximation to the optimal independent set. Then, we extend our mechanism to the setting of matroid intersections in which the goal is to procure common independent sets from multiple matroids. We show that, given a polynomial time deterministic blackbox that returns -approximation solutions to the matroid intersection problem, there exists a deterministic, polynomial time, individually rational, truthful and budget feasible mechanism with (3+1) -approximation to the optimal common independent set
An efficient method for LEED crystallography
Determination of periodic surface structures from analysis of LEED intensity data is usually based on the evaluation of continuous I/V-spectra for a large number of model structures for which all the structural parameters have to be refined simultaneously until the best agreement with the experimental data, as quantified by the minimum of R-factor, is achieved. It is demonstrated that analysis based on intensity data taken only at discrete energy intervals (of up to about 20 eV) leads to no loss in accuracy if compared with the evaluation of continuous I/V-spectra. The introduction of a novel RDE-factor permits in addition to replace the âgrid searchâ technique by a âleast-squaresâ optimisation scheme which enables automatic search of the R-factor minimum at considerably reduced computational efforts. The strength of this technique becomes particularly evident with more complex structures as is demonstrated for Ni(110)-(2 Ă 1)O and other systems
- âŠ