نتایج جستجو برای: ergo
تعداد نتایج: 562 فیلتر نتایج به سال:
We describe some of the technology we used to build a user interface for a programmable theorem prover. By separating the user interface from the application itself, it is possible to experiment with new interface features very easily, without compromising the soundness of the proof tool. INTRODUCTION In this paper, we describe some of the technology that allowed us to construct a workable user...
Graphene oxide (GO) was reduced by a rapid, effective and eco-friendly electrochemical method of repetitive cathodic cyclic potential cycling, without using any reducing reagents. The electrochemically reduced graphene oxide (ERGO) was characterized by UV–vis, EIS and zeta-potential measurements. Most of the oxygen functional groups in ERGO were successfully removed resulting in smaller charge ...
The aim of the present study is to clarify the functional expression and physiological role in brain neurons of carnitine/organic cation transporter OCTN1/SLC22A4, which accepts the naturally occurring antioxidant ergothioneine (ERGO) as a substrate in vivo. After intracerebroventricular administration, the distribution of [(3)H]ERGO in several brain regions of octn1(-/-) mice was much lower th...
Due to undecidability and complexity of first-order logic, SMT solvers may not terminate on some problems or require a very long time. When this happens, one would like to find the reasons why the solver fails. To this end, we have designed AltGr-Ergo, an interactive graphical interface for the SMT solver Alt-Ergo which allows users and tool developers to help the solver finish some proofs. Alt...
To support formal reasoning in mathematical and software engineering applications, it is desirable to have a generic prover that can be instantiated with a range of logics. This allows the prover to be applied to a wider variety of reasoning tasks than a fixed-logic prover. This paper describes the design principles and the architecture of the latest version of the Ergo proof engine, Ergo 6. Er...
The ERGO (http://ergo.integratedgenomics.com/ERGO/) genome analysis and discovery suite is an integration of biological data from genomics, biochemistry, high-throughput expression profiling, genetics and peer-reviewed journals to achieve a comprehensive analysis of genes and genomes. Far beyond any conventional systems that facilitate functional assignments, ERGO combines pattern-based analysi...
s | 75 mass index and insulin resistance measures in bipolar disorder and schizophrenia. Bipolar Disord, 2015. 17(5): p. 528–35. PS204 Food-derived antidepressant-like compound ergothioneine promotes neuronal differentiation via activating mTORC1 and neurotrophic factor signaling in neural stem cells. Takahiro Ishimoto, Yukio Kato, Yusuke Masuo, Noritaka Nakamichi Kanazawa University, Japan Abs...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید