Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Szałas, A." wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-6 z 6
    Tytuł:
    Semantic Web in a Nutshell
    Sieć semantyczna w pigułce
    Autorzy:
    Szałas, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/91341.pdf
    Data publikacji:
    2011
    Wydawca:
    Warszawska Wyższa Szkoła Informatyki
    Tematy:
    semantic web
    specification of ontologies
    verification of ontologies
    Semantyczny Internet
    specyfikacja ontologii
    weryfikacja ontologii
    Opis:
    The paper outlines selected topics related to Semantic Web. We start with problems with the use of current web search engines. Next, we discuss the architecture and basic concepts of Semantic Web whose central ideas focus around ontologies. We show the role of logics in the specification and verification of ontologies as well as reasoning about them. We mainly concentrate on rule languages. In particular we discuss the 4QL query language supplying the user with simple, yet powerful constructs for filling gaps in missing knowledge as well as for disambiguation of inconsistencies.
    Artykuł zarysowuje wybrane zagadnienia związane z Semantycznym Internetem. Wychodząc od problemów rozwiązań stosowanych we współczesnych wyszukiwarkach, traktuje o architekturze i zasadniczych koncepcjach Semantycznego Internetu, którego kluczowym pojęciem są ontologie. Tekst omawia miejsce logik w specyfikacji i weryfikacji ontologii, a także wnioskowaniu o nich, koncentrując się przede wszystkim na językach regułowych, w tym na języku 4QL, dostarczającym prostych konstrukcji umożliwiających reakcję na niepełną i/lub sprzeczną informację.
    Źródło:
    Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki; 2011, 5, 6; 14-19
    1896-396X
    2082-8349
    Pojawia się w:
    Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    O pewnych zastosowaniach eliminacji kwantyfikatorów w robotyce
    Autorzy:
    Szałas, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/91375.pdf
    Data publikacji:
    2006
    Wydawca:
    Warszawska Wyższa Szkoła Informatyki
    Tematy:
    kwantyfikatory
    robotyka
    techniki logistyczne
    quantifiers
    robotics
    logical methods
    Opis:
    Niniejszy wykład zarysowuje w popularyzującym ujęciu wybrane zagadnieniom efektywnego wnioskowania prowadzonego w warunkach, w których mamy do czynienia z wiedzą niepełną, niepewną i silnie zaszumioną, gdy trzeba poradzić sobie ze złej jakości danymi, w tym bieżącymi odczytami pomiarów, obrazami z kamer itp. Wykład jest oparty o rozwiązania opracowane dla potrzeb bezzałogowych helikopterów (rzeczywiście wykonujących loty bezzałogowe w kontrolowanych warunkach poligonowych). W szczególności naszkicowane będą dość subtelne formy wnioskowania wykorzystujące niebanalne techniki logiczne, drastycznie obniżające złożoność wnioskowania w dużej klasie teorii spotykanych w praktyce.
    The current lecture provides a popular overview of selected topics concerning efficient reasoning dealing with incomplete and noisy data of bad quality, collected from sensors and video cameras. The lecture is based on solutions worked out for autonomous aerial vehicles and test flights over a rescure training area in Revinge (Sweden). In particular we sketch rather subtle forms of reasoning based on nontrivial logical methods substantially deceasing the complexity of reasoning in a large class of theories applied in practice.
    Źródło:
    Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki; 2006, 1, 1; 139-147
    1896-396X
    2082-8349
    Pojawia się w:
    Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Negatywna informacja w języku regułowym 4QL
    Negative information in a rule-based language 4QL
    Autorzy:
    Małuszyński, J.
    Szałas, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/91461.pdf
    Data publikacji:
    2013
    Wydawca:
    Warszawska Wyższa Szkoła Informatyki
    Tematy:
    regułowe języki zapytań
    wnioskowanie niemonotoniczne
    informacja negatywna
    informacja sprzeczna
    informacja niepełna
    rule-based query languages
    nonmonotonic reasoning
    negative information
    inconsistent information
    incomplete information
    Opis:
    Problematyka negatywnej informacji w językach regułowych jest zasadnicza z punktu widzenia dużej liczby aplikacji. Była ona rozważana w rozszerzeniach języków zapytań w dedukcyjnych bazach danych, opartych na wnioskowaniach niemonotonicznych, początkowo wynikających z założenia o zamkniętym świecie CWA (Closed World Assumption). W wielu zastosowaniach, w tym związanych z Semantycznym Internetem i robotyką, założenie CWA nie jest właściwe i zwykle przyjmuje się w nich założenie o świecie otwartym OWA (Open World Assumption). W niniejszym artykule omawiamy nowe podejście do tego problemu, przedstawione w [2] [3] [4], gdzie zaproponowaliśmy język regułowy 4QL w stylu Datalogu, jednak bez ograniczeń na wystąpienie negacji. Język ma architekturę warstwową. Najniższe warstwy 4QL, oparte na OWA, są w pełni monotoniczne. W celu zmniejszenia stref niewiedzy/sprzeczności w [2] [3] wprowadzono proste konstrukcje pozwalające na wyrażanie mechanizmów wnioskowań niemonotonicznych, w tym umożliwiających rozwiązywanie sprzeczności, użycie lokalnych domknięć świata (a więc także CWA) oraz różnych form wnioskowań przez domniemania. Obliczanie zapytań w 4QL ma złożoność wielomianową ze względu na rozmiar bazy danych.
    The problem of negative information in rule languages is crucial in many applications. It has been addressed in extensions of query languages in deductive databases, based on nonmonotonic logics initially derived from the Closed World Assumption (CWA). In many applications, including Semantic Web technologies and robotics systems, CWA is not necessarily applicable and developments in these fields usually follow the Open World Assumption (OWA). In this paper we summarize a novel approach to the problem reported in [2] [3] [4], where we proposed a DATALOG-like language 4QL with unrestricted negation. The language supports a layered architecture. The monotonic layer of 4QL, based on OWA, is fully monotonic. To reduce the unknown/inconsistent zones, in [2] [3] we have introduced simple constructs which allow one to express various mechanisms of nonmonotonic reasoning. In particular, this provides means for application-specific disambiguation of inconsistent information, the use of Local CWA (thus also CWA, if needed), and various forms of default reasoning. Query evaluation in 4QL is still tractable as regards its data complexity.
    Źródło:
    Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki; 2013, 7, 9; 7-14
    1896-396X
    2082-8349
    Pojawia się w:
    Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Chińskie inwestycje w regionie Bałkanów Zachodnich. Szansa czy zagrożenie?
    Chinese Investments in the Western Balkans Region. A Challenge or a Threat?
    Autorzy:
    Jagodziński, Przemysław
    Szałas, Jacek
    Powiązania:
    https://bibliotekanauki.pl/articles/2139538.pdf
    Data publikacji:
    2021-12-28
    Wydawca:
    Wydawnictwo Naukowe Dolnośląskiej Szkoły Wyższej
    Tematy:
    Chiny
    Chińska Republika Ludowa
    inwestycje
    Bałkany
    Serbia
    Czarnogóra
    China
    People's Republic of China
    investments
    Balkans
    Montenegro
    Opis:
    Od niemal dekady odnotowywany jest wzrost inwestycji Chińskiej Republiki Ludowej w regionie Bałkanów Zachodnich. Kapitał pochodzący z Państwa Środka wpływa bezpośrednio na rozwój m.in. infrastruktury transportowej czy sektora energetycznego. Chińskie inwestycje w obrębie państw byłej Jugosławii zdaniem autorów są strategicznymi elementami polityki zagranicznej Chińskiej Republiki Ludowej, które wpisują się w realizację zainicjowanego w 2013 r. przedsięwzięcia pod nazwą One Belt One Road. W treści artykułu wskazane zostały deklarowane cele oraz struktura chińskich inwestycji bezpośrednich. Ponadto określono wpływ działalności Chińskiej Republiki Ludowej na gospodarkę oraz procesy polityczne w tamtejszym regionie. Zdaniem autorów chińskie inwestycje są elementem oddziaływania w ramach sharp power, którego nadrzędnym celem jest uzależnienie państw bałkańskich od chińskiego kapitału, co jednocześnie osłabi wpływy pozostałych światowych mocarstw w tamtym regionie. Celem weryfikacji hipotez oraz odpowiedzi na pytania badawcze autorzy skorzystali z takich narzędzi metodologicznych jak analiza treści, analiza systemowa czy analiza krytyczna.
    For almost a decade, there has been an increase in the investments of the People's Republic of China in the Western Balkans. Capital from the Middle Kingdom has a direct impact on the development of transport infrastructure or the energy sector. According to the authors, Chinese investments within the countries of the former Yugoslavia are a strategic element of the PRC's foreign policy, which is part of the implementation of the project initiated in 2013 under the name One Belt One Road. The article indicates the declared goals and structure of Chinese direct investment. In addition, the impact of the activities of the PRC on the economy and political processes in the region was determined. According to the authors, Chinese investments are the element of influence within the framework of sharp power, the overarching goal of which is to make the Balkan states dependent on Chinese capital, which at the same time will weaken the influence of other world powers in the region. In order to verify hypotheses and answer research questions, the authors used methodological tools such as content analysis, system analysis, or critical analysis.
    Źródło:
    Rocznik Bezpieczeństwa Międzynarodowego; 2021, 15, 2; 15-37
    1896-8848
    2450-3436
    Pojawia się w:
    Rocznik Bezpieczeństwa Międzynarodowego
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Secesja : hasło "Chcemy mieszkać a nie kwaterować" wymyślone w Koszalinie zaczyna robić furorę na północy kraju : reportaż
    Autorzy:
    Przeciszewski, Roman.
    Powiązania:
    Polska Zbrojna 1998, nr 32, s. 34-36
    Współwytwórcy:
    Szałas, Maria Anna. Sprostowanie
    Mazur, Stanisław. Sprostowanie
    Data publikacji:
    1998
    Tematy:
    Wojskowa Agencja Mieszkaniowa
    Mieszkania wojsko administracja Polska
    Mieszkania gospodarka wojsko Polska
    Opis:
    Sprost.:; Przyczyny "Secesji"; Maria Anna Szałas; Polska Zbrojna; 1998; nr 40; s. 36.
    Sprost.:; Druga strona "Secesji"; Stanisław Mazur; Tamże; nr 48; s. 27.
    Fot.
    Dostawca treści:
    Bibliografia CBW
    Artykuł
    Tytuł:
    Wybrane konsekwencje prawne śmierci i zaginięcia żywiciela rodziny względem osób uprawnionych do alimentacji a potrzeba wprowadzenia tymczasowej renty rodzinnej
    Selected legal consequences of the death and disappearance of the breadwinner for persons entitled to maintenance and the need to introduce temporary survivor’s pension
    Отдельные правовые последствия смерти и пропажи кормильца в отношении лиц, имеющих право на получение алиментов и необходимость установления временной пенсии по случаю потери кормильца
    Вибрані правові наслідки смерті та зникнення годувальника сім’ї щодо осіб, які мають право на аліменти а необхідність запровадження тимчасової пенсії у зв’язку з втратою годувальника
    Autorzy:
    Maciejewska-Szałas, Maja
    Świątek-Rudoman, Justyna
    Powiązania:
    https://bibliotekanauki.pl/articles/33542133.pdf
    Data publikacji:
    2023
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II
    Tematy:
    тимчасова пенсія у зв’язку з втратою годувальника
    сімейна виплата
    втрата годувальника
    зникнення безвісти
    визнання померлим
    временная пенсия по случаю потери кормильца
    пенсия по случаю потери кормильца
    потеря кормильца
    пропажа без вести
    объявление умершим
    tymczasowa renta rodzinna
    renta rodzinna
    utrata żywiciela
    zagnięcie
    uznanie za zmarłego
    temporary survivor’s pension
    survivor’s pension
    loss of breadwinner
    disappearance
    declaration of death
    Opis:
    Przedmiotem artykułu są wybrane konsekwencje prawne śmierci i zaginięcia żywiciela rodziny względem osób uprawnionych do alimentacji w kontekście potrzeby ustanowienia tymczasowej renty rodzinnej oraz wprowadzenia specjalnego trybu postępowania skutkującego przyznaniem wskazanego świadczenia. Na potrzeby wywodu posłużono się metodą dogmatycznoprawną. Celem artykułu jest przedstawienie i analiza skomplikowanego trybu postępowania w sprawach o uznanie za zmarłego i związanych z nim wątpliwości, a przede wszystkim zgłoszenie wniosków de lege ferenda wprowadzenia do porządku prawnego tymczasowej renty rodzinnej w sytuacji zaginięcia żywiciela rodziny i możliwego trybu jej przyznania. Śmierć osoby zobowiązanej do alimentacji rodzi prawo do renty rodzinnej. Natomiast zaginięcie żywiciela rodziny nie znajduje odzwierciedlenia w automatycznym ustanowieniu zabezpieczenia osób uprawnionych do alimentacji. Prawomocne uznanie zaginionego za zmarłego przez sąd jest zasadniczo możliwe dopiero po upływie dekady od końca roku kalendarzowego, w którym zaginął. W związku z powyższym przede wszystkim małoletnie dzieci zostają przez bardzo długi czas pozbawione środków do życia. W celu uniknięcia powstawania takich sytuacji autorki zaproponowały wprowadzenie tymczasowej renty rodzinnej w przypadku zaginięcia żywiciela rodziny oraz przedstawiły możliwy tryb postępowania mającego na celu jej przyznanie. Wyglądałby on następująco: złożenie wniosku o przyznanie tymczasowej renty rodzinnej przez podmiot uprawniony możliwe byłoby po upływie okresu rocznej karencji od dnia zaginięcia żywiciela rodziny, przy czym wskazaną okoliczność ustalałyby i weryfikowałyby organy ścigania. Następnie po przeprowadzeniu przez organ rentowy postępowania wyjaśniającego przyznawałby on uprawnionemu świadczenie w postaci tymczasowej renty rodzinnej. W przypadku decyzji odmownej i odwołania skarżącego otworzyłby się etap postępowania sądowego, tj. postępowania odrębnego w sprawach z zakresu pracy i ubezpieczeń społecznych z pełną inicjatywą dowodową i kognicją sądu powszechnego.
    У статті розглядаються окремі правові наслідки смерті та зникнення годувальника сім’ї для осіб, які мають право на аліменти, у контексті необхідності встановлення тимчасової пенсії у зв’язку з втратою годувальника та запровадження особливого порядку, наслідком якого є встановлення зазначеної пенсії. Для аргументації використовувався догматико-правовий метод. Метою статті є представити та проаналізувати складну процедуру у справах про оголошення померлим та пов’язані з цим сумніви, а також, перш за все, представлення висновків de lege ferenda про введення в правову систему тимчасової пенсії у зв’язку з втратою годувальника у разі його зникнення та можливий порядок її призначення. У разі смерті особи, яка зобов’язана сплачувати аліменти, виникає право на пенсію у зв’язку з втратою годувальника. З іншого боку, зникнення годувальника не відображається в автоматичному встановленні забезпечення особам, які мають право на аліменти. Юридичне визнання в суді померлою особи, яка пропала безвісти, можливе лише після 10 років, рахуючи з кінця календарного року, в якому особа пропала безвісти. Тому неповнолітні діти на дуже тривалий час позбавлені засобів до існування. Для уникнення подібних ситуацій автори запропонували запровадити тимчасову пенсію у зв’язку з втратою годувальника у разі його зникнення та представили можливий порядок її призначення. Виглядало б це так: подання заяви про призначення тимчасової пенсії у зв’язку з втратою годувальника було б можливе після закінчення річного періоду з дня зникнення годувальникa. Встановлення зазначених обставин будуть проводити правоохороннi органи. Потім, після проведення роз’яснювальної роботи органом пенсійного забезпечення, цей орган встановлює допомогу у вигляді тимчасової пенсії у зв’язку з втратою годувальника. У разі негативного рішення та відмови заявникy відкривається стадія судового провадження, тобто окреме провадження у трудових та соціально-забезпечувальних справах з повною ініціативою доказів та рішенням суду загальної юрисдикції.
    Предметом статьи являются отдельные правовые последствия смерти и пропажи без вести кормильца в отношении лиц, имеющих право на алименты, в контексте необходимости установления временной пенсии по случаю потери кормильца и введения специальной процедуры, приводящей к предоставлению указанного пособия. Для целей аргументации в настоящей статье, был использован догматический правовой метод. Цель статьи – представить и проанализировать сложную процедуру в делах об объявлении умершим и сомнений, с ней связанных, а также внести предложения de lege ferenda по введению в правопорядок временной пенсии по случаю потери кормильца в ситуации безвестно отсутствующего кормильца и возможной процедуры ее назначения. Смерть лица, обязанного выплачивать алименты, дает право на пенсию по потере кормильца. В отличие от этого, пропажа кормильца не означает автоматического установления обеспечения для лиц, имеющих право на содержание. Юридически действительное признание судом смерти пропавшего человека возможно, как правило, только по истечении десяти лет с момента окончания календарного года, в котором он пропал. В результате, в частности, несовершеннолетние дети надолго остаются без средств к существованию. Чтобы избежать возникновения подобных ситуаций, авторы настоящей статьи предложили ввести временную пенсию по случаю потери кормильца в случае его пропажи и описали возможную процедуру ее назначения. Это могло бы выглядеть следующим образом: предусмотрена возможность подачи заявления о назначении временной пенсии по случаю потери кормильца правомочным субъектом по истечении года отсрочки со дня пропажи кормильца, при одновременном установлении и проверке указанного обстоятельства правоохранительными органами. Впоследствии, после проведения проверки пенсионным органом, он назначит получателю временное пособие по потере кормильца. В случае принятия решения об отказе и подачи апелляции заявителем открывается стадия судебного производства, т.е. особого производства по делам трудового и социального страхования с полной доказательной инициативой и юрисдикцией общего суда.
    The subject of this article is the selected legal consequences of the death and disappearance of the breadwinner for persons entitled to maintenance in the context of the need to establish a temporary survivor’s pension and introduce a special procedure resulting in the award of the benefit in question. For the purpose of the argument, a dogmatic-legal method was used. The aim of the article is to present and analyse the complicated procedure in cases involving declaration of death and related doubts, and above all, the submission of de lege ferenda proposals for the introduction into the legal order of a temporary survivor’s pension in cases when the breadwinner is missing and the possible procedure for its award. The death of the person owing maintenance gives rise to the right to survivor’s pension. In contrast, the disappearance of the breadwinner does not translate into automatic establishment of protection for persons entitled to maintenance. In principle, a legally valid court declaration of the death of a missing person is possible only after a decade since the end of the calendar year in which they disappeared. In view of the above, especially minor children are left destitute for a very long time. In order to avoid such situations, the authors propose the introduction of a temporary survivor’s pension in the event of the disappearance of the breadwinner and outline a possible procedure for its award. It would look as follows: the submission of an application for a temporary survivor’s pension by the rightholder would be possible after a one-year grace period from the date of disappearance of the breadwinner, whilst this circumstance would be determined and verified by law enforcement agencies. Subsequently, following an investigation by the pension authority, it would grant the rightholder a benefit in the form of a temporary survivor’s pension. In the case of a refusal and appeal by the applicant, court proceedings would be opened, i.e. separate proceedings in labour and social security cases with full right to adduce evidence and ordinary court’s jurisdiction.
    Źródło:
    Studia Prawnicze KUL; 2023, 2; 153-173
    1897-7146
    2719-4264
    Pojawia się w:
    Studia Prawnicze KUL
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-6 z 6

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies