3144 Slices
  Title Author Publisher Format Buy Remix
Medium 9781601322470

Syllogistic Reasoning for Cardinal Direction Relations

Hamid R. Arabnia, David de la Fuente Elena B. Kozerenko, Peter M. LaMonica Raymond A. Liuzzi, Todd Waskiewicz, George Jandieri, Ashu M. G. Solo, Ivan Nunes da Silva, Fernando G. Tinetti, and Fadi Thabtah CSREA Press PDF

Int'l Conf. Artificial Intelligence | ICAI'13 |

255

Syllogistic Reasoning for Cardinal Direction Relations

1

Ah Lian Kor1 ,and Brandon Bennett2

School of Computing, Creative Technologies, and Engineering,

Faculty of Arts, Environment and Technology, Leeds Metropolitan University,

Headingley Campus, LS6 3QS, Leeds, UK.

2

School of Computing, University of Leeds, Woodhouse Lane, LS2 9JT, Leeds, UK.

A.Kor@leedsmet.ac.uk, Brandon@comp.leeds.ac.uk

Abstract - Syllogistics is a type of logical reasoning which involves quantifiers such as All, and Some. Here, we explore the use of syllogisms to formalize quantified direction relations by incorporated them into the classical Projection-based Model for cardinal directions [Frank,1992], a two-dimensional Euclidean space relative to an arbitrary single-piece region, a, is partitioned into the following nine tiles: North-West, nw(a);

North, n(a); North-East, ne(a); West, w(a); Neutral Zone, o(a);

East, e(a); South-West, sw(a); South, s(a); and South-East, se(a). Typically, only these tiles are employed for reasoning about cardinal direction relations [Ligozat,1988; Goyal and

See All Chapters
Medium 9788131805374

Ch_2

Hari Mohan Pandey Laxmi Publications PDF

2

I NTRODUCTION TO ‘C’-BASICS

2.1

C-OVERVIEW

C

is a programming language developed at AT & T’s bell laboratory of USA in 1972. It was designed and written by Dennis Ritchie. C is a general purpose programming language with lots of features. It is called middle level language because it reduces the gap between high-level language and low-level language and at the same time incorporating the best elements of high-level language with the control and functionality of assembly language. As a middle level language C allows the manipulation of bits and bytes & addresses the basic building block elements with which the computer functions. It provides a relatively good programming efficiency and relatively good machine efficiency.

C is a structured programming language which allows variety of programs in small modules.

Modular programming reduces burden of debugging testing and maintenance. The user is required to think of a problem in terms of function/ modules. By combining different modules a complete program can be developed.

See All Chapters
Medium 9781601323149

A Three Tier Enterprise Information System

Hamid R. Arabnia, Azita Bahrami, Fernando G. Tinetti, Leonidas Deligiannidis, George Jandieri, and Ashu M. G. Solo CSREA Press PDF

102

Int'l Conf. e-Learning, e-Bus., EIS, and e-Gov. | EEE'14 |

A Three Tier Enterprise Information System

S. Duggineni1, D. Yoon1

1

CIS Department, University of Michigan – Dearborn, Dearborn, MI, USA

Abstract – With rapid development of distributed systems, the characteristics of enterprise information systems are changing along with them. The classical enterprise information system is based on the master-slave model, the two-tier models have emerged based on the client-server systems, and multi-tier models have appeared along with internet-based systems. In this paper, we will present a three-tier enterprise information system.

Keywords: Smart Grid, OLTP, OLAP, SQL

1

Introduction

Initially IT systems are used to handle and query transactional data for day to day operations which are called online transactional processing (OLTP) [1] systems. OLTP serves only for transactional execution. To get a high-level summarized data, transactional data needs to be summarized across multiple dimensions and resulting key figures. For example questions like sales across branches, trends across months, regions and to analyze how effective a sales promotion worked to improve sales operations. These kinds of requirements are answered using Online Analytical

See All Chapters
Medium 9781601322425

Equivalence of the Foulis-Holland Theorems and the Orthomodular Law in Quantum Logic: Part 3

Hamid R. Arabnia, George A. Gravvanis, George Jandieri, Ashu M. G. Solo, Fernando G. Tinetti CSREA Press PDF

152

Int'l Conf. Foundations of Computer Science | FCS'13 |

Equivalence of the Foulis-Holland Theorems and the Orthomodular Law in Quantum Logic: Part 3

Jack K. Horner

P. O. Box 266

Los Alamos, New Mexico 87544 USA

FCS 2013

Abstract

The optimization of quantum computing circuitry and compilers at some level must be expressed in terms of quantum-mechanical behaviors and operations. In much the same way that the structure of conventional propositional (Boolean) logic (BL) is the logic of the description of the behavior of classical physical systems and is isomorphic to a Boolean algebra (BA), so also the algebra, C(H), of closed linear subspaces of (equivalently, the system of linear operators on (observables in)) a Hilbert space is a logic of the descriptions of the behavior of quantum mechanical systems and is a model of an ortholattice (OL). An

OL can thus be thought of as a kind of “quantum logic” (QL). C(H) is also a model of an orthomodular lattice (OML), which is an ortholattice to which the orthomodular law has been conjoined. Now a QL can be thought of as a BL in which the distributive law does not hold. Under certain commutativity conditions, a QL does satisfy the distributive law; among the most well known of these relationships are the FoulisHolland theorems (FHTs). Here I provide an automated deduction of one of the four FHTs from OML.

See All Chapters
Medium 9788131804803

pragmc-1

R. K. Jangda Laxmi Publications PDF

1

INTRODUCTION TO C AND DATA TYPE

1.1 OVERVIEW OF C

1.1.1 History of C

The name ‘C’ cryptic, is derived from an earlier version written by Ken Thompson1, a Bell Laboratory System Engineer. He was following a language BCPL (Basic

Combined Programming language) by Martin Richards2. After developing the language the first letter B was dropped and new language became CPL. This was called C programming language.

This language was originally designed and implemented on the UNIX operating system on DEC-PDP11 by Dennis Ritchie at Bell labs and later entire UNIX was rewritten in C.

1.1.2 Features of Language C

In ‘C’ one can write programs like that of high level languages as in COBOL, BASIC,

FORTRAN etc. as well as it permits very close interaction with the inner workings of the computer.

It is a general purpose programming language. It is usually called “system programming language” but equally suited to writing a variety of applications.

It supports various data types.

It follows the programming style based on fundamental control flow constructions for structured programming.

See All Chapters
Medium 9781601322388

Persistence of Plummer-Distributed Small Globular Clusters as a Function of Primordial-Binary Population Size

Hamid R. Arabnia, George A. Gravvanis, George Jandieri, Ashu M. G. Solo, Fernando G. Tinetti CSREA Press PDF

38

Int'l Conf. Scientific Computing | CSC'13 |

Persistence of Plummer-Distributed Small

Globular Clusters as a Function of PrimordialBinary Population Size

Jack K. Horner

P.O. Box 266

Los Alamos NM 87544 USA

CSC 2013

Abstract

Globular stellar clusters are relatively common. All globular clusters that have been observed are relatively large ( ~104 - 106 stars). In the absence of other influences, many if not all globular clusters continually lose mass as stars escape their gravitational hold. It has been hypothesized that the presence of primordial binaries helps to increase the persistence of small (~1000-star) globular clusters. Here I use

N-body gravitational simulation of isotropic, Plummer-distributed, small globular clusters, with stellar evolution, to assess the persistence of such clusters as a function of initial populations of 100-500 primordial binaries (representing 0.1 - 0.5 of the initial cluster mass). The simulation predicts that in such clusters (a) star-loss is roughly linear in time up to ~300 Myr after t0, (b) cluster persistence is, more or less, an increasing function of the fraction of primordial binaries at t 0, when such binaries account for 0.10.5 of the initial cluster mass.

See All Chapters
Medium 9781601323163

Quantum-Union Equivalents of the Orthomodularity Law in Quantum Logic: Part 1

Hamid R. Arabnia, George A. Gravvanis, George Jandieri, Ashu M. G. Solo, and Fernando G. Tinetti CSREA Press PDF

122

Int'l Conf. Foundations of Computer Science | FCS'14 |

Quantum-Union Equivalents of the

Orthomodularity Law in Quantum Logic: Part 1

Jack K. Horner

P. O. Box 266

Los Alamos, New Mexico 87544 USA jhorner@cybermesa.com

FCS 2014

Abstract

The optimization of quantum computing circuitry and compilers at some level must be expressed in terms of quantum-mechanical behaviors and operations. In much the same way that the structure of conventional propositional (Boolean) logic (BL) is the logic of the description of the behavior of classical physical systems and is isomorphic to a Boolean algebra (BA), so also the algebra, C(H), of closed linear subspaces of (equivalently, the system of linear operators on (observables in)) a Hilbert space is a logic of the descriptions of the behavior of quantum mechanical systems and is a model of an ortholattice (OL). An

OL can thus be thought of as a kind of “quantum logic” (QL). C(H) is also a model of an orthomodular lattice, which is an OL conjoined with the orthomodularity axiom (OMA). The rationalization of the OMA as a claim proper to physics has proven problematic, motivating the question of whether the OMA and its equivalents are required in an adequate characterization of QL. Here I provide an automated deduction of the OMA from three quantum- union-based equivalents. The proofs may be novel.

See All Chapters
Medium 9781601323125

Building Fuzzy Inference System in the Political Domain

Hamid R. Arabnia, George A. Gravvanis, George Jandieri, Ashu M. G. Solo, and Fernando G. Tinetti CSREA Press PDF

116

Int'l Conf. Scientific Computing | CSC'14 |

Building Fuzzy Inference System in the Political Domain

Dr. Sameera Alshayji, Nasser Al-Sabah, and Abdulla Al-Sabah

Political and Economic Affairs Department, Amiri Diwan, Seif Palace, Kuwait

Abstract - The world’s increasing interconnectedness and the recent increase in the number of notable regional and international events pose ever-greater challenges for political decision-making. This is especially true when considering whether to strengthen bilateral economic relationships between nations, as such critical decisions are influenced by certain factors and variables that are based on scattered, heterogeneous, and vague information. A common language is thus needed to describe variables that require human interpretation. Applying a fuzzy ontology method is one of the possible solutions that address integration of information and lack of clarity of concept. Fuzzy logic is based on natural language and is tolerant of imprecise data. Furthermore, a

See All Chapters
Medium 9781601322623

Hardware Parallel Decoder of Compressed HTTP Traffic on Service-oriented Router

Toomas P. Plaks CSREA Press PDF

Int'l Conf. Reconfigurable Systems and Algorithms | ERSA'13 |

Hardware Parallel Decoder of Compressed HTTP Traffic on

Service-oriented Router

1

Daigo Hogawa1 , Shin-ichi Ishida1 , Hiroaki Nishi1

Dept. of Science and Technology, Keio University, Japan

Abstract— This paper proposes a parallel GZIP decoder architecture that includes a multiple context manager for decompressing network streams directly on a router. On the

Internet, some HTTP packet streams are encoded by GZIP.

Moreover, Internet content is often divided into smaller packets and transmitted without regard to the original order of the packets. The previously proposed Service-oriented

Router for content-based packet stream processing needs to decode GZIP data in order to analyze packet payloads.

The proposed GZIP decoder is implemented in hardware in order to process the data of multiple network data streams quickly and concurrently using context switching.

The GZIP decoding hardware logic is simulated by VerilogHDL. When one dictionary generation module and eight decoding modules are designed using FPGA, the throughput becomes 0.71 Gbps. When this architecture is synthesized in

See All Chapters
Medium 9781601322593

Implementing the ECC Brainpool curve generation procedure using open source software

Kevin Daimi, Hamid R. Arabnia, Michael R. Grimaila, Kathy Liszka, George Markowsky, and Ashu, M. G. Solo CSREA Press PDF

162

Int'l Conf. Security and Management | SAM'13 |

Implementing the ECC Brainpool curve generation procedure using open source software

V. Gayoso Martínez and L. Hernández Encinas

Information Security Institute (ISI), Spanish National Research Council (CSIC), Madrid, Spain

Abstract— Elliptic Curve Cryptography (ECC) began to be used almost 30 years ago. Since then, ECC has been applied to an increasing number of fields (information encryption, digital signatures, integer factorization, etc.). However, one practical problem still arises when an organization decides to implement an ECC solution: what elliptic curve is the most adequate in the deployment scenario?

This contribution analyses the most important features of the elliptic curve generation procedure defined by the

ECC Brainpool consortium. In addition to that, this paper describes the Java application that we have implemented following the Brainpool specifications. This application can be used for generating new elliptic curves that fulfil the security requirements defined by Brainpool. Finally, we provide the test results offered by our implementation, so interested readers can understand how much time it takes to generate elliptic curves suitable for cryptographic purposes that conform to the Brainpool specification.

See All Chapters
Medium 9781601323248

Subjective Video Streaming Quality Evaluation in 3G Cellular Networks

Hamid R. Arabnia, Leonidas Deligiannidis Joan Lu, Fernando G. Tinetti, Jane You, George Jandieri, Gerald Schaefer, and Ashu M.G. Solo CSREA Press PDF

516

Int'l Conf. IP, Comp. Vision, and Pattern Recognition | IPCV'14 |

Subjective Video Streaming Quality Evaluation in 3G

Cellular Networks

Fahad Al Qurashi, Hamad Almohamedh, Ivica Kostanic

Department of Electrical and Computer Engineering

Florida Institute of Technology

Melbourne, Florida, USA falqurashi2008@my.fit.edu, halmoham@my.fit.edu, kostanic@fit.edu

Abstract - A novel method for subjective QoS evaluation of streaming video is developed. The method, named Mobile

Video Quality Prediction (MVQP), relies on a non reference

QoE measuring tool. This is a hybrid between subjective and objective measurement. To validate this approach as a part of the MVQP project, a live video streaming platform is designed. The platform includes different video sequences

(high and low motions). The results presented in this paper are based on subset of eight videos selected from the MVQP video quality database. A commercial, Sprint PCS 3G mobile networks was used for test evaluated. fifty subjects evaluated video quality using smart phones based on ITU recommendation. Mean Opinion Score (MOS) was compared with packet loss at the end of this study.

See All Chapters
Medium 9781601324160

Healthcare and Medical Information Systems, Monitoring Systems, Databases, Big Data, Medical Coding

Hamid R. Arabnia, Leonidas Deligiannidis, George Jandieri, Ashu M. G. Solo, Fernando G. Tinetti (Editors) CSREA Press PDF

Int'l Conf. Health Informatics and Medical Systems | HIMS'15 |

91

Delivering Actionable Insights on Population Risk to

Improve Health Outcomes and Reduce Healthcare Costs

J. Zhou1, M. Shepherd1, F. Li1, L. Fu1, J. Liu1, P. Liu1, L. Liao1, X. Wen1, J. Yao1

D. Quebe2, J. Echols2

1

Palo Alto Research Center, Palo Alto, CA, USA

2

Xerox Corporation, Norwalk, Connecticut, USA

Abstract - In this paper, we describe an approach to use data analytics, clinical domain knowledge, and automated workflows to deliver actionable insights to Medicaid programs and other overseers of population health. Modularized algorithms are developed in major areas to estimate population risk and evaluate the performance of Managed

Care Organizations (MCOs). Clinical expertise orchestrates the algorithms into re-usable analytic flows that can answer specific and complex questions. The results of individual algorithms and/or the analytic flows can provide actionable insights and recommendations for improving health outcomes and reducing healthcare costs.

See All Chapters
Medium 9781601323705

SESSION Late Breaking Papers

Hamid Arabnia, Leonidas DeligiannidisFernando G. Tinetti CSREA Press PDF

Int'l Conf. Software Eng. Research and Practice | SERP'16 |

SESSION

LATE BREAKING PAPERS

Chair(s)

TBA

ISBN: 1-60132-446-4, CSREA Press ©

267

268

Int'l Conf. Software Eng. Research and Practice | SERP'16 |

ISBN: 1-60132-446-4, CSREA Press ©

Int'l Conf. Software Eng. Research and Practice | SERP'16 |

269

A PROPOSAL FOR AN ADAPTATION TO THE UNIFIED PROCESS FOR THE

DEVELOPMENT OF GRP (GOVERNMENT RESOURCE PLANNING) SYSTEMS

Mauro Borges França1, Alexandre Cardoso2 and Edgard A. Lamounier Jr.2

1

Instituto Federal de Educação, Ciência e Tecnologia do Triângulo Mineiro (IFTM) Uberaba, MG – Brasil

2

Universidade Federal de Uberlândia (UFU) - Uberlândia, MG – Brasil

{mauro}@iftm.edu.br, {alexandre,edgard}@ufu.br

Abstract – To obtain a software process that adequately affords trustworthy development, along with providing good compliance and does not overly demand time for generating artifacts is an excellent response to market demands, as well as adding strong motivation to research related to the theme. One of the great challenges associated with this process is to adapt the proposals from different methodologies for software development to the workplace reality and task force of an Information

See All Chapters
Medium 9781939902009

Chapter 5. The Controller in Detail

Christopher Hiller Bleeding Edge Press ePub

The controller is where your business logic lives.  To define business logic, let's say it's the layer between your UI and your data store, and any algorithms needed to support that. What a controller isn't, is a place to put DOM modification code. The controller doesn't know about the DOM, and should be decoupled from the view. Why is it then that other JavaScript frameworks want you to do exactly what I'm telling you not to do? I think the answer lies along the lines of "there's nowhere else to put it." With AngularJS, we DO have a place to put it, and not a controller (it's a directive, which we will explore later).

Now that we have a nice view, we need to add some functionality to our controller(s) to support our new markup.  The new stuff displayed a couple of blog posts and gave you a way to create a new one, among other things.  Let's see how that works behind-the-scenes:

The controller is continued below, but I wanted to stop and point out that the code that's written above is executed as soon as the controller is instantiated--that is to say, the HTML that the controller is attached to is rendered. Every time this controller is instantiated it'll grab the posts and set up a "watch." What follows are simply functions to be called later, generally by the view.

See All Chapters
Medium 9781601324047

Poster Papers

Hamid R. Arabnia, Leonidas Deligiannidis, Fernando G. Tinetti, George Jandieri, Gerald Schaefer, Ashu M. G. Solo (Editors) CSREA Press PDF

Int'l Conf. IP, Comp. Vision, and Pattern Recognition | IPCV'15 |

435

An Analysis of Trihalomethanes Formation in

Chlorinated Water by using Ensembles of Regression

Models

Sami M. Halawani

Faculty of Computing and Information Technology, King Abdul Aziz University, Jeddah, Saudi Arabia

Abstract - Trihalomethanes (TMHs) formation in chlorinated water is an important problem for human health. The correct prediction of TMHs is necessary to tackle this problem. An ensemble consists of many accurate and diverse models. In this paper, we study the use of regression model ensembles for the prediction of formation of THMs in chlorinated water. The results suggest that regression model ensembles can be useful for the problem.

Keywords: Trihalomethanes, Chlorinated Water, Ensembles,

Regression.

1

Introduction

Chlorine is commonly used to disinfect the water.

Chlorine reacts with organic substances present in waters and form THMs. High level of THMs is harmful for the human health. Different models [1] have been proposed to study the

See All Chapters

Load more