1,515 research outputs found
Left-ordered inp-minimal groups
We prove that any left-ordered inp-minimal group is abelian, and we provide
an example of a non-abelian left-ordered group of dp-rank 2
Dp-minimality: basic facts and examples
We study the notion of dp-minimality, beginning by providing several
essential facts, establishing several equivalent definitions, and comparing
dp-minimality to other minimality notions. The rest of the paper is dedicated
to examples. We establish via a simple proof that any weakly o-minimal theory
is dp-minimal and then give an example of a weakly o-minimal group not obtained
by adding traces of externally definable sets. Next we give an example of a
divisible ordered Abelian group which is dp-minimal and not weakly o-minimal.
Finally we establish that the field of p-adic numbers is dp-minimal.Comment: 19 pages; simplified proof for the p-adic
Design of a "Digital Atlas Vme Electronics" (DAVE) Module
ATLAS-SCT has developed a new ATLAS trigger card, 'Digital Atlas Vme
Electronics' ("DAVE"). The unit is designed to provide a versatile array of
interface and logic resources, including a large FPGA. It interfaces to both
VME bus and USB hosts. DAVE aims to provide exact ATLAS CTP (ATLAS Central
Trigger Processor) functionality, with random trigger, simple and complex
deadtime, ECR (Event Counter Reset), BCR (Bunch Counter Reset) etc. being
generated to give exactly the same conditions in standalone running as
experienced in combined runs. DAVE provides additional hardware and a large
amount of free firmware resource to allow users to add or change functionality.
The combination of the large number of individually programmable inputs and
outputs in various formats, with very large external RAM and other components
all connected to the FPGA, also makes DAVE a powerful and versatile FPGA
utility cardComment: 8 pages, 4 figures, TWEPP-2011; E-mail: [email protected]
- …