نتایج جستجو برای: references group
تعداد نتایج: 1029795 فیلتر نتایج به سال:
Even when programming purely mathematical functions, mutable state is often necessary to achieve good performance, as it underlies important optimisations such as path compression in union-find algorithms and memoization. Nevertheless, verified programs rarely use mutable state because of its substantial verification cost: one must either commit to a deep embedding or follow a monadic style of ...
thesis of feedback c o n trol logic for a class of controlled Petri nets. Stability and stabilizability o f b e h a vior of discrete event dynamical systems. Some tractable supervisory control problems for discrete-event systems modeled by B u c hi automata.visory control of concurrent discrete-event s y stems .
11 set name Theorem_Tc1_2_1_1 prove in(d', funcSpace(Node, NatInf)) set name Theorem_TC_2_1_1_1 prove (in(v_k_, openInter(((d@v_m_c)+1), (d@v_n_c))) => in(v_k_,NatInf)) resume by => <> 1 subgoal for proof of => normalize Theorem_TC_2_1_1_1ImpliesHyp with UseOpenInterval ] => subgoal ] conjecture set name Theorem_TC_2_1_1 normalize Theorem_TC_2ImpliesHyp.2 with TC normalize Theorem_TC_2_1Implies...
several points within the design space are examined by the involved advice tool. Thus, predictions of the final result can be computed without completely synthesizing the whole design. This leads to a reasonable reduction of design time because only the design with the best estimated characteristics is given to logic synthesis for implementation. Future work will concentrate on bringing the adv...
An exact formula for the move-to-front rule for self-organizing lists. (19) where (m) = jfT 2 B n : m 2 m (T)gj. It is easily seen that (m) depends only on the unordered set m ] and equals (m) = m Y i=0 g i ((m]) : (20) Therefore (19) equals n X m=jRj (?1) m?jRj X UR jUj=m (U) = X UR (?1) jUj?jRj (U): (21) But (U) is, by (20), precisely the number of trees that x at least the points in U. By MM...
[1] Sheng-Lyang Jang, Li-Te Chou and Chia-Wei Chang, ” Colpitts VCO with Gate-Series High-Quality Factor LC Resonator,” in press, Microwave and Optical Technology Lett., Oct. 2010. [2] M. H. Juang, C. W. Chang, D. C. Shye, J. L. Wang, C. C. Hwang, and S. L. Jang, “Study of polycrystalline-Si thin film transistors with different channel layer thickness at low bias voltage”, Microelectronics Engi...
(1998) Electrothermal atomization laser-excited atomic fluorescence spectroscopy for the determination of indium. Comparative toxicity and pharmacodynamics of ionic indium chloride and hydrated indium oxide. (1993) Biological indicators for monitoring exposure/toxicity from III-V semiconductors. (1998) Somatic mutations of the β-catenin gene are frequent in mouse and human hepatocellular carcin...
Das, T., et al. (2011). "Potential increase in floods in California's Sierra Nevada under future climate projections." Climatic Change 109: 71-94. California's mountainous topography, exposure to occasional heavily moisture-laden storm systems, and varied communities and infrastructures in low lying areas make it highly vulnerable to floods. An important question facing the state-in terms of pr...
[9] D. V. Steward, " The design structure system: A method for managing the design of complex systems, "
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید