Search Results - "Artzi, Shay"

miRviewer: a multispecies microRNA homologous viewer by Kiezun, Adam, Artzi, Shay, Modai, Shira, Volk, Naama, Isakov, Ofer, Shomron, Noam

“…MicroRNAs (miRNAs) are short non-coding RNAs that regulate gene expression via binding to the 3' ends of mRNAs. MiRNAs have been associated with many cellular…”
Get full text

miRNAminer: a tool for homologous microRNA gene search by Artzi, Shay, Kiezun, Adam, Shomron, Noam

“…MicroRNAs (miRNAs), present in most metazoans, are small non-coding RNAs that control gene expression by negatively regulating translation through binding to…”
Get full text

Structure of ubiquitylated-Rpn10 provides insight into its autoregulation mechanism by Keren-Kaplan, Tal, Zeev Peters, Lee, Levin-Kravets, Olga, Attali, Ilan, Kleifeld, Oded, Shohat, Noa, Artzi, Shay, Zucker, Ori, Pilzer, Inbar, Reis, Noa, Glickman, Michael H., Ben-Aroya, Shay, Prag, Gali

“…Ubiquitin receptors decode ubiquitin signals into many cellular responses. Ubiquitin receptors also undergo coupled monoubiquitylation, and rapid…”
Get full text

A framework for automated testing of javascript web applications by Artzi, Shay, Dolby, Julian, Jensen, Simon Holm, Møller, Anders, Tip, Frank

“…Current practice in testing JavaScript web applications requires manual construction of test cases, which is difficult and tedious. We present a framework for…”
Get full text

In vivo and in vitro tracking of erosion in biodegradable materials using non-invasive fluorescence imaging by Artzi, Natalie, Oliva, Nuria, Puron, Cristina, Shitreet, Sagi, Artzi, Shay, bon Ramos, Adriana, Groothuis, Adam, Sahagian, Gary, Edelman, Elazer R.

“…In vitro experiments of a biomaterial's degradability rarely predict its in vivo behaviour. It is now shown that tracking the hydrolytic and enzymatic erosion…”
Get full text

A bacterial genetic selection system for ubiquitylation cascade discovery by Levin-Kravets, Olga, Tanner, Neta, Shohat, Noa, Attali, Ilan, Keren-Kaplan, Tal, Shusterman, Anna, Artzi, Shay, Varvak, Alexander, Reshef, Yael, Shi, Xiaojing, Zucker, Ori, Baram, Tamir, Katina, Corine, Pilzer, Inbar, Ben-Aroya, Shay, Prag, Gali

“…An Escherichia coli -based genetic selection system, constructed from a split antibiotic resistance protein individually tethered to ubiquitin and a target…”
Get full text

Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking by Artzi, S, Kiezun, A, Dolby, J, Tip, F, Dig, D, Paradkar, A, Ernst, M D

“…Web script crashes and malformed dynamically generated webpages are common errors, and they seriously impact the usability of Web applications. Current tools…”
Get full text

Fault Localization for Dynamic Web Applications by Artzi, S., Dolby, J., Tip, F., Pistoia, M.

“…In recent years, there has been significant interest in fault-localization techniques that are based on statistical analysis of program constructs executed by…”
Get full text

Structure-based in silico identification of ubiquitin-binding domains provides insights into the ALIX-V:ubiquitin complex and retrovirus budding by Keren-Kaplan, Tal, Attali, Ilan, Estrin, Michael, Kuo, Lillian S, Farkash, Efrat, Jerabek-Willemsen, Moran, Blutraich, Noa, Artzi, Shay, Peri, Aviyah, Freed, Eric O, Wolfson, Haim J, Prag, Gali

“…The ubiquitylation signal promotes trafficking of endogenous and retroviral transmembrane proteins. The signal is decoded by a large set of ubiquitin (Ub)…”
Get full text

Automated repair of HTML generation errors in PHP applications using string constraint solving by Samirni, H., Schafer, M., Artzi, S., Millstein, T., Tip, F., Hendren, L.

“…PHP web applications routinely generate invalid HTML. Modern browsers silently correct HTML errors, but sometimes malformed pages render inconsistently, cause…”
Get full text

Erratum: In vivo and in vitro tracking of erosion in biodegradable materials using non-invasive fluorescence imaging by Artzi, Natalie, Oliva, Nuria, Puron, Cristina, Shitreet, Sagi, Artzi, Shay, bon Ramos, Adriana, Groothuis, Adam, Sahagian, Gary, Edelman, Elazer R.

“…Nature Materials 10, 704–709 (2011); published online: 24 October 2011; corrected after print: 20 September 2011. In the version of this Letter originally…”
Get full text

Practical fault localization for dynamic web applications by Artzi, Shay, Dolby, Julian, Tip, Frank, Pistoia, Marco

“…We leverage combined concrete and symbolic execution and several fault-localization techniques to create a uniquely powerful tool for localizing faults in PHP…”
Get full text

In vivo and in vitro tracking of erosion in biodegradable materials using non-invasive fluorescence imaging by Artzi, Natalie, Oliva, Nuria, Puron, Cristina, Shitreet, Sagi, Artzi, Shay, Bon Ramos, Adriana, Groothuis, Adam, Sahagian, Gary, Edelman, Elazer R

“…The design of erodible biomaterials relies on the ability to program the in vivo retention time, which necessitates real-time monitoring of erosion. However,…”
Get full text

Parameter reference immutability: formal definition, inference tool, and comparison by Artzi, Shay, Kieżun, Adam, Quinonez, Jaime, Ernst, Michael D.

“…Knowing which method parameters may be mutated during a method’s execution is useful for many software engineering tasks. A parameter reference is immutable if…”
Get full text