Skip navigation
Menu
Home
Browse
Communities
& Collections
Browse Items by:
Publication Date
Author
Title
Subject
Department
Help
Sign on to:
My MacSphere
Receive email
updates
Edit Profile
Search MacSphere
Search
MacSphere
Browsing by Department Computer Science
Jump to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
or enter first few letters:
Sort by:
title
publication date
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 36 to 55 of 66
< previous
next >
Publication Date
Title
Author(s)
2016
An Investigation of Coloured Petri Nets:Automated Part Cutting Case Study
Adams, Stephen W.
Aug-1993
Investigations in the Development of a Windows Based Expert System for Preoperative Assessments
Archer, Delbert
Apr-2005
Java Error Correction Algorithm in the Framework of an Intelligent Tutoring System
Skyes, Edward R.
18-Mar-2010
Jory: A Tool for Feature Modelling Based on Product Families Algebra and BDDs
Alturki, Fadil
2021
Leveraging Information Contained in Theory Presentations
Sharoda, Yasmine
2007
Lower and Upper Bounds for Maximum Number of Runs
Yang, Qian
Nov-2014
MAKU: A Code Generator for Bullet Hell Games
Collman, Nathan
Jan-2008
Mei-A Module System for Mechanized Mathematics Systems
Xu, Jian
1998
Multi-Resolution Mixtures of Principal Components
Lesner, Christopher
1981
Mytran: A Programming Language for Data Abstraction
Snider, Timothy West
2012
Oligonucleotide Probe Design for Large Genomes using Multiple Spaced Seeds
Mohamadi, Hamid
May-2018
On Platforms and Algorithms for Human-Centric Sensing
Shaabana, Ala
Oct-2012
On the Parallelization of a Search for Counterexamples to a Conjecture of Erd\H{o}s
Shen, ShengWei
2024
Overlapping Classes in Imbalanced Datasets
Almutairi, Waleed
2008
Panoptes: An Exploration Tool for Formal Proofs
Grigorov, Orlin
2016
PATTERN RECOGNITION AND CLASSIFICATION OF CT IMAGES OF DIFFUSE LUNG DISEASES USING FEATURE EXTRACTION AND ARTIFICIAL NEURAL NETWORKS
Alemzadeh, Mehrdad
2023
Polynomial time and private learning of unbounded Gaussian Mixture Models
Arbas, Jamil
Jun-2024
PREVENTING DATA POISONING ATTACKS IN FEDERATED MACHINE LEARNING BY AN ENCRYPTED VERIFICATION KEY
Mahdee, Jodayree
Oct-2013
A Proof of Concept for Homomorphically Evaluating an Encrypted Assembly Language
Rakas, Dragan
Sep-2008
Proofs of Relational Semigroupoids in Isabelle/Isar
Han, Jinrong