The 2008 crash has left all the established economic doctrines - equilibrium models, real business cycles, disequilibria models - in disarray. Part of the problem is due to Smith’s "veil of ignorance": individuals unknowingly pursue society’s interest and, as a result, have no clue as to the macroeconomic effects of their actions: witness the Keynes and Leontief multipliers, the concept of value added, fiat money, Engel’s law and technical progress, to name but a few of the macrofoundations of microeconomics. A good viewpoint to take bearings anew lies in comparing the post-Great Depression institutions with those emerging from Thatcher and Reagan’s economic policies: deregulation, exogenous vs. endoge- nous money, shadow banking vs. Volcker’s Rule. Very simply, the banks, whose lending determined deposits after Roosevelt, and were a public service became private enterprises whose deposits determine lending. These underlay the great moderation preceding 2006, and the subsequent crash.

The Economic Institutions of Capitalism

The authoritative guide to the Eclipse Modeling Framework (EMF)--written by the lead EMF designers! Shows how EMF unifies three important technologies: Java, XML, and UML @BULLET= Provides a comprehensive overview of the EMF classes including a complete quick reference for all the classes and methods in the EMF 1.1 API. Includes examples of many common framework customizations and programming techniques.

Eclipse Modeling Framework

中國科技大學通識教育中心英語文證照奬勵金實施要點 中華民國 105 年 1 月 8 日通識教育委員會議通過 一、 中國科技大學(以下簡稱本校)為鼓勵本校學生通過具公信力機構之英語文能力測驗或 取得證照,特訂定「中國科技大學通識教育中心英語文證照獎勵金實施要點」(以下簡 稱本要點)。 二、 學生於就讀本校期間,通過歐盟共同架構(CEFR)語言能力參考指標 B1(中級)同等級英 語文能力測驗以上(含)者,得依據本要點酌予獎勵。檢測項目請參閱本中心「歐洲語言 學習、教學、評量共同參考架構與各英語檢測分級對照表」(參見附表);未列於標準 對照表之測驗項目不給予獎助。 三、 凡本校學生,除應英系外,均得申請。大學部學生通過同等級以申請一次為限,在學期 間得重複申請,但該次申請之級別不得低於前次。 本獎勵金每學期核發乙次,每次核發全校前 10 名,各名次核發金額如附表。 四、 申請人應提供在學期間,申請當(學)期參加考試之證明文件及成績證明或證照,以憑辦 理。 五、 獎勵金申請作業:請至通識教育中心網頁下載「英語文證照獎勵金申請表」(附件 1), 填妥後檢附成績單正本及影本(背面簽名並註明與正本無異)各一份、本人金融帳戶存 簿(郵局或土地銀行)封面影本送至通識教育中心。 通識教育中心得每學期遴選受獎代表,擇期公開頒奬,並辦理後續請款作業。 六、 奬勵金申請期限:通過相關證照考試半年內應提出申請,逾期視同放棄。 七、 本要點之獎勵金由學校開設通識教育中心專戶,一切收支專款專用;每年度如有剩餘 款,則移至翌年度繼續使用。 八、 本要點經通識教育中心會議審查通過,陳請校長核定後公告實施,修訂時亦同。

文化と言語の多様性の中のCommon European Framework of Reference for Languages: Learning, teaching, assessment (CEFR)--それは基準か? (第10回明海大学大学院応用言語学研究科セミナー 講演)

We provide an extensive overview of existing research in the field of software refactoring. This research is compared and discussed based on a number of different criteria: the refactoring activities that are supported, the specific techniques and formalisms that are used for supporting these activities, the types of software artifacts that are being refactored, the important issues that need to be taken into account when building refactoring tool support, and the effect of refactoring on the software process. A running example is used to explain and illustrate the main concepts.

/pdf/a-survey-of-software-refactoring-kgrdghit3u.pdf

A survey of software refactoring

Handbook of logic in computer science.

Digital annotation of multimedia documents adds information to a document (e.g. a web page) or parts of it (a multimedia object such as an image or a video stream contained in the document). Digital annotations can be kept private or shared among different users over the internet, allowing discussions and cooperative work. We study the possibility of annotating multimedia documents with objects which are in turn of multimedial nature. Annotations can refer to whole documents or single portions thereof, as usual, but also to multi-objects, i.e. groups of objects contained in a single document. We designed and developed a new digital annotation system organized in a client-server architecture, where the client is a plug-in for a standard web browser and the servers are repositories of annotations to which different clients can login. Annotations can be retrieved and filtered, and one can choose different annotation servers for a document. We present a platform-independent design for such a system, and illustrate a specific implementation for Microsoft Internet Explorer on the client side and on JSP/MySQL for the server side.

MADCOW: a multimedia digital annotation system

The paper proposes an extension of layered graph grammars (LGGs), which have been introduced for the definition of visual languages (VLs). Offering new constructs like negative application conditions (NACs) it allows one to produce more concise VL definitions. A new layering condition and critical pair analysis are the prerequisites for a new parsing algorithm which avoids the exponential behaviour of LGGs in many cases.

Efficient parsing of visual languages based on critical pair analysis and contextual layered graph transformation

We propose a visualization of OCL within the context of the UML meta model, so that OCL expressions are represented by extending collaboration diagrams. We exploit the OCL meta model introduced in [9] and further elaborated on in [1] and base the description of properties of objects on collaborations, while classifier and association roles are used to describe navigation paths. Operations computing properties are described by interactions consisting of messages between classifier roles. The introduction of new graphical core elements is kept to a minimum. New notation mainly concerns the predefined operations in OCL and provides more convenient visual forms for the notation by interactions here. The proposed visualization is described in detail and is illustrated with examples taken from an industrial project under development.

A Visualization of OCL Using Collaborations

The computational model of membrane computing (formalized through membrane systems, also called P systems) is based on the way that biological membranes define compartments, each having its set of molecules and (enzymes enhancing) reactions, with compartments communicating through the transport of molecules through membranes. In this paper we augment the basic model of membrane systems with promoters and inhibitors, which formalize the reaction enhancing and reaction prohibiting roles of various substances (molecules) present in cells. We formalize such membrane systems with promoters/inhibitors and investigate their basic properties. In particular we establish universality results, i.e., we provide characterizations of recursively enumerable sets (of vectors of natural numbers) using these systems. It turns out that systems with promoters/inhibitors achieve universal computations without using the standard “auxiliary” features of membrane systems, for instance, without using catalysts.

Membrane systems with promoters/inhibitors

Part of the success of the Unified Modeling Language (UML) as a specification language is due to its diagrammatic nature. Its meaning is expressed by its meta model, a combination of class diagrams and constraints written in the Object Constraint Language (OCL), a textual language of expressions. Recent efforts have tried to give a formal semantics to OCL in a classical way. In this paper, we propose a graph-based semantics for OCL and a systematic translation of OCL constraints into expressions over graph rules. Besides providing a semantical formalization of OCL, this translation can be employed to check the consistency of UML model instances wrt. the constraints, using a general purpose graph transformation machine like AGG or PROGRES. The translation of OCL constraints into graph rules suggests a way to express the constraints in a more intuitive visual form.

Paolo Bottoni

Papers

MADCOW: a multimedia digital annotation system

Efficient parsing of visual languages based on critical pair analysis and contextual layered graph transformation

A Visualization of OCL Using Collaborations

Membrane systems with promoters/inhibitors

Consistency checking and visualization of OCL constraints