Wyniki wyszukiwania - BazEkon

1

Equality in Computer Proof-Assistants

100%

Grabowski A., Korniłowicz A., Schwarzweller C.

Annals of Computer Science and Information Systems

|

2015

|

5

45-54

Equality is fundamental notion of logic and mathematics as a whole. If computer-supported formalization of knowledge is taken into account, sooner or later one should precisely declare the intended meaning/interpretation of the primitive predicate symbol of equality. In the paper we draw some issues how computerized proof-assistants can deal with this notion, and at the same time, we propose solutions, which are not contradictory with mathematical tradition and readability of source code. Our discussion is illustrated with examples taken from the implementation of the MIZAR system.(original abstract)

2

Komputerowe wspomaganie ewaluacji multimedialnych przewodników elektronicznych

100%

Muszyńska K., Swacha J.

Zeszyty Naukowe Uniwersytetu Szczecińskiego. Ekonomiczne Problemy Usług

|

2013

|

nr 106 E-gospodarka: problemy, metody, aplikacje

35-46

Jednym z dobrze zarysowanych trendów rozwoju współczesnej turystyki jest możliwie szerokie wykorzystanie zdobyczy techniki1. Odnosi się to zarówno do nowych, multimedialnych i interaktywnych form ekspozycji, jak i nowych technik przekazu informacji interesujących dla zwiedzających. Za podstawowe rozwiązanie z tej drugiej grupy należy uznać multimedialne przewodniki elektroniczne. (fragment tekstu)

3

Potrzeby i ograniczenia rozwoju systemów automatyzacji prac biurowych

75%

Bocheński A., Kuraś M.

Zeszyty Naukowe / Akademia Ekonomiczna w Krakowie

|

1987

|

nr 248

23-42

W niniejszym artykule zaprezentowano programowanie nauczania. Przedstawiono maszyny dydaktyczne umożliwiające realizację programowanych jednostek lekcyjnych. Na koniec przedstawiono problemy projektowania systemów dydaktyki komputerowej. Przy projektowaniu uwzględniono: środowisko sprzętowe i programowe, organizację dydaktyki komputerowej.

4

Wpływ komputeryzacji prac biurowych na zarządzanie

75%

Fleming A. M., Waszak Z. t.

Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Łódzka

|

1981

|

z. 10, nr 373

63-68

Za jeden z najbardziej istotnych następstw mechanizacji i automatyzacji prac biurowych można uznać te, które oddziałują na system zarządzania i podejmowania decyzji kierowniczych. Na tych też właśnie problemach skupiono uwagę w dalszej części opracowania. (fragment tekstu)

5

Sugestie współpracy pomiędzy Stowarzyszeniem Powiatów i Gmin Nadbużańskich a Instytutem Badań Systemowych PAN w dziedzinie strategii rozwoju regionu : Bariery i szanse rozwoju obszarów nadbużańskich

75%

Ciechanowicz W., Grabowski J. J., Szańkowski S.

Studia Regionalne : Central & Eastern Europe regional studies

|

2000

|

nr 2

439-454

6

Komputeryzacja systemów informacyjnych jako specyficzny rodzaj inwestycji i forma postępu technicznego

75%

Krzywda D.

Zeszyty Naukowe / Akademia Ekonomiczna w Krakowie

|

1990

|

nr 329 Prace z zakresu rachunkowości

123-133

W niniejszym artykule przedstawiono komputeryzację systemów informacyjnych przedsiębiorstwa, która może być realizowana na drodze inwestycyjnej lub bezinwestycyjnej. Zależy to od wyboru określonej formy organizacyjnej procesu przetwarzania danych

7

Bezpieczeństwo i etyka komunikacji elektronicznej

75%

Herczakowska J., Kowalik S.

Prace Naukowe / Uniwersytet Ekonomiczny w Katowicach

|

2011

|

Wiedza i komunikacja w innowacyjnych organizacjach

150-164

Problematykę bezpieczeństwa systemów informacyjnych należy rozumieć interdyscyplinarnie. W nowoczesnym świecie zarówno w polityce, gospodarce, jak i przemyśle bezpieczeństwo systemów ma znaczenie krytyczne. Stosowane rozwiązania muszą spełniać warunki uwzględniające specyfikę danej dziedziny ze szczególnym uwzględnieniem czynnika ludzkiego. Zakres ochrony determinuje wybór odpowiedniej technologii, często innowacyjnej. Tym samym powstają dedykowane technologiczne systemy, dla których koniecznym jest opracowywanie odpowiednich dedykowanych procedur bezpieczeństwa nastawionych na oddziaływanie na użytkowników i obsługę. Można postawić tezę, że jedynie systemy bezpieczeństwa jako rozwiązania dedykowane umożliwiają profesjonalne działanie nowoczesnych organizacji zgodnie z założeniami, stanowiącymi podstawę danego biznesu czy polityki. (fragment tekstu)

8

On Chosen Linguistic and Social Aspects of Wiener's Cybernetics

63%

Unold J.

Prace Naukowe / Akademia Ekonomiczna w Katowicach

|

2007

|

Systemy wspomagania organizacji SWO 2007

179-187

When N. Wiener first wrote Cybernetics in 1948 the notions of statistical information and control theory were novel and perhaps even shocking to the established attitudes at the time. The simple linear feedbacks, the study of which was so important in awakening scientists to the role of cybernetic study, appeared to be far less simple and far less linear than they had appeared at first view. Long before the publication of Cybernetics, it came to be realized that the study of non-linear circuits (such as are found in many amplifiers, in voltage limiters, in rectifiers, and the like) did not fit easily into this frame. The dominance of statistical mechanics in modem physics has a very vital significance for the interpretation of the nature of time. In the case of communication engineering, however, the significance of the statistical element is immediately apparent. Wiener realized that the transmission of information is impossible save as a transmission of alternatives. (fragment tekstu)

9

E-usługi w administracji publicznej

63%

Kapler M., Piersiala L.

Roczniki Kolegium Analiz Ekonomicznych / Szkoła Główna Handlowa

|

2014

|

nr 33 Technologie informatyczne w administracji publicznej

195-208

Celem artykułu jest wskazanie zachodzących w instytucjach administracyjnych zmian związanych z postępem technologicznym. Zaprezentowane zostaną normy prawne regulujące rozwój e-administracji, stosunek i oczekiwania społeczeństwa co do zmian oraz ułatwienia dla przedsiębiorców w zakresie procedur administracyjnych. Autorki przedstawią wdrożone dotychczas innowacje w zakresie e-usług publicznych oraz przybliżą funkcjonowanie systemu Centralnej Ewidencji i Informacji o Działalności Gospodarczej i Pojedynczego Punktu Kontaktowego. Zostaną zaprezentowane szanse i bariery rozwoju e-administracji w Polsce w najbliższych latach. (fragment tekstu)

10

Bazy danych w archiwach państwowych : podstawy prawne i wykorzystanie praktyczne

63%

Galuba R.

Człowiek i Społeczeństwo / Uniwersytet im. Adama Mickiewicza w Poznaniu. Wydział Nauk Społecznych

|

2013

|

36

|

z. 2 Wizualne bazy danych

193-213

Omówiono regulacje prawne dotyczące gromadzenia i przechowywania danych w archiwach państwowych. Zwrócono uwagę także na konieczność tworzenia baz danych i innych aplikacji umożliwiających ewidencję posiadanych zbiorów.

11

Społeczne aspekty komputeryzacji i informatyzacji na przykładzie uniwersyteckiego systemu obsługi studiów

63%

Popiołek M.

Zeszyty Naukowe Uniwersytetu Szczecińskiego. Ekonomiczne Problemy Usług

|

2014

|

nr 113, T.2 Ekonomiczno-społeczne i techniczne wartości w gospodarce opartej na wiedzy.

323-330

Niniejszy artykuł skupia się na kwestii komputeryzacji i informatyzacji uczelni wyższych w Polsce. Koncentruje się szczególne na elektronicznej administracji w ramach Uniwersyteckiego Systemu Obsługi Studiów (USOS). W artykule przedstawione zostały wyniki badań dotyczące funkcjonowania Uniwersyteckiego Systemu Obsługi Studiów w opinii studentów, ze szczególnym uwzględnieniem wad i zalet systemu przez nich wskazywanych(abstrakt autora)

12

Reprezentacja czasu w projektowaniu biurowych systemów informatycznych

63%

Kania K.

Prace Naukowe / Akademia Ekonomiczna w Katowicach

|

1995

|

Inteligentne systemy wspomagania decyzji w zarządzaniu. Przegląd problematyki, Materiały z konferencji naukowo-badawczej

195-204

13

Systemy Personal Information Manager

63%

Łuczyk M.

Prace Naukowe / Akademia Ekonomiczna w Katowicach

|

1995

|

Inteligentne systemy wspomagania decyzji w zarządzaniu. Nowe kierunki prac

227-231

14

Biblioteka XXI wieku

63%

Rzadkowolska M.

Monografie i Opracowania / Szkoła Główna Handlowa

|

2005

|

nr 540 Informacja w społeczeństwie XXI wieku

257-263

Od lat 90. XX w. biblioteki, dzięki komputeryzacji przeżywają metamorfozę. Tworzą bazy katalogowe, systemy obsługi czytelników, w zbiorach zaczęły dominować dokumenty nieksiążkowe, zapisane w formacie cyfrowym. Do zadań współczesnej biblioteki należy udział w budowaniu społeczeństwa informacyjnego. W skali społecznej spotykamy się z podziałem cyfrowym powstającym między bogatymi i biednymi w informacje. Działalność biblioteki powinna prowadzić do ułatwienia dostępu do technologii społeczeństwa informacyjnego jak największej liczbie obywateli. Służyć temu mogą programy dla osób o niskich dochodach i niskim poziomie wykształcenia, dzieci, emigrantów, niepełnosprawnych, więźniów, dla tych, którzy nie posiadają indywidualnego dostępu do sieci Internet. (oryg. streszcz.)

15

Modernizacja systemu informacyjnego jako zmiana organizacyjna

63%

Hayder G., Kuraś M.

Zeszyty Naukowe / Akademia Ekonomiczna w Krakowie

|

1994

|

nr 421

45-65

Wiele zmian wprowadzanych w technice informacyjnej w polskiej rzeczywistości nie przynosi spodziewanych efektów, a nawet nie Jest praktycznie wdrażanych. Autorzy poszukując przyczyn tego stanu rzeczy starają się wskazać na błędy w podejściu do zmian w sferze systemów informacyjnych jako przykład planowanej zmiany organizacyjnej. Przedstawiono analizę podstawowych pojęć oraz dokonano oceny praktyki procesu wprowadzania techniki informacyjnej w organizacjach. Na podstawie przeprowadzonej oceny przedstawiono propozycje nowego podejścia do omawianego problemu. (abstrakt oryginalny)

16

Przedsiębiorstwo wielozakładowe jako obiekt informatyzacji

63%

Stępniak C.

Prace Naukowe Akademii Ekonomicznej we Wrocławiu. Informatyka Ekonomiczna

|

1997

|

1

|

nr 757 Koncepcja wielopoziomowych systemów informacyjno-decyzyjnych w przedsiębiorstwach wielozakładowych

11-19

Celem artykułu jest przedstawienie podstawowych problemów związanych z informatyzacją i doskonaleniem systemów informatycznych zarządzania w przedsiębiorstwach wielozakładowych.

17

Wpływ zastosowania zaawansowanych technologii na procesy integracji i dezintegracji w przedsiębiorstwach bankowych

51%

Najda M.

Prace Naukowe Akademii Ekonomicznej we Wrocławiu

|

2002

|

nr 928 Nowe kierunki w zarządzaniu przedsiębiorstwem : integracja i dezintegracja

415-419

W dobie rewolucji informatycznej potencjał konkurencyjności banku jest zdeterminowany poziomem stosowanej technologii. Artykuł identyfikuje zaawansowane technologie informacyjne (TI) jako czynniki integracji i jednocześnie dezintegracji procesów zachodzących w przedsiębiorstwach bankowych. Najnowsze osiągnięcia TI umożliwiają bowiem sformułowanie jednolitego, zintegrowanego systemu informacyjnego, który stanowi niewidzialną konstrukcję wspomagającą i synchronizującą m.in. procesy innowacyjne (produktowe i procesowe), zarządzanie zdywersyfikowaną gospodarką własną banku, jak również złożonymi strukturami kanałów komunikacyjnych, umożliwiającą nie tylko efektywną konsolidację instytucji bankowych, lecz również tworzenie otwartej sieci elektronicznych usług finansowych. (abstrakt oryginalny)

18

Komputeryzacja zarządzania przepływem zadań i dokumentów na przykładzie administracji samorządowej

51%

Niedzielska E., Wójtowicz R., Żakiewicz A.

Prace Naukowe Akademii Ekonomicznej we Wrocławiu. Informatyka Ekonomiczna

|

1999

|

2

|

nr 822 Informatyka Ekonomiczna : teoria i praktyka

114-128

Tematem artykułu są rozważania dotyczące komputeryzacji procesów zarządzania informacją i komunikacją. W pierwszej część przedstawiono krótką charakterystykę następujących wybranych pakietów programów zarządzania dokumentami: DDM 9000, mis-Partner, EDMS Documentum. W dalszej części artykułu przedstawiono koncepcję komputerowego zarządzania obiegiem zadań i dokumentów w środowisku gmin.

19

Rola Internetu w zaspokojeniu potrzeb informacyjnych i komunikacyjnych przedsiębiorstwa

51%

Rot A.

Prace Naukowe Akademii Ekonomicznej we Wrocławiu

|

2000

|

nr 861

204-213

W artykule przedstawiono najważniejsze zalety Internetu, które w istotny sposób mogą wpływać na system informacyjny przedsiębiorstwa. Pokazano, że sieć Internet może być jednym ze źródeł zaspokojenia potrzeb informacyjnych i komunikacyjnych przedsiębiorstwa. Przedstawiono także wybrane sposoby wdrożenia Internetu do przedsiębiorstwa, wskazano ich zalety, wady oraz koszty.

20

Przestrzenno-czasowe zróżnicowanie stopnia wykorzystania technologii informacyjno-telekomunikacyjnych w przedsiębiorstwach

38%

Wojnar J.

Nierówności Społeczne a Wzrost Gospodarczy

|

2013

|

z. nr 32

493-503

W opracowaniu przedstawiono podobieństwa i różnice w skali wykorzystania technologii informacyjnych w przedsiębiorstwach w poszczególnych województwach w Polsce w latach 2008-2011. W pierwszym etapie analizy określono dynamikę zmian tego zjawiska na przestrzeni badanego okresu, aby ukazać dysproporcje pomiędzy regionami o najwyższej i najniższej skali badanego zjawiska. Kolejno za pomocą zmiennej syntetycznej dokonano uporządkowania województw i podziału na skupienia różniące się poziomem natężenia badanych cech w całym analizowanym okresie czasu. Dane służące do przeprowadzenia analiz zaczerpnięto z oficjalnych publikacji GUS (Bank Danych Regionalnych). (abstrakt oryginalny)