Open Access. Powered by Scholars. Published by Universities.®

Digital Commons Network™

Open Access. Powered by Scholars. Published by Universities.®

Computer Sciences

Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 2671 - 2700 of 4505

Full-Text Articles in Entire DC Network

Application Of Boolean Logic To Natural Language Complexity In Political Discourse, Austin Taing Jan 2019

Application Of Boolean Logic To Natural Language Complexity In Political Discourse, Austin Taing

Theses and Dissertations--Computer Science

Press releases serve as a major influence on public opinion of a politician, since they are a primary means of communicating with the public and directing discussion. Thus, the public’s ability to digest them is an important factor for politicians to consider. This study employs several well-studied measures of linguistic complexity and proposes a new one to examine whether politicians change their language to become more or less difficult to parse in different situations. This study uses 27,500 press releases from the US Senate between 2004–2008 and examines election cycles and natural disasters, namely hurricanes, as situations where politicians’ language …


Word Sense Disambiguation Using Semantic Kernels With Class-Based Term Values, Ayşe Berna Altinel, Murat Can Gani̇z, Bi̇lge Şi̇pal, Eren Can Erkaya, Onur Can Yücedağ, Muhammed Ali̇ Doğan Jan 2019

Word Sense Disambiguation Using Semantic Kernels With Class-Based Term Values, Ayşe Berna Altinel, Murat Can Gani̇z, Bi̇lge Şi̇pal, Eren Can Erkaya, Onur Can Yücedağ, Muhammed Ali̇ Doğan

Turkish Journal of Electrical Engineering and Computer Sciences

In this study, we propose several semantic kernels for word sense disambiguation (WSD). Our approaches adapt the intuition that class-based term values help in resolving ambiguity of polysemous words in WSD. We evaluate our proposed approaches with experiments, utilizing various sizes of training sets of disambiguated corpora (SensEval). With these experiments we try to answer the following questions: 1.) Do our semantic kernel formulations yield higher classification performance than traditional linear kernel?, 2.) Under which conditions a kernel design performs better than others?, 3.) Does the addition of class labels into standard term-document matrix improve the classification accuracy?, 4.) Is …


Artificial Intelligence And Role-Reversible Judgment, Kiel Brennan-Marquez, Stephen E. Henderson Jan 2019

Artificial Intelligence And Role-Reversible Judgment, Kiel Brennan-Marquez, Stephen E. Henderson

Faculty Articles

As intelligent machines begin more generally outperforming human experts, why should humans remain ‘in the loop’ of decision-making? One common answer focuses on outcomes: relying on intuition and experience, humans are capable of identifying interpretive errors—sometimes disastrous errors—that elude machines. Though plausible today, this argument will wear thin as technology evolves. Here, we seek out sturdier ground: a defense of human judgment that focuses on the normative integrity of decision-making. Specifically, we propose an account of democratic equality as ‘role-reversibility.’ In a democracy, those tasked with making decisions should be susceptible, reciprocally, to the impact of decisions; there ought to …


Speech Interfaces And Pilot Performance: A Meta-Analysis, Kenneth A. Ward Jan 2019

Speech Interfaces And Pilot Performance: A Meta-Analysis, Kenneth A. Ward

International Journal of Aviation, Aeronautics, and Aerospace

As the aviation industry modernizes, new technology and interfaces must support growing aircraft complexity without increasing pilot workload. Natural language processing presents just such a simple and intuitive interface, yet the performance implications for use by pilots remain unknown. A meta-analysis was conducted to understand performance effects of using speech and voice interfaces in a series of pilot task analogs. The inclusion criteria selected studies that involved participants performing a demanding primary task, such as driving, while interacting with a vehicle system to enter numbers, dial radios, or enter a navigation destination. Compared to manual system interfaces, voice interfaces reduced …


A Hybrid Framework For Sentiment Analysis Using Genetic Algorithm Based Feature Reduction, Farkhund Iqbal, Jahanzeb Maqbool Hashmi, Benjamin C.M. Fung, Rabia Batool, Asad Masood Khattak, Saiqa Aleem, Patrick C.K. Hung Jan 2019

A Hybrid Framework For Sentiment Analysis Using Genetic Algorithm Based Feature Reduction, Farkhund Iqbal, Jahanzeb Maqbool Hashmi, Benjamin C.M. Fung, Rabia Batool, Asad Masood Khattak, Saiqa Aleem, Patrick C.K. Hung

All Works

© 2019 IEEE. Due to the rapid development of Internet technologies and social media, sentiment analysis has become an important opinion mining technique. Recent research work has described the effectiveness of different sentiment classification techniques ranging from simple rule-based and lexicon-based approaches to more complex machine learning algorithms. While lexicon-based approaches have suffered from the lack of dictionaries and labeled data, machine learning approaches have fallen short in terms of accuracy. This paper proposes an integrated framework which bridges the gap between lexicon-based and machine learning approaches to achieve better accuracy and scalability. To solve the scalability issue that arises …


Is There A Correlation Between Wikidata Revisions And Trending Hashtags On Twitter?, Paula Dooley Jan 2019

Is There A Correlation Between Wikidata Revisions And Trending Hashtags On Twitter?, Paula Dooley

Dissertations

Twitter is a microblogging application used by its members to interact and stay socially connected by sharing instant messages called tweets that are up to 280 characters long. Within these tweets, users can add hashtags to relate the message to a topic that is shared among users. Wikidata is a central knowledge base of information relying on its members and machines bots to keeping its content up to date. The data is stored in a highly structured format with the added SPARQL protocol and RDF Query Language (SPARQL) endpoint to allow users to query its knowledge base.


Classically Biased: A Quantitative Analysis Of Gender & Writing Styles In Classical Literature, Madeleine Rose Delcambre Jan 2019

Classically Biased: A Quantitative Analysis Of Gender & Writing Styles In Classical Literature, Madeleine Rose Delcambre

Honors Theses

This thesis is a first attempt in assessing patterns related to gender in classical literature prior to the 21st century, specifically looking at the way writing styles and language di↵er among female and male authors; e.g., sentence structuring, lexical diversity, and dictionary similarities. Further topics of analysis included gender distribution and sentiment within the novels themselves. Seventy-eight open-source novels were used in the analysis, with thirty-one books by female authors and forty-seven by male authors. Data from the novels was acquired using Python, natural language processing, and the Natural Language Toolkit (NLTK). Graphs and visuals were then created to summarize …


Bigger Versus Similar: Selecting A Background Corpus For First Story Detection Based On Distributional Similarity, Fei Wang, Robert J. Ross, John D. Kelleher Jan 2019

Bigger Versus Similar: Selecting A Background Corpus For First Story Detection Based On Distributional Similarity, Fei Wang, Robert J. Ross, John D. Kelleher

Articles

The current state of the art for First Story Detection (FSD) are nearest neighbourbased models with traditional term vector representations; however, one challenge faced by FSD models is that the document representation is usually defined by the vocabulary and term frequency from a background corpus. Consequently, the ideal background corpus should arguably be both large-scale to ensure adequate term coverage, and similar to the target domain in terms of the language distribution. However, given these two factors cannot always be mutually satisfied, in this paper we examine whether the distributional similarity of common terms is more important than the scale …


Successful Strategies For Using Knowledge Management In Small And Medium-Sized Enterprises, Josephine Kayaga Nsubuga-Mugoa Jan 2019

Successful Strategies For Using Knowledge Management In Small And Medium-Sized Enterprises, Josephine Kayaga Nsubuga-Mugoa

Walden Dissertations and Doctoral Studies

Knowledge management (KM) is vital for an organization to succeed in a highly dynamic and competitive world. The purpose of this multiple case study was to explore strategies that managers of small and medium-sized enterprises (SMEs) use to effectively integrate KM into business practices. The study population comprised 5 managers from 2 SMEs operating in Uganda. The eligibility criteria for this study were that participants had to be from Ugandan SMEs with a knowledge-intensive environment, managers with some responsibility of KM in the organization, and experienced with at least 1 year of successful KM practices. The conceptual framework for this …


Abusive And Hate Speech Tweets Detection With Text Generation, Abhishek Nalamothu Jan 2019

Abusive And Hate Speech Tweets Detection With Text Generation, Abhishek Nalamothu

Browse all Theses and Dissertations

According to a Pew Research study, 41% of Americans have personally experienced online harassment and two-thirds of Americans have witnessed harassment in 2017. Hence, online harassment detection is vital for securing and sustaining the popularity and viability of online social networks. Machine learning techniques play a crucial role in automatic harassment detection. One of the challenges of using supervised approaches is training data imbalance. Existing text generation techniques can help augment the training data, but they are still inadequate and ineffective. This research explores the role of domain-specific knowledge to complement the limited training data available for training a text …


Llvm-Ir Based Decompilation, Ilsoo Jeon Jan 2019

Llvm-Ir Based Decompilation, Ilsoo Jeon

Browse all Theses and Dissertations

Decompilation is a process of transforming an executable program into a source-like high-level language code, which plays an important role in malware analysis, and vulnerability detection. In this thesis, we design and implement the middle end of a decompiler framework, focusing on Low Level Language properties reduction using the optimization techniques, propagation and elimination. An open-source software tool, dagger, is used to translate binary code to LLVM (Low Level Virtual Machine) Intermediate Representation code. We perform data flow analysis and control flow analysis on the LLVM format code to generate high-level code using a Functional Programming Langauge (FPL), Haskell. The …


Machine Learning Methods For The Analysis Of Clinical Conversation, Md Mehedi Hasan Jan 2019

Machine Learning Methods For The Analysis Of Clinical Conversation, Md Mehedi Hasan

Wayne State University Dissertations

Motivational Interviewing (MI) is an evidence-based communication technique to increase intrinsic motivation and self-efficacy for behavior change. This goal is achieved through the exploration of the patient's own desires, ability, reasons, need for and commitment to the targeted behavior change. However, communication science approaches to understanding the efficacy of MI are inherently limited by traditional qualitative coding methods which is a time-consuming and resource-intensive process. Thus, an efficient method is required to automate the coding process which will accelerate the pace of communication research in behavioral science. The specific provider behaviors responsible for the elicitation of change talk, are also …


Crowdsourcing Image Schemas, Dagmar Gromann, Jamie C. Macbeth Jan 2019

Crowdsourcing Image Schemas, Dagmar Gromann, Jamie C. Macbeth

Computer Science: Faculty Publications

With their potential to map experiental structures from the sensorimotor to the abstract cognitive realm, image schemas are believed to provide an embodied grounding to our cognitive conceptual system, including natural language. Few empirical studies have evaluated humans’ intuitive understanding of image schemas or the coherence of image-schematic annotations of natural language. In this paper we present the results of a human-subjects study in which 100 participants annotate 12 simple English sentences with one or more image schemas. We find that human subjects recruited from a crowdsourcing platform can understand image schema descriptions and use them to perform annotations of …


Using Mobile Learning Tools In Higher Education: A Uae Case, Jenny Eppard, Zeina Hojeij, Pinar Ozdemir-Ayber, Marlieke Rodjan-Helder, Sandra Baroudi Jan 2019

Using Mobile Learning Tools In Higher Education: A Uae Case, Jenny Eppard, Zeina Hojeij, Pinar Ozdemir-Ayber, Marlieke Rodjan-Helder, Sandra Baroudi

All Works

© International Association of Online Engineering. Research indicates that mobile learning (ML), has the potential to transform teaching and learning. Despite its benefits, mobile learning adoption is a challenging process which requires support to facilitate its integration. The focus of this article is to investigate the factors that could affect ML acceptance. The quantitative and qualitative data collected from the surveys revealed additional information regarding the pedagogical benefits of and obstacles to mobile learning integration. Even though participants in this study reported to be late adopters of technology, they maintained that ML is useful for learning, specifically ubiquitous learning. Teachers …


Kbot: Knowledge-Enabled Personalized Chatbot For Self-Management Of Asthma In Pediatric Population, Dipesh Kadariya Jan 2019

Kbot: Knowledge-Enabled Personalized Chatbot For Self-Management Of Asthma In Pediatric Population, Dipesh Kadariya

Browse all Theses and Dissertations

Asthma, chronic pulmonary disease, is one of the major health issues in the United States. Given its chronic nature, the demand for continuous monitoring of patient’s adherence to the medication care plan, assessment of their environment triggers, and management of asthma control level can be challenging in traditional clinical settings and taxing on clinical professionals. A shift from a reactive to a proactive asthma care can improve health outcomes and reduce expenses. On the technology spectrum, smart conversational systems and Internet-of-Things (IoTs) are rapidly gaining popularity in the healthcare industry. By leveraging such technological prevalence, it is feasible to design …


Knowledge Graph Reasoning Over Unseen Rdf Data, Bhargavacharan Reddy Kaithi Jan 2019

Knowledge Graph Reasoning Over Unseen Rdf Data, Bhargavacharan Reddy Kaithi

Browse all Theses and Dissertations

In recent years, the research in deep learning and knowledge engineering has made a wide impact on the data and knowledge representations. The research in knowledge engineering has frequently focused on modeling the high level human cognitive abilities, such as reasoning, making inferences, and validation. Semantic Web Technologies and Deep Learning have an interest in creating intelligent artifacts. Deep learning is a set of machine learning algorithms that attempt to model data representations through many layers of non-linear transformations. Deep learning is in- creasingly employed to analyze various knowledge representations mentioned in Semantic Web and provides better results for Semantic …


Data-Driven And Knowledge-Based Strategies For Realizing Crowd Wisdom On Social Media, Shreyansh Bhatt Jan 2019

Data-Driven And Knowledge-Based Strategies For Realizing Crowd Wisdom On Social Media, Shreyansh Bhatt

Browse all Theses and Dissertations

The wisdom of the crowd is a well-known example of collective intelligence wherein an aggregated judgment of a group of individuals is superior to that of an individual. The aggregated judgment is surprisingly accurate for predicting the outcome of a range of tasks from geopolitical forecasting to the stock price prediction. Recent research has shown that participants' previous performance data contributes to the identification of a subset of participants that can collectively predict an accurate outcome. In the absence of such performance data, researchers have explored the role of human-perceived diversity, i.e., whether a human considers a crowd as a …


A Novel Methodology For Timely Brain Formations Of 3d Spatial Information With Application To Visually Impaired Navigation, Spyridon Manganas Jan 2019

A Novel Methodology For Timely Brain Formations Of 3d Spatial Information With Application To Visually Impaired Navigation, Spyridon Manganas

Browse all Theses and Dissertations

Human brain analysis and understanding pose several challenges due to the great complexity of the structural organization and the functional connectivity that characterizes the human brain. The ability of the brain to adapt in dynamic changes over time such as normal aging, neurodegenerative diseases or congenital brain malformations renders the brain’s exploration a particularly demanding and difficult task. In recent years, advances in brain imaging modalities and lately the multimodal fusion, combined with improvements in related technologies have greatly assisted the development of brain maps by providing insights regarding the overall brain structure and functionality. Even though the existence of …


Detection Of Offensive Youtube Comments, A Performance Comparison Of Deep Learning Approaches, Priyam Bansal Jan 2019

Detection Of Offensive Youtube Comments, A Performance Comparison Of Deep Learning Approaches, Priyam Bansal

Dissertations

Social media data is open, free and available in massive quantities. However, there is a significant limitation in making sense of this data because of its high volume, variety, uncertain veracity, velocity, value and variability. This work provides a comprehensive framework of text processing and analysis performed on YouTube comments having offensive and non-offensive contents.

YouTube is a platform where every age group of people logs in and finds the type of content that most appeals to them. Apart from this, a massive increase in the use of offensive language has been apparent. As there are massive volume of new …


Explainable Neural Networks Based Anomaly Detection For Cyber-Physical Systems, Kasun Amarasinghe Jan 2019

Explainable Neural Networks Based Anomaly Detection For Cyber-Physical Systems, Kasun Amarasinghe

Theses and Dissertations

Cyber-Physical Systems (CPSs) are the core of modern critical infrastructure (e.g. power-grids) and securing them is of paramount importance. Anomaly detection in data is crucial for CPS security. While Artificial Neural Networks (ANNs) are strong candidates for the task, they are seldom deployed in safety-critical domains due to the perception that ANNs are black-boxes. Therefore, to leverage ANNs in CPSs, cracking open the black box through explanation is essential.

The main objective of this dissertation is developing explainable ANN-based Anomaly Detection Systems for Cyber-Physical Systems (CP-ADS). The main objective was broken down into three sub-objectives: 1) Identifying key-requirements that an …


Determining Political Inclination In Tweets Using Transfer Learning, Mehtab Iqbal Jan 2019

Determining Political Inclination In Tweets Using Transfer Learning, Mehtab Iqbal

College of Graduate Studies: Theses & Dissertations

Last few years have seen tremendous development in neural language modeling for transfer learning and downstream applications. In this research, I used Howard and Ruder’s Universal Language Model Fine Tuning (ULMFiT) pipeline to develop a classifier that can determine whether a tweet is politically left leaning or right leaning by likening the content to tweets posted by @TheDemocrats or @GOP accounts on Twitter. We achieved 87.7% accuracy in predicting political ideological inclination.


The Role Of Previous Discourse In Identifying Public Textual Cyberbullying, Aurelia Power, Anthony Keane, Brian Nolan, Brian O'Neill Jan 2019

The Role Of Previous Discourse In Identifying Public Textual Cyberbullying, Aurelia Power, Anthony Keane, Brian Nolan, Brian O'Neill

Articles

In this paper we investigate the contribution of previous discourse in identifying elements that are key to detecting public textual cyberbullying. Based on the analysis of our dataset, we first discuss the missing cyberbullying elements and the grammatical structures representative of discourse-dependent cyberbullying discourse. Then we identify four types of discourse dependent cyberbullying constructions: (1) fully inferable constructions, (2) personal marker and cyberbullying link inferable constructions, (3) dysphemistic element and cyberbullying link inferable constructions, and (4) dysphemistic element inferable constructions. Finally, we formalise a framework to resolve the missing cyberbullying elements that proposes several resolution algorithms. The resolution algorithms target …


A Comparative Study Of Author Gender Identification, Tuğba Yildiz Jan 2019

A Comparative Study Of Author Gender Identification, Tuğba Yildiz

Turkish Journal of Electrical Engineering and Computer Sciences

In recent years, author gender identification has gained considerable attention in the fields of information retrieval and computational linguistics. In this paper, we employ and evaluate different learning approaches based on machine learning (ML) and neural network language models to address the problem of author gender identification. First, several ML classifiers are applied to the features obtained by bag-of-words. Secondly, datasets are represented by a low-dimensional real-valued vector using Word2vec, GloVe, and Doc2vec, which are on par with ML classifiers in terms of accuracy. Lastly, neural networks architectures, the convolution neural network and recurrent neural network, are trained and their …


Real-Time Implementation Of Electronic Power Transformer Based On Intelligentcontroller, Hakan Açikgöz, Ökkeş Fati̇h Keçeci̇oğlu, Mustafa Şekkeli̇ Jan 2019

Real-Time Implementation Of Electronic Power Transformer Based On Intelligentcontroller, Hakan Açikgöz, Ökkeş Fati̇h Keçeci̇oğlu, Mustafa Şekkeli̇

Turkish Journal of Electrical Engineering and Computer Sciences

Along with the rapid advances in power electronics and semiconductor technology, electronic power transformers (EPTs), which are expected to replace conventional power transformers in the future, are being developed and designed. This study presents the dynamic performance of the intelligent controller structure in the control of an EPT. The EPT structure, consisting of the input, isolation, and output stages, is designed for experimental and simulation studies. A three-phase pulse width modulation (PWM) rectifier is used to rectify the grid voltages at the input stage of EPT. The DC-bus voltage of the three-phase PWM rectifier is controlled by a neuro-fuzzy controller …


Automatic Generation Control Analysis Of Power System With Nonlinearities Andelectric Vehicle Aggregators With Time-Varying Delay Implementing A Novel Control Strategy, Nimai Charan Patel, Binod Kumar Sahu, Manoj Kumar Debnath Jan 2019

Automatic Generation Control Analysis Of Power System With Nonlinearities Andelectric Vehicle Aggregators With Time-Varying Delay Implementing A Novel Control Strategy, Nimai Charan Patel, Binod Kumar Sahu, Manoj Kumar Debnath

Turkish Journal of Electrical Engineering and Computer Sciences

Automatic generation control (AGC) also known as load frequency control plays a vital role in interconnected power system for frequency regulation. Electric vehicles (EVs) with battery as the storage device can participate in frequency regulation service. In practice, a large number of EVs are aggregated as a single unit called EV aggregator for participation in frequency regulation service in AGC system. Participation of EV aggregators in AGC system for frequency regulation will be encouraged in near future because EVs have less environmental pollution than the conventional vehicles. However, participation of EV aggregators in AGC system may introduce time delay which …


Extracting Accent Information From Urdu Speech For Forensic Speaker Recognition, Falak Tahir, Sajid Saleem, Ayaz Ahmad Jan 2019

Extracting Accent Information From Urdu Speech For Forensic Speaker Recognition, Falak Tahir, Sajid Saleem, Ayaz Ahmad

Turkish Journal of Electrical Engineering and Computer Sciences

This paper presents a new method for extraction of accent information from Urdu speech signals. Accent is used in speaker recognition system especially in forensic cases and plays a vital role in discriminating people of different groups, communities and origins due to their different speaking styles. The proposed method is based on Gaussian mixture model-universal background model (GMM-UBM), mel-frequency cepstral coefficients (MFCC), and a data augmentation (DA) process. The DA process appends features to base MFCC features and improves the accent extraction and forensic speaker recognition performances of GMM-UBM. Experiments are performed on an Urdu forensic speaker corpus. The experimental …


Sentence Similarity Using Weighted Path And Similarity Matrices, Reza Javadzadeh, Morteza Zahedi, Marziea Rahimi Jan 2019

Sentence Similarity Using Weighted Path And Similarity Matrices, Reza Javadzadeh, Morteza Zahedi, Marziea Rahimi

Turkish Journal of Electrical Engineering and Computer Sciences

Sentence similarity is the task of assessing how similar the two snippets of text are. Similarity techniques are used extensively in clustering, summarization, classification, plagiarism detection etc. Due to a small set of vocabularies, sentence similarity is considered to be a difficult problem in natural language processing. There are two issues in solving this problem: (1) Which similarity techniques to be used for word pair similarity and (2) How to generalize that to sentence pairs. We have used the weighted path, a WordNet-based similarity assessment, and the paraphrase database to obtain word pair similarity values. Thereafter, we extracted maximum values …


Trmor: A Finite-State-Based Morphological Analyzer For Turkish, Ayla Kayabaş, Helmut Schmi̇d, Ahmet Ercan Topcu, Özkan Kiliç Jan 2019

Trmor: A Finite-State-Based Morphological Analyzer For Turkish, Ayla Kayabaş, Helmut Schmi̇d, Ahmet Ercan Topcu, Özkan Kiliç

Turkish Journal of Electrical Engineering and Computer Sciences

Morphological analysis is an important component of natural language processing systems like spelling correction tools, parsers, machine translation systems, and dictionary tools. In this paper, we present TRMOR, a morphological analyzer for Turkish, which uses the SFST tool (Stuttgart Finite-State Transducer). TRMOR can be freely used for academic research (see http://www.cis.uni-muenchen.de/~schmid/tools/SFST/). It covers a large part of Turkish morphology including inflection, derivation, and some compounding. It uses morphotactic and morphophonological rules and a stem lexicon. We describe the morphological structure of Turkish, explain the phonological and morphological rules implemented in TRMOR, evaluate the system, and test it in special cases. …


Analyzing Happiness: Investigation On Happy Moments Using A Bag-Of-Words Approach And Related Ethical Discussions, Riddhiman Adib, Eyad Aldawood, Nathan Lang, Nina Lasswell, Shion Guha Jan 2019

Analyzing Happiness: Investigation On Happy Moments Using A Bag-Of-Words Approach And Related Ethical Discussions, Riddhiman Adib, Eyad Aldawood, Nathan Lang, Nina Lasswell, Shion Guha

Computer Science Faculty Research and Publications

In this research paper, we analyzed what moments and activities make people happy, based on a collection of happy moments. We are focusing on specific happy moments from a collection of text responses that people have shared through the crowd-sourcing platform: Amazon Mechanical Turk (MTurk). Using crowd-sourcing to collect our data allows us to advance our understanding of the cause of happiness, by focusing on words and real human experiences. Workers of MTurk were asked to reflect on what makes them happy in a given period and share three specific moments in complete sentences. Through text-based analysis, we will look …


A Hott Approach To Computational Effects, Phillip A. Wells Jan 2019

A Hott Approach To Computational Effects, Phillip A. Wells

Senior Independent Study Theses

A computational effect is any mutation of real-world state that occurs as the result of a computation. We develop a model for describing computational effects within homotopy type theory, a branch of mathematics separate from other foundations such as set theory. Such a model allows us to describe programs as total functions over values while preserving information about the effects those programs induce.