Computer Sciences Commons^™

Some Issues In The Testing Of Computer Simulation Models, David J. Murray-Smith

International Journal of Business and Technology

The testing of simulation models has much in common with testing processes in other types of application involving software development. However, there are also important differences associated with the fact that simulation model testing involves two distinct aspects, which are known as verification and validation. Model validation is concerned with investigation of modelling errors and model limitations while verification involves checking that the simulation program is an accurate representation of the mathematical and logical structure of the underlying model. Success in model validation depends upon the availability of detailed information about all aspects of the system being modelled. It also …

Recommender Systems Notation, Michael D. Ekstrand, Joseph A. Konstan

Computer Science Faculty Publications and Presentations

As the field of recommender systems has developed, authors have used a myriad of notations for describing the mathematical workings of recommendation algorithms. These notations appear in research papers, books, lecture notes, blog posts, and software documentation. The disciplinary diversity of the field has not contributed to consistency in notation; scholars whose home base is in information retrieval have different habits and expectations than those in machine learning or human-computer interaction.

In the course of years of teaching and research on recommender systems, we have seen the value in adopting a consistent notation across our work. This has been particularly …

Nifty Data Structures Projects, Ed Jorgensen, Laxmi Gewali

UNLV Best Teaching Practices Expo

For computer science, and many technical fields, it is recognized that projects with real-world applicability play a significant roll in what students get out of the course. Creating applicable projects for upper division such as our data structures classes is very difficult and time consuming. We have utilized the Nifty assignments concept and applied it locally to an upper division data structures course. Our primary goal is to provide a forum for the sharing of data structure project ideas and materials (as applicable).

Fc2: Cloud-Based Cluster Provisioning For Distributed Machine Learning, Nguyen Binh Duong Ta

Research Collection School Of Computing and Information Systems

Training large, complex machine learning models such as deep neural networks with big data requires powerful computing clusters, which are costly to acquire, use and maintain. As a result, many machine learning researchers turn to cloud computing services for on-demand and elastic resource provisioning capabilities. Two issues have arisen from this trend: (1) if not configured properly, training models on cloud-based clusters could incur significant cost and time, and (2) many researchers in machine learning tend to focus more on model and algorithm development, so they may not have the time or skills to deal with system setup, resource selection …

Trends In Women’S Participation In Computer Industry Subfields, Tristyn Maalouf

The Kabod

The participation of women in specific subfields of computer science (CS) and information technology (IT) will be investigated to determine the existence of any trends that may exist indicating special interest amongst women. Specifically, the subfield of database administration will be considered to determine if women tend to enter this subfield more frequently than other subfields. Research will also acknowledge statistics regarding male participation in database administration and other relevant subfields to determine if any trends in women’s participation are unique to women or if they exist across the board. Conclusions will be drawn based on the data and any …

De-Anonymyzing Scale-Free Social Networks By Using Spectrum Partitioning Method, Qi Sun, Jiguo Yu, Honglu Jiang, Yixian Chen, Xiuzhen Cheng

Department of Computer Science Publications

Social network data is widely shared, forwarded and published to third parties, which led to the risks of privacy disclosure. Even thought the network provider always perturbs the data before publishing it, attackers can still recover anonymous data according to the collected auxiliary information. In this paper, we transform the problem of de-anonymization into node matching problem in graph, and the de-anonymization method can reduce the number of nodes to be matched at each time. In addition, we use spectrum partitioning method to divide the social graph into disjoint subgraphs, and it can effectively be applied to large-scale social networks …

Session: 4 Multilinear Subspace Learning And Its Applications To Machine Learning, Randy Hoover, Kyle Caudle Dr., Karen Braman Dr.

SDSU Data Science Symposium

Multi-dimensional data analysis has seen increased interest in recent years. With more and more data arriving as 2-dimensional arrays (images) as opposed to 1-dimensioanl arrays (signals), new methods for dimensionality reduction, data analysis, and machine learning have been pursued. Most notably have been the Canonical Decompositions/Parallel Factors (commonly referred to as CP) and Tucker decompositions (commonly regarded as a high order SVD: HOSVD). In the current research we present an alternate method for computing singular value and eigenvalue decompositions on multi-way data through an algebra of circulants and illustrate their application to two well-known machine learning methods: Multi-Linear Principal Component …

Question Answering For Suicide Risk Assessment Using Reddit, Amanuel Alambo, Usha Lokala, Ugur Kursuncu, Krishnaprasad Thirunarayan, Amelia Gyrard, Randon S. Welton, Jyotishman Pathak, Amit P. Sheth

Kno.e.sis Publications

Mental Health America designed ten questionnaires that are used to determine the risk of mental disorders. They are also commonly used by Mental Health Professionals (MHPs) to assess suicidality. Specifically, the Columbia Suicide Severity Rating Scale (C-SSRS), a widely used suicide assessment questionnaire, helps MHPs determine the severity of suicide risk and offer an appropriate treatment. A major challenge in suicide treatment is the social stigma wherein the patient feels reluctance in discussing his/her conditions with an MHP, which leads to inaccurate assessment and treatment of patients. On the other hand, the same patient is comfortable freely discussing his/her mental …

Cs04all: Cryptography Module, Hunter R. Johnson

Open Educational Resources

Cryptography module

This archive contains a series of lessons on cryptography suitable for use in a CS0 course. The only requirement is familiarity with Python, particularly dictionaries, lists, and file IO. It is also assumed that students know how to create stand-alone Python programs and interact with them through the terminal. Most of the work is done in Jupyter notebooks.

The material found in the notebooks is a combination of reading material, exercises, activities and assignments. Below are descriptions of each lesson or assignment and links to notebooks on Cocalc. The same files are available for batch download in this …

Cs04all: Command Line Python, Hunter R. Johnson

Open Educational Resources

Command Line Tutorial

Students are presented with information relating to stand alone Python programs, stdin, stdout, and command line arguments. This is a lab exercise. After completion students should be able to create executable Python programs which can accept input from stdin or command line arguments.

Please begin with the READ_ME file.

https://cocalc.com/share/bde99afd-76c8-493d-9608-db9019bcd346/171/stdin?viewer=share/

This OER material was produced as a result of the CS04ALL CUNY OER project

Cs04all: List Comprehensions, Hunter R. Johnson

Open Educational Resources

List Comprehensions

This is a tutorial on list comprehensions in Python, suitable for use in an Intro or CS0 course. We also briefly mention set comprehensions and dictionary comprehensions.

https://cocalc.com/share/bde99afd-76c8-493d-9608-db9019bcd346/171/list_comprehensions?viewer=share/

This OER material was produced as a result of the CS04ALL CUNY OER project

Cs04all: Machine Learning Module, Hunter R. Johnson

Open Educational Resources

These are materials that may be used in a CS0 course as a light introduction to machine learning.

The materials are mostly Jupyter notebooks which contain a combination of labwork and lecture notes. There are notebooks on Classification, An Introduction to Numpy, and An Introduction to Pandas.

There are also two assessments that could be assigned to students. One is an essay assignment in which students are asked to read and respond to an article on machine bias. The other is a lab-like exercise in which students use pandas and numpy to extract useful information about subway ridership in NYC. …

Cs04all: Natural Language Processing Project, Hunter R. Johnson

Open Educational Resources

In this archive there are two activities/assignments suitable for use in a CS0 or Intro course which uses Python.

In the first activity, students are asked to "fill in the code" in a series of short programs that compute a similarity metric (cosine similarity) for text documents. This involves string tokenization, and frequency counting using Python string methods and datatypes.

https://cocalc.com/share/bde99afd-76c8-493d-9608-db9019bcd346/171/Proj1?viewer=share/

In the second activity (taken directly from Think Python 2e) students use a pronunciation dictionary to solve a riddle involving homophones.

https://cocalc.com/share/bde99afd-76c8-493d-9608-db9019bcd346/171/Dicts2?viewer=share/

This OER material was produced as a result of the CS04ALL CUNY OER project

Bots In Libraries: They're Coming For Your Jobs (Or Is It?), Salihin Mohammed Ali

Research Collection Library

With advancements in Artificial Intelligence (AI) and Machine Learning (ML), we have seen a rise in the use of bots, specifically chatbots, to deliver information services. Motivated by the Smart Nation programme, these chatbots have sprung up in sectors as transport, healthcare, banking and education in Singapore. What are these chatbots? How do they work? Will they take our jobs? SMU Libraries tries to answer these questions by delving into the mechanics of creating chatbots. The proof-of-concept aims to find out and understand use cases where these bots can be useful to delivering library information services to its campus community. …

Logarithms Are Not Infinity: A Rational Physics-Related Explanation Of The Mysterious Statement By Lev Landau, Francisco Zapata, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

Nobel-prize winning physicist Lev Landau liked to emphasize that logarithms are not infinity -- meaning that from the physical viewpoint, logarithms of infinite values are not really infinite. Of course, from a literally mathematical viewpoint, this statement does not make sense: one can easily prove that logarithm of infinity is infinite. However, when a Nobel-prizing physicist makes a statement, you do not want to dismiss it, you want to interpret it. In this paper, we propose a possible physical explanation of this statement. Namely, in physics, nothing is really infinite: according to modern physics, even the Universe is finite in …

How To Fuse Expert Knowledge: Not Always "And" But A Fuzzy Combination Of "And" And "Or", Christian Servin, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

In the non-fuzzy (e.g., interval) case, if two expert's opinions are consistent, then, as the result of fusing the knowledge of these two experts, we take the intersection of the two sets (e.g., intervals) describing the expert's opinions. In the experts are inconsistent, i.e., if the intersection is empty, then a reasonable idea is to assume that at least of these experts is right, and thus, to take the union of the two corresponding sets. In practice, expert opinions are often imprecise; this imprecision can be naturally described in terms of fuzzy logic -- a technique specifically designed to describe …

Optimal Distribution Of Testing Resources Between Different System Levels, Griselda Acosta, Eric Smith, Vladik Kreinovich

Departmental Technical Reports (CS)

When designing a system, we need to perform testing and checking on all levels of the system hierarchy, from the most general system level to the most detailed level. Our resources are limited, so we need to find the best way to allocate these resources, i.e., we need to decide how much efforts to use of each of the levels. In this paper, we formulate this problem in precise terms, and provide a solution to the resulting optimization problem.

Decision Theory Explains "Telescoping Effect" -- That Our Time Perception Is Biased, Laxman Bokati, Vladik Kreinovich

Departmental Technical Reports (CS)

People usually underestimate time passed since distant events, and overestimate time passed since recent events. There are several explanations for this "telescoping effect", but most current explanations utilize specific features of human memory and/or human perception. We show that the telescoping effect can be explained on a much basic level of decision theory, without the need to invoke any specific ways we perceive and process time.

Weakly-Admissible Semantics And The Propagation Of Ambiguity In Abstract Argumentation Semantics, Pierpaolo Dondio

Other

The concept of ambiguous literals of defeasible logics is mapped to the set of undecided arguments identified by an argumentation semantics. It follows that Dung’s complete semantics are all ambiguity propagating, since the undecided status of an attacking argument is always propagated to the attacked argument, unless the latter is defeated by another accepted argument. In this paper we investigate a novel family of abstract argumentation semantics, called weakly-admissible semantics, where we do not require an acceptable argument to be necessarily defended from the attacks of undecided arguments. Weakly-admissible semantics are conflict-free, ambiguity blocking, non-admissible (in Dung’s sense), but employing …

Relaxation-Based Coarsening For Multilevel Hypergraph Partitioning, Ruslan Shaydulin, Jie Chen, Ilya Safro

Publications

Multilevel partitioning methods that are inspired by principles of multiscaling are the most powerful practical hypergraph partitioning solvers. Hypergraph partitioning has many applications in disciplines ranging from scientific computing to data science. In this paper we introduce the concept of algebraic distance on hypergraphs and demonstrate its use as an algorithmic component in the coarsening stage of multilevel hypergraph partitioning solvers. The algebraic distance is a vertex distance measure that extends hyperedge weights for capturing the local connectivity of vertices which is critical for hypergraph coarsening schemes. The practical effectiveness of the proposed measure and corresponding coarsening scheme is demonstrated …

A Simple Quantitative Model Of Cognitive Tradeoff Phenomenon, Griselda Acosta, Eric Smith, Vladik Kreinovich

Departmental Technical Reports (CS)

A recent study of chimpanzees has shown that on the individual basis, they are, surprisingly, much better than humans in simple tasks requiring intelligence and memory. A usual explanation -- called cognitive tradeoff -- is that a human brain has sacrificed some of its data processing (computation) abilities in favor of enhancing the ability to communicate; as a result, while individual humans may not be as smart as possible, jointly, we can solve complex problems. A similar cognitive tradeoff phenomenon can be observed in computer clusters: the most efficient computer clusters are not formed from the fastest, most efficient computers, …

Why Grade Distribution Is Often Multi-Modal: An Uncertainty-Based Explanation, Olga Kosheleva, Christian Servin, Vladik Kreinovich

Departmental Technical Reports (CS)

There are many different independent factors that affect student grades. There are many physical situations like this, in which many different independent factors affect a phenomenon, and in most such situations, we encounter normal distribution -- in full accordance with the Central Limit Theorem, which explains that in such situations, distribution should be close to normal. However, the grade distribution is definitely not normal -- it is multi-modal. In this paper, we explain this strange phenomenon, and, moreover, we explain several observed features of this multi-modal distribution.

Derivation Of Louisville-Bratu-Gelfand Equation From Shift- Or Scale-Invariance, Leobardo Valera, Martine Ceberio, Vladik Kreinovich

Departmental Technical Reports (CS)

Louisville-Bratu-Gelfand equation appear in many different physical situations ranging from combustion to explosions to astrophysics. The fact that the same equation appears in many different situations seems to indicate that this equation should not depend on any specific physical process, that it should be possible to derive it from general principles. This is indeed what we show in this paper: that this equation can be naturally derived from basic symmetry requirements.

How To Generate "Nice" Cubic Polynomials -- With Rational Coefficients, Rational Zeros And Rational Extrema: A Fast Algorithm, Laxman Bokati, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

Students feel more comfortable with rational numbers than with irrational ones. Thus, when teaching the beginning of calculus, it is desirable to have examples of simple problems for which both zeros and extrema point are rational. Recently, an algorithm was proposed for generating cubic polynomials with this property. However, from the computational viewpoint, the existing algorithm is not the most efficient one: in addition to applying explicit formulas, it also uses trial-and-error exhaustive search. In this paper, we propose a computationally efficient algorithm for generating all such polynomials: namely, an algorithm that uses only explicit formulas.

When Revolutions Happen: Algebraic Explanation, Julio Urenda, Vladik Kreinovich

Departmental Technical Reports (CS)

At first glance, it may seem that revolutions happen when life becomes really intolerable. However, historical analysis shows a different story: that revolutions happen not when life becomes intolerable, but when a reasonably prosperous level of living suddenly worsens. This empirical observation seems to contradict traditional decision theory ideas, according to which, in general, people's happiness monotonically depends on their level of living. A more detailed model of human behavior, however, takes into account not only the current level of living, but also future expectations. In this paper, we show that if we properly take these future expectations into account, …

Emergence Of Collective Behaviors In Hub-Based Colonies Using Grammatical Evolution And Behavior Trees, Aadesh Neupane

Theses and Dissertations

Animals such as bees, ants, birds, fish, and others are able to efficiently perform complex coordinated tasks like foraging, nest-selection, flocking and escaping predators without centralized control or coordination. These complex collective behaviors are the result of emergence. Conventionally, mimicking these collective behaviors with robots requires researchers to study actual behaviors, derive mathematical models, and implement these models as algorithms. Since the conventional approach is very time consuming and cumbersome, this thesis uses an emergence-based method for the efficient evolution of collective behaviors. Our method, Grammatical Evolution algorithm for Evolution of Swarm bEhaviors (GEESE), is based on Grammatical Evolution (GE) …

Analiza E Veglave(Software) Për Vlerësim Të Rrezikut, Ibrahim Demolli

Theses and Dissertations

Përgjatë këtij punimi janë përfshirë thuajse çdo gjë mbi softuerët(programet) e specializuar dhe dedikuar menaxhimit dhe vlerësimit të rrezikut(riskut). Softuerët e kësaj natyre kanë gjetur zbatim thuajse në çdo projekt, duke filluar nga projektet individuale e deri te kompanitë ndërrmaristike. Kjo lindi si nevojë e humbjeve të shumta nëfusha sikurse ato financiare, meanxhuese, administrative, fusha e të dhënave dhe fusha të tjera përbrenda një kompanie. Kompanitë të cilat kanë filluar të aplikojnë softuer të tillë kanë treguar sukses të vazhdueshëm, gjë kjo që bëri këta softuerë të bëhen viral dhe të përhapen në shpejtësi marramendëse në të gjitha llojet e …

Four Structural Variants Associated With Human-Directed Sociability In Dogs Are Not Found In Tame Red Foxes (Vulpes Vulpes), Estelle R. Bastounes, Halie M. Rando, Jennifer L. Johnson, Lyudmila N. Trut, Benjamin N. Sacks, Carlos A. Driscoll, Bridgett Vonholdt, Anna V. Kukekova

Computer Science: Faculty Publications

No abstract provided.

Recommending New Features From Mobile App Descriptions, He Jiang, Jingxuan Zhang, Xiaochen Li, Zhilei Ren, David Lo, Xindong Wu, Zhongxuan Luo

Research Collection School Of Computing and Information Systems

The rapidly evolving mobile applications (apps) have brought great demand for developers to identify new features by inspecting the descriptions of similar apps and acquire missing features for their apps. Unfortunately, due to the huge number of apps, this manual process is time-consuming and unscalable. To help developers identify new features, we propose a new approach named SAFER. In this study, we first develop a tool to automatically extract features from app descriptions. Then, given an app, we leverage the topic model to identify its similar apps based on the extracted features and API names of apps. Finally, we design …

Vistanet: Visual Aspect Attention Network For Multimodal Sentiment Analysis, Quoc Tuan Truong, Hady Wirawan Lauw

Research Collection School Of Computing and Information Systems

Detecting the sentiment expressed by a document is a key task for many applications, e.g., modeling user preferences, monitoring consumer behaviors, assessing product quality. Traditionally, the sentiment analysis task primarily relies on textual content. Fueled by the rise of mobile phones that are often the only cameras on hand, documents on the Web (e.g., reviews, blog posts, tweets) are increasingly multimodal in nature, with photos in addition to textual content. A question arises whether the visual component could be useful for sentiment analysis as well. In this work, we propose Visual Aspect Attention Network or VistaNet, leveraging both textual and …