Digital Commons Network^™

An Efficient Algorithm For Learning Event-Recording Automata, Shang-Wei Lin, Étienne André, Jin Song Dong, Jun Sun, Yang Liu

Research Collection School Of Computing and Information Systems

In inference of untimed regular languages, given an unknown language to be inferred, an automaton is constructed to accept the unknown language from answers to a set of membership queries each of which asks whether a string is contained in the unknown language. One of the most well-known regular inference algorithms is the L* algorithm, proposed by Angluin in 1987, which can learn a minimal deterministic finite automaton (DFA) to accept the unknown language. In this work, we propose an efficient polynomial time learning algorithm, TL*, for timed regular language accepted by event-recording automata. Given an unknown timed regular language, …

Differencing Labeled Transition Systems, Zhenchang Xing, Jun Sun, Yang Liu, Jin Song Dong

Research Collection School Of Computing and Information Systems

Concurrent programs often use Labeled Transition Systems (LTSs) as their operational semantic models, which provide the basis for automatic system analysis and verification. System behaviors (generated from the operational semantics) evolve as programs evolve for fixing bugs or implementing new user requirements. Even when a program remains unchanged, its LTS models explored by a model checker or analyzer may be different due to the application of different exploration methods. In this paper, we introduce a novel approach (named SpecDiff) to computing the differences between two LTSs, representing the evolving behaviors of a concurrent program. SpecDiff considers LTSs as Typed Attributed …

Strategic Responses To Standardization: Embrace, Extend Or Extinguish?, C. Jason Woodard, Joel West

Research Collection School Of Computing and Information Systems

Prior research on technology standardization has focused on two common patterns: processes in which product developers and other stakeholders cooperate to achieve a consensus outcome, and “standards wars” in which competing technologies vie for dominance in the market. This study examines Microsoft's responses to 12 software technologies in the period between 1990 and 2005. Despite the company's reputed tendency to pursue a strategy dubbed “embrace, extend, and extinguish,” a content analysis of news articles from the same period reveals surprising diversity in Microsoft's responses at the product level.

We classify these responses using a typology that treats “embrace” and “extend” …

A Survey Of Information Diffusion Models And Relevant Problems, Minh Duc Luu, Tuan Anh Hoang, Ee-Peng Lim

Research Collection School Of Computing and Information Systems

There has been tremendous interest in diffusion of innovations or information in a social system. Nowadays, social networks (offline as well as online) are considered as important medium for diffusion and large amount of research has been conducted to understand the dynamics of diffusion in social networks. In this work, we review some of the models proposed for diffusion in social networks. We also highlight the major features of these models by dividing the surveyed models into two categories: non-network and network diffusion models. The former refers to user communities without any knowledge about the user relationship network and the …

A Survey Of Techniques And Challenges In Underwater Localization, Hwee-Pink Tan, Roee Diamant, Winston K. G. Seah, Marc Waldmeyer

Research Collection School Of Computing and Information Systems

Underwater Wireless Sensor Networks (UWSNs) are expected to support a variety of civilian and military applications. Sensed data can only be interpreted meaningfully when referenced to the location of the sensor, making localization an important problem. While global positioning system (GPS) receivers are commonly used in terrestrial WSNs to achieve this, this is infeasible in UWSNs as GPS signals do not propagate through water. Acoustic communications is the most promising mode of communication underwater. However, underwater acoustic channels are characterized by harsh physical layer conditions with low bandwidth, high propagation delay and high bit error rate. Moreover, the variable speed …

Human Movement Variability, Nonlinear Dynamics, And Pathology: Is There A Connection?, Nikolaos Stergiou, Leslie M. Decker

Journal Articles

Fields studying movement generation, including robotics, psychology, cognitive science, and neuroscience utilize concepts and tools related to the pervasiveness of variability in biological systems. The concept of variability and the measures for nonlinear dynamics used to evaluate this concept open new vistas for research in movement dysfunction of many types. This review describes innovations in the exploration of variability and their potential importance in understanding human movement. Far from being a source of error, evidence supports the presence of an optimal state of variability for healthy and functional movement. This variability has a particular organization and is characterized by a …

Approximate Entropy Values Demonstrate Impaired Neuromotor Control Of Spontaneous Leg Activity In Infants With Myelomeningocele, Beth A. Smith, Caroline Teulier, Jennifer Sansom, Nikolaos Stergiou, Beverly D. Ulrich

Journal Articles

Purpose: One obstacle to providing early intervention to infants with myelomeningocele (MMC) is the challenge of quantifying impaired neuromotor control of movements early in life.

Methods: We used the nonlinear analysis tool Approximate Entropy (ApEn) to analyze periodicity and complexity of supine spontaneous lower extremity movements of infants with MMC and typical development (TD) at 1, 3, 6, and 9 months of age.

Results: Movements of infants with MMC were more regular and repeatable (lower ApEn values) than movements of infants with TD, indicating less adaptive and flexible movement patterns. For both groups ApEn values decreased with age, and the …

An Investigation Of The Relationship Between High School Courses Taken And Graduation From Chadron State College Within Six Years, Ann Krejci

Department of Educational Administration: Dissertations, Theses, and Student Research

Chadron State College is one of three institutions in Nebraska’s State College System. Because of its mission as an open-enrollment institution, Chadron State College has no academic course requirements for admission, and any student who has completed high school or its equivalent is eligible for enrollment.

The purpose of the study was to find whether or not there was a relationship between the characteristics of a Nebraska student’s high school education and the probability of that student’s graduation from Chadron State College within six years of matriculation.

A sample of 180 high school records were retrieved from the Chadron State …

New Insights Into Anterior Cruciate Ligament Deficiency And Reconstruction Through The Assessment Of Knee Kinematic Variability In Terms Of Nonlinear Dynamics, Leslie M. Decker, Constantina O. Moraiti, Nikolaos Stergiou, Anastasios D. Georgoulis

Journal Articles

Purpose

Injuries to the anterior cruciate ligament (ACL) occur frequently, particularly in young adult athletes, and represent the majority of the lesions of knee ligaments. Recent investigations suggest that the assessment of kinematic variability using measures of nonlinear dynamics can provide with important insights with respect to physiological and pathological states. The purpose of the present article was to critically review and synthesize the literature addressing ACL deficiency and reconstruction from a nonlinear dynamics standpoint.

Methods

A literature search was carried out in the main medical databases for studies published between 1990 and 2010.

Results

Seven studies investigated knee kinematic …

Efficient Evaluation Of Continuous Text Seach Queries, Kyriakos Mouratidis, Hwee Hwa Pang

Research Collection School Of Computing and Information Systems

Consider a text filtering server that monitors a stream of incoming documents for a set of users, who register their interests in the form of continuous text search queries. The task of the server is to constantly maintain for each query a ranked result list, comprising the recent documents (drawn from a sliding window) with the highest similarity to the query. Such a system underlies many text monitoring applications that need to cope with heavy document traffic, such as news and email monitoring.In this paper, we propose the first solution for processing continuous text queries efficiently. Our objective is to …

On Modeling Virality Of Twitter Content, Tuan Anh Hoang, Ee Peng Lim, Palakorn Achananuparp, Jing Jiang, Feida Zhu

Research Collection School Of Computing and Information Systems

Twitter is a popular microblogging site where users can easily use mobile phones or desktop machines to generate short messages to be shared with others in realtime. Twitter has seen heavy usage in many recent international events including Japan earthquake, Iran election, etc. In such events, many tweets may become viral for different reasons. In this paper, we study the virality of socio-political tweet content in the Singapore’s 2011 general election (GE2011). We collected tweet data generated by about 20K Singapore users from 1 April 2011 till 12 May 2011, and the follow relationships among them. We introduce several quantitative …

Morse Theory For C*-Algebras: A Geometric Interpretation Of Some Noncommutative Manifolds, Vida Milani, Ali Asghar Rezaei, Seyed M.H. Mansourbeigi

Computer Science Student Research

The approach we present is a modification of the Morse theory for unital C*-algebras. We provide tools for the geometric interpretation of noncommutative CW complexes. Some examples are given to illustrate these geometric information. The main object of this work is a classification of unital C*-algebras by noncommutative CW complexes and the modified Morse functions on them.

Cross-Cultural Validation Of The Factorial Structure Of A Logistics Strategy Model: A Three-Country Study, Michael A. Mcginnis, Talha Harcar, Ali Kara, John E. Spillan

Journal of Transportation Management

In 2011, McGinnis, Kohn, and Kara reported the effects of overall logisties strategy (OLS) on logistics coordination effectiveness, customer service effectiveness, and organizational competitive responsiveness. This manuscript empirically compares the three dimensions of the Bowersox Daugherty typology to logisties strategies among U.S., Turkish, and Guatemalan companies. US, Turkish, and Guatemalan subjects (logistics managers) were chosen to test the underlying factor structure and measurement equivalences of the scales used. Using confirmatory factor analysis (CFA), findings indicate that the three dimensions of the Overall Logistics Strategy (OLS) - Process Strategy, Market Strategy, and Information Strategy - hold in all three country environments …

Full Issue (22.2, Fall/Winter 2011), Journal Of Transportation Management Editors

Journal of Transportation Management

No abstract provided.

A Commentary: The Perfect Storm: Schramm Decision, Fmcsa, And An Imposible Duty For Brokers And Third Party Logistics Companies, Paul Stewart

Journal of Transportation Management

Over the last thirty years, there never has been a more confused doctrine than the current “duty of reasonable care” faced by transportation brokers, third-party logistics companies and shippers as they select carriers for transport. The confusion in what was once reasonable and well understood law has been fueled by a perfect storm ofjudicial reasoning with misplaced reference to faulty empirical data, the complete failure of the Federal Motor Carrier Safety Administration (FMCSA) to properly assess carrier safety worthiness, a feeding frenzy by the plaintiffs’ bar and apathy by many in the industry. The purpose of this commentary is to …

Ltl Pricing: Looking Back To The Future, C. Clifford Defee, Joe B. Hanna, Robert Overstreet

Journal of Transportation Management

Numerous LTL carriers struggled during the recent recession as customers demanded lower prices. This study is designed to qualitatively evaluate the data gathered from three industry segments regarding LTL pricing. Researchers used semi-structured interviews to conduct an in-depth investigation with over two dozen industry experts who represented shippers, carriers, and 3PLs. Interview transcripts were analyzed using a grounded theory coding technique. Five major themes emerged from the interview transcripts. These themes are used to describe possible future adjustments to industry pricing structure.

Studying The Strawberry Farm: Investigation And Representation In A Standards-Based Kindergarten, Charlene Wheeler, Jolyn Blank

Teaching and Learning Faculty Publications

This article documents a first project undertaken by kindergarten children and their teacher in a public school in the southeastern United States. Images, work samples, records of children’s comments, and the teacher’s description tell the story of the project as it unfolds. The authors provide interpretation of the project events documented in terms of situating the Project Approach in a standards-based school context.

Ceg 361/561-01: Introduction To Software Testing, John A. Reisner

Computer Science & Engineering Syllabi

This course covers software testing strategies, along with established best practices, so students team how to test their software in a complete and systematic (vice ad-hoc) manner. Particular attention is paid to planning, writing, and executing software tests, along with associated documentation, (i.e., a software test plan), which includes documented results. Various projects are assigned, designed to illustrate various challenges associated with software testing, and to reinforce the strategies and techniques used to overcome these challenges.

Ceg 702-01: Advanced Communication Networks, Bin Wang

Computer Science & Engineering Syllabi

This is a graduate level course on advanced computer communication and networking technologies. The course involves both a reading/lecture/discussion component and a project component. We will read papers on various aspects of advanced computer networking: LAN/WAN technologies, congestion/flow control, self-similar traffic analysis, queuing theory, link scheduling, routing, internetworking, multicast, wireless technologies, quality of services, and peer-to-peer networks. Various technical and research issues involved will be studied in depth.

Ceg 724-01: Computer Vision I, Arthur A. Goshtasby

Computer Science & Engineering Syllabi

This course covers basic algorithms for low-level and mid-level vision. The algorithm; deal with edge detection and image segmentation, feature detection and matching, and image alignment. Also covered in the course are structure from motion, dense motion estimation, and stereo depth percepti011

Ceg 2350: Os Concepts And Usage, Prabhaker Mateti

Computer Science & Engineering Syllabi

Introduction to Linux and Windows systems. GUT and Windowing Systems. Files and Directories. Ownership and Sharing. Programs and Processes. System calls, Libraries. Loading. Dynamic linking. Command Line Shells. Scripting languages. Regular expressions. Clients and Servers. Web browser clients and servers. Secure shell, sftp. SSL/TSL. HTTPS. System Administration. 4 credit hours. 3 hours lectures, 2 hours labs. Prerequisites: CS 240 or CS 220 or equivalent.

Ceg 260-01: Digital Computer Hardware And Switching Circuits, John C. Gallagher

Computer Science & Engineering Syllabi

This course covers the design and analysis of basic digital circuits for computation. Topics will Include number systems, basic Boolean algebra, combinational circuit design and analysis, basic Medium Scale Integration (MSI) components, basic memory devices, basic sequential circuits, and binary arithmetic. At the end of this course you should be able to design, optimize, and Implement combinational logic for a variety of applications. You should also be familiar with basic MSI components and sequential circuit concepts In preparation for more advanced study of computer architecture, sequential circuit analysis, design, and optimization.

Ceg 402/602-01: Introduction To Computer Communication, Bin Wang

Computer Science & Engineering Syllabi

This course provides an introduction to basic concepts of communication networks, different types of networks, protocols over different layers, and network applications through lectures, labs, homework, and reading on relevant materials. You will
•Understand networking principles, protocols, and technologies.
•Understand some design and performance issues involved in providing a network service.
•Acquire background for supporting e-commerce, e-government, and e-education.
•Gain hands-on experience with programming techniques for network protocols.
•Obtain background for original research in computer networks.

An Experimental Nexos Laboratory Using Virtual Xinu, Paul Ruth, Dennis Brylow

Mathematics, Statistics and Computer Science Faculty Research and Publications

The Nexos Project is a joint effort between Marquette University, the University of Buffalo, and the University of Mississippi to build curriculum materials and a supporting experimental laboratory for hands-on projects in computer systems courses. The approach focuses on inexpensive, flexible, commodity embedded hardware, freely available development and debugging tools, and a fresh implementation of a classic operating system, Embedded Xinu, that is ideal for student exploration. This paper describes an extension to the Nexos laboratory that includes a new target platform composed of Qemu virtual machines. Virtual Xinu addresses two challenges that limit the effectiveness of Nexos. First, potential …

A Simple Approach To Neutral Atom Microscopy, Philip Witham, Erik J. Sánchez

Physics Faculty Publications and Presentations

Scanning surfaces using a beam of noncharged atoms or molecules allows for especially nondestructive and low-energy surface imaging, with the potential to obtain new information about surfaces that cannot be easily obtained otherwise. We have developed a new approach, operating with the sample at a close working distance from an aperture, the need for optics to focus the beam is obviated. Compared to more complex approaches, the theoretical performance has no other disadvantage than the short working distance. Resolution of 1.5 μm has been achieved, and submicron resolution appears to be practical. Construction of the microscope and results are presented, …

A Domain Specific Language For Enterprise Grade Cloud-Mobile Hybrid Applications, Ajith H. Ranabahu, E. Michael Maximilien, Amit P. Sheth, Krishnaprasad Thirunarayan

Kno.e.sis Publications

Cloud computing has changed the technology landscape by offering flexible and economical computing resources to the masses. However, vendor lock-in makes the migration of applications and data across clouds an expensive proposition. The lock-in is especially serious when considering the new technology trend of combining cloud with mobile devices.

In this paper, we present a domain specific language (DSL) that is purposely created for generating hybrid applications spanning across mobile devices as well as computing clouds. We propose a model-driven development process that makes use of a DSL to provide sufficient programming abstractions over both cloud and mobile features. We …

Personalized Filtering Of The Twitter Stream, Pavan Kapanipathi, Fabrizio Orlandi, Amit P. Sheth, Alexandre Passant

Kno.e.sis Publications

With the rapid growth in users on social networks, there is a corresponding increase in user-generated content, in turn resulting in information overload. On Twitter, for example, users tend to receive uninterested information due to their non-overlapping interests from the people whom they follow. In this paper we present a Semantic Web approach to filter public tweets matching interests from personalized user profiles. Our approach includes automatic generation of multi-domain and personalized user profiles, filtering Twitter stream based on the generated profiles and delivering them in real-time. Given that users interests and personalization needs change with time, we also discuss …

Blanket Statements, Issue 105, Fall 2011

Blanket Statements: News Publication of the American Quilt Study Group

Blanket Statements, Issue 105, Fall 2011

How Do You Measure Student Learning? Sails, Ilcc, & Rgr At Gvsu, Pete Coco, Emily Frigo, Hazel Mcclure, Debbie Morrow

Presentations

The GVSU University Libraries has responded in the last five years to internal and external emphases on assessing student learning outcomes and our contributions to student learning. We’ve conducted a higher-level information literacy assessment, and have made a priority of developing information literacy tools for use by classroom faculty. We have twice administered SAILS, the "Standardized Assessment of Information Literacy Skills," to provide us with a broad benchmark measure of student IL skills against a cohort of our institutional peers. We discovered that large scale efforts such as SAILS can be at odds with our approach to IL, proving to …

The Zero-Sum Game Of Language Accommodations In The Workplace, James Leonard

Cardozo Law Review

No abstract provided.