Компьютерные науки

Колледж информации и компьютерных наук предлагает M.S. и доктор философии степени в области компьютерных наук. Доступны всесторонние предложения курса, и активные исследования продолжаются во многих областях. Поддерживается активное сотрудничество с коллегами в таких разных школах и факультетах, как Искусство, Менеджмент, Образование, Электротехника и Компьютерная инженерия, Лингвистика, Математика, Психология и Биология. Студентам предлагается воспользоваться этими межведомственными связями, чтобы обогатить свой образовательный опыт.

Колледж предлагает богатую программу курсов и семинаров. Большинство студентов становятся вовлеченными в исследования и участвуют в индивидуальных и лабораторных усилиях в течение первого и второго года программы. Все студенты имеют доступ к отличным вычислительным средствам.

Чтобы быть допущенным к полному статусу выпускника факультета компьютерных наук, кандидаты должны обладать степенью бакалавра наук. или Б.А. степени, с хорошими академическими показателями и рекомендациями, а также либо по специальности компьютерные науки, либо хорошие знания в области компьютерного программирования и математики в колледже. Предполагается, что учащиеся освоили эквивалент COMPSCI 121, 187, 220, 230, 250, MATH 131, 132, 235 и MATH 233 или STATS 515.

К колледжу предъявляются следующие требования для получения степени магистра в дополнение к требованиям магистратуры: в течение первых четырех семестров учащийся должен пройти четыре основных курса со степенью B или выше. Основные курсы должны включать один курс из систем, один из теории и один из искусственного интеллекта (AI). Четвертый основной курс выбирается из богатого набора регулярных основных курсов. Концентрация в науке о данных также предлагается. Студенты, которые прошли эквивалентные курсы в других учебных заведениях, могут организовать другие предложения COMPSCI в качестве основных курсов. Тридцать кредитов должны быть заполнены в течение трех календарных лет. Магистерский проект (6 кредитов) не является обязательным.

Курсы

Все курсы имеют 3 кредита, если не указано иное.

501 Формальная теория языка
Введение в теорию формального языка. Темы включают языки конечного состояния, языки без контекста, отношения между языковыми классами и моделями формальных машин, модель вычислений машины Тьюринга, теории вычислимости, модели с ограниченными ресурсами и NP-полноту.

503 встраиваемых систем
Этот курс знакомит с инструментами, необходимыми для разработки встроенных вычислительных приложений. Каждый учащийся спроектирует и создаст встроенное управляющее приложение в качестве члена команды. Курс в значительной степени ориентирован на проекты (с необходимой лабораторией), и дискуссии будут включать такие темы, как; (1) механизмы, датчики, исполнительные механизмы и системы обратной связи, (2) аналоговые и цифровые схемы, усилители мощности, обработка сигналов, операционные усилители, мультиплексирование, (3) входы / выходы - A / D, D / A и блокировка, последовательный и параллельные интерфейсы, (4) обработка / обработка сигналов и (5) введение в программирование в реальном времени.

513 Логика в области компьютерных наук
Строгое введение в математическую логику с алгоритмической точки зрения. Темы включают: логика высказываний; Выполнимость клаузулы Хорна и SAT решатели; Логика первого порядка: обоснованность и полнота разрешения, теорема компактности. Мы будем использовать доказатель теоремы Coq и Datalog.

520 Software Engineering: синтез и разработка
Познакомить студентов с основными видами деятельности, связанными с разработкой высококачественных программных систем. Темы включают в себя: анализ требований, формальные методы спецификации, определение процесса, проектирование программного обеспечения и управление рисками.

521 Разработка программного обеспечения: анализ и оценка
Текущие лучшие практики тестирования и анализа; многообещающие новые подходы, выходящие за рамки тестирования программ и модулей и расширяющие возможности для включения анализа всех программных продуктов на протяжении жизненного цикла и анализа программных процессов.

530 языков программирования
Практические и теоретические аспекты нескольких известных в настоящее время языков, представляющих различные парадигмы, включая императивное, функциональное и логическое программирование. Фокус на объектно-ориентированных языках и C ++ в частности.

535 Компьютерная архитектура
Структура цифровых компьютеров от базового логического уровня до уровня компонентов и уровня системы. Темы включают: проектирование основных компонентов, таких как арифметические единицы и регистры от логических элементов; организация основных подсистем, таких как память и подсистемы ввода / вывода; взаимодействие аппаратного и программного обеспечения в компьютерной системе; архитектура фон Неймана и ее современные конкуренты.

551 3-D анимация и цифровое редактирование
Студенты работают в одиночку и в команде над созданием высококачественных публикуемых анимационных произведений с использованием технологии трехмерной графики. Методы включают цифровое редактирование, звук, музыку, дизайн, моделирование, рендеринг, поверхности, текстуры и освещение.

552 Интерактивное мультимедийное производство
Студенты изучают интерактивные средства разработки для разработки систем презентаций и обучения с использованием языков программирования в профессиональных пакетах для представления графики, анимации, текста, звука и музыки на основе пользовательских запросов.

575 Комбинаторика и теория графов
Перечислен с MATH 513. Основное введение в комбинаторику и теорию графов для продвинутых студентов в области компьютерных наук, математики и смежных областей. Темы включают элементы теории графов, схемы Эйлера и Гамильтона, раскраску графов, сопоставление, основные методы подсчета; генерирующие функции; рецидивы; включение-исключение; Теория счета Поли.

585 Обработка естественного языка
Методы обработки естественного языка, разработанные в искусственном интеллекте, с упором на модели, ориентированные на память, и исследования, основанные на корпусе. Сосредоточьтесь на семантически ориентированном анализе предложений, понимании текста.

590 экспериментальных курсов
Новые курсы преподаются на экспериментальной основе.

591 семинар по информатике
Конференции, доклады и лекции по темам, которые в настоящее время не охватываются регулярными курсами. Требуется согласие инструктора. Кредит, 1-6.

596 Независимое исследование
Кредит, 1-6.

601 Теория вычислений
Углубленное введение в основные модели и понятия математической теории вычислений, включая вычислимость, сложность и логику.

603 Робототехника
Проектирование и анализ адаптивных, замкнутых физических систем. Сосредоточьтесь на сенсомоторных машинах, которые интерпретируют и управляют окружающей средой Включает изучение механизмов (кинематика и динамика), исполнительных механизмов, датчиков (с акцентом на машинное зрение), обработки сигналов, оптимальных оценок, ассоциативной памяти, теории управления с обратной связью, контролируемого и неконтролируемого обучения и планирования задач.

610 методов компиляции
Основные проблемы в переводе языков программирования с акцентом на теорию и общие методы реализации для компиляции традиционных (Pascal-подобных) языков программирования для создания ассемблера или объектного кода для типичных машин. Включает значительный лабораторный проект, в котором студент создает рабочий компилятор для значительного подмножества реалистичного языка программирования. Лекции дополнены дополнительным лабораторным разделом, содержащим подробную информацию о языке программирования, который будет использоваться в проекте (C), операционной системе (Unix), исходном языке (вариант Modula) и различных инструментах (Yacc, make и т. Д.). Использование компьютера требуется.

611 расширенных алгоритмов
Разработка и анализ эффективных алгоритмов для важных вычислительных задач. Парадигмы для разработки алгоритмов, включая «Разделяй и властвуй», «Жадные алгоритмы», «Динамическое программирование»; и использование случайности и параллелизма в алгоритмах. Алгоритмы сортировки и поиска, графовые алгоритмы, аппроксимационные алгоритмы для задач NP Complete и другие.

617 Вычислительная геометрия
Введение в основные теоретические и алгоритмические методы из вычислительной геометрии. Рассматриваемые темы включают в себя корпуса вогнутых, триангуляции, диаграммы Вороного, видимость, проблемы художественной галереи, обнаружение столкновений, планирование движения и складывание.

620 Advanced Software Engineering: синтез и разработка
Те же темы, что и 520, но на большей глубине.

621 Advanced Software Engineering: анализ и оценка
Лучшие практики тестирования и анализа для программных продуктов и процессов на протяжении жизненного цикла, с акцентом на перспективные новые направления исследований в области разработки программного обеспечения, включая архитектуры программного обеспечения и анализ параллельных, распределенных систем и систем реального времени.

630 Systems
Углубленное введение в системы с упором на принципы проектирования систем, которые пересекают многочисленные системные артефакты, включая операционные системы, базы данных, системы времени выполнения и архитектуру. Мы рассмотрим все уровни «системного стека», от микросхем до распределенных систем.

631 Языки программирования
Языки программирования являются основополагающими для компьютерных наук и повседневного программирования. Этот курс представляет собой углубленное введение в формальные, логические основы языков программирования.

635 Современная компьютерная архитектура
Изучает элементы современных компьютерных архитектур с точки зрения производительности, экономики и проектирования, а также их влияние на поддержку программного обеспечения на уровне компилятора и операционной системы.

645 Разработка и внедрение базы данных
Охватывает такие темы, как объектно-ориентированные, в реальном времени, активные и временные базы данных; управление объектами и файловые системы; параллельное управление, восстановление, обработка транзакций; распределенные базы данных; обработка запросов; языки программирования БД; продвинутые архитектуры БД.

646 Поиск информации
Базовые и продвинутые методы для текстовых информационных систем, включая модели поиска, индексирования и представления текста, просмотра и формулирования запросов, маршрутизации, распределенного поиска информации и интеграции с системами баз данных. Внедрение основных элементов информационно-поисковой системы.

650 Теория прикладной информации
Этот курс познакомит с основными понятиями теории информации: энтропия, относительная энтропия, взаимная информация, пропускная способность канала и искажение скорости. Приложения, а не доказательства, будут подчеркнуты. Кроме того, статистическая проблема вычисления информации теоретических величин из данных будет подчеркнута. Также будут рассмотрены непараметрические и полупараметрические статистические модели.

653 Компьютерные сети
Введение в фундаментальные концепции проектирования и реализации компьютерных сетей связи, их протоколов и приложений. Темы включают в себя: многоуровневые сетевые архитектуры, приложения, сетевые программные интерфейсы (например, сокеты), протоколы транспорта, перегрузки, маршрутизации и передачи данных, локальные сети, возникающие высокоскоростные сети, управление сетью и безопасность сети. Примеры взяты в основном из набора протоколов Интернета (например, TCP, UDP и IP). Элементарное понимание архитектуры компьютера и операционных систем полезно.

670 Computer Vision
Изучение того, что участвует в создании искусственных систем, которые пытаются вывести такие характеристики из изображения. Темы включают в себя: Основы формирования изображения - влияние геометрии, точки зрения, освещения и альбедо на формирование изображения. Основные операции с изображениями, такие как фильтрация, свертка и корреляция. Частотные представления изображений. Важность масштаба в изображениях. Измерения свойств изображения, таких как цвет, текстура, внешний вид и форма. Вывод движения и структуры из движущихся объектов и изображений. Обнаружение и распознавание объектов на изображениях. Статистические методы в компьютерном зрении.

677 операционных систем
Углубленное изучение принципов распределенных операционных систем. Темы включают процессы и потоки, параллельное программирование, распределенное межпроцессное взаимодействие, распределенное планирование процессов, разделяемая виртуальная память, распределенные файловые системы.

683 Искусственный интеллект
Углубленное знакомство с искусственным интеллектом, концентрирующееся на аспектах построения интеллектуальных агентов. Темы включают в себя: расположенные агенты, расширенные методы поиска и решения проблем, ограниченные в ресурсах рассуждения, рассуждения в условиях неопределенности, восприятия и действий, расширенное планирование и контроль и обучение.

688 графических моделей
Этот курс охватит байесовские и марковские сети и их динамические и реляционные расширения; методы точного и приближенного вывода; оценка как параметров, так и структуры графических моделей.

689 Машинное обучение
Вводит и исследует методы, которые позволяют программам учиться. Темы включают в себя: получение знаний, обучение на примерах, обобщение и специализация, системы открытий, формирование теорий, обучение коннекционистам, генетические алгоритмы, макрообучение, изучение языков, обучение на основе объяснений и теория компьютерного обучения.

690 экспериментальных курсов
Новые курсы преподаются на экспериментальной основе.

691 семинар по информатике
Конференции, доклады и лекции по темам, которые в настоящее время не охватываются регулярными курсами. Требуется согласие инструктора. Кредит, 1-6.

701 Расширенные темы в области компьютерных наук
Расширенные темы в области компьютерных наук Магистерский проект: Расширенный исследовательский проект в области компьютерных наук. Требуется согласие инструктора. Credit, 6.

711 Параллельные алгоритмы и архитектуры
Введение в параллельную алгоритмику, подчеркивая теоретические формулировки и разработки. Разработка прикладных алгоритмов в различных средах: идеализированные алгоритмические парадигмы совместно используемой памяти, которые игнорируют затраты на связь, эмуляции распределенной памяти совместно используемой памяти, алгоритмические парадигмы распределенной памяти. Концепции проиллюстрированы через важные приложения. Разработка системно-ориентированных алгоритмов для: планирования задач, балансировки нагрузки, маршрутизации сообщений и скрытия задержек. Предварительное условие: CMPSCI 611 или эквивалентный.

745 Дополнительные разделы в системах баз данных
Актуальные темы в системах баз данных. Может включать управление параллелизмом на основе семантики, новые критерии корректности, обработку транзакций на параллельных платформах баз данных, базы данных в реальном времени, активные, временные и мультимедийные базы данных. Условие: CMPSCI 445 или эквивалентный.

791 Семинар по информатике
Конференции, доклады и лекции по темам, которые в настоящее время не охватываются регулярными курсами. Требуется согласие инструктора. Кредит, 1-6.

Связанные курсы

• Электротехника и вычислительная техника
• 603 Вероятности и случайные процессы
• 606 Теория электромагнитного поля
• 608 Теория сигналов
• 735 Стохастическое управление динамическими системами
• 745 Продвинутая теория коммуникации

Лингвистика

• 610 Семантика и генеративная грамматика

Математика

• 532 обыкновенных дифференциальных уравнения
• 545 линейная алгебра для прикладной математики
• 611, 612 Алгебра I & II
• 623, 624 Real Analysis I & II
• 651, 652 Численный анализ I, II

Статистика

• 511 многомерных статистических моделей
• 525 регрессионного анализа
• 526 План экспериментов
• 607, 608 Математическая статистика I, II
• 708 Прикладные стохастические модели и методы

• Заполненная анкета.
• Заявочный взнос в размере 75 долларов США. Этот сбор не может быть отменен или отложен.
• Заявление от международного студенческого спонсора требуется от всех иностранных студентов.
• Одна официальная стенограмма из всех колледжей / университетов, где учился, студент и выпускник, где требуется (девять) 9 или более кредитов требуется. Если они не отправлены по почте непосредственно из колледжа / университета, они должны быть вложены в запечатанные конверты, подписанные колледжем / университетом. Если официальные стенограммы и / или диплом (ы) не на английском языке, их должен сопровождать нотариально заверенный перевод на английский язык в двух экземплярах. Не перечисляйте колледжи / университеты, в которых (восемь) было получено 8 или меньше кредитов.
• Рекомендательные письма (академические справки) от двух (2) профессоров или преподавателей, которые учили вас на курсах в той области, к которой вы обращаетесь. После подачи электронного заявления мы отправим электронное письмо каждому судье с инструкциями о том, как передать рекомендацию в Аспирантуру в электронном виде. Все рекомендации будут считаться конфиденциальными, если только заявитель не откажется от своего права на доступ.
• Результаты следующих стандартных экзаменов:
  • GRE (экзамен для выпускников) - общий тест, необходимый почти для всех программ магистратуры - (см. «Степени и предлагаемые программы»)
  • GRE SUBJECT TEST (не является универсальным требованием - см. страницу «Программы» для программ, требующих предметного тестирования)
  • GMAT (Graduate Management Admissions Test) - для выпускников, поступающих в области менеджмента, гостиничного бизнеса и туризма, а также спортивного менеджмента
  • Тест по английскому языку: либо TOEFL (тест по английскому языку как иностранному), либо IELTS (международная система тестирования по английскому языку) - принимается только академическая версия теста, либо PTE Academic (тест Пирсона по английскому языку)

Стипендия

Университет не присуждает студентам никакого финансирования, за исключением случаев, когда это прямо указано в письменной форме аспирантурой, на которую подал заявитель. Помощь в форме преподавательской или исследовательской помощи становится все более ограниченной. Стипендии и стипендии для обучения невелики и, как правило, не присуждаются в течение первого года обучения, до того, как студент получит академическую успеваемость в самом университете. Все кандидаты должны планировать самофинансирование, не прибегая к частичной занятости в университете, по крайней мере, в течение первого учебного года, если только им конкретно не была предложена какая-либо форма помощи со стороны кафедры. Рекомендации от студенческой академической программы играют важную роль в определении, кто будет награжден этими отказами от обучения, и конкуренция за стипендии обучения велика. Те поступающие аспиранты, которые не получили никакой другой финансовой помощи и которые заинтересованы в подаче заявления об отказе от обучения, должны связаться со своим отделом напрямую. Кандидаты должны знать, что конкуренция за новые исключения для студентов является интенсивной. Новым студентам предоставляется очень мало отказов, а те, которые предоставляются, основаны только на рекомендациях департаментов.

Помощь выпускникам

Университет предлагает ряд учебных и исследовательских ассистентов в учебных и исследовательских программах различных факультетов. Стипендии значительно варьируются от всего лишь 5000 долларов за половину ассистента до 16 000 долларов за полный ассистент в течение календарного года. Международные кандидаты, которым присуждаются ассистенты и которые не имеют дополнительных средств поддержки, должны убедиться, что ассистентство соответствует их минимальным финансовым потребностям, см. Смета расходов. Ассистенты выпускников не обязаны оплачивать стоимость обучения при условии, что их стипендия составляет 5000 долларов США или выше (2500 долларов США - это минимум для отказа от обучения в течение одного семестра и большинство сборов). Ассистенты присуждаются не более одного учебного года за раз. Ассистентство для выпускников не является стипендией, и полная ассистенция требует от студента трудового вклада, составляющего в среднем 20 часов в неделю, а федеральные и государственные подоходные налоги будут удерживаться из заработка.

Научно-исследовательская помощь

Ряд квалифицированных аспирантов, не имеющих преподавательских обязанностей, доступны для квалифицированных аспирантов на различных факультетах. Средства предоставляются частной промышленностью, правительством США (особенно в сельском хозяйстве, машиностроении и науке) или самим университетом.

Учебные пособия

Многие департаменты предлагают ассистентские услуги квалифицированным, зачисленным аспирантам. Международные заявители имеют право на получение этих помощников. Поскольку ассистентское обучение включает в себя обучение, все поступающие студенты, которым была предоставлена ​​ассистентская помощь в преподавании и чей родной язык не является английским, должны продемонстрировать устное владение английским языком либо путем сдачи теста разговорного английского языка, проводимого Службой образовательного тестирования (ETS), до их прибытия в Кампус за свой счет или путем сдачи теста SPEAK по прибытии бесплатно для студента. Чтобы сдать экзамен TSE или SPEAK, учащиеся должны набрать не менее 50 баллов.

Университетские стипендии

Эти стипендии присуждаются аспирантам на очень конкурентной основе и предназначены для того, чтобы помочь превосходящим студентам продолжить обучение в аспирантуре без каких-либо требований к работе и получить степень за минимально возможное время. Они обычно присуждаются только после того, как аспирант закончил два семестра в Университете Массачусетса в Амхерсте. Университетская стипендия рассчитана только на один год. Плата за обучение сопровождает стипендию университета, и обслуживание не требуется.