An Automata-Theoretic Approach to Reasoning about Parameterized Systems and Specifications

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-319-02444-8_28 ◽

2013 ◽

pp. 397-411 ◽

Author(s):

Orna Grumberg ◽

Orna Kupferman ◽

Sarai Sheinvald

Keyword(s):

Theoretic Approach ◽

Parameterized Systems

Download Full-text

A Game-Theoretic Approach to Simulation of Data-Parameterized Systems

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-319-11936-6_25 ◽

2014 ◽

pp. 348-363 ◽

Author(s):

Orna Grumberg ◽

Orna Kupferman ◽

Sarai Sheinvald

Keyword(s):

Theoretic Approach ◽

Parameterized Systems ◽

Game Theoretic ◽

Game Theoretic Approach

Download Full-text

An Information Theoretic Approach to Econometrics

10.1017/cbo9781139033848 ◽

2011 ◽

Author(s):

George G. Judge ◽

Ron C. Mittelhammer

Keyword(s):

Theoretic Approach ◽

Information Theoretic ◽

Information Theoretic Approach

Download Full-text

Assessing the Knowledge Base of Students: An Information Theoretic Approach to Testing

Measurement and Evaluation in Counseling and Development ◽

10.1080/07481756.1986.12022831 ◽

1986 ◽

Vol 19 (3) ◽

pp. 116-130 ◽

Author(s):

James E. Bruno

Keyword(s):

Knowledge Base ◽

Theoretic Approach ◽

Information Theoretic ◽

Information Theoretic Approach

Download Full-text

First Order Elliptic Systems - A Function Theoretic Approach

10.1016/s0076-5392(08)x6112-0 ◽

1983 ◽

Keyword(s):

Elliptic Systems ◽

Theoretic Approach ◽

Download Full-text

Functional Harmony Revisited: A Prototype-Theoretic Approach

Music Theory Spectrum ◽

10.1525/mts.1995.17.2.02a00030 ◽

1995 ◽

Vol 17 (2) ◽

pp. 196-214 ◽

Author(s):

Eytan Agmon

Keyword(s):

Theoretic Approach

Download Full-text

ErbB receptor signalling in MCF7 breast cancer cells: an information theoretic approach

Endocrine Abstracts ◽

10.1530/endoabs.65.oc2.3 ◽

2019 ◽

Author(s):

Robert JP Pope ◽

Gavin I Welsh ◽

Richard J M Coward ◽

Craig A McArdle

Keyword(s):

Breast Cancer ◽

Cancer Cells ◽

Breast Cancer Cells ◽

Theoretic Approach ◽

Erbb Receptor ◽

Information Theoretic ◽

Receptor Signalling ◽

Information Theoretic Approach

Download Full-text

Graph-Theoretic Approach to Resolving the Accessibility and Site Selection Issues in Real Estate Development`

10.15396/afres2013_116 ◽

2013 ◽

Author(s):

Ayotunde Oni

Keyword(s):

Real Estate ◽

Site Selection ◽

Real Estate Development ◽

Theoretic Approach ◽

Graph Theoretic ◽

Graph Theoretic Approach

Download Full-text

Potential Game Theoretic Approach to Power-Aware Mobile Sensor Coverage Problem

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1587/transfun.e94.a.929 ◽

2011 ◽

Vol E94-A (3) ◽

pp. 929-936 ◽

Author(s):

Naoki HAYASHI ◽

Toshimitsu USHIO ◽

Takafumi KANAZAWA

Keyword(s):

Potential Game ◽

Theoretic Approach ◽

Mobile Sensor ◽

Coverage Problem ◽

Sensor Coverage ◽

Game Theoretic ◽

Game Theoretic Approach

Download Full-text

A Game Theoretic Approach For Deploying Forensic Ready Systems

2020 International Conference on Software, Telecommunications and Computer Networks (SoftCOM) ◽

10.23919/softcom50211.2020.9238276 ◽

2020 ◽

Author(s):

Yosra Lakhdhar ◽

Slim Rekhis ◽

Essaid Sabir

Keyword(s):

Theoretic Approach ◽

Game Theoretic ◽

Game Theoretic Approach

Download Full-text

A set-theoretic approach to lexical semantics

10.3115/992383.992416 ◽

1992 ◽

Author(s):

Dominique Dutoit

Keyword(s):

Lexical Semantics ◽

Theoretic Approach

Download Full-text