Informacja

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

Wyszukujesz frazę "ATL" wg kryterium: Temat


Wyświetlanie 1-6 z 6
Tytuł:
Les caractéristiques du marketing de la bancaire en Pologne dans le contexte de la crise économique. Les stratégies du marketing des banques d'entreprises, les modèles d'opération, marketing de services financiers
Autorzy:
Brudnicki, Artur
Powiązania:
https://bibliotekanauki.pl/articles/2156923.pdf
Data publikacji:
2013
Wydawca:
Instytut Studiów Międzynarodowych i Edukacji Humanum
Tematy:
Brand management
banking
financial services marketing
banking marketing
advertising campaign
image
corporate banking
ATL
brand communication
marketing B2B
Opis:
The characteristics of marketing strategies in Polish banking sector in the context of the financial crisis. The marketing strategies & business models for corporate banking business. The marketing of the financial services. The article concerns the specifics of communicating the image of the retail and corporate bank to the market. It also shows the general characteristics of marketing activities in the banking market, with particular emphasis on the separateness of corporate banking market - both marketing and product. The specificity of marketing activities in this market stems from three areas – financial services marketing, banking marketing and the crucial – the specif- ics of business in the institutional market. Characteristics takes into account the impact of the current financial crisis as the main factor affecting the strategies of banks on the Polish market.
Źródło:
Społeczeństwo i Edukacja. Międzynarodowe Studia Humanistyczne; 2013, 1(11); 67-81
1898-0171
Pojawia się w:
Społeczeństwo i Edukacja. Międzynarodowe Studia Humanistyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Les caractéristiques du marketing de la bancaire en Pologne dans le contexte de la crise économique. Les stratégies du marketing des banques d’entreprises, les modèles d’opération, marketing de services financiers
The characteristics of marketing strategies in Polish banking sector in the context of the financial crisis. The marketing strategies & business models for corporate banking business. The marketing of the financial services
Autorzy:
Brudnicki, Artur
Powiązania:
https://bibliotekanauki.pl/articles/2135499.pdf
Data publikacji:
2013
Wydawca:
Instytut Studiów Międzynarodowych i Edukacji Humanum
Tematy:
Brand management
banking
financial services marketing
banking marketing
advertising campaign
image
corporate banking
ATL
brand communication
marketing B2B
Opis:
The article concerns the specifics of communicating the image of the re- tail and corporate bank to the market. It also shows the general characteristics of marketing activities in the banking market, with particular emphasis on the separateness of corporate banking market - both marketing and product. The specificity of marketing activities in this market stems from three areas – financial services marketing, banking marketing and the crucial – the specifics of business in the institutional market. Characteristics takes into account the impact of the current financial crisis as the main factor affecting the strategies of banks on the Polish market.
Źródło:
Humanum. Międzynarodowe Studia Społeczno-Humanistyczne; 2013, 1(10); 19-31
1898-8431
Pojawia się w:
Humanum. Międzynarodowe Studia Społeczno-Humanistyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Underapproximating ATL with Imperfect Information and Imperfect Recall
Dolna Aproksymacja Bezpamięciowego ATL o Niepełnej Informacji
Autorzy:
Jamroga, W.
Knapik, M.
Powiązania:
https://bibliotekanauki.pl/articles/182675.pdf
Data publikacji:
2015
Wydawca:
Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:
ATL
model checking
approximation
weryfikacja
aproksymacja
Opis:
We investigate the correspondence between model checking of af-AMCi and ATLir , on the example of reachability. We identify some of the reasons for the fact that these logics are of uncomparable expressivity. These observations form the basis for a novel method for underapproximating ATLir by means of fixed-point calculations. We introduce a special version of the next-step operator, called Persistent Imperfect Next-Step Operator h_iF and show how it can be used to define a new version of reachability that carries to ATLir.
W pracy badane są związki pomiędzy weryfikacją modelową Bezpamięciowej Logiki Temporalnej Czasu Alternującego z Niepełną Informacją ATLir i Epistemicznego Alternującego Mu-Rachunku af-AMCi. Jak pokazano, naturalne uogólnienia pojęcia osiągalności z ATLir -a do af-AMCi nie przynoszą dobrych efektów: osiągalność w af-AMCi nie pociąga za sobą osiągalności w ATLir . Po zidentyfikowaniu części powodów, dla których tak się dzieje, zaproponowano nową wersję operatora następnego kroku, który pozwala na przybliżanie osiągalności w ATLir przy pomocy obliczeń stałopunktowych.
Źródło:
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk; 2015, 1032; 1-16
0138-0648
Pojawia się w:
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Unbounded Model Checking for ATL
Autorzy:
Kański, Michał
Niewiadomski, Artur
Kacprzak, Magdalena
Penczek, Wojciech
Nabiałek, Wojciech
Powiązania:
https://bibliotekanauki.pl/articles/2175150.pdf
Data publikacji:
2021
Wydawca:
Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
Tematy:
ATL
temporal logics
model checking
SAT
SMT
QBF
Opis:
In this paper, we deal with verification of multi-agent systems represented as concurrent game structures. To express properties to be verified, we use Alternating-Time Temporal Logic (ATL) formulas. We provide an implementation of symbolic model checking for ATL and preliminary, but encouraging experimental results.
Źródło:
Studia Informatica : systems and information technology; 2021, 1-2(25); 5--22
1731-2264
Pojawia się w:
Studia Informatica : systems and information technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wytwarzanie serwisów informacyjnych z wykorzystaniem koncepcji modelowania dziedzin : budowa transformacji
Production of information services using the concept of domain modeling : construction of transformation
Autorzy:
Kosior, A.
Stasiak, A.
Dąbrowski, W.
Powiązania:
https://bibliotekanauki.pl/articles/273395.pdf
Data publikacji:
2012
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
transformacje
M2M
M2T
T2M
JET
języki opisu transformacji
ATL
QVT
Tefkat
model mapowań
Model Type Mapping
Model Instance Mapping
mapa powiązań
transformations
description of transformation languages
mapping model
Mapping Model Instance
connections map
Opis:
W artykule przedstawiono klasyfikację transformacji modeli (M2M, M2T, T2M, JET) oraz modeli mapowań. Szczegółowo omówiono proces wytwarzania generycznych mechanizmów transformacji umożliwiających wielokrotne przekształcenia modeli. Dodatkowo zaprezentowano przykładowe transformacje opracowane w ramach projektu serwisu informacyjnego.
The paper presents a classification of models transformations (M2M, M2T, T2M, JET) and mapping models. The process of producing generic transformation mechanisms allowing to multiple models transformations is discussed in details. In addition, examples of transformations are presented within the information service project.
Źródło:
Biuletyn Instytutu Automatyki i Robotyki; 2012, R. 18, nr 32, 32; 53-83
1427-3578
Pojawia się w:
Biuletyn Instytutu Automatyki i Robotyki
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