標題: Titlebook: Logic Based Program Synthesis and Transformation; 13th International S Maurice Bruynooghe Conference proceedings 2004 Springer-Verlag Berli [打印本頁] 作者: SPIR 時間: 2025-3-21 16:24
書目名稱Logic Based Program Synthesis and Transformation影響因子(影響力)
書目名稱Logic Based Program Synthesis and Transformation影響因子(影響力)學科排名
書目名稱Logic Based Program Synthesis and Transformation網(wǎng)絡公開度
書目名稱Logic Based Program Synthesis and Transformation網(wǎng)絡公開度學科排名
書目名稱Logic Based Program Synthesis and Transformation被引頻次
書目名稱Logic Based Program Synthesis and Transformation被引頻次學科排名
書目名稱Logic Based Program Synthesis and Transformation年度引用
書目名稱Logic Based Program Synthesis and Transformation年度引用學科排名
書目名稱Logic Based Program Synthesis and Transformation讀者反饋
書目名稱Logic Based Program Synthesis and Transformation讀者反饋學科排名
作者: 混合,攙雜 時間: 2025-3-21 20:32
José Luis Ruiz-Reina,José Antonio Alonso-Jiménez,María José Hidalgo,Francisco Jesús Martín-Mateos作者: Strength 時間: 2025-3-22 04:06
John P. Gallagherently on the market focuses solely on the newborn, and .Kidney and Urinary Tract Diseases in the Newborn. will be especially valuable to those undergoing fellowship training in neonatology or pediatric nephrology/urology..978-3-662-52077-2978-3-642-39988-6作者: 命令變成大炮 時間: 2025-3-22 04:56 作者: BRAVE 時間: 2025-3-22 09:25 作者: reaching 時間: 2025-3-22 16:01
Tjark Weber,James Caldwellently on the market focuses solely on the newborn, and .Kidney and Urinary Tract Diseases in the Newborn. will be especially valuable to those undergoing fellowship training in neonatology or pediatric nephrology/urology..978-3-662-52077-2978-3-642-39988-6作者: tariff 時間: 2025-3-22 19:18
Tetsuo Yokoyama,Zhenjiang Hu,Masato Takeichis Na.-K.-ATPase, cross-reacts against digoxin antibodies, and displaces tritiated ouabain from the surface of red cells. Others, including ourselves, would agree with the first group that there is a substance of small molecular weight present in plasma and urine which inhibits Na.-K.-ATPase (5), but作者: Fermentation 時間: 2025-3-22 23:35 作者: Costume 時間: 2025-3-23 03:09
Sandra Alves,Mário Floridowas applied to balance the sample distribution. The PCA and XGBoost techniques were utilized to select dominant features. To detect dyslexic and non-dyslexic classes, various machine learning classifiers like SVM, Naive Bayes, Logistic Regression, Decision Trees, and Neural Networks were trained usi作者: DEVIL 時間: 2025-3-23 07:42 作者: osteoclasts 時間: 2025-3-23 13:20
Henning Christiansen,Davide Martinenghifirst few months after the murder through the eyes of the youth, who were only children at the time. By comparing the experiences of religious stigma expressed in the congregation to similar experiences researched in other new religions, this chapter analyses the connection between stigma and increa作者: 協(xié)定 時間: 2025-3-23 14:39
Slim Abdennadher,Thom Frühwirthfirst few months after the murder through the eyes of the youth, who were only children at the time. By comparing the experiences of religious stigma expressed in the congregation to similar experiences researched in other new religions, this chapter analyses the connection between stigma and increa作者: 報復 時間: 2025-3-23 21:40 作者: Junction 時間: 2025-3-24 01:34
John P. Gallagherically oriented approach throughout.Clinical case vignettes .This book provides a comprehensive and up-to-date overview of all key issues related to kidney and urinary tract disease in full-term and premature newborns. Among the many topics addressed are fluid and electrolyte abnormalities, hydronep作者: 共和國 時間: 2025-3-24 04:25
Takuma Murakami,Zhenjiang Hu,Kazuhiko Kakehi,Masato Takeichiically oriented approach throughout.Clinical case vignettes .This book provides a comprehensive and up-to-date overview of all key issues related to kidney and urinary tract disease in full-term and premature newborns. Among the many topics addressed are fluid and electrolyte abnormalities, hydronep作者: Antagonist 時間: 2025-3-24 09:43
Alexander Serebrenik,Danny De Schreyeically oriented approach throughout.Clinical case vignettes .This book provides a comprehensive and up-to-date overview of all key issues related to kidney and urinary tract disease in full-term and premature newborns. Among the many topics addressed are fluid and electrolyte abnormalities, hydronep作者: intrigue 時間: 2025-3-24 14:34 作者: 笨拙的你 時間: 2025-3-24 14:49
Tetsuo Yokoyama,Zhenjiang Hu,Masato Takeichia sodium transport inhibitor. Evidence is presented to suggest a link between a genetic abnormality in the kidney’s capacity to excrete sodium, the excessive secretion of a sodium-transport inhibitor, salt intake, the rise in peripheral resistance, and ultimately the development of essential hyperte作者: 朝圣者 時間: 2025-3-24 21:25 作者: INCH 時間: 2025-3-25 01:24
Sandra Alves,Mário Floridoural environment. Dyslexia affects a person‘s reading skills, hinders academic success, and has long-term effects extending beyond the learning years. An early diagnosis is imperative. A series of tests are conducted to determine whether the child needs a specific set of educational techniques for l作者: 精美食品 時間: 2025-3-25 06:02 作者: 儲備 時間: 2025-3-25 08:26 作者: Slit-Lamp 時間: 2025-3-25 11:55
Slim Abdennadher,Thom Frühwirthon in 2018. It relates the informants’ individual experiences of relations with family members and peers in school as well as other persons outside of the congregation. It refers to the testimonies of family and former members of a situation in which criticism of the leadership of the congregation r作者: dermatomyositis 時間: 2025-3-25 18:35 作者: PALSY 時間: 2025-3-25 21:15
Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures. The conjectures we are interested in here are implicative formulas that are of the following form: .. A faulty conjecture is a statement ., which is not provable in some given program ., defining all the predicates occurring in ., i.e, ., where . means the least Herbrand model of ., but it would b作者: 種子 時間: 2025-3-26 03:09
Correct OO Systems in Computational Logicf interacting objects. Our formalisation is based on steadfast logic programs in the context of open specification frameworks. However, we have considered only the static aspects, namely the specification of constraints and the correctness of queries (programs that do not update the current state). 作者: nonplus 時間: 2025-3-26 06:00
Specification and Synthesis of Hybrid Automata for Physics-Based Animationence, they are used to investigate the behavior of dynamical systems. In engineering, they are used to help design vehicles, machinery and other mechanical devices. In education, they are used to teach basic principles of physics. In entertainment, they are used in games involving cars, planes, spac作者: 寬大 時間: 2025-3-26 08:48
Adding Concrete Syntax to a Prolog-Based Program Synthesis Systemmeta-level (i.e., the implementation language of the system itself). The meta-level representations of object-level program fragments are usually built in an essentially syntax-free fashion using the operations provided by the meta-language. However, syntax matters and a large conceptual distance be作者: Talkative 時間: 2025-3-26 15:09 作者: 詞匯 時間: 2025-3-26 19:45 作者: companion 時間: 2025-3-26 22:50
A Program Transformation for Backwards Analysis of Logic Programss to derive initial goals or pre-conditions that guarantee that, when the program is executed, the given properties hold. The solution for logic programs presented here is based on a transformation of the input program, which makes explicit the dependencies of the given program points on the initial作者: MOAT 時間: 2025-3-27 01:30
An Efficient Staging Algorithm for Binding-Time Analysis1]. The task of BTA is to divide a source program into two parts according to a given binding-time specification?[2]. A binding-time specification gives information about availability of data: . data are available at compile-time while . data are available at run time. BTA determines, from a binding作者: 漂亮 時間: 2025-3-27 07:13 作者: 不能和解 時間: 2025-3-27 11:17
Constructively Characterizing Fold and Unfoldnd ., . given a function ., when can a function . be constructed such that .?=?.. or .?=?..? These results are refinements of the classical characterization of . and . given by Gibbons, Hutton and Altenkirch in?[6]. The proofs presented here have been formalized in Nuprl’s constructive type theory?[作者: 可憎 時間: 2025-3-27 15:06
Deterministic Higher-Order Patterns for Program Transformational program transformation systems. However,higher-order matching in general is nondeterministic, and the matching algorithm is so expensive that even second-order matching is NP-complete. It is orthodox to impose constraint on the form of patterns to obtain the desirable matches satisfying certain p作者: 散開 時間: 2025-3-27 19:37
From Interpreter to Logic Engine by Defunctionalizationic engine in the form of an abstract machine. The derivation originates in previous work (our article at PPDP 2003) where it was applied to the lambda-calculus. The key transformation here is Reynolds’s defunctionalization that transforms a tail-recursive, continuation-passing interpreter into a tra作者: 機密 時間: 2025-3-27 23:41
Linearization by Program Transformationerties of strong normalization, non-duplicating reductions and typability in polynomial time. The advantage of this class over the linear lambda-calculus is the possibility of transforming general terms into weak linear terms with the same normal form. We present such transformation and prove its co作者: 伸展 時間: 2025-3-28 02:43
Continuation Semantics as Horn Clauseso provably correct compilation based on . of programming languages and partial evaluation. We show that the definite clause grammar (DCG) notation can be used for specifying both the syntax and semantics of imperative languages. We next show that continuation semantics can also be expressed in the H作者: Cardiac 時間: 2025-3-28 08:53
Simplification of Database Integrity Constraints Revisited: A Transformational Approachd checks for each update. The present approach introduces a set of transformation operators that apply to database integrity constraints with each operator representing a concise, semantics-preserving operation. These operators are applied in a procedure producing simplified constraints for parametr作者: 記憶 時間: 2025-3-28 10:33
Integration and Optimization of Rule-Based Constraint Solverslaboration of constraint solvers. In this paper, we introduce a methodology for the tight integration of CHR constraint programs into one such program. CHR is a high-level rule-based language for writing constraint solvers and reasoning systems. A constraint solver is well-behaved if it is terminati作者: coagulate 時間: 2025-3-28 14:38
Introducing ,, a Relational Language for Modelling Combinatorial Problemse that solver-independent, high-level relational constraint modelling leads to a simpler and smaller language, to more concise, intuitive, and analysable models, as well as to more efficient and effective model formulation, maintenance, reformulation, and verification. All this can be achieved witho作者: 生命 時間: 2025-3-28 19:34 作者: nuclear-tests 時間: 2025-3-29 00:41
Specification and Synthesis of Hybrid Automata for Physics-Based Animationeships and other moving objects. Such programs are usually constructed by hand, in conventional programming languages, such as C++, possibly augmented with a physics-based animation toolkit. Unfortunately, manual construction of physics-based animation programs is expensive, time-consuming and highly prone to error.作者: 白楊 時間: 2025-3-29 05:02
Adding Concrete Syntax to a Prolog-Based Program Synthesis Systemtween the two languages makes it difficult to maintain and extend such systems. Here we describe how an existing Prolog-based system can gradually be retrofitted with concrete object-level syntax using the approach outlined in [5], thus shrinking this distance.作者: 牛的細微差別 時間: 2025-3-29 07:30 作者: BOGUS 時間: 2025-3-29 12:00
Proving Termination with Adornments]. This technique implements the well-known . strategy by distinguishing between different subsets of values for variables, and deriving termination proofs based on these subsets. In this paper we generalise this technique and discuss its applicability to the domain of terms (the Herbrand domain).作者: seruting 時間: 2025-3-29 19:06
Constructively Characterizing Fold and Unfold5] and thereby yield program transformations which map a function . (accompanied by the evidence that . satisfies the required conditions), to a function . such that .?=?.. or, as the case may be, .?=?...作者: largesse 時間: 2025-3-29 22:37 作者: 嫌惡 時間: 2025-3-30 01:43 作者: Adornment 時間: 2025-3-30 06:03
Introducing ,, a Relational Language for Modelling Combinatorial Problemsut sacrificing the possibility of efficient solving, so that even time-pressed or less competent modellers can be well assisted. Towards this, we propose the . relational constraint modelling language, showcase its elegance on some well-known problems, and outline a compilation philosophy for such languages.作者: dithiolethione 時間: 2025-3-30 08:36 作者: Hearten 時間: 2025-3-30 15:30
Conference proceedings 2004R series is devoted to research in logic-based program development. P- ticular topics of interest are speci?cation, synthesis, veri?cation, transformation, specialization, analysis, optimization, composition, reuse, component-based so- ware development, agent-based software development, software arc作者: MAUVE 時間: 2025-3-30 20:12 作者: 離開可分裂 時間: 2025-3-30 22:15
Formal Development and Verification of Approximation Algorithms Using Auxiliary Variablesey steps. First, auxiliary variables are introduced that allow a formal analysis of the worst-case behavior. In a second step these variables are eliminated from the program and existential quantifiers are introduced in assertions. We show that the elimination procedure preserves validity of proofs and illustrate the approach by two examples.作者: BIAS 時間: 2025-3-31 01:32 作者: 機械 時間: 2025-3-31 07:48 作者: 開花期女 時間: 2025-3-31 11:09
Predicate Synthesis from Inductive Proof Attempt of Faulty Conjecturese for .. To construct ., we use the abduction mechanism that is the process of hypothesis formation. In this paper, we use the logic based approach because it is suitable for the application of deductive rules.作者: fibula 時間: 2025-3-31 14:22 作者: Nutrient 時間: 2025-3-31 19:21 作者: Decibel 時間: 2025-3-31 22:59 作者: 矛盾 時間: 2025-4-1 05:32
0302-9743 ram Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development. P- ticular topics of interest are speci?cation, synthesis, veri?cation, transformation, specialization, analysis, optimization, composition, reuse, component-based so- ware development, age作者: Fermentation 時間: 2025-4-1 08:55 作者: Glaci冰 時間: 2025-4-1 11:46
978-3-540-22174-6Springer-Verlag Berlin Heidelberg 2004