Filters








790,242 Hits in 4.0 sec

21aPS-38 Oxygen-reduction Effects in Pr247 and the Related Structure Phases Prepared by using Citrate Pyrolysis Precursor Method
21aPS-38 サイトレイト・パイロリシス前駆体から合成したPr247と関連構造相における酸素還元効果(領域8ポスターセッション(低温),領域8,強相関系:高温超伝導,強相関f電子系など)

M. Hagiwara, S. Tanaka, T. Shima, K. Gotoh, K. Takada, K. Nishio, S. Kanda, T.K saito, K. Koyama
2007 Meeting Abstracts of the Physical Society of Japan (Nihon Butsuri Gakkai koen gaiyoshu)  
西 尾弘 司 、 神 田 悟 H 、 齊藤 隆 仁 B , 小 山 晋 之 5 Oxygen . redUCtiOn EffCUs in P 尼 47 and 匸 heRetaIed Stmc【 ure Phases Propar 面 b ン 凵 si [ 1gCitratePy . rolysisPau コ . sorMe 山 od KyOIO instltu 匸 e ofTe ⊂ hnolog  ... 
doi:10.11316/jpsgaiyo.62.2.3.0_527_3 fatcat:zzc4b5n5p5gpvcfxj5td6bqipa

Reduced Product Combination of Abstract Domains for Shapes [chapter]

Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival
2013 Lecture Notes in Computer Science  
From the engineering standpoint, this construction allows each component to reason independently about different aspects of the data structure invariant and then separately exchange information via a reduction  ...  Such a separation of concerns is often obtained via a reduced product on a case-by-case basis.  ...  It proceeds by a classical abstract interpretation over the inductive structure of ι, using an abstract domain of path predicates.  ... 
doi:10.1007/978-3-642-35873-9_23 fatcat:52fwich2uvh3pisfd42cytdney

Defunctionalized interpreters for programming languages

Olivier Danvy
2008 Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08  
This document illustrates how functional implementations of formal semantics (structural operational semantics, reduction semantics, small-step and big-step abstract machines, natural semantics, and denotational  ...  Over the last few years, the author and his students have further observed that functional implementations of small-step and of big-step abstract machines are related using fusion by fixed-point promotion  ...  This work is partly supported by the Danish Natural Science Research Council, Grant no. 21-03-0545.  ... 
doi:10.1145/1411204.1411206 dblp:conf/icfp/Danvy08 fatcat:kovhccbxsvchnftgd5e754foku

Defunctionalized interpreters for programming languages

Olivier Danvy
2008 SIGPLAN notices  
This document illustrates how functional implementations of formal semantics (structural operational semantics, reduction semantics, small-step and big-step abstract machines, natural semantics, and denotational  ...  Over the last few years, the author and his students have further observed that functional implementations of small-step and of big-step abstract machines are related using fusion by fixed-point promotion  ...  This work is partly supported by the Danish Natural Science Research Council, Grant no. 21-03-0545.  ... 
doi:10.1145/1411203.1411206 fatcat:67pbi3uy4na6zgwtugb7633giy

Variable substitution with iconic combinators [chapter]

David Stevens
1993 Lecture Notes in Computer Science  
The two rules { a general abstraction rule and a general reduction rule { are the only ones required to perform variable substitution.  ...  It is shown how entire sets of combinators can be de ned by just two rules for constructing and interpreting iconic names.  ...  Structural Descriptions A structural description of a target expression is a term-by-term encoding made relative to an abstraction variable and a reference expression.  ... 
doi:10.1007/3-540-57182-5_63 fatcat:jogkipirg5bxpnp3cmoounpjdu

Deriving an Abstract Machine for Strong Call by Need

Malgorzata Biernacka, Witold Charatonik, Michael Wagner
2019 International Conference on Rewriting Techniques and Applications  
We show a novel reduction semantics and the first abstract machine for the strong call-by-need strategy.  ...  ., a generic method that allows to go from a reduction semantics instrumented with context kinds to the corresponding abstract machine; the machine is thus correct by construction.  ...  Normal forms in N (with respect to strong call-by-need reduction) are either structures or irreducible terms built around a normal λ-abstraction in N λ (see Figure 7 ).  ... 
doi:10.4230/lipics.fscd.2019.8 dblp:conf/rta/BiernackaC19 fatcat:ouy3b64ihbh7rb6igszzwaozy4

Maximal Input Reduction of Sequential Netlists via Synergistic Reparameterization and Localization Strategies [chapter]

Jason Baumgartner, Hari Mony
2005 Lecture Notes in Computer Science  
Experiments confirm that the complementary reduction strategy enabled by our techniques is necessary for iteratively reducing large problems while keeping both proof-fatal design size metrics -register  ...  Second, we present a novel form of reparameterization: as a trace-equivalence preserving structural abstraction, which provably renders a netlist with input count at most a constant factor of register  ...  Structural Parametric Abstraction In this section we discuss our structural reparameterization technique.  ... 
doi:10.1007/11560548_18 fatcat:4iip4uwskbcszlvwacgg47huae

Partially Disjunctive Heap Abstraction [chapter]

Roman Manevich, Mooly Sagiv, Ganesan Ramalingam, John Field
2004 Lecture Notes in Computer Science  
The new heap abstraction works by merging shape descriptors according to a partial isomorphism similarity criteria, resulting in a partially disjunctive abstraction.  ...  Disjunctive (powerset) abstractions capture such distinctions in a natural way. However, in general, powerset abstractions increase space and time costs by an exponential factor.  ...  A canonic bounded structure is a bounded structure in which the individuals are identified by their canonical names. We refer to the set of all canonic bounded structures by CB-STRUCT P,A .  ... 
doi:10.1007/978-3-540-27864-1_20 fatcat:eczj6rj6zzaq5imqv5qifffmlm

A Port Graph Calculus for Autonomic Computing and Invariant Verification

Oana Andrei, Hélène Kirchner
2009 Electronical Notes in Theoretical Computer Science  
We then define an abstract biochemical calculus that instantiates to a rewrite calculus on these graphs. Rules and strategies are themselves port graphs, i.e. first-class objects of the calculus.  ...  Some computations take place wherever it is possible and in parallel, while others may be controlled by strategies.  ...  Then Section 3 presents an abstract rewriting calculus inspired by biochemical transformations in which molecules are collections of structured objects, rules and more general abstractions.  ... 
doi:10.1016/j.entcs.2009.10.015 fatcat:ycclqi4wrferffcgvfsihsj46q

Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs [chapter]

Fei Xie, James C. Browne
2002 Lecture Notes in Computer Science  
The framework structures the application of state space reduction algorithms into three phases with different algorithms applied in each phase.  ...  The framework is presented for system designs modeled in xUML [1][2], an executable dialect of UML, but can also be used to structure integrated state space reduction for other representations.  ...  On the other hand, for well-structured xUML models, there are system structure and property specific reduction algorithms at the xUML model level, which cannot be recognized by the xUML-to-S/R translator  ... 
doi:10.1007/3-540-45923-5_5 fatcat:gwskodbjvnektc2nwtcsmapjoy

New abstraction networks and a new visualization tool in support of auditing the SNOMED CT content

James Geller, Christopher Ochs, Yehoshua Perl, Junchuan Xu
2012 AMIA Annual Symposium Proceedings  
Our objective is to find such errors, which can be aided by deriving abstraction networks from a large terminology.  ...  Providing visualizations for such abstraction networks aids auditors by allowing them to quickly focus on elements of interest within a terminology.  ...  Acknowledgements Work on BLUSNO was partially supported by the NIH ARRA grant R01 LM008912-S2.  ... 
pmid:23304293 pmcid:PMC3540556 fatcat:ibtkwpuwxrflljvg4onlqgrfhi

Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions [chapter]

Henri Hansen, Shang-Wei Lin, Yang Liu, Truong Khanh Nguyen, Jun Sun
2014 Lecture Notes in Computer Science  
However, when diagonal constraints are relaxed by a suitable abstraction, some diamond structure is re-introduced in the zone graph.  ...  A major obstacle for using partial order reduction in the context of real time verification is that the presence of clocks and clock constraints breaks the usual diamond structure of otherwise independent  ...  This research was partly supported by project "IDD11100102" from SUTD, "Formal Verification on Cloud" project under Grant No: M4081155.020, and TRF project "Research and Development in the Formal Verification  ... 
doi:10.1007/978-3-319-08867-9_26 fatcat:bh4ehyzyebd47ku7zaqabnelhy

Page 495 of Journal of the Electrochemical Society Vol. 105, Issue 8 [page]

1958 Journal of the Electrochemical Society  
The mechanism of the ion exchange is correlated with the structure of a surface complex. Abstract No. 16 Cathodic Reduction of Manganese Dioxide in Alkaline Electrolyte N. C.  ...  This corrosion is affected primarily by oxygen and by dissolved silver oxides. Abstract No. 23 Studies on Lead Sulfate Crystals E. J. Casey, K. N. Campney, and I. H. S.  ... 

Identification and Counter Abstraction for Full Virtual Symmetry [chapter]

Ou Wei, Arie Gurfinkel, Marsha Chechik
2005 Lecture Notes in Computer Science  
Symmetry reduction is an effective approach for dealing with the state explosion problem: when applicable, it enables exponential statespace reduction.  ...  In this paper, we study symmetry from the point of view of abstraction, which allows us to present an efficient procedure for identifying full virtual symmetry.  ...  Symmetry reduction of a structure Å ´Ë ʵ with respect to a permutation group can be seen as a form of abstraction.  ... 
doi:10.1007/11560548_22 fatcat:2xqd3vud2jfnhkw4pyrbc6iq6e

STRATEGIES OF REDUCTION OF ABSTRACTION IN ABSTRACT ALGEBRA

Ruma Manandhar, Lekhnath Sharma
2020 International journal of research - granthaalayah  
This article is based on the study, which tries to unpack strategies of reduction of abstraction in learning abstract algebra from learners' perspective.  ...  The study found the strategies of reduction of abstraction in abstract algebra are: making sense and meaning through previous experiences and existing knowledge an analogical creation of mental image,  ...  Another student's strategy of reduction of abstraction in learning abstract algebra is to use first person language in course of doing mathematics by students as teachers do in the classroom for logical  ... 
doi:10.29121/granthaalayah.v8.i11.2020.2446 fatcat:5kimuj46bbd4pedidoegolu5sa
« Previous Showing results 1 — 15 out of 790,242 results