Search results

(1 - 20 of 386)

Pages

An Overview of Embedded Systems and Prosthesis Technology
An Overview of Embedded Systems and Prosthesis Technology
Author(s):
Bochem, Deschenes, Williams, Kent
Discipline:
Computer Science
Discipline:
Computer Science
Date:
2010
Type:
Technical Report
Basis enumeration of hyperplane arrangements up to symmetries
Basis enumeration of hyperplane arrangements up to symmetries
Author(s):
Moss
Discipline:
Computer Science
Discipline:
Computer Science
Date:
2012
Type:
Thesis / Dissertation
This thesis details a method of enumerating bases of hyperplane arrangements up to symmetries. I consider here automorphisms,...
Vision of Information Science Inspired by a New Representational Formalism
Vision of Information Science Inspired by a New Representational Formalism
Author(s):
Goldfarb
Discipline:
Computer Science
Discipline:
Computer Science
Type:
Technical Report
A recently developed formalism for structural representation—called Evolving Transformations System (ETS)—is discussed as...
A transformation approach to implementing aggregate operations
A transformation approach to implementing aggregate operations
Author(s):
Middleton
Discipline:
Computer Science
Discipline:
Computer Science
Date:
1979
Type:
Technical Report
Some of the expressive power of certain programming languages depends on the provision of convenient means of operating on...
Use of XML for Web-Based Query Processing of Geospatial Data
Use of XML for Web-Based Query Processing of Geospatial Data
Author(s):
Teng
Discipline:
Computer Science
Discipline:
Computer Science
Date:
2000
Type:
Technical Report
New standards for geospatial data representation are emerging. For example, the ISO (the International Organization for...
Ontology-based recommendation of academic papers
Ontology-based recommendation of academic papers
Author(s):
Al-Wakel
Discipline:
Computer Science
Discipline:
Computer Science
Date:
2014
Type:
Thesis / Dissertation
In an era when recommender systems aspire to reduce information overload, we analyze how recommender systems can be...
A Survey of Techniques for the Co-Verification of Hardware/Software Co-Designed Systems
A Survey of Techniques for the Co-Verification of Hardware/Software Co-Designed Systems
Author(s):
Hall, Kent
Discipline:
Computer Science
Discipline:
Computer Science
Date:
2007
Type:
Technical Report
This paper describes the process of designing and verifying a hardware/software co-designed system. This is done by going...
High-level synthesis improvements and optimizations in Odin II
High-level synthesis improvements and optimizations in Odin II
Author(s):
Yan
Discipline:
Computer Science
Discipline:
Computer Science
Date:
2014
Type:
Thesis / Dissertation
A Field-Programmable Gate Array (FPGA) is an integrated circuit that allows users to program product features and functions...
Reputation formalization for an information sharing multiagent system
Reputation formalization for an information sharing multiagent system
Author(s):
Carter, Bitting, Ghorbani
Discipline:
Computer Science
Discipline:
Computer Science
Type:
Technical Report
We propose that through the formalization of concepts related to trust, a more accurate model of trust can be implemented....
Prediction of regulatory networks for non-model organisms
Prediction of regulatory networks for non-model organisms
Author(s):
Sharma
Discipline:
Computer Science
Discipline:
Computer Science
Date:
2013
Type:
Thesis / Dissertation
Identification of gene regulatory networks is useful in understanding gene regulation in any organism. Some regulatory...
The improvement of the VTR project by using carry-chains and power specification
The improvement of the VTR project by using carry-chains and power specification
Author(s):
Wang
Discipline:
Computer Science
Discipline:
Computer Science
Date:
2013
Type:
Thesis / Dissertation
A Field-Programmable Gate Array (FGPA) is a type of logic chip that can be programmed after manufacturing. It is especially...
Diskless data analytics on distributed coordination systems
Diskless data analytics on distributed coordination systems
Author(s):
Dilli
Discipline:
Computer Science
Discipline:
Computer Science
Date:
2013
Type:
Thesis / Dissertation
A distributed system contains software programs, applications and data resources dispersed across independent computers...
SIMULACRA: a systemic multi-agent architectural framework for organizational simulation
SIMULACRA: a systemic multi-agent architectural framework for organizational simulation
Author(s):
Ross
Discipline:
Computer Science
Discipline:
Computer Science
Date:
2016
Type:
Thesis / Dissertation
This dissertation introduces, realizes, and evaluates SIMULACRA (SystemIc MULti-Agent arChitectural fRAmework), a novel tool...
Semi-automated knowledge acquisition from existing textual databases
Semi-automated knowledge acquisition from existing textual databases
Author(s):
Vasi
Discipline:
Computer Science
Discipline:
Computer Science
Date:
1992
Type:
Technical Report
The introduction of this thesis looks at languages to represent plant operating procedures. Techniques that can be used to...
On a novel evolutionary based model for genome rearrangement
On a novel evolutionary based model for genome rearrangement
Author(s):
Korkin
Discipline:
Computer Science
Discipline:
Computer Science
Type:
Technical Report
The role of understanding the genome rearrangement is becoming more and more crucial in the modern life sciences. The new,...
An investigation of multi-level k-ranges
An investigation of multi-level k-ranges
Author(s):
Falconer, Nickerson
Discipline:
Computer Science
Discipline:
Computer Science
Date:
2004
Type:
Technical Report
Multi-level k-ranges are an efficient theoretical data structure for range searching introduced by J. L. Bentley and H. A....
Design, Verification and Implementation of a Polygon Clipping Application Using Co-Design Techniques
Design, Verification and Implementation of a Polygon Clipping Application Using Co-Design Techniques
Author(s):
Hall, Kent
Discipline:
Computer Science
Discipline:
Computer Science
Date:
2007
Type:
Technical Report
This paper describes the process of designing and verifying a hardware/software co-designed system. This is done by going...
Communication-efficient privacy-preserving query for fog-enhanced Internet of Things
Communication-efficient privacy-preserving query for fog-enhanced Internet of Things
Author(s):
Yekta
Discipline:
Computer Science
Discipline:
Computer Science
Date:
2018
Type:
Thesis / Dissertation
Internet of Things (IoT) has attracted significant attention in recent years and various IoT devices including industrial and...
Analysis of the Complex z-Plane Fractal Images from z - z-a + c for a > 0
Analysis of the Complex z-Plane Fractal Images from z - z-a + c for a > 0
Author(s):
Dhurandhar, Bhavsar, Gujar
Discipline:
Computer Science
Discipline:
Computer Science
Date:
1990
Type:
Technical Report
The z-plane fractal images generated from the generalized transformation function z - z[superscript -a] + c, a > 0, are...
Factoring the product of a cubic graph and a triangle
Factoring the product of a cubic graph and a triangle
Author(s):
Horton
Discipline:
Computer Science
Discipline:
Computer Science
Date:
1989
Type:
Technical Report
Kotzig [J. Graph Theory 3 (1979) pp 23-34] proved that for any cubic graph G and any circuit of length n, C , n>3, the ...

Pages

Zircon - This is a contributing Drupal Theme
Design by WeebPal.