نتایج جستجو برای: domain synthesis
تعداد نتایج: 804618 فیلتر نتایج به سال:
This paper describes MEDUSA, an experimental algorithm synthesizer. MEDUSA is characterized by its top-down approach, its use of cost-constraints, and its restricted number of synthesis methods. Given this model, we discuss heuristics used to keep this process from being unbounded search through the solution space. The results indicate that the performance criteria can be used effectively to he...
Hepatitis B virus (HBV) synthesizes its DNA genome through reverse transcription, which is catalyzed by viral polymerase (Pol). Previous studies suggested that the RNase H domain of hepadnaviral Pol may contribute to multiple steps of the viral genome replication, such as RNA encapsidation and viral DNA synthesis. However, specific residues of the RNase H domain that contribute to viral reverse...
Cyclic guanosine 3',5'-monophosphate (cyclic GMP) is a second messenger whose role in bacterial signalling is poorly understood. A genetic screen in the plant pathogen Xanthomonas campestris (Xcc) identified that XC_0250, which encodes a protein with a class III nucleotidyl cyclase domain, is required for cyclic GMP synthesis. Purified XC_0250 was active in cyclic GMP synthesis in vitro. The li...
Programming by example (PBE) systems allow end users to easily create programs by providing a few input-output examples to specify their intended task. The system attempts to generate a program in a domain specific language (DSL) that satisfies the given examples. However, a key challenge faced by existing PBE techniques is to ensure the robustness of the programs that are synthesized from a sm...
The sustainable university concept is rooted in prevalent paradigms pertained to economic, social and environmental development, which all focus on systemic thought and rationality; besides, they tend to discover and solve problems by applying an interdisciplinary approach. However, the epistemic component is what these paradigms have ignored. The purpose of this study is to explain a methodo...
The atomic structure of the cubic-SiC(001) surface during ultra-high vacuum graphene synthesis has been studied using scanning tunneling microscopy (STM) and low-energy electron diffraction. Atomically resolved STM studies prove the synthesis of a uniform, millimeter-scale graphene overlayer consisting of nanodomains rotated by ±13.5° relative to the left angle bracket 110 right angle bracket-d...
در محیط محاسبات فراگیر، تمام وسیله هایی که قصد برقراری ارتباط با یکدیگر را دارند با رویدادها سر و کار دارند. به همین دلیل، کشف سرویس ها و مدیریت رویدادها در این محیط از حساسیت و پیچیدگی محسوسی برخوردار است. با توجه به اهمیت موضوع، هدف این رساله ارائه ی شیوه ایست که با استفاده از پایگاه داده ی فعال و به کارگیری قوانین eca (event, condition, action)، پیچیدگی رویدادهای بین وسیله ها را کاهش داده ...
Recently, a new data driven controller synthesis is presented for calculating the family of stabilizing first, second and fixed order controller using frequency respons. However, this method is applicable just for plants that can guarantee some smoothness at the boundary of the resulted high dimension LMI. This paper solve that issue and extends the approach to fixed order controllers guarantee...
This paper describes a unified and automated design method for synthesizing designs for multi-domain systems, such as mechatronic systems. A multi-domain dynamic system, of which a mechatronic system is a popular example , includes a combination of components drawn from electrical, mechanical, hydraulic, pneumatic, and/or thermal systems, making it difficult to design a system to meet specified...
This paper describes the design and evaluation of prosodically-sensitive concatenative units for a Persian text-to-speech (TTS) synthesis system. Thesyllables used are prosodically conditioned in the sense that a single conventional syllable is stored as different versions taken directly from the different prosodic domains of the prosodically labeled, read sentences. The three levels of the Per...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید