Матема́тика — точная формальная наука, первоначально исследовавшая количественные отношения и пространственные формы. В более современном понимании, это наука об отношениях между объектами, о которых ничего не известно, кроме описывающих их некоторых свойств, — именно тех, которые в качестве аксиом положены в основание той или иной математической теории.
Apache HTTP-сервер — свободный веб-сервер.
Коннекционизм — один из подходов в области искусственного интеллекта, когнитивной науки (когнитивистики), нейробиологии, психологии и философии сознания. Коннекционизм моделирует мыслительные или поведенческие явления процессами становления в сетях из связанных между собой простых элементов. Существует много различных форм коннекционизма, но наиболее общие используют нейросетевые модели. В рамках этого течения предпринимаются попытки объяснить умственные способности человека, используя искусственные нейронные сети. Философы начали проявлять интерес к коннекционизму, так как коннекционистский подход обещал обеспечить альтернативу классической теории разума и широко распространённой в рамках этой теории идеи, согласно которой механизмы работы разума имеют сходство с обработкой знакового языка цифровой вычислительной машиной. То, как именно и в какой степени парадигма коннекционизма составляет альтернативу классическим представлениям о природе разума, является предметом жарких споров, ведущихся в последние годы.
Семанти́ческая паути́на — общедоступная глобальная семантическая сеть, формируемая на базе Всемирной паутины путём стандартизации представления информации в виде, пригодном для машинной обработки.
Извлечение информации — это задача автоматического извлечения (построения) структурированных данных из неструктурированных или слабоструктурированных машиночитаемых документов.
В терминологии компьютерных сетей, балансировка нагрузки, или выравнивание нагрузки — метод распределения заданий между несколькими сетевыми устройствами с целью оптимизации использования ресурсов, сокращения времени обслуживания запросов, горизонтального масштабирования кластера, а также обеспечения отказоустойчивости (резервирования).
Сове́т по междунаро́дным отноше́ниям — частная американская организация в сфере международных связей.
Kohana — PHP5 веб-фреймворк с открытым кодом, который использует архитектурную модель HMVC. Его цели — быть безопасным, лёгким и простым в использовании.
Инженерия знаний — входит в область наук об искусственном интеллекте, связана с разработкой экспертных систем и баз знаний. Относится ко всем техническим, научным и социальным аспектам, связанным с построением, поддержкой и применением систем, использующих знания. Изучает методы и средства извлечения, представления, структурирования и использования знаний до программной реализации компонентов системы. Инженерия знаний применяется в менеджменте знаний для организации сбора, накопления, хранения и использования знаний организации в стратегии управления знаниями, ориентированную на кодификацию знаний.
Виртуальный скрининг — вычислительная процедура, которая включает автоматизированный просмотр базы данных химических соединений и отбор тех из них, для которых прогнозируется наличие желаемых свойств. Чаще всего виртуальный скрининг применяется при разработке новых лекарственных препаратов для поиска химических соединений, обладающих нужным видом биологической активности. В последнем случае процедура виртуального скрининга может быть основана либо на знании пространственного строения биологической мишени либо на знании структуры лигандов к молекуле данной биологической мишени. Виртуальному скринингу посвящён ряд монографий и обзорных статей.
Александр Николаевич Земляков — советский и российский математик-педагог, автор учебно-педагогической литературы.
Apache Wicket — фреймворк с открытым исходным кодом для создания веб-приложений. Разработан Джонатаном Локе в 2004 году. С июня 2007 года является проектом Apache Software Foundation.
Эволюционная кибернетика — наука, которая занимается исследованием эволюции биологических информационных систем и обеспечиваемых этими системами кибернетических свойств биологических организмов. Эволюционная кибернетика — это только формирующаяся научная дисциплина, тем не менее это живое, активно развивающееся научное направление.
Linphone — кроссплатформенный программный клиент IP-телефонии в стандарте SIP с открытым исходным кодом, распространяемый по лицензии GNU GPL. Программа Linphone предназначена для организации аудио и видео-вызовов, а также обмена текстовыми сообщениями посредством Интернета.
XA — спецификация распределённых транзакций, определяющая принципы совместного участия транзакционных ресурсов в транзакции в условиях распределённых вычислений. Впервые описана в 1992 году, является фактическим стандартом реализации в менеджерах распределенных транзакций и реляционных базах данных.
В общей алгебре супервещественные (супердействительные) числа представляют собой расширение класса вещественных чисел, введенное Г. Делзом и У. Вудиным как обобщение гипервещественных чисел, преимущественно для задач нестандартного анализа, теории моделей, а также изучения банаховых алгебр. Множество супердействительных чисел является подмножеством множества сюрреальных чисел.
Формальная верификация криптографических протоколов — проверка криптографических протоколов на обеспечение требуемых свойств безопасности. Одной из составляющих такой проверки является определение стойкости протокола к атакам в предположении о надёжности криптографических примитивов, на которых он основывается. Для решения этой задачи разработан ряд подходов, основанных на различных формальных методах верификации. Общей чертой формальных методов является использование системного подхода к проблеме, позволяющего выполнять более обоснованную, точную и эффективную проверку свойств безопасности протокола.
Теория языков программирования — раздел информатики, посвящённый вопросам проектирования, анализа, определения характеристик и классификации языков программирования и изучением их индивидуальных особенностей. Тесно связана с другими ветвями информатики, результаты теории используются в математике, в программной инженерии и лингвистике.
Цифровая юриспруденция — система компьютерных методов и технологий обработки юридической информации, которые используются для поддержки принятия решений в правоприменительной практике.