Алексей анатольевич семенов: Семенов Алексей Анатольевич — Медицинский факультет СПбГУ
Предприниматель Семенов Алексей Анатольевич (ИНН 244305107973)
ИНН: 244305107973
Регион присвоения ИНН: Красноярский край
Реестр массовых руководителей: не состоит
Реестр массовых учредителей: не состоит
Руководитель (4)
Семенов Алексей Анатольевич является руководителем 4 организаций
ООО «МАЯК АГРО»
ДействуетИНН: 2433004658
ОГРН: 1212400029346
Дата создания: 19.11.2021
Основной вид деятельности: 01.11 Выращивание зерновых (кроме риса), зернобобовых культур и семян масличных культур
Адрес: 663580, Красноярский край, С АГИНСКОЕ, УЛ СОВЕТСКАЯ, Д. 253
ООО «КАЛИНОВСКОЕ»
ДействуетИНН: 2433002185
ОГРН: 1092440000278
Дата создания: 31.08.2009
Основной вид деятельности: 01.6 Деятельность вспомогательная в области производства сельскохозяйственных культур и послеуборочной обработки сельхозпродукции
Адрес: 663580, Красноярский край, Р-Н САЯНСКИЙ, С.
АГИНСКОЕ, Д.51 КМ АВТОДОРОГИ ЗАОЗЕРНОЕ АГИНСКОЕ АЗ
ООО » КВИАС ТРЕЙД «
ДействуетИНН: 2443018113
ОГРН: 1022401152729
Дата создания: 26.01.2001
Основной вид деятельности: 47.30 Торговля розничная моторным топливом в специализированных магазинах
Адрес: 660001, Красноярский край, Г. КРАСНОЯРСК, УЛ. ЛЕНИНА, Д.221 «А»
ООО «САЯННЕФТЬ»
ДействуетИНН: 2433004023
ОГРН: 1082440000488
Дата создания: 18.09.2008
Основной вид деятельности: 46.71.2 Торговля оптовая моторным топливом, включая авиационный бензин
Адрес: 663580, Красноярский край, Р-Н САЯНСКИЙ, С. АГИНСКОЕ, Д.51 КМ АВТОДОРОГИ «ЗАОЗЕРНОЕ АГИНСКОЕ» АЗ
Учредитель (11)
Семенов Алексей Анатольевич является учредителем 3 организаций
ООО «МАЯК АГРО»
ДействуетДиректор: Семенов Алексей Анатольевич
ИНН: 2433004658
ОГРН: 1212400029346
Дата создания: 19.
11.2021
Основной вид деятельности: 01.11 Выращивание зерновых (кроме риса), зернобобовых культур и семян масличных культур
Адрес: 663580, Красноярский край, С АГИНСКОЕ, УЛ СОВЕТСКАЯ, Д. 253
ООО «БАР-С»
ДействуетДиректор: Карбивничий Владимир Владимирович
ИНН: 2460238775
ОГРН: 1122468032411
Дата создания: 06.06.2012
Основной вид деятельности: 56.30 Подача напитков
Адрес: 660075, Красноярский край, Г. КРАСНОЯРСК, УЛ. КРАСНОЙ ГВАРДИИ, Д. 24, ПОМЕЩ. 28
ООО » КВИАС ТРЕЙД «
ДействуетДиректор: Семенов Алексей Анатольевич
ИНН: 2443018113
ОГРН: 1022401152729
Дата создания: 26.01.2001
Основной вид деятельности: 47.30 Торговля розничная моторным топливом в специализированных магазинах
Адрес: 660001, Красноярский край, Г. КРАСНОЯРСК, УЛ. ЛЕНИНА, Д.221 «А»
Семенов Алексей Анатольевич ранее являлся учредителем 8 организаций Исторические данные
ООО «САЯННЕФТЬ»
ДействуетДиректор: Семенов Алексей Анатольевич
ИНН: 2433004023
ОГРН: 1082440000488
Дата создания: 18.
09.2008
Основной вид деятельности: 46.71.2 Торговля оптовая моторным топливом, включая авиационный бензин
Адрес: 663580, Красноярский край, Р-Н САЯНСКИЙ, С. АГИНСКОЕ, Д.51 КМ АВТОДОРОГИ «ЗАОЗЕРНОЕ АГИНСКОЕ» АЗ
Период полномочий: с 2008-09-18 по 2022-05-26
ООО » ЭКЛИПТИКА «
ДействуетДиректор: Токаревич Людмила Владимировна
ИНН: 2465096901
ОГРН: 1062465000850
Дата создания: 17.01.2006
Основной вид деятельности: 46.71.2 Торговля оптовая моторным топливом, включая авиационный бензин
Адрес: 660001, Красноярский край, Г. КРАСНОЯРСК, УЛ. ЛЕНИНА, Д.221 «А»
Период полномочий: с 2009-10-05 по 2022-05-16
ООО «КРАБЫ»
ДействуетДиректор: Карбивничий Владимир Владимирович
ИНН: 2460234202
ОГРН: 1112468073068
Дата создания: 02.12.2011
Основной вид деятельности: 56.30 Подача напитков
Адрес: 660075, Красноярский край, Г. КРАСНОЯРСК, УЛ. КРАСНОЙ ГВАРДИИ, Д. 24, ПОМЕЩ.
Период полномочий: с 2011-12-02 по 2022-03-22
ООО «БНК»
ДействуетДиректор: Карбивничий Владимир Владимирович
ИНН: 2460249713
ОГРН: 1132468056929
Дата создания: 16.10.2013
Основной вид деятельности: 49.32 Деятельность легкового такси и арендованных легковых автомобилей с водителем
Адрес: 660075, Красноярский край, Г. КРАСНОЯРСК, УЛ. КРАСНОЙ ГВАРДИИ, Д. 24, ПОМЕЩЕНИЕ 28
Период полномочий: с 2013-10-16 по 2020-10-06
ООО «КАЛИНОВСКОЕ»
ДействуетДиректор: Семенов Алексей Анатольевич
ИНН: 2433002185
ОГРН: 1092440000278
Дата создания: 31.08.2009
Основной вид деятельности: 01.6 Деятельность вспомогательная в области производства сельскохозяйственных культур и послеуборочной обработки сельхозпродукции
Адрес: 663580, Красноярский край, Р-Н САЯНСКИЙ, С. АГИНСКОЕ, Д.51 КМ АВТОДОРОГИ ЗАОЗЕРНОЕ АГИНСКОЕ АЗ
Период полномочий: с 2009-08-31 по 2019-09-26
ООО «УНЕРСКОЕ»
ДействуетДиректор: Кирьянов Владимир Викторович
ИНН: 2433004489
ОГРН: 1142448000595
Дата создания: 06.
06.2014
Основной вид деятельности: 49.41 Деятельность автомобильного грузового транспорта
Адрес: 663580, Красноярский край, Р-Н САЯНСКИЙ, С. АГИНСКОЕ, УЛ. СОВЕТСКАЯ, Д.253
Период полномочий: с 2014-06-06 по 2019-09-26
ООО «ПЯТЫЙ ЭЛЕМЕНТ»
ДействуетДиректор: Кирьянов Владимир Викторович
ИНН: 2460232773
ОГРН: 1112468055743
Дата создания: 21.09.2011
Основной вид деятельности: 47.3 Торговля розничная моторным топливом в специализированных магазинах
Адрес: 660001, Красноярский край, Г. КРАСНОЯРСК, УЛ. ЛЕНИНА, Д.221А, ОФИС 316
Период полномочий: с 2011-09-21 по 2019-09-26
ООО «КАТАЛИНА»
Не действуетДиректор: Дубицкая Тамара Владимировна
ИНН: 2460209421
ОГРН: 1082468034736
Дата создания: 17.07.2008
Основной вид деятельности: 47.30 Торговля розничная моторным топливом в специализированных магазинах
Адрес: 660001, КРАЙ КРАСНОЯРСКИЙ, Г. КРАСНОЯРСК, УЛ. ЛЕНИНА, Д.
221А
Период полномочий: с 2008-07-17 по 2019-04-11
Индивидуальный предприниматель (1)
Семенов Алексей Анатольевич является индивидуальным предпринимателем 1 организации
Семенов Алексей Анатольевич
ДействуетИНН: 244305107973
ОГРН: 317246800069356
Дата создания: 28.06.2017
Основной вид деятельности: 49.41 Деятельность автомобильного грузового транспорта
Адрес:
Семенов Алексей Анатольевич, Агинское
Информация по организациям, в которых Семенов Алексей Анатольевич, Агинское, является/являлся учредителем и/или директором, приведена с учетом ИНН 244305107973 физического лица.
Проверка по реестрам
Реестр дисквалифицированных лиц
Отсутствует
Руководитель
Семенов Алексей Анатольевич является/являлся руководителем 4 компаний.
ООО «МАЯК АГРО»
663580, Красноярский край, Саянский р-н, Агинское с.
, Советская ул., Д. 253
- ИНН
- 2433004658
- ОГРН
- 1212400029346
ОБЩЕСТВО С ОГРАНИЧЕННОЙ ОТВЕТСТВЕННОСТЬЮ «КАЛИНОВСКОЕ»
663580, Красноярский край, Саянский р-н, Агинское с., Д.51 КМ АВТОДОРОГИ ЗАОЗЕРНОЕ АГИНСКОЕ АЗ
- ИНН
- 2433002185
- ОГРН
- 1092440000278
15,9 млн.
Выручка, руб
1,739 млн.
Прибыль, руб
ОБЩЕСТВО С ОГРАНИЧЕННОЙ ОТВЕТСТВЕННОСТЬЮ «САЯННЕФТЬ»
663580, Красноярский край, Саянский р-н, Агинское с, Д.51 КМ АВТОДОРОГИ «ЗАОЗЕРНОЕ АГИНСКОЕ» АЗ
- ИНН
- 2433004023
- ОГРН
- 1082440000488
840 тыс.
Выручка, руб
-51 тыс.
Прибыль, руб
ОБЩЕСТВО С ОГРАНИЧЕННОЙ ОТВЕТСТВЕННОСТЬЮ » КВИАС ТРЕЙД «
660001, Красноярский край, Красноярск г., Ленина ул., Д.221 «А»
- ИНН
- ОГРН
- 1022401152729
124,821 млн.
Выручка, руб
-12,354 млн.
Прибыль, руб
Учредитель
Семенов Алексей Анатольевич — учредитель 3 компаний.
ООО «МАЯК АГРО»
663580, Красноярский край, Саянский р-н, Агинское с., Советская ул., Д. 253
- ИНН
- 2433004658
- ОГРН
- 1212400029346
ОБЩЕСТВО С ОГРАНИЧЕННОЙ ОТВЕТСТВЕННОСТЬЮ «БАР-С»
660075, Красноярский край, Красноярск г.
, Красной гвардии ул., Д. 24, ПОМЕЩ. 28
- ИНН
- 2460238775
- ОГРН
- 1122468032411
21,371 млн.
Выручка, руб
-5,151 млн.
Прибыль, руб
ОБЩЕСТВО С ОГРАНИЧЕННОЙ ОТВЕТСТВЕННОСТЬЮ » КВИАС ТРЕЙД «
660001, Красноярский край, Красноярск г., Ленина ул., Д.221 «А»
- ИНН
- 2443018113
- ОГРН
- 1022401152729
124,821 млн.
Выручка, руб
-12,354 млн.
Прибыль, руб
Алексей Игнатьев
Я старший преподаватель отдела оптимизации исследовательская группа факультета Информационные технологии Университета Монаша.
Ранее я был постдокторантом под руководством Жоао Маркеса-Сильвы, а затем
научный сотрудник Reason Lab, факультет
наук, Лиссабонский университет,
работа над различными темами, связанными с вычислениями и рассуждениями с помощью оракулов SAT,
среди многих других проблемных областей.
Я защитил докторскую диссертацию. (кандидат физико-математических наук в России) под руководством Александра Алексеевича. Семенов в Институте динамики систем и теории управления имени Матросова, НИИ РАН. Моя диссертация была о сочетание обучения предложений, управляемого конфликтами (CDCL), с бинарными диаграммами решений (BDD) выполняются параллельно.
В настоящее время мои исследования в основном сосредоточены на разработке и улучшении высокоэффективное решение на основе SAT и SMT (теории выполнимости по модулю) и процедуры оптимизации, нацеленные на ряд важных практических приложения в ИИ: от возможности обновления программного пакета и булевой формулы от минимизации до диагностики на основе моделей (MBD), локализации ошибок программного обеспечения и Объяснимый ИИ (XAI).
| 19 ноября 2022 г. | Наша газета «Устранение невозможного, все, что осталось, должно быть правдой» (в соавторстве с Jinqiang Yu,
Питер Дж. Стаки, Нина
Народицкая, а.
Joao Marques-Silva) принят в АААИ 2023 ! |
| 30 сентября 2022 г. | Наша статья «О решении проблемы избыточности объяснений в деревьях решений» (в соавторстве с Ясин Изза и Жоао Маркиза-Сильва) принят в ДЖАИР ! |
| 1 декабря 2021 г. | Наши документы «Использование MaxSAT для эффективного объяснения ансамблей деревьев» (в соавторстве с Ясин Изза, Питер Дж.
Стаки и Жоао
Маркес-Сильва), «Полезные объяснения
для классификаторов d-DNNF» (в соавторстве с Xuanxiang
Хуанг,
Ясин Изза, Мартин С.
Купер,
Николай
Ашер,
и Жоао Маркес-Сильва), и «Объяснения моделей черного ящика на основе ограничений» (в соавторстве
с Адитьей Шротри, Ниной
Народицкая, Кулдип
С. Мил, Жоао
Маркиз-Сильва и Моше
Vardi) принимаются по адресу AAAI. 2022 ! |
| 16 октября 2021 г. | Наш документ «Предоставление надежного ИИ с помощью формального XAI» (в соавторстве с вместе с Жоао Маркесом-Сильвой) принято по адресу AAAI 2022 ! |
| 12 октября 2021 г. | Наша статья «Изучение наборов и списков оптимальных решений с помощью SAT» (в соавторстве вместе с Jinqiang Yu, Peter J. Стаки и Пьер Ле Бодич) принимается ДЖАИР ! |
|
Эта статья цитируется в 2 научных статьях (всего в 2 статьях) Модели деформирования подкрепленных ортотропных оболочек при динамическом нагружении Семенов Алексей Анатольевич Санкт-Петербургский государственный архитектурно-строительный университет, 2-я Красноармейская, 4, Санкт-Петербург, 1 , РоссияПолнотекстовый PDF (198 КБ) Ссылки: HTML DOI: https://doi.org/10.17516/1997-1397-2016-9-4-485-497 Реферат: В статье рассматриваются две модели деформирования армированных ортотропных оболочек при динамическом нагружении. Ключевые слова: математическая модель, оболочка, динамическое нагружение, ортотропия, геометрическая нелинейность, уравнения движения, метод конструктивной анизотропии.
Получен: 23.03.2016 Тип данных. Артикул УДК: 539.3, 531.3, 001.891.573 Язык: Английский Ссылка: Алексей А. Семенов, “Модели деформирования подкрепленных ортотропных оболочек при динамическом нагружении”, Журн. СФУ. Кормили. ун-т Мат. физ., 9: 4 (2016), 485–497 Цитирование в формате AMSBIB Варианты подключения: Эта публикация цитируется в следующих статьях:
| ||||||||||||||||||||||||||||||||||||||||||||||||||
Математика и физика, 2016, том 9, выпуск 4, страницы 485–497 
Одна такая модель представлена в виде уравнений движения, а другая — в виде системы обыкновенных дифференциальных уравнений. Математические модели основаны на положениях теории оболочек Кирхгофа–Лява. Они учитывают геометрическую нелинейность, ортотропные свойства материалов и элементов армирования. Все соотношения моделей имеют общий вид и могут быть использованы для широкого круга конструкций (пологие оболочки двойной кривизны, цилиндрические, конические, сферические и тороидальные оболочки и панели и др.). Важной особенностью предлагаемой модели является возможность введения ребер жесткости как дискретно, так и методом конструктивной анизотропии (МКА) в соответствии с их жесткостью на сдвиг и кручение. Вторая модель получена путем применения метода Канторовича к функционалу полной энергии деформации оболочки. Полученная начальная задача решается легче, чем система уравнений движения в частных производных.
~Семенов 