Teaching Presence And Intellectual Climate In A Structured Online Learning Environment,
2016
Nova Southeastern University
Teaching Presence And Intellectual Climate In A Structured Online Learning Environment, Janice Marie Orcutt
CCAC Theses and Dissertations
Teaching presence and its implications for the intellectual climate of an online classroom cannot be fully understood unless explored from the perspective of the instructors who experience it. Framed in the theoretical perspective of the Community of Inquiry (CoI) model, this collective case study investigated the actions, intentions and perceptions of instructors with the intent of developing an in-depth understanding of the phenomenon of teaching presence as it was established in a structured online learning environment.
The experiences of selected successful instructors in this specific online context were explored to gain insight on how pedagogical choices influenced the establishment of …
Multi-Type Display Calculus For Propositional Dynamic Logic,
2016
Aix-Marseille Université
Multi-Type Display Calculus For Propositional Dynamic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Engineering Faculty Articles and Research
We introduce a multi-type display calculus for Propositional Dynamic Logic (PDL). This calculus is complete w.r.t. PDL, and enjoys Belnap-style cut-elimination and subformula property.
Tool Support For Reasoning In Display Calculi,
2016
University of Oxford
Tool Support For Reasoning In Display Calculi, Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Engineering Faculty Articles and Research
We present a tool for reasoning in and about propositional sequent calculi. One aim is to support reasoning in calculi that contain a hundred rules or more, so that even relatively small pen and paper derivations become tedious and error prone. As an example, we implement the display calculus D.EAK of dynamic epistemic logic. Second, we provide embeddings of the calculus in the theorem prover Isabelle for formalising proofs about D.EAK. As a case study we show that the solution of the muddy children puzzle is derivable for any number of muddy children. Third, there is a set of meta-tools, …
Users Acceptance Of Health Behavioral Change Support Systems,
2016
Dakota State University
Users Acceptance Of Health Behavioral Change Support Systems, Mohammad Al-Ramahi, Insu Park, Jun Liu
Research & Publications
Behavioral Change Support Systems (BCSSs) is a socio-technical information systems with psychological and behavioral outcomes aim to change users’ behavior and lifestyle. The promising outcomes of BCSSs make them especially useful in certain areas such as healthcare, where these systems could be leveraged to motivate people toward healthy behavior and then help them to achieve their goals better. However, health BCSSs cannot help facilitate self-monitoring and self-management or even improve patients’ health outcomes when patients do not accept the technology first. In this article, we extend the existing literature of users’ acceptance of health BCSSs by introducing new variables that …
Near Real-Time Early Cancer Detection Using A Graphics Processing Unit,
2016
Eastern Washington University
Near Real-Time Early Cancer Detection Using A Graphics Processing Unit, Jason Helms
EWU Masters Thesis Collection
"Automatically detecting early cancer using medical images is challenging, yet very crucial to help save millions of lives in the early stages of cancer. In this work, we improved a method that was originally developed by Yamaguchi et al. from the Saga University in Saga Japan. The original method would first decompose the endoscopic image into four color elements: red, green, blue and luminance (RGBL). Next each component is again decomposed to non-overlapping blocks of smaller images. Each smaller image undergoes two phases of DWT(s) and finally the Fractal Dimension (FD) is calculated per smaller image and abnormal regions are …
Umls::Association - Measuring The Association Between Biomedical Terms,
2016
Virginia Commonwealth University
Umls::Association - Measuring The Association Between Biomedical Terms, Keith B. Herbert
Undergraduate Research Posters
UMLS::Association - A Semantic Association Framework for Biomedical Texts
Keith Herbert
Natural Language Processing Lab, Department of Computer Science
Introduction
We present UMLS::Association, a software package to explore the semantic association of biomedical terms with applications for literature-based discovery. Literature-based discovery is an endeavour to ”connect the dots” for scientists between the topics of their research and those of unexpected relevance. However, many approaches rely on the exact wording for the ideas in the research papers being analyzed. The Unified Medical Language System (UMLS) provides a way to map natural language phrases in these papers to sequences of abstract yet …
Pattern Discovery In Dna Using Stochastic Automata,
2015
San Jose State University
Pattern Discovery In Dna Using Stochastic Automata, Shweta Shweta
Master's Projects
We consider the problem of identifying similarities between different species of DNA. To do this we infer a stochastic finite automata from a given training data and compare it with a test data. The training and test data consist of DNA sequence of different species. Our method first identifies sentences in DNA. To identify sentences we read DNA sequence one character at a time, 3 characters form a codon and codons form proteins (also known as amino acid chains).Each amino acid in proteins belongs to a group. In total we have 5 groups’ polar, non-polar, acidic, basic and stop codons. …
Salad: A Multimodal Approach For Contextual Video Advertising,
2015
National University of Singapore
Salad: A Multimodal Approach For Contextual Video Advertising, Chen Xiang, Tam Nguyen, Mohan Kankanhalli
Computer Science Faculty Publications
The explosive growth of multimedia data on Internet has created huge opportunities for online video advertising. In this paper, we propose a novel advertising technique called SalAd, which utilizes textual information, visual content and the webpage saliency, to automatically associate the most suitable companion ads with online videos. Unlike most existing approaches that only focus on selecting the most relevant ads, SalAd further considers the saliency of selected ads to reduce intentional ignorance. SalAd consists of three basic steps. Given an online video and a set of advertisements, we first roughly identify a set of relevant ads based on the …
An Immersive Telepresence System Using Rgb-D Sensors And Head-Mounted Display,
2015
University of Dayton
An Immersive Telepresence System Using Rgb-D Sensors And Head-Mounted Display, Xinzhong Lu, Ju Shen, Saverio Perugini, Jianjun Yang
Computer Science Faculty Publications
We present a tele-immersive system that enables people to interact with each other in a virtual world using body gestures in addition to verbal communication. Beyond the obvious applications, including general online conversations and gaming, we hypothesize that our proposed system would be particularly beneficial to education by offering rich visual contents and interactivity. One distinct feature is the integration of egocentric pose recognition that allows participants to use their gestures to demonstrate and manipulate virtual objects simultaneously. This functionality enables the instructor to effectively and efficiently explain and illustrate complex concepts or sophisticated problems in an intuitive manner. The …
Neural Decomposition Of Time-Series Data For Effective Generalization,
2015
University of Arkansas, Fayetteville
Neural Decomposition Of Time-Series Data For Effective Generalization, Luke Godfrey
Graduate Theses and Dissertations
We present a neural network technique for the analysis and extrapolation of time-series data called Neural Decomposition (ND). Units with a sinusoidal activation function are used to perform a Fourier-like decomposition of training samples into a sum of sinusoids, augmented by units with nonperiodic activation functions to capture linear trends and other nonperiodic components. We show how careful weight initialization can be combined with regularization to form a simple model that generalizes well. Our method generalizes effectively on the Mackey-Glass series, a dataset of unemployment rates as reported by the U.S. Department of Labor Statistics, a time-series of monthly international …
Mlaas: Machine Learning As A Service,
2015
Western University
Mlaas: Machine Learning As A Service, Mauro Ribeiro, Katarina Grolinger, Miriam Am Capretz
Electrical and Computer Engineering Publications
The demand for knowledge extraction has been increasing. With the growing amount of data being generated by global data sources (e.g., social media and mobile apps) and the popularization of context-specific data (e.g., the Internet of Things), companies and researchers need to connect all these data and extract valuable information. Machine learning has been gaining much attention in data mining, leveraging the birth of new solutions. This paper proposes an architecture to create a flexible and scalable machine learning as a service. An open source solution was implemented and presented. As a case study, a forecast of electricity demand was …
Qubit Measurement Error From Coupling With A Detuned Neighbor In Circuit Qed,
2015
University of California, Riverside
Qubit Measurement Error From Coupling With A Detuned Neighbor In Circuit Qed, Mostafa Khezri, Justin Dressel, Alexander N. Korotkov
Mathematics, Physics, and Computer Science Faculty Articles and Research
In modern circuit QED architectures, superconducting transmon qubits are measured via the state-dependent phase and amplitude shift of a microwave field leaking from a coupled resonator. Determining this shift requires integrating the field quadratures for a nonzero duration, which can permit unwanted concurrent evolution. Here we investigate such dynamical degradation of the measurement fidelity caused by a detuned neighboring qubit. We find that in realistic parameter regimes, where the qubit ensemble-dephasing rate is slower than the qubit-qubit detuning, the joint qubit-qubit eigenstates are better discriminated by measurement than the bare states. Furthermore, we show that when the resonator leaks much …
Study Solar Activity In The Backside Of The Sun,
2015
University of Alabama in Huntsville
Study Solar Activity In The Backside Of The Sun, Catherine A. Gibbs
Von Braun Symposium Student Posters
No abstract provided.
The Digital Incunabula: Rock • Paper • Pixels,
2015
Long Island University - C W Post Campus
The Digital Incunabula: Rock • Paper • Pixels, Patrick Aievoli
Zea E-Books Collection
“The Digital Incunabula is Patrick Aievoli’s personal sonnet through media, interaction and communication design. He carefully crafts each evolutionary step into ripples that are supported by his own storied professional and academic experiences. It’s full of facts, terms and historical information which makes it perfect for anyone looking to flat out learn!” ● James Pannafino, Professor, Millersville University & Interaction Design
“This is a serious work that will find a broad community of readers. The depth and breadth of Aievoli’s experience in the publication industry give his voice and ideas credibility in the extreme. This book will inspire deep reflection.” …
Analyzing And Organizing The Sonic Space Of Vocal Imitation,
2015
Marshall University
Analyzing And Organizing The Sonic Space Of Vocal Imitation, Davide Andrea Mauro Phd, D. Rocchesso
Computer Sciences and Electrical Engineering Faculty Research
The sonic space that can be spanned with the voice is vast and complex and, therefore, it is difficult to organize and explore. In order to devise tools that facilitate sound design by vocal sketching we attempt at organizing a database of short excerpts of vocal imitations. By clustering the sound samples on a space whose dimensionality has been reduced to the two principal components, it is experimentally checked how meaningful the resulting clusters are for humans. Eventually, a representative of each cluster, chosen to be close to its centroid, may serve as a landmark in the exploration of the …
Data Science In Statistics Curricula: Preparing Students To “Think With Data”,
2015
Pomona College
Data Science In Statistics Curricula: Preparing Students To “Think With Data”, J. Hardin, R. Hoerl, Nicholas J. Horton, D. Nolan, B. Baumer, O. Hall-Holt, P. Murrell, R. Peng, P. Roback, D. Temple Lang, M. D. Ward
Statistical and Data Sciences: Faculty Publications
A growing number of students are completing undergraduate degrees in statistics and entering the workforce as data analysts. In these positions, they are expected to understand how to use databases and other data warehouses, scrape data from Internet sources, program solutions to complex problems in multiple languages, and think algorithmically as well as statistically. These data science topics have not traditionally been a major component of undergraduate programs in statistics. Consequently, a curricular shift is needed to address additional learning outcomes. The goal of this article is to motivate the importance of data science proficiency and to provide examples and …
A Computational Translation Of The Phaistos Disk,
2015
University of Nebraska-Lincoln
A Computational Translation Of The Phaistos Disk, Peter Revesz
School of Computing: Conference and Workshop Papers
For over a century the text of the Phaistos Disk remained an enigma without a convincing translation. This paper presents a novel semi-automatic translation method that uses for the first time a recently discovered connection between the Phaistos Disk symbols and other ancient scripts, including the Old Hungarian alphabet. The connection between the Phaistos Disk script and the Old Hungarian alphabet suggested the possibility that the Phaistos Disk language may be related to Proto-Finno-Ugric, Proto-Ugric, or Proto-Hungarian. Using words and suffixes from those languages, it is possible to translate the Phaistos Disk text as an ancient sun hymn, possibly connected …
A Computational Model Of The Spread Of Ancient Human Populations Based On Mitochondrial Dna Samples,
2015
University of Nebraska-Lincoln
A Computational Model Of The Spread Of Ancient Human Populations Based On Mitochondrial Dna Samples, Peter Revesz
School of Computing: Conference and Workshop Papers
The extraction of mitochondrial DNA (mtDNA) from ancient human population samples provides important data for the reconstruction of population influences, spread and evolution from the Neolithic to the present. This paper presents a mtDNA-based similarity measure between pairs of human populations and a computational model for the evolution of human populations. In a computational experiment, the paper studies the mtDNA information from five Neolithic and Bronze Age populations, namely the Andronovo, the Bell Beaker, the Minoan, the Rössen and the Únětice populations. In the past these populations were identified as separate cultural groups based on geographic location, age and the …
A Computational Study Of The Evolution Of Cretan And Related Scripts,
2015
University of Nebraska-Lincoln
A Computational Study Of The Evolution Of Cretan And Related Scripts, Peter Revesz
School of Computing: Conference and Workshop Papers
Crete was the birthplace of several ancient writings, including the Cretan Hieroglyphs, the Linear A and the Linear B scripts. Out of these three only Linear B is deciphered. The sound values of the Cretan Hieroglyph and the Linear A symbols are unknown and attempts to reconstruct them based on Linear B have not been fruitful. In this paper, we compare the ancient Cretan scripts with four other Mediterranean and Black Sea scripts, namely Phoenician, South Arabic, Greek and Old Hungarian. We provide a computational study of the evolution of the three Cretan and four other scripts. This study encompasses …
Sense Beyond Expressions: Cuteness,
2015
Rensselaer Polytechnic Institute
Sense Beyond Expressions: Cuteness, Kang Wang, Tam Nguyen, Jiashi Feng, Jose Sepulveda
Computer Science Faculty Publications
With the development of Internet culture, cute has become a popular concept. Many people are curious about what factors making a person look cute. However, there is rare research to answer this interesting question. In this work, we construct a dataset of personal images with comprehensively annotated cuteness scores and facial attributes to investigate this high-level concept in depth. Based on this dataset, through an automatic attributes mining process, we find several critical attributes determining the cuteness of a person.
We also develop a novel Continuous Latent Support Vector Machine (C-LSVM) method to predict the cuteness score of one person …
