نتایج جستجو برای: nominal set

تعداد نتایج: 686085  

Journal: :Electronic Proceedings in Theoretical Computer Science 2010

2006
Murdoch J. Gabbay Aad Mathijssen

Universal algebra [5, 9, 4] is the theory of equalities t = u. It is a simple framework within which we can study mathematical structures, for example groups, rings, and fields. It has also been applied to study the mathematical properties of mathematical truth and computability. For example boolean algebras correspond to classical truth, heyting algebras correspond to intuitionistic truth, cyl...

2001
Alain Borghijs

It is sometimes argued that resistance to nominal wage cuts would justify a moderate amount of inflation in order to “grease the wheels of the labour market”. While empirical studies tend to find that nominal wages are not downwardly rigid in Anglo-Saxon economies, a number of studies suggest that downward nominal wage rigidity is more widespread among continental European countries. This paper...

2016
Mauricio Ayala-Rincón Maribel Fernández Daniele Nantes-Sobrinho

Nominal unification is a generalisation of first-order unification that takes α-equivalence into account. In this paper, we study nominal unification in the context of equational theories. We introduce nominal narrowing and design a general nominal E-unification procedure, which is sound and complete for a wide class of equational theories. We give examples of application. 1998 ACM Subject Clas...

2016
Xiaoyun Hu Xiuming Xi Penglin Ma Haibo Qiu Kaijiang Yu Yaoqing Tang Chuanyun Qian Qiang Fang Yushan Wang Xiangyou Yu Yuan Xu Bin Du

BACKGROUND The aim of this study is to develop consensus on core competencies required for postgraduate training in intensive care medicine. METHODS We used a combination of a modified Delphi method and a nominal group technique to create and modify the list of core competencies to ensure maximum consensus. Ideas were generated modified from Competency Based Training in Intensive Care Medicin...

A. Mohammadpour, H. Mokhtari, M. R Zolghadri,

Robust performance controller design for duty-cycle controlled series resonant converter (SRC) is proposed in this paper. The uncertainties of the converter are analyzed with load variation and power circuit components tolerances are taken into consideration. Additionally, a nominal performance (NP) controller is designed. Closed-loop system is simulated with Orcad and simulation results of r...

Journal: :Electronic Notes in Theoretical Computer Science 2007

Journal: :Anaesthesia 1980

Journal: :Electr. Notes Theor. Comput. Sci. 2012
Matteo Cimini Mohammad Reza Mousavi Michel A. Reniers Murdoch James Gabbay

Plotkin’s style of Structural Operational Semantics (SOS) has become a de facto standard in giving operational semantics to formalisms and process calculi. In many such formalisms and calculi, the concepts of names, variables and binders are essential ingredients. In this paper, we propose a formal framework for dealing with names in SOS. The framework is based on the Nominal Logic of Gabbay an...

2010
Pedro S. Amaral James C. MacGee

We document sectoral differences in changes in output, hours worked, prices and nominal wages in the US during the Great Depression. We explore whether contractionary monetary shocks combined with different degrees of nominal wage frictions across sectors are consistent with both sectoral as well as aggregate facts. To do so, we construct a two-sector model where goods from each sector are used...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید