Індекс рубрикатора НБУВ: З970.632

Рубрики:

Комп'ютерне оброблення зображень

Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ 

Досліджено властивості граматик з нестираючою стековою пам'яттю (зокрема доведено рекурсивність відповідних мов). Побудовано гніздові стекові генератори, що обчислюють трансцендентні числа. Доведено достатню умову, за виконання якої всюди визначено дійсну функцію, задану монотонною послідовністю неперервних систем кубиків, і може бути заданою строгим реалом. Для неперервної всюди визначеної дійсної функції у термінах класичного аналізу одержано необхідні та достатні умови того, що її можна задати строгим реалом.

Проаналізовано історичний розвиток притримання, регулювання за чинними законодавством України і окремих країн. Визначено правову природу і специфічні ознаки притримання. З'ясовано його місце у системі способів забезпечення зобов'язань та здійснено відмежування від інших інститутів, а саме: застави, самозахисту, зупинення зустрічного виконання зобов'язань, права продажу чужої речі, зарахування зустрічних однорідних вимог, заходів оперативного впливу, юридичної відповідальності. Наведено характеристику елементів зобов'язального правовідношення притримання. Досліджено підстави та моменти виникнення та припинення права притримання. Сформульовано теоретичні висновки стосовно досліджених питань. Наведено рекомендації, спрямовані на вдосконалення регулювання притримання у цивільному законодавстві України.

Висвітлено історію виникнення та розвитку права притримання як цивільно-правового субінституту інституту забезпечення виконання зобов'язань. Описано механізми його правового регулювання за законодавством України, а також окремих країн-учасниць СНД, Європейського Союзу, країн Сходу й американського континенту. Розкрито правову природу і зміст правовідношення притримання, визначено його специфічні ознаки, охарактеризовано об'єкти та суб'єкти, здійснено відмежування від інших інститутів цивільного права, розглянуто нормативні передумови виникнення та підстави для припинення. Визначено місце даного права у системі способів забезпечення виконання зобов'язань, проаналізовано його зв'язок з іншими цивільно-правовими інститутами (застави, самозахисту, зупинення зустрічного виконання зобов'язань, зарахування зустрічних однорідних вимог, право продажу чужої речі, заходи оперативного впливу).

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

Досліджено правову природу постанов Пленуму Верховного Суду України з питань застосування законодавства, а також визначено їх місце в системі джерел права України.

Досліджено інститут правової аналогії, що є засобом подолання прогалин у законодавстві, а також правове регулювання аналогії у цивільному процесуальному праві та її фактичне застосування у цивільному судочинстві.

Під час розв'язування задач розпізнавання запропоновано формалізувати евристики як можливість того, що відстань між об'єктами не перевищує заданої величини.

Досліджено поняття особистих немайнових прав юридичних осіб, їх становлення, систему, класифікацію та особливості захисту. Проаналізовано загальні (універсальні) особисті немайнові права юридичних осіб, зокрема, права, що забезпечують індивідуалізацію юридичних осіб у суспільстві, репутаційний статус юридичних осіб, інформованість юридичних осіб, приватність юридичних осіб від зовнішнього втручання з боку суспільства, а також права, пов'язані зі створенням та використанням об'єктів інтелектуальної власності. З'ясовано, що право на вибір організаційно-правових форм і видів діяльності, право на вибір місцезнаходження, право на свободу об'єднання належать до окремих (спеціальних) особистих немайнових прав юридичних осіб, які мають переважно юридичні особи приватного права. Розроблено ряд пропозицій щодо внесення змін до Цивільного кодексу України, спрямовані на підвищення ефективності правового регулювання особистий немайнових прав юридичних осіб.

Надано науково-практичні коментарі до цивільного кодексу України. Наведено загальні положення про зобов'язання, з'ясовано їх поняття та загальні умови виконання. Увагу приділено питанням забезпечення виконання зобов'язань та їх припинення. Проаналізовано правові наслідки. Розглянуто порушення зобов'язань. З'ясовано поняття договору, а також процес його укладання, зміни та розірвання.

Розглянуто розширення поняття метрики, що має сенс для просторів синтаксичних моделей.

Висвітлено основні поняття, пов'язані зі структурованими даними - даними, складеними з елементів, які можна ідентифікувати й обробляти як окремі одиниці. Розглянуто питання організації даних засобами мови програмування C++. Особливу увагу приділено класам як засобу реалізації загального поняття "тип", принципу інкапсуляції та успадкування класів.

На прикладах реальних задач оброблення наборів однорідних даних висвітлено питання організації складних структур даних, завантаження даних у них, проектування власних і використання бібліотечних класів шаблонних контейнерів, продемонстровано застосування певних шаблонів та інших загальноприйнятих прийомів проектування.