1413 search results - page 109 / 283 » Bisimilarity of Open Terms |
289
click to vote
ACS
2011
15 years 27 days ago
2011
Abstract. One of the open problems in higher category theory is the systematic construction of the higher dimensional analogues of the Gray tensor product. In this paper we begin t...
344
click to vote
FPGA
2011
ACM
14 years 10 months ago
2011
ACM
In this paper, we introduce a new open source high-level synthesis tool called LegUp that allows software techniques to be used for hardware design. LegUp accepts a standard C pro...
182
click to vote
INFOCOM
2011
IEEE
14 years 9 months ago
2011
IEEE
—Heterogeneous wireless networks employ varying degrees of network coverage using power control in a multi-tier configuration, where low-power femtocells are used to enhance per...
174
click to vote
NAR
2011
14 years 9 months ago
2011
AREsite is an online resource for the detailed investigation of AU-rich elements (ARE) in vertebrate mRNA 30 -untranslated regions (UTRs). AREs are one of the most prominent cis-a...
165
click to vote
AQUILEIA
2011
14 years 6 months ago
2011
Basic ideas are presented of a multi-national research project to share data about the Roman city of Aquileia employing the Information and Communication Technologies (ICT). A Cons...