Matching Items (31)
Filtering by

Clear all filters

147880-Thumbnail Image.png
Description

This paper will cover topics regarding remote work. More specifically, remote work for the field of logistics. It will also dive into remote work platforms themselves e.g., Slack, Zoom, etc. Microsoft Teams, the specific software we used while I was at my internship, will be analyzed as well. I will,

This paper will cover topics regarding remote work. More specifically, remote work for the field of logistics. It will also dive into remote work platforms themselves e.g., Slack, Zoom, etc. Microsoft Teams, the specific software we used while I was at my internship, will be analyzed as well. I will, specifically, be analyzing the fundamental issues that occurred during my internship, developing a feasible solution with a laid-out process for each one. After the proper execution of these processes, I will discuss my results. I found that time is the most critical component of an optimal transition to remote work. Finally, I will conclude with reflections on my findings, insights from current working supply chain professionals, and prompt further research that could be done.

ContributorsSchneider, Sam (Author) / Byrne, Jared (Thesis director) / Aguilar, Jared (Committee member) / Department of Supply Chain Management (Contributor) / Dean, W.P. Carey School of Business (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05
150093-Thumbnail Image.png
Description
Action language C+ is a formalism for describing properties of actions, which is based on nonmonotonic causal logic. The definite fragment of C+ is implemented in the Causal Calculator (CCalc), which is based on the reduction of nonmonotonic causal logic to propositional logic. This thesis describes the language

Action language C+ is a formalism for describing properties of actions, which is based on nonmonotonic causal logic. The definite fragment of C+ is implemented in the Causal Calculator (CCalc), which is based on the reduction of nonmonotonic causal logic to propositional logic. This thesis describes the language of CCalc in terms of answer set programming (ASP), based on the translation of nonmonotonic causal logic to formulas under the stable model semantics. I designed a standard library which describes the constructs of the input language of CCalc in terms of ASP, allowing a simple modular method to represent CCalc input programs in the language of ASP. Using the combination of system F2LP and answer set solvers, this method achieves functionality close to that of CCalc while taking advantage of answer set solvers to yield efficient computation that is orders of magnitude faster than CCalc for many benchmark examples. In support of this, I created an automated translation system Cplus2ASP that implements the translation and encoding method and automatically invokes the necessary software to solve the translated input programs.
ContributorsCasolary, Michael (Author) / Lee, Joohyung (Thesis advisor) / Ahn, Gail-Joon (Committee member) / Baral, Chitta (Committee member) / Arizona State University (Publisher)
Created2011
151653-Thumbnail Image.png
Description
Answer Set Programming (ASP) is one of the most prominent and successful knowledge representation paradigms. The success of ASP is due to its expressive non-monotonic modeling language and its efficient computational methods originating from building propositional satisfiability solvers. The wide adoption of ASP has motivated several extensions to its modeling

Answer Set Programming (ASP) is one of the most prominent and successful knowledge representation paradigms. The success of ASP is due to its expressive non-monotonic modeling language and its efficient computational methods originating from building propositional satisfiability solvers. The wide adoption of ASP has motivated several extensions to its modeling language in order to enhance expressivity, such as incorporating aggregates and interfaces with ontologies. Also, in order to overcome the grounding bottleneck of computation in ASP, there are increasing interests in integrating ASP with other computing paradigms, such as Constraint Programming (CP) and Satisfiability Modulo Theories (SMT). Due to the non-monotonic nature of the ASP semantics, such enhancements turned out to be non-trivial and the existing extensions are not fully satisfactory. We observe that one main reason for the difficulties rooted in the propositional semantics of ASP, which is limited in handling first-order constructs (such as aggregates and ontologies) and functions (such as constraint variables in CP and SMT) in natural ways. This dissertation presents a unifying view on these extensions by viewing them as instances of formulas with generalized quantifiers and intensional functions. We extend the first-order stable model semantics by by Ferraris, Lee, and Lifschitz to allow generalized quantifiers, which cover aggregate, DL-atoms, constraints and SMT theory atoms as special cases. Using this unifying framework, we study and relate different extensions of ASP. We also present a tight integration of ASP with SMT, based on which we enhance action language C+ to handle reasoning about continuous changes. Our framework yields a systematic approach to study and extend non-monotonic languages.
ContributorsMeng, Yunsong (Author) / Lee, Joohyung (Thesis advisor) / Ahn, Gail-Joon (Committee member) / Baral, Chitta (Committee member) / Fainekos, Georgios (Committee member) / Lifschitz, Vladimir (Committee member) / Arizona State University (Publisher)
Created2013
136098-Thumbnail Image.png
Description
In order to discover if Company X's current system of local trucking is the most efficient and cost-effective way to move freight between sites in the Western U.S., we will compare the current system to varying alternatives to see if there are potential avenues for Company X to create or

In order to discover if Company X's current system of local trucking is the most efficient and cost-effective way to move freight between sites in the Western U.S., we will compare the current system to varying alternatives to see if there are potential avenues for Company X to create or implement an improved cost saving freight movement system.
ContributorsPicone, David (Co-author) / Krueger, Brandon (Co-author) / Harrison, Sarah (Co-author) / Way, Noah (Co-author) / Simonson, Mark (Thesis director) / Hertzel, Michael (Committee member) / Barrett, The Honors College (Contributor) / Department of Supply Chain Management (Contributor) / Department of Finance (Contributor) / Economics Program in CLAS (Contributor) / School of Accountancy (Contributor) / W. P. Carey School of Business (Contributor) / Sandra Day O'Connor College of Law (Contributor)
Created2015-05
136506-Thumbnail Image.png
Description
The purpose of this thesis was to design a market entrance strategy for Company X to enter the microcontroller (MCU) market within the Internet of Things (IoT). The five IoT segments are automotive; medical; retail; industrial; and military, aerospace, and government. To reach a final decision, we will research the

The purpose of this thesis was to design a market entrance strategy for Company X to enter the microcontroller (MCU) market within the Internet of Things (IoT). The five IoT segments are automotive; medical; retail; industrial; and military, aerospace, and government. To reach a final decision, we will research the markets, analyze make versus buy scenarios, and deliver a financial analysis on the chosen strategy. Based on the potential financial benefits and compatibility with Company X's current business model, we recommend that Company X enter the automotive segment through mergers & acquisitions (M&A). After analyzing the supply chain structure of the automotive IoT, we advise Company X to acquire Freescale Semiconductor for $46.98 per share.
ContributorsBradley, Rachel (Co-author) / Fankhauser, Elisa (Co-author) / McCoach, Robert (Co-author) / Zheng, Weilin (Co-author) / Simonson, Mark (Thesis director) / Hertzel, Mike (Committee member) / Barrett, The Honors College (Contributor) / Department of Finance (Contributor) / Department of Supply Chain Management (Contributor) / School of Accountancy (Contributor) / School of International Letters and Cultures (Contributor) / WPC Graduate Programs (Contributor)
Created2015-05
135758-Thumbnail Image.png
Description
Food safety is vital to the well-being of society; therefore, it is important to inspect food products to ensure minimal health risks are present. A crucial phase of food inspection is the identification of foreign particles found in the sample, such as insect body parts. The presence of certain species

Food safety is vital to the well-being of society; therefore, it is important to inspect food products to ensure minimal health risks are present. A crucial phase of food inspection is the identification of foreign particles found in the sample, such as insect body parts. The presence of certain species of insects, especially storage beetles, is a reliable indicator of possible contamination during storage and food processing. However, the current approach to identifying species is visual examination by human analysts; this method is rather subjective and time-consuming. Furthermore, confident identification requires extensive experience and training. To aid this inspection process, we have developed in collaboration with FDA analysts some image analysis-based machine intelligence to achieve species identification with up to 90% accuracy. The current project is a continuation of this development effort. Here we present an image analysis environment that allows practical deployment of the machine intelligence on computers with limited processing power and memory. Using this environment, users can prepare input sets by selecting images for analysis, and inspect these images through the integrated pan, zoom, and color analysis capabilities. After species analysis, the results panel allows the user to compare the analyzed images with referenced images of the proposed species. Further additions to this environment should include a log of previously analyzed images, and eventually extend to interaction with a central cloud repository of images through a web-based interface. Additional issues to address include standardization of image layout, extension of the feature-extraction algorithm, and utilizing image classification to build a central search engine for widespread usage.
ContributorsMartin, Daniel Luis (Author) / Ahn, Gail-Joon (Thesis director) / Doupé, Adam (Committee member) / Xu, Joshua (Committee member) / Computer Science and Engineering Program (Contributor) / Department of Finance (Contributor) / Barrett, The Honors College (Contributor)
Created2016-05
137754-Thumbnail Image.png
DescriptionThis is a business analysis of a small fashion jewelry importer. The analysis is primarily done from a Supply Chain Management perspective while also analyzing the company's marketing department.
ContributorsAggarwal, Rohit (Co-author) / Larson, Reed (Co-author) / Maltz, Arnold (Thesis director) / Brown, Steven (Committee member) / Easton, Kevin (Committee member) / Barrett, The Honors College (Contributor) / School of Sustainability (Contributor) / Department of Supply Chain Management (Contributor) / Department of Finance (Contributor)
Created2013-05
147614-Thumbnail Image.png
Description

This project did a deep dive on AI, business applications for AI and then my team and I built an AI model to better understand shipping patterns and inefficiencies of different porting regions.

ContributorsFreudenberger, Evan Martin (Author) / Wiedmer, Robert (Thesis director) / Duarte, Brett (Committee member) / Thunderbird School of Global Management (Contributor) / Department of Supply Chain Management (Contributor) / Department of Finance (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05
132874-Thumbnail Image.png
Description
The purpose and goal of this project is to pinpoint a potential use case for Company X to invest in to sell their 5G modems. As 5G technology is growing to be a dominant force in global markets, Company X is looking to capitalize on the emerging technology by selling

The purpose and goal of this project is to pinpoint a potential use case for Company X to invest in to sell their 5G modems. As 5G technology is growing to be a dominant force in global markets, Company X is looking to capitalize on the emerging technology by selling their 5G modems for Internet of Things applications. Research and gathering of information involved understanding cellular connectivity, modem operations and applications, companies in related industries, the history of the wireless spectrum, the pillars of 5G technology, and the plethora of use cases enabled by 5G. Looking at smart street lights as a potential use case for Company X, analyses were conducted to recommend whether Company X should invest in smart street lights. These analyses ranged from researching Company X’s competitors to performing a pro forma financial analysis to see if it is financially viable for Company X to enter the smart street light industry. The final recommendation is for Company X to not invest in smart street lighting.
ContributorsPannala, Ishan R (Co-author) / Alcaron, Sandra (Co-author) / Nilles, Robert (Co-author) / Wells, Dwight (Co-author) / Simonson, Mark (Thesis director) / Reber, Kevin (Committee member) / Department of Finance (Contributor) / Department of Supply Chain Management (Contributor) / Barrett, The Honors College (Contributor)
Created2019-05
132258-Thumbnail Image.png
Description
There is a growing demand for discrete graphics processing units (dGPU) in the internet of things. Our subject company, Company X, has decided to develop a dGPU to be used in client computing (desktops, laptops, etc). This project will address whether or not company X should invest time and money

There is a growing demand for discrete graphics processing units (dGPU) in the internet of things. Our subject company, Company X, has decided to develop a dGPU to be used in client computing (desktops, laptops, etc). This project will address whether or not company X should invest time and money into adopting their existing client focused dGPU for applications in IoT such as digital signage, gaming, or medical imaging. If this investment is to be made, we will also make specific recommendations about how Company X should enter the IoT space. The project will be completed in three stages. The first stage will consist of an analysis of the competitive landscape and research on dGPUs and how they differ from integrated GPUs. Stage two will focus primarily on the IoT space and how the competitors are using dGPUs in the IoT along with an analysis of three potential use cases for Company X’s dGPU. Finally, we will build a comprehensive financial model based on our research of one specific IoT segment where Company X could potentially enter. Based on these stages, we will then offer a conclusion and recommendation on whether Company X should invest in this project.
ContributorsSmith, Jesse Thomas (Co-author) / Nickel, Jack (Co-author) / Sethia, Priyanka (Co-author) / Morey, Jake (Co-author) / Bergauer, Kevin (Co-author) / Simonson, Mark (Thesis director) / Kreutner, Caleb (Committee member) / School of Sustainability (Contributor) / Department of Finance (Contributor) / Barrett, The Honors College (Contributor)
Created2019-05