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 42 to 61 of 66
< previous
next >
Publication Date
Title
Author(s)
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
Apr-2013
Rapid Re-optimization of Prostate Intensity-Modulated Radiation Therapy Using Regularized Linear Programming
Khalajipirbalouti, Maryam
Oct-2009
Rpen: A New 3D Pointing Device
Alam, Badrul Mohammad
2017
A Scaled Gradient Descent Method for Unconstrained Optimization Problems With A Priori Estimation of the Minimum Value
D'Alves, Curtis
2021
SD Draw: A State Diagram Tool including Elm Code Generation for Interactive Applications
Pasupathi, Padma Ms
2008
Solving Maximum Number of Run Using Genetic Algorithm
Chan, Kelvin
12-Aug-1999
Stochastic Heuristic Program for Target Motif Identification
Zhang, Xian