5,738 research outputs found
Kleene algebra with domain
We propose Kleene algebra with domain (KAD), an extension of Kleene algebra
with two equational axioms for a domain and a codomain operation, respectively.
KAD considerably augments the expressiveness of Kleene algebra, in particular
for the specification and analysis of state transition systems. We develop the
basic calculus, discuss some related theories and present the most important
models of KAD. We demonstrate applicability by two examples: First, an
algebraic reconstruction of Noethericity and well-foundedness; second, an
algebraic reconstruction of propositional Hoare logic.Comment: 40 page
Bimetallic Complexes in Zeolites. Reactivity of Tetracarbonyl(trimethylstannyl)cobalt in Acidic Zeolite Y
Which finitely generated Abelian groups admit isomorphic Cayley graphs?
We show that Cayley graphs of finitely generated Abelian groups are rather
rigid. As a consequence we obtain that two finitely generated Abelian groups
admit isomorphic Cayley graphs if and only if they have the same rank and their
torsion parts have the same cardinality. The proof uses only elementary
arguments and is formulated in a geometric language.Comment: 16 pages; v2: added reference, reformulated quasi-convexity, v3:
small corrections; to appear in Geometriae Dedicat
Self-adjoint higher order differential operators with eigenvalue parameter dependent boundary conditions.
Eigenvalue problems for even order regular quasi-differential equations with boundary conditions which depend linearly on the eigenvalue parameter λ can be represented by an operator polynomial (Formula presented.) where M is a self-adjoint operator. Necessary and sufficient conditions are given such that also K and A are self-adjoint.SP201
Correlation studies of fission fragment neutron multiplicities
We calculate neutron multiplicities from fission fragments with specified
mass numbers for events having a specified total fragment kinetic energy. The
shape evolution from the initial compound nucleus to the scission
configurations is obtained with the Metropolis walk method on the
five-dimensional potential-energy landscape, calculated with the
macroscopic-microscopic method for the three-quadratic-surface shape family.
Shape-dependent microscopic level densities are used to guide the random walk,
to partition the intrinsic excitation energy between the two proto-fragments at
scission, and to determine the spectrum of the neutrons evaporated from the
fragments. The contributions to the total excitation energy of the resulting
fragments from statistical excitation and shape distortion at scission is
studied. Good agreement is obtained with available experimental data on neutron
multiplicities in correlation with fission fragments from U(n,f). At higher neutron energies a superlong fission mode appears which
affects the dependence of the observables on the total fragment kinetic energy.Comment: 12 pages, 10 figure
We can believe the Error Theory
Bart Streumer argues that it is not possible for us to believe the error theory, where by ‘error theory’ he means the claim that our normative beliefs are committed to the existence of normative properties even though such properties do not exist. In this paper, we argue that it is indeed possible to believe the error theory. First, we suggest a critical improvement to Streumer’s argument. As it stands, one crucial premise of that argument—that we cannot have a belief while believing that there is no reason to have
it—is implausibly strong. We argue that for his purposes, Streumer’s argument only requires a weaker premise, namely that we cannot rationally have a belief while believing that there is no reason to have it. Secondly, we go on to refute the improved argument. Even in its weaker form, Streumer’s argument is either invalid or the crucial premise should be rejected
Transcranial magnetic stimulation
Neðst á síðunni er hægt að nálgast greinina í heild sinni með því að smella á hlekkinn View/OpenTranscranial Magnetic Stimulation (TMS) is a new non-invasive method to investigate the central nervous system. Initially it was used to assess the functional integrity of the pyramidal pathways but more recently various other aspects of brain function have been studied including cortical excitability. By localised interference with brain function, it is possible to use TMS to assess the relationship between various brain regions and cognitive functions. The therapeutic effect of TMS has been explored in the treatment of neurological diseases and psychiatric disorders such as epilepsy, cerebellar ataxia and depressive illness.Segulörvun heila í gegnum höfuðkúpu er notuð til rannsókna á miðtaugakerfi. Upphaflega var þessi aðferð þróuð til að meta starfsemi og ástand hreyfitaugabrauta milli heila og mænu, en er nú einnig notuð til margvíslegra rannsókna á heilastarfsemi. Meta má hömlunar- og örvunarástand heilabarkar sem getur breyst vegna heilasjúkdóma og við lyfjagjöf. Með staðbundinni truflun á starfsemi taugafrumna eftir segulörvun hefur verið hægt að kanna tengsl milli heilasvæða og hugrænna ferla. Í ljós hefur komið möguleg notkun segulörvunar í meðferð taugasjúkdóma og geðraskana. Rannsóknir hvað þetta varðar hafa meðal annars beinst að flogaveiki, mænu- og hnykilhrörnun og djúpri geðlægð
Changes in r-process abundances at late times
We explore changes in abundance patterns that occur late in the r process. As
the neutrons available for capture begin to disappear, a quasiequilibrium
funnel shifts material into the large peaks at A=130 and A=195, and into the
rare-earth "bump" at A=160. A bit later, after the free-neutron abundance has
dropped and beta-decay has begun to compete seriously with neutron capture, the
peaks can widen. The degree of widening depends largely on neutron-capture
rates near closed neutron shells and relatively close to stability. We identify
particular nuclei the capture rates of which should be examined experimentally,
perhaps at a radioactive beam facility.Comment: 8 pages, 14 figures included in tex
The TESLA accelerator module test facility
The superconducting TESLA linear accelerator will consist of about 1800 cryomodules. Before their installation in the TESLA tunnel, the acceleratorcryomodules have to be qualified after the assembly in random tests. The qualification includes the check of the general mechanical dimensions and the measurement of the cryogenic performance of all systems, in particular,the performance of the cavities. In addition, all about 21000 single cavities have to be tested before the assembly in the cryomodules at a rate of about 24 per day. The paper presents the layout of the test facility
- …