Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Keyword
-
- Services Computing (25)
- Books (12)
- Computer science (12)
- Computers (11)
- Articles (10)
-
- Computer security (10)
- Data security (10)
- Information security (10)
- Net-Centric Collaboration (7)
- Patents (7)
- Social Implications of ICT (7)
- Uberveillance (7)
- Privacy (6)
- EAgriculture (5)
- Emerging Technologies (5)
- Location-Based Services (5)
- Agile Software Engineering (4)
- Automatic Identification (4)
- Conference and Workshop Presentations (4)
- Data mining (4)
- Decision making (4)
- GPS (4)
- Global Positioning Systems (4)
- Location-based services (4)
- Network administration (4)
- Peer Reviewed Publications (4)
- RFID (4)
- Radio-frequency Identification (4)
- Social networks (4)
- Trust (4)
- Publication Year
- Publication
-
- David LO (62)
- Jia Zhang (38)
- Professor Katina Michael (29)
- Arcot Desai NARASIMHALU (24)
- Robert H Yacobellis (15)
-
- Elizabeth Shoop (13)
- Robert A Iannucci (12)
- Herbert J. Mattord (10)
- Leisa Armstrong (8)
- Oleg Sokolsky (8)
- Bruce Vanstone (6)
- Mark Brogan (6)
- Shilad Sen (6)
- Gang-Ryung Uh (5)
- Mark L. Chang (5)
- Marcel Adam Just (4)
- Martin Masek (4)
- Sonya S. Gaither (4)
- Tammy R Toscos (4)
- William L Honig (4)
- Allen B. Downey (3)
- Bert Wachsmuth (3)
- Tobias Hahn (3)
- Adrian Gepp (2)
- Christopher H Hoebeke (2)
- Christy Allen (2)
- Jonathan J Nelson (2)
- Randy Sargent (2)
- Aileen Koh (1)
- Angela M Labrador (1)
Articles 1 - 30 of 311
Full-Text Articles in Physical Sciences and Mathematics
Towards A Pedagogy Of Comparative Visualization In 3d Design Disciplines, James Birt, Jonathan Nelson, Dirk Hovorka
Towards A Pedagogy Of Comparative Visualization In 3d Design Disciplines, James Birt, Jonathan Nelson, Dirk Hovorka
Jonathan J Nelson
Spatial visualization and interpretation are important skills for designers. However, these skills generally require significant experiential development over the course of years. Visualizations allow the human brain to convey complex spatial concepts in intuitive, navigable and manipulable forms improving learner outcomes and perceptions. But often these visualizations are studied as single modality solutions. Dual modality and multimedia presentation studies show positive improvements in learner outcomes but dual modality is often difficult to compare. This paper presents ongoing research in the use of comparative multimodal visualizations produced with emerging technology solutions in 3D Design classrooms. Presented are previous findings from multimedia …
Interdisciplinary Translation Of Comparative Visualization, James Birt, Dirk Hovorka, Jonathan Nelson
Interdisciplinary Translation Of Comparative Visualization, James Birt, Dirk Hovorka, Jonathan Nelson
Jonathan J Nelson
Spatial visualisation skills and interpretations are critical in the design professions, but traditionally difficult to effectively teach. Visualization and multimedia presentation studies show positive improvements in learner outcomes for specific learning domains. But the development and translation of a comparative visualization pedagogy between disciplines is poorly understood. This research seeks to identify an approach to developing comparable multimodal and interactive visualizations and attendant student reflections for curriculum designers in courses that can utilize visualizations and manipulations. Results from previous use of comparative multimodal visualization pedagogy in a multimedia 3D modelling class are used as a guide to translation of pedagogy …
Platform-Specific Code Generation From Platform-Independent Timed Models, Baekgyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee
Platform-Specific Code Generation From Platform-Independent Timed Models, Baekgyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee
Oleg Sokolsky
Many safety-critical real-time embedded systems need to meet stringent timing constraints such as preserving delay bounds between input and output events. In model-based development, a system is often implemented by using a code generator to automatically generate source code from system models, and integrating the generated source code with a platform. It is challenging to guarantee that the implemented systems preserve required timing constraints, because the timed behavior of the source code and the platform is closely intertwined. In this paper, we address this challenge by proposing a model transformation approach for the code generation. Our approach compensates the platform-processing …
From Requirements To Code: Model Based Development Of A Medical Cyber Physical System, Anitha Murugesan, Mats Heimdahl, Michael Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, Baekgyu Kim, Oleg Sokolsky, Insup Lee
From Requirements To Code: Model Based Development Of A Medical Cyber Physical System, Anitha Murugesan, Mats Heimdahl, Michael Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, Baekgyu Kim, Oleg Sokolsky, Insup Lee
Oleg Sokolsky
The advanced use of technology in medical devices has improved the way health care is delivered to patients. Unfortunately, the increased complexity of modern medical devices poses challenges for development, assurance, and regulatory approval. In an e ort to improve the safety of advanced medical devices, organizations such as FDA have supported exploration of techniques to aid in the development and regulatory approval of such systems. In an ongoing research project, our aim is to provide effective development techniques and exemplars of system development artifacts that demonstrate state of the art development techniques.
In this paper we present an end-to-end …
Verified Ros-Based Deployment Of Platform-Independent Control Systems, Wenrui Meng, Junkil Park, Oleg Sokolsky, Stephanie Weirich, Insup Lee
Verified Ros-Based Deployment Of Platform-Independent Control Systems, Wenrui Meng, Junkil Park, Oleg Sokolsky, Stephanie Weirich, Insup Lee
Oleg Sokolsky
The paper considers the problem of model-based deployment of platform-independent control code on a specific platform. The approach is based on automatic generation of platform-specific glue code from an architectural model of the system. We present a tool, ROSGen, that generates the glue code based on a declarative specification of platform interfaces. Our implementation targets the popular Robot Operating System (ROS) platform. We demonstrate that the code generation process is amenable to formal verification. The code generator is implemented in Coq and relies on the infrastructure provided by the CompCert and VST tool. We prove that the generated code always …
Verified Ros-Based Deployment Of Platform-Independent Control Systems, Wenrui Meng, Junkil Park, Oleg Sokolsky, Stephanie Weirich, Insup Lee
Verified Ros-Based Deployment Of Platform-Independent Control Systems, Wenrui Meng, Junkil Park, Oleg Sokolsky, Stephanie Weirich, Insup Lee
Oleg Sokolsky
The paper considers the problem of model-based deployment of platform-independent control code on a specific platform. The approach is based on automatic generation of platform-specific glue code from an architectural model of the system. We present a tool, ROSGen, that generates the glue code based on a declarative specification of platform interfaces. Our implementation targets the popular Robot Operating System (ROS) platform. We demonstrate that the code generation process is amenable to formal verification. The code generator is implemented in Coq and relies on the infrastructure provided by the CompCert and VST tool. We prove that the generated code always …
Automatic Verification Of Linear Controller Software, Miroslav Pajic, Junkil Park, Insup Lee, George Pappas, Oleg Sokolsky
Automatic Verification Of Linear Controller Software, Miroslav Pajic, Junkil Park, Insup Lee, George Pappas, Oleg Sokolsky
Oleg Sokolsky
We consider the problem of verification of software implementations of linear time-invariant controllers. Commonly, different implementations use different representations of the controller’s state, for example due to optimizations in a third-party code generator. To accommodate this variation, we exploit input-output controller specification captured by the controller’s transfer function and show how to automatically verify correctness of C code controller implementations using a Frama-C/Why3/Z3 toolchain. Scalability of the approach is evaluated using randomly generated controller specifications of realistic size.
From Requirements To Code: Model Based Development Of A Medical Cyber Physical System, Anitha Murugesan, Mats Heimdahl, Michael Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, Baekgyu Kim, Oleg Sokolsky, Insup Lee
From Requirements To Code: Model Based Development Of A Medical Cyber Physical System, Anitha Murugesan, Mats Heimdahl, Michael Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, Baekgyu Kim, Oleg Sokolsky, Insup Lee
Oleg Sokolsky
The advanced use of technology in medical devices has improved the way health care is delivered to patients. Unfortunately, the increased complexity of modern medical devices poses challenges for development, assurance, and regulatory approval. In an e ort to improve the safety of advanced medical devices, organizations such as FDA have supported exploration of techniques to aid in the development and regulatory approval of such systems. In an ongoing research project, our aim is to provide effective development techniques and exemplars of system development artifacts that demonstrate state of the art development techniques.
In this paper we present an end-to-end …
Platform-Specific Code Generation From Platform-Independent Timed Models, Baekgyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee
Platform-Specific Code Generation From Platform-Independent Timed Models, Baekgyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee
Oleg Sokolsky
Many safety-critical real-time embedded systems need to meet stringent timing constraints such as preserving delay bounds between input and output events. In model-based development, a system is often implemented by using a code generator to automatically generate source code from system models, and integrating the generated source code with a platform. It is challenging to guarantee that the implemented systems preserve required timing constraints, because the timed behavior of the source code and the platform is closely intertwined. In this paper, we address this challenge by proposing a model transformation approach for the code generation. Our approach compensates the platform-processing …
A Data-Driven Behavior Modeling And Analysis Framework For Diabetic Patients On Insulin Pumps, Sanjian Chen, Lu Feng, Michael Rickels, Amy Peleckis, Oleg Sokolsky, Insup Lee
A Data-Driven Behavior Modeling And Analysis Framework For Diabetic Patients On Insulin Pumps, Sanjian Chen, Lu Feng, Michael Rickels, Amy Peleckis, Oleg Sokolsky, Insup Lee
Oleg Sokolsky
About 30%-40% of Type 1 Diabetes (T1D) patients in the United States use insulin pumps. Current insulin infusion systems require users to manually input meal carb count and approve or modify the system-suggested meal insulin dose. Users can give correction insulin boluses at any time. Since meal carbohydrates and insulin are the two main driving forces of the glucose physiology, the user-specific eating and pump-using behavior has a great impact on the quality of glycemic control.
In this paper, we propose an “Eat, Trust, and Correct” (ETC) framework to model the T1D insulin pump users’ behavior. We use machine learning …
A Classroom Outsourcing Experience For Software Engineering Learning, William Honig, Tejasvini Prasad
A Classroom Outsourcing Experience For Software Engineering Learning, William Honig, Tejasvini Prasad
William L Honig
Outsourcing of software development is a key part of globalization, oft misunderstood by computer science students, and possibly a cause of declining enrollments in the field. The authors developed and implemented an outsourcing experience for students in an advanced software engineering course. Student teams at two universities developed game playing programs and outsourced key parts of their systems to the other university. Results show students improved their understanding of outsourcing, developed better appreciation for the importance of software engineering techniques, and created ad hoc communication protocols between teams. The paper concludes with recommendations for expanding the approach used to other …
Intelligent Systems Development In A Non Engineering Curriculum, Emily Brand, William Honig, Matthew Wojtowicz
Intelligent Systems Development In A Non Engineering Curriculum, Emily Brand, William Honig, Matthew Wojtowicz
William L Honig
Much of computer system development today is programming in the large - systems of millions of lines of code distributed across servers and the web. At the same time, microcontrollers have also become pervasive in everyday products, economical to manufacture, and represent a different level of learning about system development. Real world systems at this level require integrated development of custom hardware and software.
How can academic institutions give students a view of this other extreme - programming on small microcontrollers with specialized hardware? Full scale system development including custom hardware and software is expensive, beyond the range of any …
Teaching Successful "Real-World" Software Engineering To The "Net" Generation: Process And Quality Win!, William Honig
Teaching Successful "Real-World" Software Engineering To The "Net" Generation: Process And Quality Win!, William Honig
William L Honig
Software engineering skills are critical for students seeking careers as software developers. However, academic course content often fails to teach practical, "real-world" software engineering as it is done in large organizations. Further, the proclivities of the current generation leave students disinclined to the disciplines of process and quality. Academics seldom use the Team Software Process (TSP), a leading methodology of global industries. Four years of data indicate that student teams using TSP can achieve industry levels of productivity and reasonable quality levels. Further, results from 23 teams and over 200 students indicate that these Net-Generation students developed an understanding for …
Teaching And Assessing Programming Fundamentals For Non Majors With Visual Programming, William Honig
Teaching And Assessing Programming Fundamentals For Non Majors With Visual Programming, William Honig
William L Honig
Visual programming tools and mobile device applications are a natural tool to engage university students; but, are they effective in teaching quantitative thinking skills to non computer science majors? Answering this question can be based on careful assessment of the learning outcomes. This paper reports the results from teaching over 100 students mobile app development with App Inventor in a university core course. Results were measured using an assessment process motivated by Bloom's Taxonomy that included student self assessment, ratings by instructors, and comparisons of the two results. The categories in the assessment were mapped to specific levels of skills …
A Virtual Environment For Enterprise Engineering Education, Can Saygin, Benjamin Dow, Raymond Kluczny, Majdi Najm, Scott Grasman
A Virtual Environment For Enterprise Engineering Education, Can Saygin, Benjamin Dow, Raymond Kluczny, Majdi Najm, Scott Grasman
Dow Scott
Several resources highlight the need to effectively use modern technology to gain more productive and rewarding undergraduate science, mathematics, engineering, and technology education. In addition to the growth of information technology, the importance of hands-on practice and active learning has been highlighted in various resources. These factors, coupled with inadequate and insufficient real-world experiences in undergraduate education, have become a major reason for under-qualified and under-employed graduates. This paper discusses the creation of the University of Missouri Virtual Enterprise, which provides context for development of learning modules for enterprise engineering education. This approach will improve the undergraduate education experience by …
Patient-Centered Appointment Scheduling Using Agent-Based Simulation, Tammy Toscos, Ayten Turkcan, Brad Doebbeling
Patient-Centered Appointment Scheduling Using Agent-Based Simulation, Tammy Toscos, Ayten Turkcan, Brad Doebbeling
Tammy R Toscos
Enhanced access and continuity are key components of patient-centered care. Existing studies show that several interventions such as providing same day appointments, walk-in services, after-hours care, and group appointments, have been used to redesign the healthcare systems for improved access to primary care. However, an intervention focusing on a single component of care delivery (i.e. improving access to acute care) might have a negative impact other components of the system (i.e. reduced continuity of care for chronic patients). Therefore, primary care clinics should consider implementing multiple interventions tailored for their patient population needs. We collected rapid ethnography and observations to …
Teaching An Undergraduate Ai Course With Games And Simulation, Philip Hingston, Barbara Combes, Martin Masek
Teaching An Undergraduate Ai Course With Games And Simulation, Philip Hingston, Barbara Combes, Martin Masek
Martin Masek
In this paper, we report on our experiences in using an animated competitive game with simulated physics to teach Artificial Intelligence techniques in an undergraduate computer science course. Students develop intelligent controllers for simulated vehicles, which compete with each other in a tournament. The simulation includes a real-time visualization of the contests, and the students' solutions utilise an AI toolkit that provides animated displays showing the internal workings of their controllers in parallel with the simulation. The result is a learning experience that engages students' enthusiasm, and 'helps them to development mental models of the AI algorithms.
Exergame Development Using The Dual Flow Model, Jeffrey Sinclair, Philip Hingston, Martin Masek
Exergame Development Using The Dual Flow Model, Jeffrey Sinclair, Philip Hingston, Martin Masek
Martin Masek
No abstract provided.
Considerations For The Design Of Exergames, Jeffrey Ronald Sinclair, Philip Hingston, Martin Masek
Considerations For The Design Of Exergames, Jeffrey Ronald Sinclair, Philip Hingston, Martin Masek
Martin Masek
No abstract provided.
Use Of Online Tools To Aid Group Work, Martin Masek
Use Of Online Tools To Aid Group Work, Martin Masek
Martin Masek
No abstract provided.
Modeling Multiple-Mode Systems With Predictive State Representations, Britton Wolfe, Michael James, Satinder Singh
Modeling Multiple-Mode Systems With Predictive State Representations, Britton Wolfe, Michael James, Satinder Singh
Michael C James
Predictive state representations (PSRs) are a class of models that represent the state of a dynamical system as a set of predictions about future events. This work introduces a class of structured PSR models called multi-mode PSRs (MMPSRs), which were inspired by the problem of modeling traffic. In general, MMPSRs can model uncontrolled dynamical systems that switch between several modes of operation. An important aspect of the model is that the modes must be recognizable from a window of past and future observations. Allowing modes to depend upon future observations means the MMPSR can model systems where the mode cannot …
Microblogging For Engaged Teaching And Learning, Thomas Menkhoff, Kok Siew Benjamin Gan, Charles Jason Woodard, Yue Wah Chay
Microblogging For Engaged Teaching And Learning, Thomas Menkhoff, Kok Siew Benjamin Gan, Charles Jason Woodard, Yue Wah Chay
C. Jason Woodard
In this paper, we report how we put a newly developed Twitter application to work in the context of a Knowledge Management course taught at the Singapore Management University (SMU) allowing students to post and view relevant tweets in an organized manner for the benefit of collaborative class discussions and learning. Innovative elements of the ongoing project include the explorative usage of social media such as Twitter in the higher education context, student participation in providing initial evidence and qualitative feedback that tweeting is pedagogically meaningful and a newly built-in feature which can resolve tweeting challenges which occurred in class …
Dependency-Topic-Affects-Sentiment-Lda Model For Sentiment Analysis, Shunshun Yin, Jun Han, Yu Huang, Kuldeep Kumar
Dependency-Topic-Affects-Sentiment-Lda Model For Sentiment Analysis, Shunshun Yin, Jun Han, Yu Huang, Kuldeep Kumar
Kuldeep Kumar
Sentiment analysis tends to use automated approaches to mine the sentiment information expressed in text, such as reviews, blogs and forum discussions. As most traditional approaches for sentiment analysis are based on supervised learning models and need many labeled corpora as their training data which are not always easily obtained, various unsupervised models based on Latent Dirichlet Allocation (LDA) have been proposed for sentiment classification. In this paper, we propose a novel probabilistic modeling framework based on LDA, called Dependency-Topic-Affects-Sentiment-LDA (DTAS) model, which drops the ”bag of words” assumption and assumes that the topics of sentences in a document form …
Why It's Worth The Hassle: The Value Of In-Situ Studies When Designing Ubicomp, Tammy Toscos, Yvonne Rogers, Kay Connelly, Lenore Tedesco, William Hazlewood, Andrew Kurtz, Robert Hall, Josh Hursey
Why It's Worth The Hassle: The Value Of In-Situ Studies When Designing Ubicomp, Tammy Toscos, Yvonne Rogers, Kay Connelly, Lenore Tedesco, William Hazlewood, Andrew Kurtz, Robert Hall, Josh Hursey
Tammy R Toscos
No abstract provided.
Mobile Applications That Empower People To Monitor Their Personal Health, K. Connelly, A. Faber, Y. Rogers, K. Siek, Tammy Toscos
Mobile Applications That Empower People To Monitor Their Personal Health, K. Connelly, A. Faber, Y. Rogers, K. Siek, Tammy Toscos
Tammy R Toscos
Researchers have an opportunity to develop assistive applications that empower people to change unhealthy habits through monitoring their behavior. Mobile applications can enhance self-monitoring by providing real-time feedback and employing persuasive technology. The projects presented demonstrate the potential of persuasive, assistive applications for both chronically ill and healthy individuals.
Why It's Worth The Hassle: The Value Of In-Situ Studies When Designing Ubicomp, Tammy Toscos, Yvonne Rogers, Kay Connelly, Lenore Tedesco, William Hazlewood, Andrew Kurtz, Robert Hall, Josh Hursey
Why It's Worth The Hassle: The Value Of In-Situ Studies When Designing Ubicomp, Tammy Toscos, Yvonne Rogers, Kay Connelly, Lenore Tedesco, William Hazlewood, Andrew Kurtz, Robert Hall, Josh Hursey
Tammy R Toscos
No abstract provided.
A Tool For Designing Business Model Innovations, Arcot Desai Narasimhalu
A Tool For Designing Business Model Innovations, Arcot Desai Narasimhalu
Arcot Desai NARASIMHALU
There is a steady stream of business model innovations created to deliver value to customers using new approaches. Famous examples of business model innovations have been Amazon, Dell computers and Starbucks. Several other examples of business model innovations have been created across industries and reported in popular and academic forums. Osterwalder and Pigneur had defined a business model canvas as a framework for analysing business models. They had defined nine key subcomponents of a business model. Companies and individual entrepreneurs who wish to create business model innovations are still deploying trial and error approaches to discovering new business models. There …
Sewordsim: Software-Specific Word Similarity Database, Yuan Tian, David Lo, Julia Lawall
Sewordsim: Software-Specific Word Similarity Database, Yuan Tian, David Lo, Julia Lawall
David LO
Measuring the similarity of words is important in accurately representing and comparing documents, and thus improves the results of many natural language processing (NLP) tasks. The NLP community has proposed various measurements based on WordNet, a lexical database that contains relationships between many pairs of words. Recently, a number of techniques have been proposed to address software engineering issues such as code search and fault localization that require understanding natural language documents, and a measure of word similarity could improve their results. However, WordNet only contains information about words senses in general-purpose conversation, which often differ from word senses in …
Leveraging Machine Learning And Information Retrieval Techniques In Software Evolution Tasks: Summary Of The First Malir-Se Workshop, At Ase 2013, - Lucia, David Lo, Giuseppe Scanniello, Alessandro Marchetto, Nasir Ali, Collin Mcmillan
Leveraging Machine Learning And Information Retrieval Techniques In Software Evolution Tasks: Summary Of The First Malir-Se Workshop, At Ase 2013, - Lucia, David Lo, Giuseppe Scanniello, Alessandro Marchetto, Nasir Ali, Collin Mcmillan
David LO
The first International Workshop on MAchine Learning and Information Retrieval for Software Evolution (MALIR-SE) was held on the 11th of November 2013. The workshop was held in conjunction with the 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) in Silicon Valley, California, USA. The workshop brought researchers and practitioners that were interested in leveraging machine learning and information retrieval techniques to automate various software evolution tasks. During the workshop, papers on the application of machine learning and information retrieval techniques to bug fix time prediction and anti-pattern detection were presented. There were also discussions on the presented papers and …
Hierarchical Parallel Algorithm For Modularity-Based Community Detection Using Gpus, Chun Yew Cheong, Huynh Phung Huynh, David Lo, Rick Siow Mong Goh
Hierarchical Parallel Algorithm For Modularity-Based Community Detection Using Gpus, Chun Yew Cheong, Huynh Phung Huynh, David Lo, Rick Siow Mong Goh
David LO
This paper describes the design of a hierarchical parallel algorithm for accelerating community detection which involves partitioning a network into communities of densely connected nodes. The algorithm is based on the Louvain method developed at the Université Catholique de Louvain, which uses modularity to measure community quality and has been successfully applied on many different types of networks. The proposed hierarchical parallel algorithm targets three levels of parallelism in the Louvain method and it has been implemented on single-GPU and multi-GPU architectures. Benchmarking results on several large web-based networks and popular social networks show that on top of offering speedups …