Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Physical Sciences and Mathematics (9572)
- Education (3263)
- Engineering (2709)
- Social and Behavioral Sciences (2137)
- Computer Sciences (2102)
-
- Life Sciences (1770)
- Environmental Sciences (1494)
- Chemistry (1429)
- Physics (1324)
- Mathematics (1160)
- Earth Sciences (1152)
- Arts and Humanities (1096)
- Medicine and Health Sciences (929)
- Higher Education (759)
- Law (757)
- Electrical and Computer Engineering (726)
- Science and Mathematics Education (659)
- Business (587)
- Computer Engineering (554)
- Oceanography and Atmospheric Sciences and Meteorology (551)
- Statistics and Probability (491)
- Teacher Education and Professional Development (483)
- Astrophysics and Astronomy (460)
- Curriculum and Instruction (419)
- Geology (409)
- Educational Assessment, Evaluation, and Research (408)
- Mechanical Engineering (401)
- Public Affairs, Public Policy and Public Administration (387)
- Databases and Information Systems (345)
- Educational Administration and Supervision (344)
- Institution
-
- University of Nebraska - Lincoln (919)
- University of Kentucky (474)
- TÜBİTAK (465)
- Purdue University (449)
- University of South Florida (445)
-
- Singapore Management University (415)
- Old Dominion University (400)
- Utah State University (367)
- Missouri University of Science and Technology (365)
- Louisiana State University (360)
- Association of Arab Universities (355)
- City University of New York (CUNY) (354)
- Georgia Southern University (322)
- Portland State University (296)
- University of Central Florida (291)
- Walden University (286)
- Nova Southeastern University (284)
- California Polytechnic State University, San Luis Obispo (278)
- University of Arkansas, Fayetteville (259)
- Brigham Young University (247)
- Illinois Math and Science Academy (231)
- Wright State University (229)
- University of Texas at El Paso (224)
- University of Plymouth (186)
- University of Montana (184)
- Western Kentucky University (181)
- San Jose State University (179)
- University of Mississippi (176)
- Embry-Riddle Aeronautical University (173)
- Western Michigan University (172)
- Keyword
-
- Mathematics (261)
- Education (234)
- IMSA (130)
- STEM (109)
- Georgia Southern University (107)
-
- Science (107)
- Climate change (102)
- Curriculum (96)
- Course Syllabus (94)
- Higher education (91)
- Technology (91)
- Biology (84)
- Chemistry (79)
- Sustainability (79)
- Illinois Mathematics and Science Academy (72)
- Applied sciences (70)
- Gifted (66)
- Assessment (63)
- Modeling (60)
- Physics (60)
- Engineering (59)
- Residential high school (59)
- Designs (58)
- IN2 (58)
- Simulation (58)
- Statistics (57)
- Evolution (56)
- Leadership (55)
- Optimization (53)
- Professional development (50)
- Publication
-
- Theses and Dissertations (822)
- Electronic Theses and Dissertations (455)
- Research Collection School Of Computing and Information Systems (357)
- Applied Mathematics & Information Sciences (311)
- Walden Dissertations and Doctoral Studies (283)
-
- Faculty Publications (273)
- Dissertations (269)
- Open Access Dissertations (225)
- Theses (200)
- USF Tampa Graduate Theses and Dissertations (198)
- Publications and Research (166)
- Turkish Journal of Electrical Engineering and Computer Sciences (166)
- Doctoral Dissertations (156)
- Graduate Theses and Dissertations (153)
- Master's Theses (146)
- Stony Brook Theses and Dissertations Collection, 2006-2020 (closed to submissions) (140)
- Masters Theses (137)
- Honors Theses (128)
- Physics and Astronomy Faculty Publications (121)
- Dissertations, Theses, and Capstone Projects (115)
- Open Access Theses & Dissertations (113)
- University of New Orleans Syllabi (110)
- LSU Doctoral Dissertations (107)
- Turkish Journal of Chemistry (106)
- UNLV Theses, Dissertations, Professional Papers, and Capstones (106)
- LSU Master's Theses (103)
- Physics Faculty Publications (101)
- Open Access Theses (99)
- Dissertations and Theses (97)
- Departmental Technical Reports (CS) (96)
- Publication Type
- File Type
Articles 20911 - 20940 of 22265
Full-Text Articles in Entire DC Network
Computer Aided Detection Of Oral Lesions On Ct Images, Shaikat Mahmood Galib
Computer Aided Detection Of Oral Lesions On Ct Images, Shaikat Mahmood Galib
Masters Theses
"Oral lesions are important findings on computed tomography images. They are difficult to detect on CT images because of low contrast, arbitrary orientation of objects, complicated topology and lack of clear lines indicating lesions. In this thesis, a fully automatic method to detect oral lesions from dental CT images is proposed to identify (1) Closed boundary lesions and (2) Bone deformation lesions. Two algorithms were developed to recognize these two types of lesions, which cover most of the lesion types that can be found on CT images. The results were validated using a dataset of 52 patients. Using non training …
Comprehensive Benefits Of Green Roofs, Madison R. Gibler
Comprehensive Benefits Of Green Roofs, Madison R. Gibler
Masters Theses
"Green infrastructure uses vegetation, soils, and natural processes to manage water and create healthier urban environments, providing traditional roof services and alternative stormwater management technologies. Other benefits and impacts are not yet fully understood or valued. Research conducted assesses specific stormwater benefits of green roofs, providing information on nutrient leaching from media; and analyzes potential energy benefits through side-by-side comparisons of full-scale white, traditional black rubber, and green roofs in the mid-continent Missouri climate. Roofing media selection impacted leaching of nutrients, suspended solids, and organic carbon from the tested green roof media. Thermal properties were investigated at the building level, …
Pipeline Leak Detection, Marcia Golmohamadi
Pipeline Leak Detection, Marcia Golmohamadi
Masters Theses
"In the present research two techniques are applied for leak detection in pipelines. The first method is a hardware-based technique which uses ultrasonic wave's emission for pipeline inspection. Ultrasonic waves are propagated in the pipe walls and reflected signal from leakage will be used for pipe analysis. Several Pipes with various dimensions and characteristics are modeled by finite element method using ANSYS. Second order longitudinal modes of ultrasonic waves are emitted in their walls. For this purpose, excited frequency is calculated such that it excites the second order longitude mode. In order to investigate the behavior of emitted wave in …
Model Predictive Current Control Of Switched Reluctance Motor With Inductance Auto-Calibration, Xin Li
Model Predictive Current Control Of Switched Reluctance Motor With Inductance Auto-Calibration, Xin Li
Masters Theses
"The thesis is composed of three papers, which investigate the application of Model Predictive Controller (MPC) for current control of Switched Reluctance Motor (SRM). Since the conventional hysteresis current control method is not suitable for high power SRM drive system with low inductance and limited switching frequency, MPC is a promising alternative approach for this application. The proposed MPC can cope with the measurement noise as well as uncertainties within the machine inductance profile. In the first paper, a MPC current control method for Double-Stator Switched Reluctance Motor (DSSRM) drives is presented. A direct adaptive estimator is incorporated to follow …
Spatial And Temporal Modulation Of Heat Source Using Light Modulator For Advanced Thermography, Arvindvivek Ravichandran
Spatial And Temporal Modulation Of Heat Source Using Light Modulator For Advanced Thermography, Arvindvivek Ravichandran
Masters Theses
"Thermography is a Non-Destructive Testing (NDT) method that has found increasing use in industry and research. It has the advantages of being non-contact and be able to interrogate a large surface simultaneously. Active thermography using flash lamps as heat source has been demonstrated for identifying blind holes and delamination in composites. Despite these advancements, active thermographic approach fails to defects like cracks. Under uniform illumination heat flow is predominantly 1D and can easily circumvent a narrow feature. This can be overcome by using a focused light/laser source onto the surface to impose a 3D heat flux. The disadvantage is that …
A New Technique For Modeling The Geomorphology Of A Slow Moving, Soft-Slope Landslide Using Terrestrial Lidar, Nathan Bradley Rohrbaugh
A New Technique For Modeling The Geomorphology Of A Slow Moving, Soft-Slope Landslide Using Terrestrial Lidar, Nathan Bradley Rohrbaugh
Masters Theses
"Soft slope movement is a big problem whether it involves an engineered slope, one that is near infrastructure, or both. Active landslides that fail slowly sometimes allow ample time to affect remedial works. In order to plan effective remedial works, there needs to be a model of the entire geometry of the slide. This thesis describes a new approach to evaluate the morphology of slope geometry using Light Detection and Ranging (LiDAR) data obtained from simple targets strategically positioned on a slide body. The data was gathered in three-month intervals over a period of one year to allow enough time …
Energy Disaggregation In Nialm Using Hidden Markov Models, Anusha Sankara
Energy Disaggregation In Nialm Using Hidden Markov Models, Anusha Sankara
Masters Theses
"This work presents an appliance disaggregation technique to handle the fundamental goal of the Non-Intrusive Appliance Load Monitoring (NIALM) problem i.e., a simple breakdown of an appliance level energy consumption of a house. It also presents the modeling of individual appliances as load models using hidden Markov models and combined appliances as a single load model using factorial hidden Markov models. Granularity of the power readings of the disaggregated appliances matches with that of the readings collected at the service entrance. Accuracy of the proposed algorithm is evaluated using publicly released Tracebase data sets and UK-DALE data sets at various …
Fuzzy Adaptive Resonance Theory: Applications And Extensions, Clayton Parker Smith
Fuzzy Adaptive Resonance Theory: Applications And Extensions, Clayton Parker Smith
Masters Theses
"Adaptive Resonance Theory, ART, is a powerful clustering tool for learning arbitrary patterns in a self-organizing manner. In this research, two papers are presented that examine the extensibility and applications of ART. The first paper examines a means to boost ART performance by assigning each cluster a vigilance value, instead of a single value for the whole ART module. A Particle Swarm Optimization technique is used to search for desirable vigilance values. In the second paper, it is shown how ART, and clustering in general, can be a useful tool in preprocessing time series data. Clustering quantization attempts to meaningfully …
3d Numerical Modelling Of Micropiles Interaction With Soil & Rock, Audai Kamal Theinat
3d Numerical Modelling Of Micropiles Interaction With Soil & Rock, Audai Kamal Theinat
Masters Theses
"A 5-span bridge along the Foothills Parkway of the Great Smoky Mountains, TN, was recently completed. Two out of the four piers were instrumented to measure the load transfer in the foundations. The foundations consisted of twenty 10-inch micropiles under the pile cap for each pier. Strain gages were installed and monitored at the different stages of construction. The objective of this research is to examine the interaction between the ground and micropiles using the field data performance and numerical modelling. The 3D computer model consists of the micropile foundation within the steep rock bedding planes and overburden soils. The …
Rote-Lcs Learning Classifier System For Classification And Prediction, Benjamin Daniels
Rote-Lcs Learning Classifier System For Classification And Prediction, Benjamin Daniels
Masters Theses
"Machine Learning (ML) involves the use of computer algorithms to solve for approximate solutions to problems with large, complex search spaces. Such problems have no known solution method, and search spaces too large to allow brute force search to be feasible. Evolutionary algorithms (EA) are a subset of machine learning algorithms which simulate fundamental concepts of evolution. EAs do not guarantee a perfect solution, but rather facilitate convergence to a solution of which the accuracy depends on a given EA's learning architecture and the dynamics of the problem.
Learning classifier systems (LCS) are algorithms comprising a subset of EAs. The …
A Novel Entropy Production Based Full-Chip Tsv Fatigue Analysis, Tianchen Wang
A Novel Entropy Production Based Full-Chip Tsv Fatigue Analysis, Tianchen Wang
Masters Theses
"Through-silicon vias (TSVs) are subject to thermal fatigue due to stress over time, no matter how small the stress is. Existing works on TSV fatigue all rely on measurement-based parameters to estimate the lifetime, and cannot consider detailed thermal profiles. In this paper, we propose a new method for TSV fatigue prediction using entropy production during thermal cycles. By combining thermodynamics and mechanics laws, the fatigue process can be quantitatively evaluated with detailed thermal profiles. Experimental results show that interestingly, the landing pad possesses the most easy-to-fail region, which generates up to 50% more entropy compared with the TSV body. …
Optimal Techno-Economic Sizing Of Wind/Solar/Battery Hybrid Microgrid System Using The Forever Power Method, Sami Hamed Alalwani
Optimal Techno-Economic Sizing Of Wind/Solar/Battery Hybrid Microgrid System Using The Forever Power Method, Sami Hamed Alalwani
Masters Theses
"Advancement in power electronics, energy storage, control, and renewable energy sources has led to the use of integrated renewable energy sources in islanded microgrids (MG). Also, the uses of integrated renewable energy sources have become more technically applicable, more economically feasible, and more environmentally friendly than conventional sources. As a result, electrification of rural villages using renewable energy technologies has started to become widely adopted around the world. Since generating power from renewable energy sources is highly intermittent and difficult to predict, the use of proper energy storage technology is important to eliminate mismatches between the load demand and generation. …
A Valuation Model For Two-Stage Contract Negotiations Over Multiple Interdependent Issues, Nnaemeka U. Amaeshi
A Valuation Model For Two-Stage Contract Negotiations Over Multiple Interdependent Issues, Nnaemeka U. Amaeshi
Masters Theses
"Most real-world negotiation scenarios involve multiple interdependent issues over which the negotiating parties will seek an agreement. Simultaneous negotiation over multiple interdependent issues is an especially challenging problem because utility functions of negotiating agents are typically nonlinear and difficult to analyze. Also, negotiations often happen under circumstances of incomplete information, where either party has either little or inaccurate information about the preferences or utilities of the other party. Consequently, negotiations may go over multiple rounds until a mutually acceptable agreement is reached. The objective of this research is to create a quantitative model of decision-making that helps one negotiating party …
Cappack Devices For Enhanced Qnmr Measurements In 1H Nmr Spectroscopy, Lingyu Chi
Cappack Devices For Enhanced Qnmr Measurements In 1H Nmr Spectroscopy, Lingyu Chi
Masters Theses
"Quantitative NMR analyses can be improved by adding well-defined external references for measuring sample properties on absolute scales. Special Capillary-tube Package (CapPack) devices were invented that provide in situ information (e.g., temperature, pH, pressure, integration, chemical shift, lock, etc.) about a sample with spectral imprimaturs. A new microscale glass-sealing technique produced CapPack devices that can survive high temperatures and pressures in harsh environments. Two CapPack devices are discussed: (1) Gradient CapPack-- a device for examining the irradiation bandwidth of solvent-suppression pulse sequences; (2) T1 CapPack - a device for examining the T1 robustness of solvent-suppression pulse sequences. A …
Thermodynamic And Chemical Kinetic Coupled Modeling For The Determination Of Cyclic Combustion Phasing In Hcci Engines, Krishawn Michele Goodwin
Thermodynamic And Chemical Kinetic Coupled Modeling For The Determination Of Cyclic Combustion Phasing In Hcci Engines, Krishawn Michele Goodwin
Masters Theses
"Homogeneous charge compression ignition (HCCI) is a low temperature combustion mode that contains great potential for decreasing emissions while increasing efficiency in internal combustion engines. The limitation is in that it is inherently difficult to control based on the lack of an external combustion trigger. This thesis outlines the potential of using the combustion residual species of carbon monoxide as a method of controlling the location of combustion by using data from a computer model. The model is a nonlinear five-state thermodynamic model that is coupled with a skeletal chemical kinetic model for PRF96. The model computes the amount of …
Design And Implementation Of Low Complexity Wake-Up Receiver For Underwater Acoustic Sensor Networks, Ming Yue
Design And Implementation Of Low Complexity Wake-Up Receiver For Underwater Acoustic Sensor Networks, Ming Yue
Masters Theses
"This thesis designs a low-complexity dual Pseudorandom Noise (PN) scheme for identity (ID) detection and coarse frame synchronization. The two PN sequences for a node are identical and are separated by a specified length of gap which serves as the ID of different sensor nodes. The dual PN sequences are short in length but are capable of combating severe underwater acoustic (UWA) multipath fading channels that exhibit time varying impulse responses up to 100 taps. The receiver ID detection is implemented on a microcontroller MSP430F5529 by calculating the correlation between the two segments of the PN sequence with the specified …
Fault Interpretation And Reservoir Characterization Of The Farewell Formation Within Kerry Field, Taranaki Basin, New Zealand, Waleed Deefallah M Alotaby
Fault Interpretation And Reservoir Characterization Of The Farewell Formation Within Kerry Field, Taranaki Basin, New Zealand, Waleed Deefallah M Alotaby
Masters Theses
"The Kerry Field, located in the southern offshore Taranaki Basin, is a large liquid-rich gas accumulation with a thin (20 m) oil rim. The field was discovered by the New Zealand Oil & Gas in 1986 (well Kupe South-1). The gas and oil are trapped within a 9.2 km2 fault-dependent three-way dip closure in the Paleocene Farewell Formation reservoir. Pressure, volume, and temperature (PVT) data indicate that the gas and oil columns in the field are in equilibrium with one another and are saturated at current reservoir conditions.
The Farewell Formation is the uppermost formation of the Kapuni Group …
A Decision Support Simulation Model For Bed Management In Healthcare, Raja A. Baru
A Decision Support Simulation Model For Bed Management In Healthcare, Raja A. Baru
Masters Theses
"In order to provide access to care in a timely manner, it is necessary to effectively manage the allocation of limited resources such as beds. Bed management is key to the effective delivery of high-quality and low-cost healthcare. An efficient utilization of beds requires a detailed understanding of the hospital's operational behavior. It is necessary to understand the behavior of a hospital in order to make necessary adjustments to its resources, and policies, which can improve patient's access to care. The aim of this research was to develop a discrete event simulation to assist in planning and staff scheduling decisions. …
Emission Source Microscopy Applications On Emi Source Localization And Emi Mitigation With Lossy Materials, Xiangyang Jiao
Emission Source Microscopy Applications On Emi Source Localization And Emi Mitigation With Lossy Materials, Xiangyang Jiao
Masters Theses
"In Section 1, the emission source microscopy (ESM) methodology will be introduced and used to identify the sources of radiation on different DUTs. As the new technology generation, the integration density and the operating speed of integrated circuits have been increasing steadily. However, root cause diagnostics to locate the source of EMI radiation is more problematic in the complex system. The ESM technique provides a powerful tool to detect and characterize the active sources of radiation. The amplitude and phase of fields are measured on a plane away from the DUT, and this measurement can get rid of the evanescent …
An Investigation Of Shear-Friction Of Lightweight Aggregate Concretes, Kristian Krc
An Investigation Of Shear-Friction Of Lightweight Aggregate Concretes, Kristian Krc
Masters Theses
"This thesis reports the results of research initiated to evaluate the influence of lightweight aggregate type and casting procedure on shear transfer across an interface of concretes cast at different times. The topic of shear transfer has been evaluated and revisited in recent PCI Design Handbooks. In this test program, a series of cold joint as well as monolithic specimens are evaluated. The peak shear strength and post peak behavior are examined. The experimental matrix included 28 push-off specimens that were either cast monolithically or cast at different times creating the condition referred to as a cold joint. The variables …
Space-Based Relative Multitarget Tracking, Keith Allen Legrand
Space-Based Relative Multitarget Tracking, Keith Allen Legrand
Masters Theses
"Access to space has expanded dramatically over the past decade. The growing popularity of small satellites, specifically cubesats, and the following launch initiatives have resulted in exponentially growing launch numbers into low Earth orbit. This growing congestion in space has punctuated the need for local space monitoring and autonomous satellite inspection. This work describes the development of a framework for monitoring local space and tracking multiple objects concurrently in a satellite's neighborhood. The development of this multitarget tracking systems has produced collateral developments in numerical methods, relative orbital mechanics, and initial relative orbit determination.
This work belongs to a class …
E-Mail Authorship Attribution Using Customized Associative Classification, Michael R. Schmid, Farkhund Iqbal, Benjamin C.M. Fung
E-Mail Authorship Attribution Using Customized Associative Classification, Michael R. Schmid, Farkhund Iqbal, Benjamin C.M. Fung
All Works
E-mail communication is often abused for conducting social engineering attacks including spamming, phishing, identity theft and for distributing malware. This is largely attributed to the problem of anonymity inherent in the standard electronic mail protocol. In the literature, authorship attribution is studied as a text categorization problem where the writing styles of individuals are modeled based on their previously written sample documents. The developed model is employed to identify the most plausible writer of the text. Unfortunately, most existing studies focus solely on improving predictive accuracy and not on the inherent value of the evidence collected. In this study, we …
On-Die Sensors For Transient Events, Mihir Vimal Suchak
On-Die Sensors For Transient Events, Mihir Vimal Suchak
Masters Theses
"Failures caused by transient electromagnetic events like Electrostatic Discharge (ESD) are a major concern for embedded systems. The component often failing is an integrated circuit (IC). Determining which IC is affected in a multi-device system is a challenging task. Debugging errors often requires sophisticated lab setups which require intentionally disturbing and probing various parts of the system which might not be easily accessible. Opening the system and adding probes may change its response to the transient event, which further compounds the problem.
On-die transient event sensors were developed that require relatively little area on die, making them inexpensive, they consume …
Damage Detection Through Acoustic Emission Of Fracture Processes In Concrete Masonry Units, John Alexander Cain
Damage Detection Through Acoustic Emission Of Fracture Processes In Concrete Masonry Units, John Alexander Cain
Masters Theses
"Masonry structures are vulnerable to earthquakes; their brittleness and discontinuous formation make them susceptible to collapse. In the event of an emergency, this could be detrimental and perhaps fatal. The area of Structural Health Monitoring (SHM) is focused on understanding the behavior of structures for the sake of safety and predicting their longevity. One applicable technique to monitor this behavior is Acoustic Emission (AE). Acoustic Emissions are transient elastic waves released as microcracks nucleate from stress intensities, coalesce into cracks and then accumulate as damage. AE monitoring is a favorable method because it is capable of detecting cracking from within …
Developing A Novel Methodolgy And Testbed For Fatigue Analysis Of Metal Specimens, Sai Aravind Palepu
Developing A Novel Methodolgy And Testbed For Fatigue Analysis Of Metal Specimens, Sai Aravind Palepu
Masters Theses
"A prototype of fatigue testing machine was built to determine the fatigue strength of materials. Proposed testing prototype was displacement controlled magnetic type bend fatigue testing machine. Designed prototype was tuned to operate at or near resonance of the specimen in order to amplify excitation displacement. Low maintenance i.e. zero wear of the parts was achieved, there were no moving components in the prototype machine. Crucial components used to build were: DC power supply, solenoid, Arduino UNO, supports and laser displacement sensor. DC source used to pass current through solenoid producing magnetic field; mosfet and Arduino generated square waves of …
Enhancing Social Science Research In The Uae: An Open Source Software Solution University Of Sharjah (Uos) Case Study, Manar Abu Talib, Muhammed Abuodeh, Adhraa Almansoori, Arwa Alnauimi
Enhancing Social Science Research In The Uae: An Open Source Software Solution University Of Sharjah (Uos) Case Study, Manar Abu Talib, Muhammed Abuodeh, Adhraa Almansoori, Arwa Alnauimi
All Works
© 2015 The Manar Abu Talib, Muhammed AbuOdeh, Adhraa Almansoori and Arwa AlNauimi. Researchers, practitioners and social scientists all agree on the enormous importance of social science research in advancing human knowledge and informing public policy makers. The National Research Foundation, along with other organizations in the UAE, is leading the initiative to integrate the efforts of social research institutions in order to support the decision making process in the UAE. As indicated by a number of social researchers during the last forum held on May 29-30, 2012, at the Emirates Center for Strategic Studies and Research, Abu Dhabi, UAE, …
Perceptions Of Recipients Of A Florida High School Dropout Prevention Program’S Scholarship About The Influence Of Mentoring And Student Advocacy On Success And Persistence In Higher Education, Tracy Lyn Johnston
Theses and Dissertations
This applied dissertation was designed to help a specific Florida high school dropout prevention program better understand the factors that influence the postsecondary persistence rates of their scholarship recipients. The program administrators want to explore the scholarship recipients’ perceptions regarding the role of mentoring and student advocacy in his/her academic success or college persistence. To understand the scholarship recipients experience better, a mixed methods study was conducted with current program scholarship recipients to gain insight into the individual student’s perception of factors including mentoring and student advocacy that influenced student success and completion in college.
Information gained from the student …
Low Effort Crowdsourcing: Leveraging Peripheral Attention For Crowd Work, Vaish Rajan, Peter Organisciak, Kotaro Hara, Jeffrey P. Bigham, Haoqi Zhang
Low Effort Crowdsourcing: Leveraging Peripheral Attention For Crowd Work, Vaish Rajan, Peter Organisciak, Kotaro Hara, Jeffrey P. Bigham, Haoqi Zhang
Research Collection School Of Computing and Information Systems
Crowdsourcing systems leverage short bursts of focusedattention from many contributors to achieve a goal. Byrequiring people’s full attention, existing crowdsourcingsystems fail to leverage people’s cognitive surplus in themany settings for which they may be distracted, performingor waiting to perform another task, or barely payingattention. In this paper, we study opportunities for loweffortcrowdsourcing that enable people to contribute toproblem solving in such settings. We discuss the designspace for low-effort crowdsourcing, and through a seriesof prototypes, demonstrate interaction techniques, mechanisms,and emerging principles for enabling low-effortcrowdsourcing.
A Systematic Study On Explicit-State Non-Zenoness Checking For Timed Automata, Ting Wang, Jun Sun, Xinyu Wang, Yang Liu, Yuanjie Si, Jin Song Dong, Xiaohu Yang, Xiaohong Li
A Systematic Study On Explicit-State Non-Zenoness Checking For Timed Automata, Ting Wang, Jun Sun, Xinyu Wang, Yang Liu, Yuanjie Si, Jin Song Dong, Xiaohu Yang, Xiaohong Li
Research Collection School Of Computing and Information Systems
Zeno runs, where infinitely many actions occur within finite time, may arise in Timed Automata models. Zeno runs are not feasible in reality and must be pruned during system verification. Thus it is necessary to check whether a run is Zeno or not so as to avoid presenting Zeno runs as counterexamples during model checking. Existing approaches on non-Zenoness checking include either introducing an additional clock in the Timed Automata models or additional accepting states in the zone graphs. In addition, there are approaches proposed for alternative timed modeling languages, which could be generalized to Timed Automata. In this work, …
Recovering Household Preferences For Digital Entertainment, Jin Li, Zhiling Guo, Robert J. Kauffman
Recovering Household Preferences For Digital Entertainment, Jin Li, Zhiling Guo, Robert J. Kauffman
Research Collection School Of Computing and Information Systems
Cable TV return path data made possible by current generation set-top boxes present a new opportunity to analyze household viewing behavior and recover household viewing preferences from it. This research develops a model of household viewing preference that supports quantifying a household's valuation for different categories of digital content within the constraints of the programs to which it subscribes. This study uses a data set of more than 1 million observations on households from a digital entertainment firm that offers basic and premium services. Our estimation is via a Bayesian hierarchical model that employs the Gibbs sampler. The results show …