185 research outputs found
ATLAS IBL Pixel Upgrade
The upgrade for ATLAS detector will undergo different phase towards
super-LHC. The first upgrade for the Pixel detector will consist of the
construction of a new pixel layer which will be installed during the first
shutdown of the LHC machine (LHC phase-I upgrade). The new detector, called
Insertable B-Layer (IBL), will be inserted between the existing pixel detector
and a new (smaller radius) beam-pipe at a radius of 3.3 cm. The IBL will
require the development of several new technologies to cope with increase of
radiation or pixel occupancy and also to improve the physics performance which
will be achieved by reducing the pixel size and of the material budget. Three
different promising sensor technologies (planar-Si, 3D-Si and diamond) are
currently under investigation for the pixel detector. An overview of the
project with particular emphasis on pixel module is presented in this paper.Comment: 3 pages, 3 figures, presented at the 12th Topical Seminar on
Innovative Particle and Radiation Detectors (IPRD10) 7 - 10 June 2010, Siena
(IT). Accepted by Nuclear Physics B (Proceedings Supplements) (2011
Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis
Behavioral synthesis involves compiling an Electronic System-Level (ESL)
design into its Register-Transfer Level (RTL) implementation. Loop pipelining
is one of the most critical and complex transformations employed in behavioral
synthesis. Certifying the loop pipelining algorithm is challenging because
there is a huge semantic gap between the input sequential design and the output
pipelined implementation making it infeasible to verify their equivalence with
automated sequential equivalence checking techniques. We discuss our ongoing
effort using ACL2 to certify loop pipelining transformation. The completion of
the proof is work in progress. However, some of the insights developed so far
may already be of value to the ACL2 community. In particular, we discuss the
key invariant we formalized, which is very different from that used in most
pipeline proofs. We discuss the needs for this invariant, its formalization in
ACL2, and our envisioned proof using the invariant. We also discuss some
trade-offs, challenges, and insights developed in course of the project.Comment: In Proceedings ACL2 2014, arXiv:1406.123
Study of aquatic biodiversity and correlation with physical parameters of Jalangi river
The present study is concerned to assess the present status of aquatic biodiversity and its correlation with few physical parameters of river Jalangi. The study shows more than 35 species of freshwater fishes, eight species of zooplanktons, four species of dragonflies and two species of damselflies, few species of mollusks, which reflects that the river Janangi is full of diversity with respect to flora and fauna. The river is full of eel grass. River Jalangi is also a habitat of water striders, few crab species and aquatic snakes. In few areas, pollution may affect the present ecological status of Jalangi River in near future. This preliminary study identifies the overall biodiversity status of Jalangi. However, more work in this direction is required to make complete database on floral and faunal diversity of this river.
DOI: http://dx.doi.org/10.5281/zenodo.451652
An overview of floral and faunal diversity in and around Barrackpore Rastraguru Surendranath College Campuses, West Bengal, India
The present survey based study involves the qualitative diversity of flora and fauna. The diversity assessment was carried out at two campuses of Barrackpore Rastraguru Surendranath College. This extensive study reveals the presence of 256 floral species and 165 faunal species in and around college campuses. The huge faunal diversity is mainly due to high level of floral diversity, which establishes the area as resource-rich habitat with promising reservoir of species. This is the very first effort in exploring the natural wealth of Barrackpore Rastraguru Surendranath College campuses.
DOI: http://dx.doi.org/10.5281/zenodo.369591
- …