Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Results found: 6

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  AUTOMATION
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

HOW TO DEFINE TERMS IN MIZAR EFFECTIVELY

100%
Kornilowicz A.
Studies in Logic, Grammar and Rhetoric
|
2009
|
issue 18(31)
67-77
EN
This paper explains how proofs written in Mizar can evolve if some dedicated mechanisms for defining terms are used properly, and how to write articles to fully exploit the potential of these mechanisms. In particular, demonstrated examples show how automatic expansion of terms and terms identification allow to write compact, yet readable proofs.
2

Shared catalogue, shared resources, service integration: the OLIB integrated library management system

100%
Horvath M.
Tudomanyos es Muszaki Tajekoztatas ( Scientific and Technical Information; Hungarian journal of library and information science)
|
2004
|
vol. 51
|
issue 6
223-233
EN
Shared cataloguing and the principle of universal access to information induce cooperation in terms of strategy and concept between libraries involving also the libraries' long-term developers as well as their technological partners, since the collection of due profundity, the evolving user needs and the appropriate infrastructure will strain the concept of service based upon individual libraries. The article presents the potentials of cooperation as offered by the OLIB integrated library system both in centralised and decentralised operating environments, with a view to international consortial developments that have a significant impact on the technological background and strategic development of the LIS field. Highlighted are the tools of automation and modules of digital library warranting the reduction in the librarian's workload peculiar to OLIB, such as the serials management module, the knowledge-bases that can be built by virtue of the electronic management of reference work, the display options of full-text documents and their retrieval by any word etc., that increase efficiency both in centralised and decentralised service integration. The system integration requires the sharing of documents and resources, which means that participants of the consortium have to ensure the conformity of all components of the system. Thus implementing the technological tools is only a first step in preparing for the multifactor resource sharing activity, both on the side of the customers and the system developers.
3
Content available remote

Maszyny i symbole (I) – semantyczne aspekty cybernetyki i automatyzacji

88%
Boruszewski J.
Filo-Sofija
|
2011
|
vol. 11
|
issue 1(12)
397-425
EN
This article is the first part of the cycle titled “Machines and symbols”. The main issue of this cycle may be formulated as a question: can machines and technical devices operate with symbols? A very important problem raised in this essay is the difference between symbols and signals. The concept of signal is also broadly discussed in the paper, because there are many different definitions of this concept. The present text contains semantic and philosophical considerations concerning cybernetics, mathematical theory of communication, industrial semiotics and semio-technics. In these theories, terms “symbol” and “signal” are often used interchangeably which leads to misconceptions. One of the most frequent misconceptions is confusing discrete signals with symbols. The author focused on communication systems where machines are senders and humans are receivers, because descriptions of these systems tend towards anthropomorphization of a machine-sender. This tendency makes signals sent out by machines treated as symbols comprehensible by a human-receiver. Another interesting aspect of machine-human communication systems is the treatment of a human-receiver as some kind of machine. Such an idea is called “mechanomorphism”.
4

AUTOMATION AND LABOUR DEMAND IN EUROPEAN COUNTRIES: A TASK-BASED APPROACH TO WAGE BILL DECOMPOSITION

75%
Lábaj M., Vitáloš M.
Ekonomický časopis (Journal of Economics)
|
2020
|
vol. 68
|
issue 9
895 – 917
EN
To understand the evolution of labour demand in European countries in the context of automation and other emerging technologies, we apply the decomposition developed by Acemoglu and Restrepo (2019) to European data. At the centre of this framework is the task content of production – measuring the allocation of tasks to factors of production. By creating a displacement effect, automation shifts the task content of production against labour, while the introduction of new tasks in which labour has a comparative advantage increases the labour demand via the reinstatement effect. Contrary to the US experience, in a group of 10 European countries, the displacement effect of automation was completely counterbalanced by technologies that create new tasks in which labour has a comparative advantage. Furthermore, our cross-country comparison reveals a substantial variation across countries. The cumulative change in the task content of production ranges from 6.2% in the United Kingdom to a strong negative effect, namely –7.6%, in Sweden. A part of the differences can be explained by the rate of adoption of industrial robots. We document a strong unconditional relationship between the change in robot density and the displacement effect. However, differences in the reinstatement effect remain unexplained.
5
Content available remote

[recenzja:] Nowe technologie w bibliotekach publicznych: materiały z VII ogólnopolskiej konferencji pt. "Automatyzacja bibliotek publicznych", Warszawa, 26-28 listopada 2008 r., pod red. Elżbiety Górskiej, Warszawa 2009

75%
Jarocki M.
Toruńskie Studia Bibliologiczne
|
2010
|
vol. 3
|
issue 1(4)
148-152
EN
Presentation of a book published as an aftermath of the 7th Conference on the automation of public libraries. The book came out in 2009, published by SBP and belongs to series 'Proposals and Materials'. There are 20 papers, 5 conference sponsors’ presentations and an CD-ROM containing additional materials. The review presents the articles, gathered into five thematic groups: 'The current situation and proposals for libraries', 'Information Technology and software for libraries', 'Cooperation for libraries', 'Digital libraries' and 'Sponsored presentations'.
6
Content available remote

OHROZENOST PRACOVNÍ SÍLY VLIVEM AUTOMATIZACE A DŮLEŽITOST CELOŽIVOTNÍHO VZDĚLÁVÁNÍ VE STÁTECH V41

75%
Gřešák D.
Sociológia (Sociology)
|
2023
|
vol. 55
|
issue 5
467 - 495
EN
Cluster analyses and time series analyses were performed on data relating to the numbers of workers from nine occupational groups within the international standard classification of occupations ISCO-08. Cluster analyses helped to identify mutual similarities or differences that related to the overall structure of employment within nineteen EU countries. After this division into clusters, time series analyses were conducted in order to identify changes in work groups that are most and least threatened by automation. The main added value of the article compared to other publications of this type is the detailed tracking of changes in the investigated factors over time, since the term Industry 4.0 was introduced into the terminology dictionary.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.