Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Engineering (489)
- Computer Engineering (392)
- Databases and Information Systems (242)
- Social and Behavioral Sciences (183)
- Electrical and Computer Engineering (170)
-
- Information Security (167)
- Software Engineering (107)
- Business (76)
- Mathematics (74)
- Numerical Analysis and Scientific Computing (74)
- OS and Networks (72)
- Life Sciences (67)
- Theory and Algorithms (66)
- Communication (63)
- Law (62)
- Artificial Intelligence and Robotics (61)
- Arts and Humanities (57)
- Computer Law (56)
- Education (55)
- Other Computer Sciences (52)
- Bioinformatics (49)
- Programming Languages and Compilers (49)
- Forensic Science and Technology (48)
- Legal Studies (48)
- Applied Mathematics (44)
- Communication Technology and New Media (42)
- Graphics and Human Computer Interfaces (42)
- Statistics and Probability (42)
- Institution
-
- Singapore Management University (241)
- Wright State University (206)
- Edith Cowan University (98)
- University of Nebraska - Lincoln (87)
- Missouri University of Science and Technology (77)
-
- TÜBİTAK (74)
- Embry-Riddle Aeronautical University (60)
- San Jose State University (52)
- Old Dominion University (47)
- Dartmouth College (40)
- University of Nebraska at Omaha (35)
- California Polytechnic State University, San Luis Obispo (34)
- Regis University (33)
- Air Force Institute of Technology (28)
- Brigham Young University (27)
- Taylor University (27)
- University of Nevada, Las Vegas (27)
- Institute of Business Administration (24)
- Technological University Dublin (21)
- Utah State University (21)
- University of South Florida (20)
- Marquette University (19)
- Smith College (19)
- Washington University in St. Louis (19)
- Portland State University (17)
- University of Texas at Arlington (17)
- City University of New York (CUNY) (16)
- University of Texas at El Paso (16)
- Walden University (15)
- Louisiana State University (14)
- Keyword
-
- College for Professional Studies (33)
- School of Computer & Information Science (32)
- Security (23)
- Privacy (18)
- Machine learning (17)
-
- Applied sciences (15)
- Algorithms (14)
- Computer science (14)
- Management (13)
- Data mining (11)
- Semantic Web (11)
- Digital forensics (10)
- Classification (9)
- MS Information Technology Management (9)
- Social media (9)
- Cloud Computing (8)
- Cloud computing (8)
- Collaboration (8)
- Education (8)
- Library science (8)
- Network (8)
- Optimization (8)
- Regis University MSCIS thesis (8)
- Department of Computer Science (7)
- Information technology (7)
- MS Computer and Information Technology (7)
- Ontology (7)
- School of Computer & Information Sciences Theses (7)
- Simulation (7)
- Software engineering (7)
- Publication
-
- Research Collection School Of Computing and Information Systems (232)
- Computer Science & Engineering Syllabi (154)
- Turkish Journal of Electrical Engineering and Computer Sciences (74)
- Theses and Dissertations (58)
- Master's Projects (51)
-
- Journal of Digital Forensics, Security and Law (40)
- School of Computing: Conference and Workshop Papers (36)
- Computer Science Faculty Research & Creative Works (35)
- Regis University Student Publications (comprehensive collection) (33)
- Australian Information Security Management Conference (32)
- Kno.e.sis Publications (28)
- ACMS Conference Proceedings 2011 (26)
- Computer Science Faculty Publications (26)
- International Conference on Information and Communication Technologies (23)
- The R Journal (22)
- Masters Theses (20)
- USF Tampa Graduate Theses and Dissertations (20)
- All Computer Science and Engineering Research (19)
- Computer Science: Faculty Publications (19)
- School of Computing: Dissertations, Theses, and Student Research (19)
- Computer Science Technical Reports (18)
- UNLV Theses, Dissertations, Professional Papers, and Capstones (18)
- Electronic Theses and Dissertations (17)
- Mathematics, Statistics and Computer Science Faculty Research and Publications (17)
- Research outputs 2011 (17)
- Annual ADFSL Conference on Digital Forensics, Security and Law (16)
- Australian Digital Forensics Conference (16)
- Computer Science and Software Engineering (16)
- Electrical and Computer Engineering Faculty Research & Creative Works (15)
- Faculty Publications (15)
- Publication Type
- File Type
Articles 121 - 150 of 1795
Full-Text Articles in Computer Sciences
Determination Of Sin2Θeff W Using Jet Charge Measurements In Hadronic Z Decays, D. Buskulic, M. Thulasidas
Determination Of Sin2Θeff W Using Jet Charge Measurements In Hadronic Z Decays, D. Buskulic, M. Thulasidas
Research Collection School Of Computing and Information Systems
The electroweak mixing angle is determined with high precision from measurements of the mean dierence between forward and backward hemisphere charges in hadronic decays of the Z. A data sample of 2:5 million hadronic Z decays recorded over the period 1990 to 1994 in the ALEPH detector at LEP is used. The mean charge separation between event hemispheres containing the original quark and antiquark is measured for b b and cc events in subsamples selected by their long lifetimes or using fast D 's. The corresponding average charge separation for light quarks is measured in an inclusive sample from the …
Four-Jet Final State Production In E+E- Collisions At Centre-Of-Mass Energies Of 130 And 136 Gev, D. Buskulic, M. Thulasidas
Four-Jet Final State Production In E+E- Collisions At Centre-Of-Mass Energies Of 130 And 136 Gev, D. Buskulic, M. Thulasidas
Research Collection School Of Computing and Information Systems
The four-jet final state is analyzed to search for hadronic decays of pair-produced heavy particles. The analysis uses the ALEPH data collected at LEP in November 1995 at centre-of-mass energies of 130 and 136 GeV, corresponding to a total integrated luminosity of 5.7 pb1 . An excess of four-jet events is observed with respect to the standard model predictions. In addition, these events exhibit an enhancement in the sum of the two di-jet masses around 105 GeV/c 2 . The properties of these events are studied and compared to the expectations from standard processes and to pair production hypotheses
Wsm 2011: Third Acm Workshop On Social Media, Steven C. H. Hoi, Michal Jacovi, Ioannis Kompatsiaris, Jiebo Luo, Konstantinos Tserpes
Wsm 2011: Third Acm Workshop On Social Media, Steven C. H. Hoi, Michal Jacovi, Ioannis Kompatsiaris, Jiebo Luo, Konstantinos Tserpes
Research Collection School Of Computing and Information Systems
The Third Workshop on Social Media (WSM2011) continues the series of Workshops on Social Media in 2009 and 2010 and has been established as a platform for the presentation and discussion of the latest, key research issues in social media analysis, exploration, search, mining, and emerging new social media applications. It is held in conjunction with the ACM International Multimedia Conference (MM'11) at Scottsdale, Arizona, USA, 2011 and has attracted contributions on various aspects of social media including data mining from social media, content organization, geo-localization, personalization, recommendation systems, user experience, machine learning and social media approaches and architectures for …
Case Study On Using A Programming Practice Tool For Evaluating University Applicants, Shannon Christopher Boesch, Kevin Steppe
Case Study On Using A Programming Practice Tool For Evaluating University Applicants, Shannon Christopher Boesch, Kevin Steppe
Research Collection School Of Computing and Information Systems
We used a programming practice tool to test basic programming skills of prospective students. A live competition was used to test those skills. Students who did well were asked for further interviews. Most students had no prior background and reported learning the basics of two programming languages within two weeks of self-study.
Content Contribution Under Revenue Sharing And Reputation Concern In Social Media: The Case Of Youtube, Qian Tang, Bin Gu, Andrew B. Whinston
Content Contribution Under Revenue Sharing And Reputation Concern In Social Media: The Case Of Youtube, Qian Tang, Bin Gu, Andrew B. Whinston
Research Collection School Of Computing and Information Systems
A key feature of social media is that it allows individuals and businesses to contribute contents for public viewing. However, little is known about how content providers derive payoffs from such activities. In this study, we build a dynamic structural model to recover the utility function for content providers. Our model distinguishes short-term payoffs based on ad revenue sharing from long-term payoffs driven by content providers’ reputation. The model was estimated using a panel data of 914 top 1000 providers and 381 randomly selected providers on YouTube from Jun 7th, 2010, to Aug 7th, 2011. The two different sets of …
Modeling 3d Articulated Motions With Conformal Geometry Videos (Cgvs), Dao T. P. Quynh, Ying He, Xiaoming Chen, Jiazhi Xia, Qian Sun, Steven C. H. Hoi
Modeling 3d Articulated Motions With Conformal Geometry Videos (Cgvs), Dao T. P. Quynh, Ying He, Xiaoming Chen, Jiazhi Xia, Qian Sun, Steven C. H. Hoi
Research Collection School Of Computing and Information Systems
3D articulated motions are widely used in entertainment, sports, military, and medical applications. Among various techniques for modeling 3D motions, geometry videos (GVs) are a compact representation in that each frame is parameterized to a 2D domain, which captures the 3D geometry (x, y, z) to a pixel (r, g, b) in the image domain. As a result, the widely studied image/video processing techniques can be directly borrowed for 3D motion. This paper presents conformal geometry videos (CGVs), a novel extension of the traditional geometry videos by taking into the consideration of the isometric nature of 3D articulated motions. We …
Discussion Of "Biomedical Ontologies: Toward Scientific Debate", Brochhausen M., Burgun A., Ceusters W., Hasman A., Tze-Yun Leong, Musen M., Oliveira J., Peleg M., Rector A., Schulz S.
Discussion Of "Biomedical Ontologies: Toward Scientific Debate", Brochhausen M., Burgun A., Ceusters W., Hasman A., Tze-Yun Leong, Musen M., Oliveira J., Peleg M., Rector A., Schulz S.
Research Collection School Of Computing and Information Systems
With these comments on the paper “Biomedical Ontologies: Toward scientific debate”, written by Victor Maojo et al., Methods of Information in Medicine wants to stimulate a discussion on advantages and challenges of biomedical ontologies. An international group of experts have been invited by the editor of Methods to comment on this paper. Each of the invited commentaries forms one section of this paper.
New Theories And Methods For Technology Adoption Research, Robert J. Kauffman, Angsana A. Techatassanasoontorn
New Theories And Methods For Technology Adoption Research, Robert J. Kauffman, Angsana A. Techatassanasoontorn
Research Collection School Of Computing and Information Systems
This special issue includes six articles on different aspects of technology adoption that represent the development and application of different theoretical and methodological approaches to the business problems that they treat. In terms of theory, three of the articles use behavioral and organizational theories, including adaptive structuration theory, management fashion theory, the unified theory of technology acceptance, the technology acceptance model, and diffusion of innovation theory. The other two are based on economic theory, including network effects theory, and economic growth theory. The methods used are also dramatically different in each of the studies. Three studies use field research and …
A Dynamic State Metabolic Journey: From Mass Spectrometry To Network Analysis Via Estimation Of Kinetic Parameters, Arockia Ranjitha Dhanasekaran
A Dynamic State Metabolic Journey: From Mass Spectrometry To Network Analysis Via Estimation Of Kinetic Parameters, Arockia Ranjitha Dhanasekaran
All Graduate Theses and Dissertations, Spring 1920 to Summer 2023
The term "metabolism" refers to the chemical processes occurring in a living organism to convert the food consumed into the energy needed to maintain a living state. Metabolism consists of two states, namely, a dynamic state and a steady state. In the dynamic state, the rate of chemical conversion of a substance is proportional to the amount of substance available, whereas in the steady state this rate is constant and independent of the amount of substance present (Chapter 4 Figure 1). Like all other fields of engineering, metabolic engineering involves the analysis and synthesis of metabolism. Molecular biological tools for …
Development Of A Simulation Tool For Analysis Of Freeway Crashes Due To Cell Phone Usage, Sourabh Sriom
Development Of A Simulation Tool For Analysis Of Freeway Crashes Due To Cell Phone Usage, Sourabh Sriom
UNLV Theses, Dissertations, Professional Papers, and Capstones
Research shows that drivers are susceptible to numerous distractions while driving which can be held responsible as the reason of a crash. Usage of cell phones, i.e. talking or texting while driving is considered one of the prominent distractions which causes a crash. This dissertation aims to study the number of crashes occurring on the freeways and their relation with the drivers of these cars using cell phones while they are driving. Since crashes occur relatively less frequently, the study of crashes is done using what is called the "rare event" theory. Java based simulations are done to model a …
An Analysis Of User-Centric Identity Technology Trends, Openid's First Act, Peter Motykowski
An Analysis Of User-Centric Identity Technology Trends, Openid's First Act, Peter Motykowski
Regis University Student Publications (comprehensive collection)
Identity technologies within Internet applications have evolved at an aggressive pace over the past decade. As a result, a variety of user-centric identity management technologies are available on the Internet today. The user-centric identity technology realm has become a fragmented ecosystem of standards, techniques, and technical approaches to identity management. A symptom of this fragmentation is the sluggish adoption of user-centric identity technologies by Internet users. A study titled, An Analysis of User-Centric Identity Technology Trends, OpenID"â„¢s First Act, aims to reveal identity technology adoption patterns of users that engage in the use of Internet applications secured by an authentication …
Fast Parallel Machine Learning Algorithms For Large Datasets Using Graphic Processing Unit, Qi Li
Fast Parallel Machine Learning Algorithms For Large Datasets Using Graphic Processing Unit, Qi Li
Theses and Dissertations
This dissertation deals with developing parallel processing algorithms for Graphic Processing Unit (GPU) in order to solve machine learning problems for large datasets. In particular, it contributes to the development of fast GPU based algorithms for calculating distance (i.e. similarity, affinity, closeness) matrix. It also presents the algorithm and implementation of a fast parallel Support Vector Machine (SVM) using GPU. These application tools are developed using Compute Unified Device Architecture (CUDA), which is a popular software framework for General Purpose Computing using GPU (GPGPU). Distance calculation is the core part of all machine learning algorithms because the closer the query …
Fast Spheroidal Weathering With Colluvium Deposition, Mckay T. Farley
Fast Spheroidal Weathering With Colluvium Deposition, Mckay T. Farley
Theses and Dissertations
It can be difficult to quickly and easily create realistic sandstone terrain. Film makers often need to generate realistic terrain for establishing the setting of their film. Many methods have been created which address terrain generation. One such method is using heightmaps which encode height as a gray-value in a 2d image. Most terrain generation techniques don't admit concavities such as overhangs and arches. We present an algorithm that operates on a voxel grid for creating 3d terrain. Our algorithm uses curvature estimation to weather away the terrain. We speed up our method using a caching mechanism that stores the …
Energy-Efficient Real-Time Data Compression In Wireless Sensor Networks, Tommy Szalapski, Sanjay Madria
Energy-Efficient Real-Time Data Compression In Wireless Sensor Networks, Tommy Szalapski, Sanjay Madria
Computer Science Faculty Research & Creative Works
Wireless sensor networks possess significant limitations in storage, bandwidth, and power. Additionally, real-time sensor networks cannot tolerate high latency. While some good compression algorithms exist specific to sensor networks, in this paper we present an energy-efficient method with high compression ratio that reduces latency, storage and bandwidth usage further in comparison with some other recently proposed algorithms. Our Huffman style compression scheme exploits temporal locality and delta compression to provide better bandwidth utilization in the network, thus reducing latency for real time applications. Our performance evaluations show comparable compression ratios and energy savings with a significant decrease in latency compared …
A Multi-Tiered Architecture For Content Retrieval In Mobile Peer-To-Peer Networks, Neelanjana Dutta, Raghavendra Kotikalapudi, Abhinav Saxena, Sriram Chellappan
A Multi-Tiered Architecture For Content Retrieval In Mobile Peer-To-Peer Networks, Neelanjana Dutta, Raghavendra Kotikalapudi, Abhinav Saxena, Sriram Chellappan
Computer Science Faculty Research & Creative Works
In this paper, we address content retrieval in Mobile Peer-to-Peer (P2P) Networks. We design a multi-tiered architecture for content retrieval, where at Tier 1, we design a protocol for content similarity governed by a parametera that trades accuracy with search overhead. at Tier 2, we introduce a novel concept called Chained Bloom Filters and design a protocol where popular search items are linked with popular content at each node in an efficient manner for subsequent retrieval. Extensive analysis and numerical simulations demonstrate the effectiveness of our techniques. © 2011 IEEE.
Energy Efficient, Adaptive And Collaborative Data Sampling In Wireless Sensor Networks, Tommy Szalapski, Sanjay Kumar Madria
Energy Efficient, Adaptive And Collaborative Data Sampling In Wireless Sensor Networks, Tommy Szalapski, Sanjay Kumar Madria
Computer Science Faculty Research & Creative Works
This paper outlines some interesting research issues and solution approaches related to collaborative data sampling in wireless sensor networks for efficient energy and bandwidth utilization. © 2011 IEEE.
Exploration And Comparison Of Methods For Combining Population- And Family-Based Genetic Association Using The Genetic Analysis Workshop 17 Mini-Exome, David W. Fardo, Anthony R. Druen, Jinze Liu, Lucia Mirea, Claire Infante-Rivard, Patrick Breheny
Exploration And Comparison Of Methods For Combining Population- And Family-Based Genetic Association Using The Genetic Analysis Workshop 17 Mini-Exome, David W. Fardo, Anthony R. Druen, Jinze Liu, Lucia Mirea, Claire Infante-Rivard, Patrick Breheny
Biostatistics Faculty Publications
We examine the performance of various methods for combining family- and population-based genetic association data. Several approaches have been proposed for situations in which information is collected from both a subset of unrelated subjects and a subset of family members. Analyzing these samples separately is known to be inefficient, and it is important to determine the scenarios for which differing methods perform well. Others have investigated this question; however, no extensive simulations have been conducted, nor have these methods been applied to mini-exome-style data such as that provided by Genetic Analysis Workshop 17. We quantify the empirical power and false-positive …
Agile Innovation Management, Arcot Desai Narasimhalu
Agile Innovation Management, Arcot Desai Narasimhalu
Research Collection School Of Computing and Information Systems
The volume and velocity of innovations are on the increase resulting in increased pressures on every company for attaining, retaining and increasing its market leadership. Many companies need to retool their innovation management processes to address two agility related objectives in order to survive and grow in such a rapidly changing innovation environment. The first objective would be the ability to assemble an innovation team within the shortest possible time. This can only be satisfied by companies that are capable of forming innovation teams rather quickly. The related second objective would be to reduce the I2M (Idea to Market) cycle …
Mobile Os And Peer-To-Peer Gaming Integration With Iphone Ios, Stephen Jackson
Mobile Os And Peer-To-Peer Gaming Integration With Iphone Ios, Stephen Jackson
Senior Seminars
Smartphones enable a new rich user experience in pervasive computing. This paper presents a report of a system that delivers customized gaming content to mobile devices. As a demonstration of this system's capabilities, an application was designed to deliver peer-to-peer game play throughout Apple iPhones.
Carry And Expand: A New Nomadic Interaction Paradigm, Richard B. Arthur
Carry And Expand: A New Nomadic Interaction Paradigm, Richard B. Arthur
Theses and Dissertations
People are nomadic; traveling from place to place. As a user travels, he may need access to his digital information, including his data, applications, and settings. A convenient way to supply this access is to have the user carry that digital information in a portable computer such as a laptop or smart phone. As Moore's Law continues to operate, devices such as smart phones can easily perform the computing necessary for a user's work. Unfortunately, the amount of data a human can receive and convey through such devices is limited. To receive more information humans require more screen real estate. …
Efficient Traffic Crash And Snow Complaint Gis System, Anthony B. Ngo
Efficient Traffic Crash And Snow Complaint Gis System, Anthony B. Ngo
School of Computing: Dissertations, Theses, and Student Research
We describe the design and implementation of a traffic crash and snow complaint GIS system developed for the Lincoln Public Works department. We also describe a novel geocoding algorithm that was used to move data from the older Criminal Justice Information System, which is a relational database, to the new GIS system. In addition, we describe the implementation of several indexing algorithms that enable the system to efficiently answer rectangular range queries and queries about the relative locations of moving objects. Finally, in many applications (on-line analysis or mobile GIS), we need to execute spatial query efficiently (fast and small), …
Security Applications Of Formal Language Theory, Len Sassaman, Meredith L. Patterson, Sergey Bratus, Michael E. Locasto, Anna Shubina
Security Applications Of Formal Language Theory, Len Sassaman, Meredith L. Patterson, Sergey Bratus, Michael E. Locasto, Anna Shubina
Computer Science Technical Reports
We present an approach to improving the security of complex, composed systems based on formal language theory, and show how this approach leads to advances in input validation, security modeling, attack surface reduction, and ultimately, software design and programming methodology. We cite examples based on real-world security flaws in common protocols representing different classes of protocol complexity. We also introduce a formalization of an exploit development technique, the parse tree differential attack, made possible by our conception of the role of formal grammars in security. These insights make possible future advances in software auditing techniques applicable to static and dynamic …
A Foveated System For Wilderness Search And Rescue In Manned Aircraft, Carson D. Fenimore
A Foveated System For Wilderness Search And Rescue In Manned Aircraft, Carson D. Fenimore
Theses and Dissertations
Wilderness search and rescue can be assisted by video searchers in manned aircraft. The video searcher's primary task is to find clues on the ground. Due to altitude, it may be difficult to resolve details on the ground with a standard video camera. As the video streams at a constant frame rate, the searcher may become distracted by other tasks. While handling these tasks the searcher may miss important clues or spend extra time flying over the search area; either outcome decreases both the effectiveness of the video searcher and the chances of successfully finding missing persons. We develop an …
A New Cohesion Metric And Restructuring Technique For Object Oriented Paradigm, Mehmet Kaya, Jim Fawcett
A New Cohesion Metric And Restructuring Technique For Object Oriented Paradigm, Mehmet Kaya, Jim Fawcett
Electrical Engineering and Computer Science - Technical Reports
When software systems grow large during maintenance, they may lose their quality and become complex to read, understood and maintained. Developing a software system usually requires teams of developers working in concert to provide a finished product in a reasonable amount of time. What that means is many people may read each component of the software system such as a class in object oriented programming environment.
Launching Return-Oriented Programming Attacks Against Randomized Relocatable Executables, Limin Liu, Jin Han, Debin Gao, Jiwu Jing, Daren Zha
Launching Return-Oriented Programming Attacks Against Randomized Relocatable Executables, Limin Liu, Jin Han, Debin Gao, Jiwu Jing, Daren Zha
Research Collection School Of Computing and Information Systems
Since the day it was proposed, return-oriented programming has shown to be an effective and powerful attack technique against the write or execute only (W ⊕ X) protection. However, a general belief in the previous research is, systems deployed with address space randomization where the executables are also randomized at run-time are able to defend against return-oriented programming, as the addresses of all instructions are randomized. In this paper, we show that due to the weakness of current address space randomization technique, there are still ways of launching return-oriented programming attacks against those well-protected systems efficiently. We demonstrate and evaluate …
Data Warehouse And Business Intelligence: Comparative Analysis Of Olap Tools, Mahesh Kumar Bhetwal
Data Warehouse And Business Intelligence: Comparative Analysis Of Olap Tools, Mahesh Kumar Bhetwal
Regis University Student Publications (comprehensive collection)
Data Warehouse applications are designed basically to provide the business communities with accurate and consolidated information. The objective of Data Warehousing applications are not just for collecting data and reporting, but rather for analyzing, it requires technical and business expertise tools. To achieve business intelligence it requires proper tools to be selected. The most commonly used Business intelligence (BI) technologies are Online Analytical Processing (OLAP) and Reporting tools for analyzing the data and to make tactical decision for the better performance of the organization, and more over to provide quick and fast access to end user request. This study will …
Modeling And Designing Fair Rate Control For Wireless Mesh Networks With Partial Interference, Lei Wang
Modeling And Designing Fair Rate Control For Wireless Mesh Networks With Partial Interference, Lei Wang
Theses and Dissertations
Internet rate control protocols, such as TCP, encounter severe performance problems in wireless mesh networks. Because wireless networks use shared communication channels, contention and interference can significantly degrade flow throughput and fairness. Existing research takes either an engineering-based or optimization-based approach to solve the performance problems. The engineering-based approach usually solves a specific observed problem, but does not necessarily optimize the overall performance. The optimization-based approach mathematically models the network to find the optimal resource allocation among competing flows. The model can lead to a distributed rate control algorithm with performance guarantees, but relatively little work has been done to …
A Model Checking Framework For Hierarchical Systems., Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong
A Model Checking Framework For Hierarchical Systems., Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong
Research Collection School Of Computing and Information Systems
BDD-based symbolic model checking is capable of verifying systems with a large number of states. In this work, we report an extensible framework to facilitate symbolic encoding and checking of hierarchical systems. Firstly, a novel library of symbolic encoding functions for compositional operators (e.g., parallel composition, sequential composition, choice operator, etc.) are developed so that users can apply symbolic model checking techniques to hierarchical systems with little knowledge of symbolic encoding techniques (like BDD or CUDD). Secondly, as the library is language-independent, we build an extensible framework with various symbolic model checking algorithms so that the library can be easily …
A Representation Of Selected Nonmanual Signals In American Sign Language, Jerry C. Schnepp
A Representation Of Selected Nonmanual Signals In American Sign Language, Jerry C. Schnepp
College of Computing and Digital Media Dissertations
Computer-generated three-dimensional animation holds great promise for synthesizing utterances in American Sign Language (ASL) that are not only grammatical, but believable by members of the Deaf community. Animation poses several challenges stemming from the massive amounts of data necessary to specify the movement of three-dimensional geometry, and there is no current system that facilitates the synthesis of nonmanual signals. However, the linguistics of ASL can aid in surmounting the challenge by providing structure and rules for organizing the data.
This work presents a first method for representing ASL linguistic and extralinguistic processes that involve the face. Any such representation must …
A Secure Data Aggregation Based Trust Management Approach For Dealing With Untrustworthy Motes In Sensor Network, Nayot Poolsappasit, Sanjay Madria
A Secure Data Aggregation Based Trust Management Approach For Dealing With Untrustworthy Motes In Sensor Network, Nayot Poolsappasit, Sanjay Madria
Computer Science Faculty Research & Creative Works
Efficient power management is vital for increasing the life of wireless sensor networks (WSN). the main reason is that the radio transmission consumes energy approximately three times comparing to other operations. Thus, techniques such as data aggregation have been widely used in WSN to preserve energy. Despite its appealing and powerful features, data aggregation requires a high level of security as tampering with aggregating data can be suspected due to small bit errors. We propose a comprehensive trust management approach to deal with the potential dishonest and faulty motes in sensor networks. Unlike other trust management approaches, we take into …