CSC410, CSC411, CSC412 Presentations:
|
Name
|
Course
|
Supervisor
|
Date
|
Time
|
Topic
|
Zoom Link
|
|
Patel,Misha
|
CSC 410
|
Geoff Sutcliffe
|
1-Dec
|
3:30 PM
|
Budget Planner App for College Students
|
https://miami.zoom.us/j/93270437876?pwd=ejFsNkpwaTU2ZE56cWVHcUVNRGxZZz09&from=addon
|
|
Chen,Zipei
|
CSC 411
|
Liang Liang
|
2-Dec
|
4:15 PM
|
YOLO Mask Project - Facial Mask Detector
|
https://miami.zoom.us/j/96937746058?pwd=MGdqNEN6NkZqaU13R240MTdNU0xHUT09&from=addon
|
|
Guo,Zhenyang
|
CSC 410
|
Lokesh Ramamoorthi
|
2-Dec
|
5:00 PM
|
Artica - An app to share summary of articles/research content as a video
|
https://miami.zoom.us/j/99477679336?pwd=elBZR0pTRVNkMEZWMVBiK25hNG1mZz09&from=addon
|
|
Traub,Haley
|
CSC 412
|
Victor Milenkovic
|
3-Dec
|
2:30 PM
|
Castaway Technologies - Hardware Technician Project
|
https://miami.zoom.us/j/92362505434?pwd=dVlYdEpmMVlxWXRzUkxLTHlIMWkwQT09&from=addon
|
|
Cabrera,Ivan Elias
|
CSC 411
|
Lokesh Ramamoorthi
|
6-Dec
|
3:45 PM
|
Browser Plugin for Single Sign On Security
|
https://miami.zoom.us/j/96892128430?pwd=UlpRTjNUNkNtS3dmOThxNXY4dCttdz09&from=addon
|
|
Pandya,Shirley
|
CSC 410
|
Odelia Schwartz
|
6-Dec
|
4:30 PM
|
Research - Neuroscience and DNNs
|
https://miami.zoom.us/j/95131465740?pwd=b0VvYjhSNnRnSloyMzA2bW1pRnhuZz09&from=addon
|
|
Rong,Yi
|
CSC 410
|
Lokesh Ramamoorthi
|
6-Dec
|
5:30 PM
|
Happy Fitting - A Fitness and Calories Tracker App
|
https://miami.zoom.us/j/94872788552?pwd=clkzdDdZMGZLMk84bXFmN014NzRMUT09&from=addon
|
|
Rossi,Matthew August
|
CSC 412
|
Sarfaraz Amin, Chris Mader
|
7-Dec
|
12:00 PM
|
NLP project at IDSC (University of Miami)
|
https://miami.zoom.us/j/94225328605?pwd=bWR5QzdOUlZkUWhTOE9hUlg0RnhNUT09&from=addon
|
|
Tracy,Matilda Lenore
|
CSC 412
|
Victor Milenkovic
|
7-Dec
|
2:30 PM
|
Bottomline Technologies - NLP Classification for Customer Support
|
https://miami.zoom.us/j/92252385672?pwd=T1FTZG0xUjAxWm4wcVFWQy9WUkJ0Zz09&from=addon
|
|
Misra,Arjun Arun
|
CSC 410
|
Lokesh Ramamoorthi
|
7-Dec
|
3:00 PM
|
Text Generator and Analyzer
|
https://miami.zoom.us/j/97178544030?pwd=UFYrRlV4TmZPN3ZzaSsvcU1oSExmUT09&from=addon
|
|
Flores-Mattson,Elhma
|
CSC 412
|
Stefan Wuchty
|
7-Dec
|
4:00 PM
|
Reliability Engineering - Ultimate Kronos Group Internship
|
https://miami.zoom.us/j/91029318260?pwd=aGYyaG1KOC9FTmVxRGtLdHRlWDIvZz09&from=addon
|
|
Pierson,Ross L
|
CSC 411
|
Lokesh Ramamoorthi
|
7-Dec
|
4:30 PM
|
American Sign Language (ASL) Interpreter
|
https://miami.zoom.us/j/92354485911?pwd=MUNZcEFPaEpWUGw4ekZHZlhLV3Rsdz09&from=addon
|
|
Attuah,Isaac Kofi Ahema
|
CSC 411
|
Nelson Dellis
|
7-Dec
|
5:00 PM
|
Tukwan - Educational and Quizzing App
|
https://miami.zoom.us/j/96998722370?pwd=bDFPdzdUZ3dZVXVPVDEwZkNYckhaZz09&from=addon
|
Wednesday, Nov 3rd, 2021
9:00am, Ungar UB330G, Zoom Link: https://miami.zoom.us/j/92648054478
Mr. Jack McKeown
will present his Masters Defense
Clause Representation for Proof Guidance using Neural Networks
Abstract:
Automated Theorem Proving (ATP) is a subfield of automated reasoning wherein a conjecture is formally proved from axioms using computational methods. ATP benefits greatly from heuristics that estimate which inferences, during a proof attempt, are most relevant for finding a proof. Machine learning has enjoyed great success in recent years, and is well suited for mining heuristics from data. Having good representations of logical formulae is a very important prerequisite to using machine learning for finding useful heuristics for ATP. This thesis explores some approaches to representing logical formulae as rooted ordered labeled directed acyclic graphs, as well as finding embeddings of these logical formulae graphs as vectors. Vector embeddings serve as an ideal representation of logical formulae for processing in machine learning models such as neural networks.
