Wyniki wyszukiwania - BazTech

1

Procesy planowania w przedsiębiorstwach na rynku NewConnect

Woźniak J.

Nowoczesne Systemy Zarządzania

|

2017

|

T. 12, nr 3

59--80

PL

Zasadniczym celem artykułu jest wskazanie w jakim zakresie i w jakiej skali stosowane są technologie teleinformatyczne w realizacji procesów planowania w przedsiębiorstwach notowanych na rynku NewConnect w Polsce. W artykule przedstawione są wyniki badania empirycznego. Zastosowana metoda badawcza to Computer Assisted Self-Interviewing (CASI). Z przeprowadzonego badania wynika, że technologie teleinformatyczne są dostrzegane przez przedsiębiorstwa notowane na rynku NewConnect i powszechnie wdrażane w kluczowych aspektach procesów planowania lub zarządzania zasobami informacyjnymi (realizowanego na potrzeby planowania). Jednakże, nie zawsze jest doceniany ich dodatni wpływ na tego typu procesy, zwłaszcza w zakresie wsparcia działań analitycznych.

EN

The principal purpose of the article is to indicate to what extent and in what scale ICTs are used in the implementation of planning processes in companies listed on the NewConnect market in Poland. Empirical research results are presented in the paper. The applied research method is Computer Assisted Self-Interviewing (CASI). The study shows that ICTs are perceived by companies listed on the NewConnect market and widely deployed in key aspects of planning processes or information resources management processes (carried out for planning function). However, it is not always appreciated their (ICTs’) positive impact on this type of processes, especially in terms of supporting analytical functions.

2

Consistency-based Revision of Structured Belief Bases

Korpusik M., Łukaszewicz W., Madalińska-Bugaj E.

Fundamenta Informaticae

|

2015

|

Vol. 136, nr 4

381--404

EN

In this paper we extend a consistency-based approach (originally introduced by Delgrande and Schaub) to belief revision for structured belief bases. We explicitly distinguish between observations, i.e., facts that an epistemic agent observes or is being told, and rules representing general knowledge about the considered world. When new information becomes available respective sets are being altered in a different way to preserve parts of knowledge during the revision process. Such an approach allows us to deal with difficult and complex scenarios, involving defeasible information and derivation filtering, with common-sense results.

3

Model cloud computing szansą na rozwój organizacji

Skrzypek A.

Problemy Jakości

|

2014

|

R. 46, nr 3

2--7

PL

Chmura obliczeniowa to rozwiązanie rewolucjonizujące zarządzanie zasobami informacyjnymi. Staje się ono nowym paradygmatem zarządzania zasobami informacji. Model chmury obliczeniowej stanowi wynik rozwoju technologii internetowych, możliwości przesyłania dużych ilości danych i rozproszonego ich przetwarzania. W artykule przedstawiono istotę, znaczenie i zasady działania w chmurze. Przedstawiono wymagania prawne warunkujące funkcjonowanie tego rozwiązania. Stwierdzono, że synteza informacji prowadzi do wiedzy, która przyjmuje postać informacji osadzonej w realiach organizacyjnych przedsiębiorstw. Koncepcja chmury obliczeniowej prowadzi do zmiany dotychczasowego modelu zarządzania zasobami IT. Omówiono ponadto model laaS, PaaS, SaaS i CaaS, wskazano także zasady działania w chmurze. Podkreślono bardzo ważny problem jakim jest bezpieczeństwo informacji oraz sposoby zapewnienia ochrony przetwarzanych danych. Wskazano korzyści wynikające z podjęcia decyzji o korzystaniu z usług świadczonych w ramach tego modelu. Przedstawiono pojawiające się bariery związane z wdrażaniem tego rozwiązania w praktyce.

EN

Cloud computing is a solution that revolutionized the management of information resources. It has become a new paradigm of information resources management. Cloud computing model is the result of the development of IT, the possibility of transferring large amounts of data and distributed processing. The article presents the essence, importance and the principles of operation in the computing cloud. It presents legal requirements for functioning of the solution. Synthesis of information leads to knowledge which takes the form of information embedded in the organizational settings of enterprises. The concept of cloud computing leads to a transformation in the existing model of IT management. Presented arę laaS, PaaS, SaaS and CaaS models, the principles of cloud computing, issues of protection of information, ways to ensure protection of processed data, benefits from deciding to use the services provided by cloud computing model and barriers associated with the implementation of this solution in practice.

4

On the Computational Interpretation of CKn for Contextual Information Processing

Mendler M., Scheele S.

Fundamenta Informaticae

|

2014

|

Vol. 130, nr 1

125--162

EN

We aim to establish the multi-modal logic CKn as a baseline for a constructive correspondence theory of constructive modal logics. Just like many classical multi-modal logics may be studied as theories of the basic system K obtained by model-theoretic specialisation, we envisage constructive modal logics to be derived as proof-theoretic enrichments of CKn. The system CKn would then act as a core system for constructive contextual reasoning with controlled information flow. In this paper, as a first step towards this goal, we study CKn as a type theory and introduce its computational λ-calculus, λCKn. Extending previous work on CKn, we present a cut-free contextual sequent system in the spirit of Masini’s two-dimensional generalisation of natural deduction and Brünnler’s nested sequents and give a computational interpretation for CKn following the Curry- Howard Correspondence. The associated modal type theory λCKn permits an interpretation for both the modalities □ and ⋄ of CKn as type operators with simple and independent constructors and destructors, which has been missing in the literature. It is shown that the calculus satisfies subject reduction, strong normalisation and confluence. Since normal forms can be characterised by way of a Gentzen-style typing system with sub-formula property, CKn is suitable for proof search in CKn. At the same time, λCKn enjoys natural deduction style typing which is important for programming applications. In contrast to most existing modal type theories, which are obtained as theories of the constructive modal logic S4, CKn is not bound to a particular contextual interpretation. Thus, λCKn constitutes the core of a functional language which provides static type checking of information processing to support safe contextual navigation in relational structures like those treated by description logics. We review some existing work on modal type theories and discuss their relation to λCKn.