Definition of SCR Tables in the New Model of Tabular Expressions

2008 ◽  
Author(s):  
Jing Zhang ◽  
Ying Jin
Keyword(s):  
New Model ◽  
Tabular Expressions ◽  
Definition Of

scholarly journals Bisimulation from Open Maps

1994 ◽  
Vol 1 (7) ◽  
Author(s):  
André Joyal ◽  
Mogens Nielsen ◽  
Glynn Winskel
Keyword(s):  
Petri Nets ◽  
Parallel Computation ◽  
Transition Systems ◽  
New Model ◽  
Event Structures ◽  
Uniform Definition ◽  
Refinement Operators ◽  
Definition Of ◽  
Open Maps

An abstract definition of bisimulation is presented. It enables a uniform definition of bisimulation across a range of different models for parallel computation presented as categories. As examples, transition systems, synchronisation trees, transition systems with independence (an abstraction from Petri nets) and labelled event structures are considered. On transition systems the abstract definition readily specialises to Milner's strong bisimulation. On event structures it explains and leads to a revision of history-preserving bisimulation of Rabinovitch and Traktenbrot, Goltz and van Glabeek. A tie-up with open maps in a (pre)topos, as they appear in the work of Joyal and Moerdijk, brings to light a promising new model, presheaves on categories of pomsets, into which the usual category of labelled event structures embeds fully and faithfully. As an indication of its promise, this new presheaf model has ``refinement'' operators, though further work is required to justify their appropriateness and understand their relation to previous attempts. The general approach yields a logic, generalising Hennessy-Milner logic, which is characteristic for the generalised notion of bisimulation.

scholarly journals Desarrollo de entornos para la creación y reproducción de Docusquemas

2005 ◽  
Author(s):  
Jesús Caudeli Tomé ◽  
José Jesús García Rueda
Keyword(s):  
Multimedia Learning ◽  
Software Tools ◽  
Web Pages ◽  
Web Browser ◽  
Multimedia Presentations ◽  
Java Applet ◽  
New Model ◽  
Written Text ◽  
Java Language ◽  
Definition Of

El Docusquema representa un nuevo modelo para construir presentaciones multimedia destinadas al aprendizaje basándose en los principios del Aprendizaje Receptivo Significativo. Este modelo otorga mayor protagonismo a la imagen y el sonido frente al texto escrito tradicional. En este proyecto se ha definido un lenguaje para describir los Docusquemas utilizando XML, y se han desarrollado dos herramientas software utilizando el lenguaje Java. La función de la primera de ellas es generar y editar Docusquemas, mientras que la segunda es un applet que permite reproducirlos a través de Internet, integrando las presentaciones en páginas web.Development of Environments for the Creation and Display of Docuschemas.AbstractDocuschemas are a new model for the construction of multimedia, learning oriented presentations based on the Meaningful Receptive Learning. This model gives a more important role to image and sound, considering traditional written text a secondary option. In this project a language for the definition of Docuschemas has been defined using XML, and two software tools have been developed using the Java language. The first one’s aim is to generate and edit Docuschemas, while the second is an a Java applet to display them in a Web browser, integrating the multimedia presentations into Web pages.

scholarly journals THE ISSUE OF THE TRANSITION TO THE DIGITAL ROUBLE

2021 ◽  
pp. 198-208
Author(s):  
Иван Владимирович Кисаров
Keyword(s):  
Monetary Policy ◽  
Point Of View ◽  
Economic Point ◽  
New Model ◽  
Digital Currency ◽  
Definition Of ◽  
Monetary Circulation

Цель статьи - рассмотреть причины и императивы перехода валюты в цифровое состояние. Дано определение цифрового рубля, его особенностей с экономической точки зрения. Указаны возможные технологические решения при внедрении цифровой валюты. Отражено возможное влияние ввода цифрового рубля на денежно-кредитную политику, а также предложен вариант внедрения новой формы рубля в экономику. Выделены необходимые качества, которым должен обладать цифровой рубль. Научная новизна заключается в акцентировании внимания на проблемах, которые могут возникнуть в связи с переходом к новой модели цифрового кредитно-денежного обращения. The purpose of the article is to consider the reasons and imperatives of the transition of the currency to a digital state. The author gives the definition of the digital rouble describes its features from an economic point of view. The research indicates possible technological solutions for digital currency implementation and possible impact of the introduction of the digital rouble on monetary policy. The author highlights some necessary qualities characteristic for a digital ruble. The scientific novelty is to focus on the problems that may arise from the transition to a new model of digital monetary circulation.

Radiological definition of a new model of portal diversion in the rat

1990 ◽  
Vol 63 (752) ◽  
pp. 615-619 ◽  
Author(s):  
V. Jaffe ◽  
B. Sandin ◽  
R. A. Wilkins
Keyword(s):  
New Model ◽  
Definition Of

scholarly journals An Extended EDAS Method with a Single-Valued Complex Neutrosophic Set and Its Application in Green Supplier Selection

Mathematics ◽  
2020 ◽  
Vol 8 (2) ◽  
pp. 282
Author(s):  
Dongsheng Xu ◽  
Xiangxiang Cui ◽  
Huaxiang Xian
Keyword(s):  
Supplier Selection ◽  
Neutrosophic Set ◽  
Comparison Analysis ◽  
New Model ◽  
Green Supplier Selection ◽  
Numerical Example ◽  
Operational Laws ◽  
Definition Of ◽  
Einstein Product

The single-valued complex neutrosophic set is a useful tool for handling the data with uncertainty and periodicity. In this paper, a single-valued complex neutrosophic EDAS (evaluation based on distance from average slution) model has been established and applied in green supplier selection. Firstly, the definition of single-valued complex neutrosophic set and corresponding operational laws are briefly introduced. Next, to fuse overall single-valued complex neutrosophic information, the SVCNEWA and SVCNEWG operators based on single-valued complex neutrosophic set, Einstein product and sum are proposed. Furthermore, the single-valued complex neutrosophic EDAS model has been established and all computing steps have been depicted in detail. Finally, a numerical example of green supplier selection and a comparison analysis have been given to illustrate the practicality and effectiveness of this new model.

Hoping

2015 ◽  
Author(s):  
C. R. Snyder ◽  
Jen Cheavens ◽  
Scott T. Michael
Keyword(s):  
Special Populations ◽  
New Model ◽  
Adults And Children ◽  
Definition Of

Chapter 10 explores hope and hoping. It discusses the definition of a new model of hope, along with instruments to measure it in adults and children, describes the adaptive sequelae of elevated levels of hope for a variety of coping arenas, along with the literature on increasing hope. It also explores how hope can be applied to special populations.

Bringing back the image into its frame: Barthes’ soldier and the contextual frame of human perception and interpretation of signs

Semiotica ◽  
2019 ◽  
Vol 2019 (229) ◽  
pp. 87-100
Author(s):  
Sarvenaz Safavi ◽  
Agah Gümüş
Keyword(s):  
Human Perception ◽  
Background Knowledge ◽  
Roland Barthes ◽  
Situational Context ◽  
New Model ◽  
Sign System ◽  
Semiotic Approach ◽  
Definition Of

AbstractIn this article, the authors try to review the Paris-Match cover page (No. 326 from 1955) analyzed by Roland Barthes and introduces a new model of analyzing sign system from a new semiotic approach based on the new definition of the context. This research is based on three layers of the context and shows that understanding the cover page of a magazine or any other kind of text is not only absolute but also somehow relative due to the different background knowledge of the audience. This means that human sees the Context A, or what is designed, in the situation of Context B, or situational context, and interpret based on their Context C, or background knowledge of the audience.

Documenting and Disseminating Unconventional Scholarship

2018 ◽  
Vol 1 (1) ◽  
Keyword(s):  
Empirical Research ◽  
Comprehensive Model ◽  
Carnegie Foundation ◽  
Academic Journal ◽  
New Model ◽  
Discovery Research ◽  
Definition Of ◽  
Boyer Model ◽  
Scholarship Reconsidered

The Journal of Scholarly Engagement was developed to provide faculty an academic outlet to document and disseminate scholarship primarily in Boyer’s domains of application and integration. The foundation of this new academic journal is Boyer’s Scholarship Reconsidered. In 1990, Boyer and his colleagues at the Carnegie Foundation for the Advancement of Teaching responded to the then, and current, predominant definition of scholarship—one that primarily involves conducting discovery research and publishing results (Boyer, 1990; Moser, 2014). In rethinking what it meant to engage in scholarship, Boyer proposed a more comprehensive model, extending beyond a view limited to scholarship of discovery (i.e., empirical research), to recognize scholarship of integration, application, and teaching. This new model (frequently termed the “Boyer model”) expanded the definition of scholarship beyond merely “conducting discovery research” and “publishing results” to fully embrace the broader purpose of the professoriate.

Sign in / Sign up

Export Citation Format

Share Document