Physical Sciences and Mathematics Commons^™

A New Lower Bound On Guard Placement For Wireless Localization, Mirela Damian, Robin Flatland, Joseph O'Rourke, Suneeta Ramswami

Computer Science: Faculty Publications

The problem of wireless localization asks to place and orient stations in the plane, each of which broadcasts a unique key within a fixed angular range, so that each point in the plane can determine whether it is inside or outside a given polygonal region. The primary goal is to minimize the number of stations. In this paper we establish a lower bound of ⌊2n/3⌋−1 stations for polygons in general position, for the case in which the placement of stations is restricted to polygon vertices, improving upon the existing ⌈n/2⌉ lower bound.

In-Between Theory And Practice: Dialogues In Design Research, Arianna Bassoli, Johanna Brewer, Karen Martin

Computer Science: Faculty Publications

Why Wait? and Betwixt are two of the workshops we have recently run on the theme of in-between-ness. The approach of social computing, where researchers work to understand how the socio-cultural aspects of human life relate to the design of new technologies, was the starting point for our investigation. By observing actual instances of in-between-ness in context we explored how design activities can be used as an opportunity to discuss and take positions on a specific theme, and as a space for narrowing the gap in design research between theoretical and practical thinking.

Why De Minimis?, Matthew D. Adler

Faculty Scholarship

De minimis cutoffs are a familiar feature of risk regulation. This includes the quantitative individual risk thresholds for fatality risks employed in many contexts by EPA, FDA, and other agencies, such as the 1-in-1 million lifetime cancer risk cutoff; extreme event cutoffs for addressing natural hazards, such as the 100 - year - flood or 475 - year - earthquake; de minimis failure probabilities for built structures; the exclusion of low - probability causal models; and other policymaking criteria. All these tests have a common structure, as I show in the Article. A de minimis test, broadly defined, tells the …

A Handle On What's Going On: Combining Tangible Interfaces And Ambient Displays For Collaborative Groups, Johanna Brewer, Amanda Williams, Paul Dourish

Computer Science: Faculty Publications

While tangible interfaces open up new possibilities for in- put and interaction, they are also interesting because of the ways in which they occupy the physical world just as we do. We have been working at the intersection of three research areas – tangible interfaces, ambient displays, and collaboration awareness. Our system, Nimio, uses engaging physical objects as both input devices (capturing aspects of individual activity) and output devices (expressing aspects of group activity). We present our design and experiences, focusing in particular on the tension between legibility and ambiguity and its relevance in collaborative settings.

Cache Coherence Protocol Verification Using Ωmega, Ki Yung Ahn

Computer Science Faculty Publications and Presentations

We verify some correctness properties of the DASH cache coherence protocol using Ωmega. Ωmega is a language with a rich type system featuring GADTs, type functions, and user-guided type checking rules. Cache coherence protocols have both safety properties and liveness properties. We show how to describe some of the safety properties of DASH cache coherence protocol in mega. Since liveness properties are not easily expressed by types, we investigate invariants sufficient to imply some of the liveness properties of concern, and assert those invariants as well in the type system of Ωmega. Using Ωmega, we can have both a working …

Protecting The Internet With Public Work, Ed Kaiser, Wu-Chang Feng

Computer Science Faculty Publications and Presentations

Distributed denial-of-service attacks represent a growing problem for networked systems. To tackle this problem, this paper explores the addition of a public work function to the service advertisement mechanisms used by such systems. When under attack, services advertise this function along with their location information and clients must attach a solution to the function with subsequent requests. The function, which can be made specific to the source of traffic, is publicly verifiable, allowing arbitrary network devices at the edges of the network to quickly verify that subsequent communication from the source will be accepted by the destination. We describe a …

Neutrality And Many-Valued Logics, Florentin Smarandache, Andrew Schumann

Branch Mathematics and Statistics Faculty and Staff Publications

ThisbookwrittenbyA. Schumann &F. Smarandache isdevotedtoadvances of non-Archimedean multiple-validity idea and its applications to logical reasoning. Leibnitz was the first who proposed Archimedes’ axiom to be rejected. He postulated infinitesimals (infinitely small numbers) of the unit interval [0,1] which are larger than zero, but smaller than each positive real number. Robinson applied this idea into modern mathematics in [117] and developed so-called non-standard analysis. In the framework of non-standard analysis there were obtained many interesting results examined in [37], [38], [74], [117].

There exists also a different version of mathematical analysis in that Archimedes’ axiom is rejected, namely, p-adic analysis (e.g., …

Neutrosophy In Arabic Philosophy, Florentin Smarandache, Salah Osman

Branch Mathematics and Statistics Faculty and Staff Publications

Is there an absolute reality? Yes, “God” is the only absolute reality. The three main religions: Judaism, Christianity and Islam have all claimed that God is a supreme reality, and that all other creatures are finite beings. Since they relatively continue and also relatively change, so they can not be absolute. The world is full of paradoxes, there is no absolute persistence, and also there is no change at a stretch. There is no absolute truth and there is no continuous falsehood. What exist are many faces or aspects between the two terms. Those faces are reduced to a neutral …

Techno-Art Of Selariu Supermathematics Functions, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this album we include the so called Super-Mathematics functions (SMF), which constitute the base for, most often, generating, technical, neo-geometrical objects, therefore less artistic. These functions are the results of 38 years of research, which began at University of Stuttgart in 1969. Since then, 42 related works have been published, written by over 19 authors, as shown in the References. The name was given by the regretted mathematician Professor Emeritus Doctor Engineer Gheorghe Silas who, at the presentation of the very first work in this domain, during the First National Conference of Vibrations in Machine Constructions, Timişoara, Romania, 1978, …

National Culture And Its Effects On Knowledge Communication In Online Virtual Communities, Keng Siau, Fiona Fui-Hoon Nah, Min Ling

Research Collection School Of Computing and Information Systems

Online virtual communities provide a powerful means of knowledge sharing. Despite the prevalence of online virtual communities, there is a paucity of research to investigate the effect of national culture differences on knowledge sharing in online virtual communities. Are there differences between online virtual communities from different national cultures? This research studies the differences in knowledge-sharing activities between US-based and China-based online virtual communities. Hofstede's dimensions of national culture serve as the theoretical foundation for this research.

Mining Multiple Visual Appearances Of Semantics For Image Annotation, Hung-Khoon Tan, Chong-Wah Ngo

Research Collection School Of Computing and Information Systems

This paper investigates the problem of learning the visual semantics of keyword categories for automatic image annotation. Supervised learning algorithms which learn only a single concept point of a category are limited in their effectiveness for image annotation. We propose to use data mining techniques to mine multiple concepts, where each concept may consist of one or more visual parts, to capture the diverse visual appearances of a single keyword category. For training, we use the Apriori principle to efficiently mine a set of frequent blobsets to capture the semantics of a rich and diverse visual category. Each concept is …

Image Segmentation Using Multi-Coloured Active Illumination, Tze Ki (Xu Shuqi) Koh, Nicholas Miles, Barrie Hayes-Gill

Research Collection School Of Computing and Information Systems

In this paper, the use of active illumination is extended to image segmentation, specifically in the case of overlapping particles. This work is based on Multi-Flash Imaging (MFI), originally developed by Mitsubishi Electric Labs, to detect depth discontinuities. Illuminations of different wavelengths are projected from multiple positions, providing additional information about a scene compared to conventional segmentation techniques. Shadows are used to identify true object edges. The identification of non- occluded particles is made possible by exploiting the fact that shadows are cast on underlying particles. Implementation issues such as selecting the appropriate colour model and number of illuminations are …

Iterated Weaker-Than-Weak Dominance, Shih-Fen Cheng, Michael P. Wellman

Research Collection School Of Computing and Information Systems

We introduce a weakening of standard gametheoretic δ-dominance conditions, called dominance, which enables more aggressive pruning of candidate strategies at the cost of solution accuracy. Equilibria of a game obtained by eliminating a δ-dominated strategy are guaranteed to be approximate equilibria of the original game, with degree of approximation bounded by the dominance parameter. We can apply elimination of δ-dominated strategies iteratively, but the for which a strategy may be eliminated depends on prior eliminations. We discuss implications of this order independence, and propose greedy heuristics for determining a sequence of eliminations to reduce the game as far as possible …

Towards Efficient Computation Of Quality Bounded Solutions In Pomdps: Expected Value Approximation And Dynamic Disjunctive Beliefs, Pradeep Reddy Varakantham, Rajiv Maheswaran, Tapana Gupta, Milind Tambe

Research Collection School Of Computing and Information Systems

While POMDPs (partially observable markov decision problems) are a popular computational model with wide-ranging applications, the computational cost for optimal policy generation is prohibitive. Researchers are investigating ever-more efficient algorithms, yet many applications demand such algorithms bound any loss in policy quality when chasing efficiency. To address this challenge, we present two new techniques. The first approximates in the value space to obtain solutions efficiently for a pre-specified error bound. Unlike existing techniques, our technique guarantees the resulting policy will meet this bound. Furthermore, it does not require costly computations to determine the quality loss of the policy. Our second …

Real-Time Supply Chain Control Via Multi-Agent Adjustable Autonomy, Hoong Chuin Lau, Lucas Agussurja, Ramesh Thangarajoo

Research Collection School Of Computing and Information Systems

Real-time supply chain management in a rapidly changing environment requires reactive and dynamic collaboration among participating entities. In this work, we model supply chain as a multi-agent system where agents are subject to an adjustable autonomy. The autonomy of an agent refers to its capability to make and influence decisions within a multi-agent system. Adjustable autonomy means changing the autonomy of the agents during runtime as a response to changes in the environment. In the context of a supply chain, different entities will have different autonomy levels and objective functions as the environment changes, and the goal is to design …

An Improvement Heuristic For The Timetabling Problem, Aldy Gunawan, Kien Ming Ng, Kim Leng Poh

Research Collection School Of Computing and Information Systems

This paper formulates a timetabling problem, which is often encountered in a university, as a mathematical programming model. The proposed model combines both teacher assignment and course scheduling problems simultaneously, which causes the entire model to become more complex. We propose an improvement heuristic algorithm to solve such a model. The proposed algorithm has been tested with several randomly generated datasets of sizes that are comparable to those occurring in a university in Indonesia. The computational results show that the improvement heuristic is not only able to obtain good solutions, but is also able to do so within reasonable computational …

A Growth Theory Perspective On The International Diffusion Of Electronic Commerce., S.C Ho, Robert John Kauffman, T.P. Liang

Research Collection School Of Computing and Information Systems

Information and communication technologies (ICTs) continue to have a profound effect on the economies and societies where they are used. In this article, we propose three related theories to describe the underlying mechanism for growth in e-commerce revenues at the national level. Endogenous growth theory posits that the primary drivers of e-commerce growth are internal to a country. Exogenous growth theory suggests that the primary drivers of e-commerce growth are external to an economic system, and reflect the forces of the regional economy. A blend of these, a mixed endogenous–exogenous growth theory, incorporates drivers from both the economy and …

Anticipatory Event Detection Via Classification, He Qi, Kuiyu Chang, Ee Peng Lim

Research Collection School Of Computing and Information Systems

The idea of event detection is to identify interesting patterns from a constant stream of incoming news documents. Previous research in event detection has largely focused on identifying the first event or tracking subsequent events belonging to a set of pre-assigned topics such as earthquakes, airline disasters, etc. In this paper, we describe a new problem, called anticipatory event detection (AED), which aims to detect if a user-specified event has transpired. AED can be viewed as a personalized combination of event tracking and new event detection. We propose using sentence-level and document-level classification approaches to solve the AED problem for …

Antimicrobial Activities Of Aldehydes And Ketones Produced During Rapid Volatilization Of Biogenic Oils, Aruna Lamba

Masters Theses

"The overall objective of the research presented in this thesis was to evaluate the antimicrobial properties of commercially available neat compounds in order to validate the analytes which were found in the smoke generated during rapid volatilization of biogenic oil esters and mineral oils. To attain this objective various analytes were selected from the analytical data provided for the smoke, and neat compounds were purchased. A special desiccator was designed to conduct experiments. Simultaneously vapor phase concentration of the neat compounds was determined to establish relation between neat compounds and the analytes found in smoke. Other part of the thesis …

An Open Framework For Highly Concurrent Hardware-In-The-Loop Simulation, Ryan C. Underwood

Masters Theses

"Hardware-in-the-loop (HIL) simulation is becoming a significant tool in prototyping complex, highly available systems. The HIL approach allows an engineer to build a physical system incrementally by enabling real components of the system to seamlessly interface with simulated components. It also permits testing of hardware prototypes of components that would be extremely costly to test in the deployed environment. Key issues are the ability to wrap the systems of equations (such as Partial Differential Equations) describing the deployed environment into real-time software models, provide low synchronization overhead between the hardware and software, and reduce reliance on proprietary platforms. This thesis …

Investigation Of A Possible Lead-Lag Relationship Between The Innuitian And Laurentide Ice Sheets, Arctic Canada, Paula Zimmerman

OES Theses and Dissertations

Peaks of iron-rich grains in Arctic Ocean sediment cores matched to the Laurentide and Innuitian Ice Sheets appear to show a lead-lag relationship during the Late Pleistocene when grain abundances are plotted against time and depth below sea floor. Cores from across the Arctic have been analyzed to determine if this is the case. Of the six IRD events identified, the Innuitian leads 68% of the time with 26% of events in all cores occurring simultaneously. The Innuitian seems to lead 33.3% of the time when peaks from the Innuitian and Laurentide occur within close proximity (less than 1 cm), …

Joe Stell's Life, Career, & Contributions, Susan Kelly

Water Matters!

Representative Joe Stell's retirement after 20 years in the New Mexico Legislature has many people wondering: How will we fare without his knowledge and history ofNew Mexico water matters? Stell viewed one of his most important roles as that of helping new legislators get up to speed on w ater issues. We hope that Water Matters! may assist in this role by providing legislators with background information on some of the issues they will encounter. The Utton Center also wanted to acknowledge Joe Stell's outstanding service to New Mexico, and we have therefore included a brief sketch about his career, …

Quantization In Astrophysics, Brownian Motion, And Supersymmetry, Florentin Smarandache, Victor Christianto

Branch Mathematics and Statistics Faculty and Staff Publications

The present book discusses, among other things, various quantization phenomena found in Astrophysics and some related issues including Brownian Motion. With recent discoveries of exoplanets in our galaxy and beyond, this Astrophysics quantization issue has attracted numerous discussions in the past few years. Most chapters in this book come from published papers in various peer-reviewed journals, and they cover different methods to describe quantization, including Weyl geometry, Supersymmetry, generalized Schrödinger, and Cartan torsion method. In some chapters Navier-Stokes equations are also discussed, because it is likely that this theory will remain relevant in Astrophysics and Cosmology While much of the …

Elementary Fuzzy Matrix Theory And Fuzzy Models For Social Scientists, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral

Branch Mathematics and Statistics Faculty and Staff Publications

This book aims to assist social scientists to analyze their problems using fuzzy models. The basic and essential fuzzy matrix theory is given. The book does not promise to give the complete properties of basic fuzzy theory or basic fuzzy matrices. Instead, the authors have only tried to give those essential basically needed to develop the fuzzy model. The authors do not present elaborate mathematical theories to work with fuzzy matrices; instead they have given only the needed properties by way of examples. The authors feel that the book should mainly help social scientists who are interested in finding out …

Special Fuzzy Matrices For Social Scientists, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral

Branch Mathematics and Statistics Faculty and Staff Publications

This book is a continuation of the book, "Elementary fuzzy matrix and fuzzy models for socio-scientists" by the same authors. This book is a little advanced because we introduce a multi-expert fuzzy and neutrosophic models. It mainly tries to help social scientists to analyze any problem in which they need multi-expert systems with multi-models. To cater to this need, we have introduced new classes of fuzzy and neutrosophic special matrices. The first chapter is essentially spent on introducing the new notion of different types of special fuzzy and neutrosophic matrices, and the simple operations on them which are needed in …

A Unifying Field In Logics: Neutrosophic Logic. Neutrosophy, Neutrosophic Set, Neutrosophic Probability And Statistics - 6th Ed., Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

It was a surprise for me when in 1995 I received a manuscript from the mathematician, experimental writer and innovative painter Florentin Smarandache, especially because the treated subject was of philosophy - revealing paradoxes - and logics. He had generalized the fuzzy logic, and introduced two new concepts: a) “neutrosophy” – study of neutralities as an extension of dialectics; b) and its derivative “neutrosophic”, such as “neutrosophic logic”, “neutrosophic set”, “neutrosophic probability”, and “neutrosophic statistics” and thus opening new ways of research in four fields: philosophy, logics, set theory, and probability/statistics. It was known to me his setting up in …

Auxiliary Information And A Priori Values In Construction Of Improved Estimators, Florentin Smarandache, Rajesh Singh, Pankaj Chauhan, Nirmala Sawan

Branch Mathematics and Statistics Faculty and Staff Publications

This volume is a collection of six papers on the use of auxiliary information and a priori values in construction of improved estimators. The work included here will be of immense application for researchers and students who employ auxiliary information in any form. Below we discuss each paper: 1. Ratio estimators in simple random sampling using information on auxiliary attribute. Prior knowledge about population mean along with coefficient of variation of the population of an auxiliary variable is known to be very useful particularly when the ratio, product and regression estimators are used for estimation of population mean of a …

Collected Papers Vol. 1, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

No abstract provided.

A Light-Weight Middleware Framework For Fault-Tolerant And Secure Distributed Applications, Ian Jacob Baird

Masters Theses

"This thesis outlines the design, implementation, and performance of a lightweight middleware framework for interprocess communication with an update log propagation algorithm. The system was designed and implemented using a point-to-point based lightweight middleware framework and compared to a similar system implemented utilizing CORBA--Abstract, page iii.

Theoretical Investigation Of The Structure And Vibrational Frequencies Of Water And Methanol Complexes, John Michael Craig

Theses and Dissertations

Water and methanol are common solvents used in liquid chromatographic (LC) separations. It is highly desirable to model .the interactions of these solvents in order to better understand the nature of analyte solvation and its effect on retention. Therefore, structure and frequencies of complexes of these solvent molecules have been studied from a theoretical perspective as a first step in this direction. Specifically, cluster structures have been optimized at the RHF and MP2 levels in various flexible basis sets and with the counterpoise correction for basis set superposition error, and trends in the structure and binding energies of several clusters …