نتایج جستجو برای: آیورین 21
تعداد نتایج: 248167 فیلتر نتایج به سال:
Appropriate representation is the key to successful reasoning. Hence, if intelligent agents are to cope with changing goals in a changing environment, they must be able to adapt their representations, i.e., to detect that a current representation is inadequate, to diagnose its shortcomings and to repair it. In this paper we address the most basic kind of representational shortcoming: inconsiste...
Brother of the Regulator of Imprinted Sites (BORIS/CTCFL) is an autosomal cancer germline (CG) or cancer-testis antigen gene and paralog of CTCF that has been proposed to function as an oncogene in human cancer via dysregulation of the cancer epigenome. Here we show that genetic disruption of DNA methylation in human cancer cells induces BORIS expression, coincident with DNA hypomethylation and...
Rapid advances in observational cosmology have led to the establishment of a precision cosmological model, with many of the key cosmological parameters determined to one or two significant figure accuracy. Particularly prominent are measurements of cosmic microwave background (CMB) anisotropies, led by the seven-year results from the Wilkinson Microwave Anisotropy Probe (WMAP) [1–3]. However th...
Many years ago various new concepts have been introduced into Isabelle to support the Isar proof language. While the original motivation was coming from the demands of human-readable proof texts, most of this infrastructure has turned out as generally useful in building other advanced mechanisms. So today “Isar” concepts already permeate large parts of Isabelle, enabling simpler and more powerf...
Today, people collect their personal multimedia content on home media servers. In addition to consuming their content on TV sets, people are using mobile multimedia players, PCs and even mobile phones. Since those terminals have various capabilities, it is necessary to adapt the content to a more device specific version. For audio, video, and graphics scalable codecs exist which realize this go...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید