Понятия со словом «существовать»
Связанные понятия
Мангеймский корпус немецкого языка (COSMAS corpora или DeReKo) — это коллекция современных немецкоязычных текстов, поддерживаемая Институтом немецкого языка в городе Маннгейм (Германия). В корпусе представлены различные типы текстов: научная и научно-популярная литература, большое количество газетных текстов, художественная проза, и др. Представляя собой самое большое в мире электронное собрание современных немецкоязычных текстов, является инструментом корпусной лингвистики.
Объём поня́тия (в логике) — совокупность предметов, охватываемых понятием. Объём и содержание понятия выступают как основные характеристики понятия, подчиняясь при этом закону обратного отношения между содержанием и объёмом понятия (увеличение объёма приводит, как правило, к уменьшению содержания и наоборот). Изменение понятия обычно предполагает изменение его объёма.
Вычисления с памятью — способ построения вычислительных платформ, в которых используются принцип хранения результатов функций в массивах памяти, одномерных или двухмерных, в виде таблиц поиска, а вычисление функций заменяется извлечением значения из таблиц. Такие вычислительные платформы могут следовать как чисто пространственной модели вычислений, как в ПЛИС, так и временно́й модели вычислений (процедурной), когда функция вычисляется за множество тактов. Второй подход нацелен на уменьшение избыточности...
Логика разделения, сепарационная логика (англ. separation logic) в информатике — формальная система, предназначенная для верификации программ, содержащих изменяемые структуры данных и указатели, расширение логики Хоара. Разработана Джоном Рейнольдсом (англ. John C. Reynolds), Питером О’Хирном (англ. Peter O'Hearn), Самином Иштиаком (англ. Samin Ishtiaq) и Хонсёком Яном (англ. Hongseok Yang) на основе работ Рода Бёрстола (англ. Rod Burstall). Язык утверждений логики разделения является специальным...
В математике и информатике подстановка — это операция синтаксической замены подтермов данного терма другими термами, согласно определённым правилам. Обычно речь идёт о подстановке терма вместо переменной.
Подробнее: Подстановка
Инвариа́нт или инвариа́нтность — термин, обозначающий нечто неизменяемое. Конкретное значение термина зависит от той области, где он используется...
Деление столбиком (также известное как деление уголком) — стандартная процедура в арифметике, предназначенная для деления простых или сложных многозначных чисел за счёт разбивания деления на ряд более простых шагов. Как и во всех задачах на деление, одно число, называемое делимым, делится на другое, называемое делителем, производя результат, называемый частным. Этот способ позволяет выполнять деление произвольно больших чисел, разбивая процесс на серию последовательных простых шагов.В Европу этот...
Отображение онтологий (англ. ontology alignment или ontology matching) — это процесс установления соответствий между понятиями (концептами) нескольких онтологий. Множество таких соответствий и называется «отображением». Термин имеет разное значение в компьютерной, когнитивной областях и философии.
Безопасность информационных потоков — набор требований и правил, направленных на определение того, какие информационные потоки в системе являются разрешёнными, а какие нет. Данная модель не является самостоятельной, и используется в дополнение к мандатной или дискреционной модели управления доступа.
Структурная индукция — конструктивный метод математического доказательства, обобщающий математическую индукцию (применяемую над натуральным рядом) на произвольные рекурсивно определённые частично упорядоченные совокупности. Структурная рекурсия — реализация структурной индукции в форме определения, процедуры доказательства или программы, обеспечивающая индукционный переход над частично упорядоченной совокупностью.
Диаграмма Насси — Шнейдермана (англ. Nassi — Shneiderman diagram) — это графический способ представления структурированных алгоритмов и программ, разработанный в 1972 году американскими аспирантами Беном Шнейдерманом и Айзеком Насси.
Глобиш (англ. Globish) — версия английского языка, разработанная вице-президентом по международному маркетингу компании IBM Жаном-Полем Нерьером на основе стандартной английской грамматики и лексикона в 1500 английских слов. По оценкам самого Нерьера, глобиш «сам по себе не является языком», но служит средством коммуникации в международном бизнесе для людей, не являющихся носителями английского языка.
Язык химии (химический язык) — система важнейших понятий химии и терминов, в которых они описываются, символы химических элементов, номенклатура неорганических и органических веществ (их названия, в том числе и тривиальные), химические формулы и уравнения, а также правила перевода информации с естественного языка на язык химии и обратно.
Памятники-символы — памятники, имеющие наибольшее значение для человека, при этом ценностный спектр значений таких памятников, как правило, многообразен. Для одних людей памятники-символы могут иметь позитивное значение (мемориалы павшим в других странах), а для других — сугубо негативное (как символы порабощения и угнетения), для иных — нейтральное и т. п. Проблема памятников-символов важна для общего памятниковедения.
Пара́граф (от греческого παράγραφος — написанное рядом) — мелкое подразделение текста внутри главы, раздела, обозначаемое обычно специальным знаком — § или пп.
И́стинный смысл — правовая теория в интерпретации канадской конституции, используемая для определения, какому уровню власти принадлежит право издавать законы по конкретному вопросу. Теория применяется, главным образом, когда закон оспаривается на основании того, что один уровень власти (провинциальный или федеральный) нарушил пределы исключительных полномочий другого уровня власти.
Алгоритм Баума — Велша используется в информатике и статистике для нахождения неизвестных параметров скрытой марковской модели (HMM). Он использует алгоритм прямого-обратного хода и является частным случаем обобщённого EM-алгоритма.
Математическая предметная классификация (МПК, англ. Mathematics Subject Classification, MSC) — буквенно-цифровая классификационная система разделов математики и направлений математических исследований, разработанная и используемая двумя основными обзорными математическими базами данных — Mathematical Reviews и Zentralblatt MATH, ведомыми, соответственно, Американским математическим обществом и Европейским математическим обществом. Классификатор содержит более 5 тыс. сгруппированных в трёхуровневую...
Элементарный клеточный автомат — это клеточный автомат с одномерным массивом ячеек в форме бесконечной в обе стороны ленты, который имеет два возможных состояния ячеек (0 и 1, «мёртвые» и «живые», «пустые» и «заполненные») и правило для определения состояния ячейки на следующем шаге, использующее только состояние ячейки и её двух соседей на текущем шаге. В целом такие автоматы являются одними из наиболее простых возможных клеточных автоматов, однако при некоторых правилах они показывают сложное поведение...
В поте лица (англ. Sweat of the brow) — это правовая доктрина интеллектуальной собственности, в основном затрагивающая авторское право. Согласно этой доктрине, автор получает авторские права на свою не оригинальную работу благодаря усердию во время её создания. Примером может служить база данных, каталог или телефонный справочник. Существенного творческого подхода или оригинальности при создании подобного рода работ не требуется.
Бытовая графическая система — графическая система, использовавшаяся в берестяных грамотах и других письменных документах древнего Новгорода (наряду с «книжной» системой).
Обработка сложных событий (англ. complex event processing, CEP) заключается в обработке множества событий, происходящих на всех уровнях организации, при этом идентифицируются наиболее существенные события из множества событий, анализируется их влияние и в режиме реального времени предпринимаются соответствующие действия.
Домини́рование в теории игр — ситуация, при которой одна из стратегий некоторого игрока дает больший выигрыш, нежели другая, при любых действиях его оппонентов. Обратное понятие, нетранзитивность, возникает, если некоторая стратегия может давать меньшие выигрыши, чем другая, в зависимости от поведения остальных участников.
Умножа́ющие приста́вки (также умножающие префиксы, числовые приставки, числительные приставки) — приставки, обозначающие количество повторений понятия, лежащего в основе термина. В химической номенклатуре используются для обозначения количества одинаковых радикалов или соединений, на которых основано название. Например, название «триэтиламин», (С2H5)3N, использует приставку «три-» для обозначения трёх вхождений этила С2Н5 в амин.
Эволюционная дистанция — величина, характеризующая генетические различия между двумя организмами. Находится путём сравнения нуклеотидных последовательностей гомологичных генов. Мерой генетических различий считается процент несовпадений нуклеотидов в соответствующих позициях гена.
Гипердиффузиони́зм — совокупность гипотез и теорий, согласно которым одна цивилизация или один народ является творцом всех выдающихся или важных вещей, которые затем были заимствованы менее развитыми цивилизациями и народами. Таким образом, все великие цивилизации, которые имеют сходные культурные достижения, вроде пирамид, происходят от одного древнего народа. Аргументами гипердиффузионизма могут служить религиозные практики, культурные технологии и забытые древние цивилизации.
Структурная схема — это совокупность элементарных звеньев объекта и связей между ними, один из видов графической модели. Под элементарным звеном подразумевается часть объекта, системы управления и т. д., которая реализует элементарную функцию.
Сте́мминг — это процесс нахождения основы слова для заданного исходного слова. Основа слова не обязательно совпадает с морфологическим корнем слова.
Слияние данных является процессом объединения источников данных для получения более согласующейся, точной и полезной информации, чем информация от одного отдельного источника.
Фрейм (англ. frame — «каркас» или «рамка») — способ представления знаний в искусственном интеллекте, представляющий собой схему действий в реальной ситуации. Первоначально термин «фрейм» ввёл Марвин Минский в 70-е годы XX века для обозначения структуры знаний для восприятия пространственных сцен. Фрейм — это модель абстрактного образа, минимально возможное описание сущности какого-либо объекта, явления, события, ситуации, процесса.
Кибертекст (англ. Cybertext) — организация текста таким образом, чтобы определить значение медиума как неотъемлемой части литературной динамики (определение, данное Эспеном Аарсетом в 1997 году). Аарсет определил кибертекст как часть эргодической литературы.
Вейвлет Хаа́ра — один из первых и наиболее простых вейвлетов. Он основан на ортогональной системе функций, предложенной венгерским математиком Альфредом Хааром в 1909 году. Вейвлеты Хаара ортогональны, обладают компактным носителем, хорошо локализованы в пространстве, но не являются гладкими. Впоследствии Ингрид Добеши стала развивать теорию ортогональных вейвлетов и предложила использовать функции, вычисляемые итерационным путём, названные вейвлетами Добеши.
Блочная сортировка (Карманная сортировка, корзинная сортировка, англ. Bucket sort) — алгоритм сортировки, в котором сортируемые элементы распределяются между конечным числом отдельных блоков (карманов, корзин) так, чтобы все элементы в каждом следующем по порядку блоке были всегда больше (или меньше), чем в предыдущем. Каждый блок затем сортируется отдельно, либо рекурсивно тем же методом, либо другим. Затем элементы помещаются обратно в массив. Этот тип сортировки может обладать линейным временем...
Оператор Кэнни (детектор границ Кэнни, алгоритм Кэнни) в дисциплине компьютерного зрения — оператор обнаружения границ изображения. Был разработан в 1986 году Джоном Кэнни (англ. John F. Canny) и использует многоступенчатый алгоритм для обнаружения широкого спектра границ в изображениях.
Древовидная структура является одним из способов представления иерархической структуры в графическом виде.
Кориолисовы расходомеры — приборы, использующие эффект Кориолиса для измерения массового расхода жидкостей, газов. Принцип действия основан на изменениях фаз механических колебаний U-образных трубок, по которым движется среда. Сдвиг фаз пропорционален величине массового расхода. Поток с определенной массой, движущийся через входные ветви расходомерных трубок, создает кориолисову силу, которая сопротивляется колебаниям расходомерных трубок. Наглядно это сопротивление чувствуется, когда гибкий шланг...
Подробнее: Кориолисов расходомер
Пробле́ма ку́рицы и яйца́ (иногда дилемма курицы и яйца) — логический парадокс использования понятий с нечётким объёмом. Парадокс звучит следующим образом: «Что было раньше — курица или яйцо?» С одной стороны, для появления курицы необходимо яйцо, с другой — для появления яйца нужна курица. Необходимо установить причинно-следственную связь.
Вы́мышленная валю́та — несуществующие реально денежные средства (не имеющие аналогов в современном или историческом денежном обращении) в художественных произведениях, компьютерных, настольных или деловых играх. Самая часто встречающаяся в кино и литературе вымышленная валюта — кредиты — такой же постоянный гость на страницах фантастических книг и фильмов, как оружие — бластер. В жанре фэнтези придуманные валюты имеют необычные названия, но изготовлены они, как правило, из привычных драгоценных или...
Эффект однородности чужой группы (Эффект гомогенности аутгруппы) — заключается в восприятии представителей чужих групп как более похожих друг на друга людей, а представителей своей группы как более уникальных. Эффект однородности чужой группы относится к эффектам межгруппового восприятия, среди которых также эффект «белой вороны» (black sheep effect), ингрупповой фаворитизм и аутгрупповая враждебность.
Язык
эсперанто был стабилен с момента его создания на фоне других искусственных языков. Это связано с документом Декларация Булонь (Declaration of Boulogne) от 1905 года, определяющим суть и основные принципы движения эсперантистов. Декларация была написана Л. Л. Заменгофом. Согласно декларации, обязательной для всех эсперантистов, фундаментом языка эсперанто является произведение «Основы эсперанто», в которое никто не имеет права вносить изменения.
Предсказа́ние фу́нкции белка́ — определение биологической роли белка и значения в контексте клетки. Предсказание функций проводится для плохо изученных белков или для гипотетических белков, предсказанных на основе данных геномных последовательностей. Источником информации для предсказания могут служить гомология нуклеотидных последовательностей, профили экспрессии генов, доменная структура белков, интеллектуальный анализ текстов публикаций, филогенетические и фенотипические профили, белок-белковые...
Звёздочка, или астери́ск (греч. ἀστέρισκος) — типографский знак в виде небольшой, обычно пяти- или шестиконечной звёздочки (*), расположенной в строке или поднятой над строкой.
Циклический код — линейный, блочный код, обладающий свойством цикличности, то есть каждая циклическая перестановка кодового слова также является кодовым словом. Используется для преобразования информации для защиты её от ошибок (см. Обнаружение и исправление ошибок).
Дерево Фенвика (двоичное индексированное дерево, англ. Fenwick tree, binary indexed tree, BIT) — структура данных, позволяющая быстро изменять значения в массиве и находить некоторые функции от элементов массива. Впервые описано Питером Фенвиком в 1994 году. Дерево Фенвика напоминает дерево отрезков, однако проще в реализации.
Двухшаговый метод наименьших квадратов (Двухшаговый МНК, ДМНК,TSLS, 2SLS — англ. Two-Stage Least Squares ) — метод оценки параметров эконометрических моделей, в частности систем одновременных уравнений, состоящий из двух этапов (шагов), на каждом из которых применяется метод наименьших квадратов.