Rewriting Modulo SMT and Open System Analysis

Rewriting Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-12904-4_14 ◽

2014 ◽

pp. 247-262 ◽

Cited By ~ 9

Author(s):

Camilo Rocha ◽

José Meseguer ◽

César Muñoz

Keyword(s):

Open System ◽

System Analysis

Download Full-text

Open system of distance learning: soft system approach to information system analysis

International Journal of Knowledge and Web Intelligence ◽

10.1504/ijkwi.2012.048160 ◽

2012 ◽

Vol 3 (1) ◽

pp. 3

Author(s):

Przemysław Różewski ◽

Emma Kusztina

Keyword(s):

Information System ◽

Distance Learning ◽

Open System ◽

System Approach ◽

System Analysis

Download Full-text

The oscillating peroxidase-oxidase reaction in an open system Analysis of the reaction mechanism

Biochimica et Biophysica Acta (BBA) - Enzymology ◽

10.1016/0005-2744(78)90270-x ◽

1978 ◽

Vol 527 (1) ◽

pp. 212-220 ◽

Cited By ~ 11

Author(s):

Lars F. Olsen

Keyword(s):

Reaction Mechanism ◽

Open System ◽

System Analysis ◽

Oxidase Reaction

Download Full-text

An Open System Analysis of Deadlines in Newswork

Journalism Quarterly ◽

10.1177/107769908005700412 ◽

1980 ◽

Vol 57 (4) ◽

pp. 631-635

Author(s):

Mark P. McElreath

Keyword(s):

Open System ◽

System Analysis

Download Full-text

Rewriting modulo SMT and open system analysis

Journal of Logical and Algebraic Methods in Programming ◽

10.1016/j.jlamp.2016.10.001 ◽

2017 ◽

Vol 86 (1) ◽

pp. 269-297 ◽

Cited By ~ 19

Author(s):

Camilo Rocha ◽

José Meseguer ◽

César Muñoz

Keyword(s):

Open System ◽

System Analysis

Download Full-text

Quantum and classical fluctuation theorems from a decoherent histories, open-system analysis

Physical Review E ◽

10.1103/physreve.85.011112 ◽

2012 ◽

Vol 85 (1) ◽

Cited By ~ 20

Author(s):

Y. Subaşı ◽

B. L. Hu

Keyword(s):

Open System ◽

System Analysis ◽

Fluctuation Theorems ◽

Decoherent Histories

Download Full-text

Open System Analysis of Bioextracted Iron during Leaching of Iron Oxide Ore using Acidithiobacillus Ferrooxidans

IOSR Journal of Mechanical and Civil Engineering ◽

10.9790/1684-11411218 ◽

2014 ◽

Vol 11 (4) ◽

pp. 12-18

Author(s):

E. M. Ameh ◽

◽

I. D. Adiele ◽

C. A. Mgbachi ◽

S. I. Neife ◽

...

Keyword(s):

Iron Oxide ◽

Open System ◽

Acidithiobacillus Ferrooxidans ◽

System Analysis

Download Full-text

Digital Signal Processing System Analysis and Design

10.1017/cbo9780511781667 ◽

2009 ◽

Cited By ~ 89

Author(s):

Paulo S. R. Diniz ◽

Eduardo A. B. da Silva ◽

Sergio L. Netto

Keyword(s):

Signal Processing ◽

Digital Signal Processing ◽

System Analysis ◽

Processing System ◽

Digital Signal ◽

Signal Processing System ◽

System Analysis And Design ◽

Analysis And Design ◽

Digital Signal Processing System

Download Full-text

SYSTEM ANALYSIS: HUMAN FACTORS RESEARCH AND DEVELOPMENT CONTRIBUTIONS.

PsycEXTRA Dataset ◽

10.1037/e411302004-001 ◽

1967 ◽

Author(s):

JOHN D. WEISZ

Keyword(s):

Research And Development ◽

Human Factors ◽

System Analysis ◽

Human Factors Research

Download Full-text

A paradigm for system analysis of command and control functions

PsycEXTRA Dataset ◽

10.1037/e464472008-014 ◽

1967 ◽

Author(s):

Elias H. Porter

Keyword(s):

System Analysis ◽

Command And Control ◽

Control Functions ◽

And Control

Download Full-text

Work system analysis of home nursing care and implications for medication errors

PsycEXTRA Dataset ◽

10.1037/e577352012-022 ◽

2005 ◽

Author(s):

K. L. Calvin ◽

Gail R. Casper ◽

Ben-Tzion Karsh ◽

Patricia F. Brennan ◽

Laura J. Burke ◽

...

Keyword(s):

Medication Errors ◽

Nursing Care ◽

System Analysis ◽

Home Nursing ◽

Work System ◽

Home Nursing Care

Download Full-text