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

Physical Sciences and Mathematics Commons

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

Computer Sciences

2017

Institution
Keyword
Publication
Publication Type
File Type

Articles 1 - 30 of 2862

Full-Text Articles in Physical Sciences and Mathematics

Kodysynth, Ryan Kody Dec 2017

Kodysynth, Ryan Kody

Williams Honors College, Honors Research Projects

KodySynth is a VST digital synthesizer that can be loaded into any digital audio workstation such as FL Studio, Ableton, or Garageband. The program was made using the JUCE library which helped with streamlining the process and making it easier to create clean and intuitive looking graphics. The project also needs the Maximilian Library of sounds to create the sound waves that listeners will hear when playing the synthesizer. Users will also be able to plug in a MIDI keyboard to play KodySynth. The functionalities include a choice of 5 oscillator wave types, as well as an attack, decay, sustain, …


Characteristics Of Different Deep Neural Networks And Application Of Pre-Trained Model Without Transfer Learning, Zhiqi Peng Dec 2017

Characteristics Of Different Deep Neural Networks And Application Of Pre-Trained Model Without Transfer Learning, Zhiqi Peng

Theses

Deep neural networks have been successful in many areas, some of them even surpass human performances. The goal of this thesis is using data simulations to present different characteristics of three deep neural networks: fully connected deep neural network, convolutional neural network, recurrent neural network, which will perform best when dealing with different feature patterns. By using these characteristics to design a deep neural network on top of an adopted pre-trained model with untrainable layers, achieved an averagely 11.1% improvement than a model with transfer learning method.


Analisis Prinsip Layout And Composition Pada Web Design Perusahaan Pt. Bank Rakyat Indonesia, Tbk Dan Pt. Fif Group Berdasarkan Buku "The Principle Of Beautifull Website Design (2nd Edition) By Jason Beaird", Heri Kuswanto Dec 2017

Analisis Prinsip Layout And Composition Pada Web Design Perusahaan Pt. Bank Rakyat Indonesia, Tbk Dan Pt. Fif Group Berdasarkan Buku "The Principle Of Beautifull Website Design (2nd Edition) By Jason Beaird", Heri Kuswanto

Elinvo (Electronics, Informatics, and Vocational Education)

Kajian ini bertujuan untuk mengetahui prinsip-prinsip desain web yang menarik berdasarkan buku "The Principle of The Beatiful Website Design (2nd edition) by Jason Beaird yang difokuskan pada prinsip Layout and Composition, sekaligus menjawab apakah perusahaan yang memiliki divisi IT menerapkan prinsip tersebut. Metode yang digunakan adalah pendekatan studi kasus, dengan tujuh variabel yakni web page anatomy, grid theory, balance, unity, emphasis, fresh trend dan resizing: fixed, fluid, or responsive layouts. Kajian dilakukan dengan menganalisis dan membandingkan dua buah website perusahaan nasional dengan hasil yang menunjukkan bahwa rancangan website lebih dipengaruhi oleh faktor pandangan dari sisi kegunaan dan estetika.



Analisis Desain Website Bni, Bukopin, J.Co Donuts Dan Mcdonals Menurut Buku "The Principles Of Beautiful Web Design", Fitria Ekarini Dec 2017

Analisis Desain Website Bni, Bukopin, J.Co Donuts Dan Mcdonals Menurut Buku "The Principles Of Beautiful Web Design", Fitria Ekarini

Elinvo (Electronics, Informatics, and Vocational Education)

Paper ini bertujuan untuk mengetahui hasil analisis desain beberapa tampilan website berdasarkan teori "The Principle Beautiful Web Design" menggunakan tujuh variabel antara lain Defining good Design, Web Page Anatomy, Grid Theory, Balance, Unity, Bread and Butter Layout dan Fresh Trends. Penelitian ini membandingkan empat website yang terdiri 2 jenis website perbankan dan 2 jenis food company. yaitu website BNI, website Bank BUKOPIN, website Jco Donuts, dan website McDonals. Hasilnya didapatkan bahwa website food company lebih baik dalam desain tampilan websitenya dibandingan dengan website perbankan. Dalam website food company hampir seluruh variabel digunakan dalam mendesain tampilan websitenya.


Rancang Bangun Aplikasi E-Report Pengaduan Masyarakat Design Public Complaint E-Report Application, Roviana H. Dai Dec 2017

Rancang Bangun Aplikasi E-Report Pengaduan Masyarakat Design Public Complaint E-Report Application, Roviana H. Dai

Elinvo (Electronics, Informatics, and Vocational Education)

Ombudsman RI merupakan lembaga negara yang bertugas menerima laporan dugaan maladministrasi. Ombudsman RI perwakilan provinsi Gorontalo menerima jumlah laporan yang cukup signifikan setiap tahunnya yaitu 122 laporan ditahun 2014, 138 laporan ditahun 2015 dan 146 laporan sepanjang tahun 2016. Tingginya beban penyelesaian laporan setiap Asisten mengakibatkan laporan-laporan jadi tidak tertanggulangi. Adapun tujuan dari penelitian ini yaitu mengusulkan sebuah sistem yang dapat menjadi early warning system, reminder/pengingat sekaligus membantu dalam monitoring laporan baik oleh internal Ombudsman maupun masyarakat sebagai Pelapor. Sistem yang akan dibuat menggunakan fitur sms gateway dan sistem berbasiskan web. Hasil dari penelitian ini yaitu dibuatkannya …


Analisis Aplikasi Jadwal Perkuliahan Berbasis Android, Daniswara Galuh Sukmandari Dec 2017

Analisis Aplikasi Jadwal Perkuliahan Berbasis Android, Daniswara Galuh Sukmandari

Elinvo (Electronics, Informatics, and Vocational Education)

Penelitian ini bertujuan untuk menganalisis kualitas perangkat lunak pada aplikasi mobile jadwal perkuliahan berdasarkan standar kualitas ISO 25010 ysng mencakup aspek funtional suitability, compatibility, usability, dan performance efficiency. Metode yang digunakan dalam penelitian adalah Research and Development (R&D) dengan model waterfall. Hasil dari penelitian adalah aplikasi jadwal perkuliahan telah memenuhi standar kualitas perangkat lunak berdasarkan standar ISO 25010. Pengujian functional suitabilitymendapatkan hasil sebesar 100% yang berarti fungsi aplikasi telah berjalan dengan benar.Pengujian compatibilitymendapatkan hasil sebesar 100%. Pengujian usabilitymendapatkan hasil sebesar 79,63% dengan kategori Layak. Pengujian performance efficiencymendapatkan rata-rata waktu launchingsebesar 2,048 detik dan 0,095 detik untuk rata-rata waktu rendering


Sistem Pendukung Keputusan Klinis Untuk Memprediksi Kejadian Asfiksia Neonatorum, Efi Laila Latifah Dec 2017

Sistem Pendukung Keputusan Klinis Untuk Memprediksi Kejadian Asfiksia Neonatorum, Efi Laila Latifah

Elinvo (Electronics, Informatics, and Vocational Education)

Asfiksia neonatorum merupakan kegawatdaruratan bayi baru lahir berupa depresi pernafasan yang berlanjut sehingga menimbulkan berbagai komplikasi bahkan mengakibatkan kematian. Menurut RISKESDAS Indonesia 2007, 78,5% kematian bayi merupakan kematian neonatal dini dengan penyebab terbesar karena asfiksia neonatorum. Oleh karena itu diperlukan suatu alat untuk mendeteksi dini potensi atau resiko kejadian asfiksia neonatorum pada setiap kehamilan. Identifikasi dini tersebut dapat dilakukan dengan mengaplikasikan Rule Based Reasoning dengan metode Forward Chaining yang dilanjutkan dengan Case Based Reasoning dalam sebuah sistem. Sistem yang dikembangkan dalam penelitian ini menghasilkan output berupa prediksi skor APGAR neonatus. Hasil pengujian sistem dalam penelitian ini menunjukkan bahwa penerimaan sistem …


Pengujian Kualitas Kelayakan Perangkat Lunak Dengan Penerapanperancangan Model Rapid Application Development, Hari Toha Hidayat Dec 2017

Pengujian Kualitas Kelayakan Perangkat Lunak Dengan Penerapanperancangan Model Rapid Application Development, Hari Toha Hidayat

Elinvo (Electronics, Informatics, and Vocational Education)

Membangun suatu perangkat lunak yang berkualitas tidaklah mudah. Banyak hal yang harus diperhatikan dalam membuat suatu perangkat lunak yang berkualitas. Semakin berkualitas suatu perangkat lunak atau aplikasi maka akan semakin mahal harga yang dijual. Perangkat lunak yang berkualitas tidak hanya sekedar mencari keuntungan belaka akan tetapi mutu dari kualitas dan kuantitasnya yang sudah menjadi jaminan dari aplikasi yang ditawarkan. Pembuatan suatu perangkat lunak yang berkualitas selalu memperhatikan kebutuhan akan penggunanya, sehingga mampu memberikan solusi dari permasalahan yang dihadapi oleh para penggunanya. Selain itu, suatu aplikasi yang berkualitas selalu melalui tahapan - tahapan pengujian yang tidak singkat sehingga benar - benar …


Evaluasi Kualitas Aplikasi Mobile Kamus Istilah Jaringan Pada Platform Android Dengan Standar Iso/Iec 25010, Rohmad Dwi Jayanto Dec 2017

Evaluasi Kualitas Aplikasi Mobile Kamus Istilah Jaringan Pada Platform Android Dengan Standar Iso/Iec 25010, Rohmad Dwi Jayanto

Elinvo (Electronics, Informatics, and Vocational Education)

Penelitian ini bertujuan untuk menguji aplikasi mobile kamus istilah jaringan komputer pada platform android menggunakan standar kualitas perangkat lunak ISO/IEC 25010 pada aspek functional suitability, compatibility, performance efficiency, danusability. Metode yang digunakan adalah research and development. Hasil dari penelitian ini menunjukkan bahwa aplikasi telah memenuhi standar ISO/IEC 25010 pada aspek (1) functional suitability seluruh fungsi dari aplikasi berjalan 100% yang artinya tidak ada fungsi yang gagal saat dilakukan pengujian, (2) compatibility aplikasi kompatibel 100% darisisico-existence, berbagai sistem operasi dan tipe perangkat yang digunakan untuk pengujian, (3) performance efficiency aplikasi berhasil dijalankan di 436 dari 452 perangkatuji AWS Device …


Pengujian Functionality Dan Performance Sistem Inforamasi Berbasis Web Menggunakan Framework Codeigniter Di Smk Negeri 1 Jogonalan Klaten, Patan Pindoyono Dec 2017

Pengujian Functionality Dan Performance Sistem Inforamasi Berbasis Web Menggunakan Framework Codeigniter Di Smk Negeri 1 Jogonalan Klaten, Patan Pindoyono

Elinvo (Electronics, Informatics, and Vocational Education)

Penelitian ini bertujuan untuk menganalisis kualitas sistem informasi alumni berbasis web menggunakan framework CodeIgniter sehingga mampu: (1) mengurangi kesalahan pengelolaan data alumni SMK N 1 Jogonalan. (2) menyingkat waktu pencarian data alumni SMK N 1 Jogonalan. Pengujian yang digunakan pada penelitian ini adalah aspek functionality suitability dan aspek performance efficiency. Aspek functionality menggunakan test case yang mengacu pada analisis kebutuhan perangkat lunak. Sedangkan aspek performance efficiency dilakukan dengan menghitung waktu rata-rata respon dari sistem sebanyak lima kali percobaan. Hasil penelitian yang telah dilakukan menunjukan bahwa: (1) Sistem informasi yang dikembangkan dapat mengurangi kesalahan pegelolaan data, hal ini dibuktikan pada pada …


Uji Kelayakan Sistem Informasi Unit Kesehatan Sekolah Berbasis Website Di Smk Muhammadiyah 1 Bantul Dengan Faktor Kualitas Mccall, Daya Prisandi Mandala Dec 2017

Uji Kelayakan Sistem Informasi Unit Kesehatan Sekolah Berbasis Website Di Smk Muhammadiyah 1 Bantul Dengan Faktor Kualitas Mccall, Daya Prisandi Mandala

Elinvo (Electronics, Informatics, and Vocational Education)

Penelitian ini bertujuan untukmengetahuitingkatkelayakan Sistem Informasi Unit Kesehatan Sekolah Berbasis Website di SMK Muhammadiyah 1 Bantul. Metode yang digunakan dalam penelitian ini adalahkuantitatif. Prosedur pengujiandalam penelitian ini adalah White-Box Testing, Black-Box Testing, Alpha Testing dan Beta Testing. Objek penelitian ini adalah perangkat lunak Sistem Informasi Unit Kesehatan Sekolah Berbasis Website di SMK Muhammadiyah 1 Bantul. Teknik pengumpulan data dilakukan dengan kuesioner. Analisis data menggunakan analisis data kuantitatif. Hasil penelitian yang diperolehdariujikelayakan terhadap Sistem Informasi Unit Kesehatan Sekolah Berbasis Website di SMK Muhammadiyah 1 Bantul dengan menggunakan faktor kualitas McCall, diperoleh hasil kelayakan oleh ahli menyatakan Layak dan pengguna menyatakan …


Gaze-Contingent Displays For Interactive Text Enhancement, Divya Bajaj Dec 2017

Gaze-Contingent Displays For Interactive Text Enhancement, Divya Bajaj

Graduate Masters Theses

Eye trackers are used for measuring a person’s eye movements, for example, while reading text on a screen. This information can be used by scientists to study the human visual system during object recognition or text comprehension. Moreover, engineers can build gaze-controlled interfaces that trigger a variety of actions when the user looks at pre-specified icons on a screen. In my research, I studied how gaze-contingent displays can be used to enhance the information that is provided by texts. First, I implemented a simple scripting language that allows even users without programming experience to set up gaze-contingent text displays. The …


Looping Predictive Method To Improve Accuracy Of A Machine Learning Model, Subramanyam Reddy Pogili Dec 2017

Looping Predictive Method To Improve Accuracy Of A Machine Learning Model, Subramanyam Reddy Pogili

Theses

The topic of this project is an analysis of drug-related tweets. The goal is to build a Machine Learning Model that can distinguish between tweets that indicate drug abuse and other tweets that also contain the name of a drug but do not describe abuse. Drugs can be illegal, such as heroin, or legal drugs with a potential of abuse, such as painkillers. However, building a good Machine Learning Model requires a large amount of training data. For each training tweet, a human expert has determined whether it indicates drug abuse or not. This is difficult work for humans. …


Pengembangan Sistem Informasi Manajemen Praktik Industri Di Jurusan Pendidikan Teknik Elktronika Uny Berbasis Website Menggunakan Yii Framework, Agung Rizki Subhan Dec 2017

Pengembangan Sistem Informasi Manajemen Praktik Industri Di Jurusan Pendidikan Teknik Elktronika Uny Berbasis Website Menggunakan Yii Framework, Agung Rizki Subhan

Elinvo (Electronics, Informatics, and Vocational Education)

Penelitian ini bertujuan untuk mengembangkan Sistem Informasi Manajemen Praktik Industri di Jurusan Pendidikan Teknik Elektronika Universitas Negeri Yogyakarta. Pengembangan dilakukan pada Juli 2016 sampai Desember 2016 di Jurusan Pendidikan Teknik Elektronika UNY. Pengembangan dilakukan dengan menggunakan model waterfall. Model waterfall terdiri dari analisis kebutuhan sistem, desain sistem, implementasi sistem dan pengujian sistem. Hasil dari penelitian ini adalah software Sistem Informasi Manajemen Praktik Industri di Jurusan Pendidikan Teknik Elektronika UNY berbasis web menggunakan Yii Framework. Fungsionalitas sistem diuji oleh 3 orang penguji yang masing masing menguji 52 fungsi. Dari pengujian tersebut, semua fungsi yang telah diuji dapat berjalan dengan baik. Sehingga, …


Semantic Hierarchies For Extracting, Modeling, And Connecting Compliance Requirements In Information Security Control Standards, Matthew L. Hale, Rose F. Gamble Dec 2017

Semantic Hierarchies For Extracting, Modeling, And Connecting Compliance Requirements In Information Security Control Standards, Matthew L. Hale, Rose F. Gamble

Interdisciplinary Informatics Faculty Publications

Companies and government organizations are increasingly compelled, if not required by law, to ensure that their information systems will comply with various federal and industry regulatory standards, such as the NIST Special Publication on Security Controls for Federal Information Systems (NIST SP-800-53), or the Common Criteria (ISO 15408-2). Such organizations operate business or mission critical systems where a lack of or lapse in security protections translates to serious confidentiality, integrity, and availability risks that, if exploited, could result in information disclosure, loss of money, or, at worst, loss of life. To mitigate these risks and ensure that their information systems …


Stable Solution To L 2,1-Based Robust Inductive Matrix Completion And Its Application In Linking Long Noncoding Rnas To Human Diseases, Ashis Kumer Biswas, Dong-Chul Kim, Mingon Kang, Chris Ding, Jean X. Gao Dec 2017

Stable Solution To L 2,1-Based Robust Inductive Matrix Completion And Its Application In Linking Long Noncoding Rnas To Human Diseases, Ashis Kumer Biswas, Dong-Chul Kim, Mingon Kang, Chris Ding, Jean X. Gao

Computer Science Faculty Publications and Presentations

Backgrounds

A large number of long intergenic non-coding RNAs (lincRNAs) are linked to a broad spectrum of human diseases. The disease association with many other lincRNAs still remain as puzzle. Validation of such links between the two entities through biological experiments are expensive. However, a plethora lincRNA-data are available now, thanks to the High Throughput Sequencing (HTS) platforms, Genome Wide Association Studies (GWAS), etc, which opens the opportunity for cutting-edge machine learning and data mining approaches to extract meaningful relationships among lincRNAs and diseases. However, there are only a few in silico lincRNA-disease association inference tools available to date, and …


Stable Solution To L 2,1-Based Robust Inductive Matrix Completion And Its Application In Linking Long Noncoding Rnas To Human Diseases, Ashis Kumer Biswas, Dongchul Kim, Mingon Kang, Chris Ding Dec 2017

Stable Solution To L 2,1-Based Robust Inductive Matrix Completion And Its Application In Linking Long Noncoding Rnas To Human Diseases, Ashis Kumer Biswas, Dongchul Kim, Mingon Kang, Chris Ding

Faculty and Research Publications

Backgrounds A large number of long intergenic non-coding RNAs (lincRNAs) are linked to a broad spectrum of human diseases. The disease association with many other lincRNAs still remain as puzzle. Validation of such links between the two entities through biological experiments are expensive. However, a plethora lincRNA-data are available now, thanks to the High Throughput Sequencing (HTS) platforms, Genome Wide Association Studies (GWAS), etc, which opens the opportunity for cutting-edge machine learning and data mining approaches to extract meaningful relationships among lincRNAs and diseases. However, there are only a few in silico lincRNA-disease association inference tools available to date, and …


Learning About Modeling In Teacher Preparation Programs, Hyunyi Jung, Eryn Stehr, Jia He, Sharon L. Senk Dec 2017

Learning About Modeling In Teacher Preparation Programs, Hyunyi Jung, Eryn Stehr, Jia He, Sharon L. Senk

Hyunyi Jung

This study explores opportunities that secondary mathematics teacher preparation programs provide to learn about modeling in algebra. Forty-eight course instructors and ten focus groups at five universities were interviewed to answer questions related to modeling. With the analysis of the interview transcripts and related course materials, we found few opportunities for PSTs to engage with the full modeling cycle. Examples of opportunities to learn about algebraic modeling and the participants’ perspectives on the opportunities can contribute to the study of modeling and algebra in teacher education.


A Cutting-Plane Method For Contiguity-Constrained Spatial Aggregation, Johannes Oehrlein, Jan-Henrik Haunert Dec 2017

A Cutting-Plane Method For Contiguity-Constrained Spatial Aggregation, Johannes Oehrlein, Jan-Henrik Haunert

Journal of Spatial Information Science

Aggregating areas into larger regions is a common problem in spatial planning, geographic information science, and cartography. The aim can be to group administrative areal units into electoral districts or sales territories, in which case the problem is known as districting. In other cases, area aggregation is seen as a generalization or visualization task, which aims to reveal spatial patterns in geographic data. Despite these different motivations, the heart of the problem is the same: given a planar partition, one wants to aggregate several elements of this partition to regions. These often must have or exceed a particular size, be …


Insight Provenance For Spatiotemporal Visual Analytics: Theory, Review, And Guidelines, Andreas Hall, Paula Ahonen-Rainio, Kirsi Virrantaus Dec 2017

Insight Provenance For Spatiotemporal Visual Analytics: Theory, Review, And Guidelines, Andreas Hall, Paula Ahonen-Rainio, Kirsi Virrantaus

Journal of Spatial Information Science

Research on provenance, which focuses on different ways to describe and record the history of changes and advances made throughout an analysis process, is an integral part of visual analytics. This paper focuses on providing the provenance of insight and rationale through visualizations while emphasizing, first, that this entails a profound understanding of human cognition and reasoning and that, second, the special nature of spatiotemporal data needs to be acknowledged in this process. A recently proposed human reasoning framework for spatiotemporal analysis, and four guidelines for the creation of visualizations that provide the provenance of insight and rationale published in …


Vgi In Surveying Engineering: Introducing Collaborative Cloud Land Surveying, Ioannis Sofos, Vassilios Vescoukis, Maria Tsakiri Dec 2017

Vgi In Surveying Engineering: Introducing Collaborative Cloud Land Surveying, Ioannis Sofos, Vassilios Vescoukis, Maria Tsakiri

Journal of Spatial Information Science

olunteered geographic information (VGI) has enabled many innovative applications in various scientific fields. This paper introduces a new framework called "collaborative cloud-based land surveying" (CCLS) that uses VGI principles for data sharing among surveyor engineers to boost the productivity and improve the quality of their applications. A cloud-based spatio-temporal data repository is presented, aiming to facilitate the sharing of VGI among surveyor engineers. A fully-functional distributed software application has been developed and used to apply CCLS in a large-scale land surveying project run by the Greek Ministry of Culture, which involves the mapping of the historic center of Athens. Results …


Sailing: Cognition, Action, Communication, Thora Tenbrink, Frank Dylla Dec 2017

Sailing: Cognition, Action, Communication, Thora Tenbrink, Frank Dylla

Journal of Spatial Information Science

How do humans perceive and think about space, and how can this be represented adequately? For everyday activities such as locating objects or places, route planning, and the like, many insights have been gained over the past few decades, feeding into theories of spatial cognition and frameworks for spatial information science. In this paper, we explore sailing as a more specialized domain that has not yet been considered in this way, but has a lot to offer precisely because of its peculiarities. Sailing involves ways of thinking about space that are not normally required (or even acquired) in everyday life. …


Editorial, Matt Duckham Dec 2017

Editorial, Matt Duckham

Journal of Spatial Information Science

No abstract provided.


Fundamentals Of Satellite Remote Sensing: An Environmental Approach 2e, Luke Wallace Dec 2017

Fundamentals Of Satellite Remote Sensing: An Environmental Approach 2e, Luke Wallace

Journal of Spatial Information Science

Book review of Fundamentals of Satellite Remote Sensing: An Environmental Approach 2e" by Emilio Chuvieco"


Quantifying Space, Understanding Minds: A Visual Summary Approach, Mark Simpson, Kai-Florian Richter, Jan Oliver Wallgrün, Alexander Klippel Dec 2017

Quantifying Space, Understanding Minds: A Visual Summary Approach, Mark Simpson, Kai-Florian Richter, Jan Oliver Wallgrün, Alexander Klippel

Journal of Spatial Information Science

This paper presents an illustrated, validated taxonomy of research that compares spatial measures to human behavior. Spatial measures quantify the spatial characteristics of environments, such as the centrality of intersections in a street network or the accessibility of a room in a building from all the other rooms. While spatial measures have been of interest to spatial sciences, they are also of importance in the behavioral sciences for use in modeling human behavior. A high correlation between values for spatial measures and specific behaviors can provide insights into an environment's legibility, and contribute to a deeper understanding of human spatial …


Modeling And Manipulating Spacetime Objects In A True 4d Model, Ken Arroyo Ohori, Hugo Ledoux, Jantien Stoter Dec 2017

Modeling And Manipulating Spacetime Objects In A True 4d Model, Ken Arroyo Ohori, Hugo Ledoux, Jantien Stoter

Journal of Spatial Information Science

The concept of spacetime has long been used in physics to refer to models that integrate 3D space and time as a single 4D continuum. We argue in this paper that it is also advantageous to use this concept in a practical geographic context by realizing a true 4D model, where time is modeled and implemented as a dimension in the same manner as the three spatial dimensions. Within this paper we focus on 4D vector objects, which can be implemented using dimension-independent data structures such as generalized maps. A 4D vector model allows us to create and manipulate models …


Cognitively Plausible Representations For The Alignment Of Sketch And Geo-Referenced Maps, Sahib Jan, Angela Schwering, Carl Schultz, Malumbo Chaka Chipofya Dec 2017

Cognitively Plausible Representations For The Alignment Of Sketch And Geo-Referenced Maps, Sahib Jan, Angela Schwering, Carl Schultz, Malumbo Chaka Chipofya

Journal of Spatial Information Science

In many geo-spatial applications, freehand sketch maps are considered as an intuitive way to collect user-generated spatial information. The task of automatically mapping information from such hand-drawn sketch maps to geo-referenced maps is known as the alignment task. Researchers have proposed various qualitative representations to capture distorted and generalized spatial information in sketch maps, however thus far the effectiveness of these representations has not been evaluated in the context of an alignment task. This paper empirically evaluates a set of cognitively plausible representations for alignment using real sketch maps collected from two different study areas with the corresponding geo-referenced maps. …


Topological Augmentation: A Step Forward For Qualitative Partition Reasoning, Matthew P. Dube Dec 2017

Topological Augmentation: A Step Forward For Qualitative Partition Reasoning, Matthew P. Dube

Journal of Spatial Information Science

The current state of the art for partition based qualitative spatial reasoning systems such as the 9-intersection, 9+-intersection, direction relation matrix, and peripheral direction relations is that of the binary set intersection — either empty or non-empty — conveying the intersection (or lack thereof) of an object in the sets deriving the partition. While such representations are sufficient for topological components of objects, these representations are not sufficient for various tasks in qualitative spatial reasoning (composition, representation transfer, converse, etc.) regarding partitions as tiles. Topological augmentation expands the current binary status quo into a system of assigning topological relations between …


Encoding Lexicographical Ordering Constraints In Sat, Wenting Zhao Dec 2017

Encoding Lexicographical Ordering Constraints In Sat, Wenting Zhao

Honors Projects

Symmetry occurs in many constraint satisfaction problems, and it is important to deal with it efficiently and effectively, as it often leads to an exponential number of isomorphic assignments. Symmetric rows and columns in matrices are an important class of symmetries in constraint programming. In this work, we develop a new SAT encoding for partial lexicographical ordering constraints to break symmetries in such places. We also survey all the previous complete lex-leader encodings in literature and translate them into SAT encodings. We perform experimental analysis on how these lex-leader constraints impact the solving of Balanced Incomplete Block Design (BIBD) instances. …


Atomistic Simulations And Network-Based Modeling Of The Hsp90-Cdc37 Chaperone Binding With Cdk4 Client Protein: A Mechanism Of Chaperoning Kinase Clients By Exploiting Weak Spots Of Intrinsically Dynamic Kinase Domains, John Czemeres, Kurt Buse, Gennady M. Verkhivker Dec 2017

Atomistic Simulations And Network-Based Modeling Of The Hsp90-Cdc37 Chaperone Binding With Cdk4 Client Protein: A Mechanism Of Chaperoning Kinase Clients By Exploiting Weak Spots Of Intrinsically Dynamic Kinase Domains, John Czemeres, Kurt Buse, Gennady M. Verkhivker

Mathematics, Physics, and Computer Science Faculty Articles and Research

A fundamental role of the Hsp90 and Cdc37 chaperones in mediating conformational development and activation of diverse protein kinase clients is essential in signal transduction. There has been increasing evidence that the Hsp90-Cdc37 system executes its chaperoning duties by recognizing conformational instability of kinase clients and modulating their folding landscapes. The recent cryo-electron microscopy structure of the Hsp90-Cdc37- Cdk4 kinase complex has provided a framework for dissecting regulatory principles underlying differentiation and recruitment of protein kinase clients to the chaperone machinery. In this work, we have combined atomistic simulations with protein stability and network-based rigidity decomposition analyses to characterize dynamic …