Wyniki wyszukiwania - BazTech

1

Dyskurs o bezpieczeństwie a media

Ciesielski Maciej

Cybersecurity and Law

|

2024

|

Vol. 12 (2)

282--294

PL

Celem artykułu jest podjęcie próby zrozumienia i wyjaśnienia bezpieczeństwa za pomocą języka, komunikacji, prawa oraz ich wpływu na władzę. Ze względu na subiektywną, procesualną perspektywę bezpieczeństwa staje się ono domeną wykorzystywaną do inicjowania bądź neutralizowania konkretnych zjawisk społecznych – mniej lub bardziej powiązanych z władzą zarówno oficjalną, państwową realizującą każdorazowo określone polityki bezpieczeństwa, jak i nieformalną, związaną z mechanizmami działań zakulisowych. Warto podkreślić, że do obszaru badawczego bezpośrednio związanego z analizą dyskursu o bezpieczeństwie możemy zaliczyć próby uzyskania odpowiedzi na następujące pytania: Jak modelować, czy moderować dyskurs o bezpieczeństwie, żeby minimalizować zagrożenia? Czy takie moderowanie dyskursu jest istotne? Jakie ma znaczenie w kontekście dezinformacji i walki informacyjnej? Jakie normy prawne pozwalają moderować i modelować dyskurs o bezpieczeństwie? Artykuł ma charakter wprowadzający do problematyki.

EN

This paper aims to make an attempt at understanding and explaining security through language, communication and law, and the impact these three aspects have on power and authority. Due to its subjective, processual perspective, security becomes a domain used to initiate or neutralise specific social phenomena that are more or less interconnected: it involves the official, state-mandated implementation of specific security policies, as well as the informal dimension of the mechanisms at work behind the scenes. It is worth stressing that the investigation related to security discourse analysis involves the following questions: How to model or moderate security discourse to minimise threats? Is such discourse moderation relevant? What is its significance in the context of disinformation and information warfare? What legal norms permit the moderation and modelling of security discourse? The following article provides an introduction into these issues.

2

Niedoceniana zasada

Głazek Stanisław D.

Postępy Fizyki

|

2023

|

T. 74, z. 4

27--30

PL

W fizyce jest pewna przydatna zasada, która dotyczy uczenia się i używania języka. Stosowanie podobnych zasad w komunikacji społecznej na szerszą skalę mogłoby okazać się pomocne, szczególnie w sferze edukacji.

EN

There is a useful rule in physics, which concerns how one learns and uses a language. Application of similar rules in social communication on a wider scale could turn out helpful, particularly in the domain of education.

3

Testowanie użyteczności oprogramowania do nauki języków klasycznych : case study aplikacji mobilnej Speak Latin : Learn Latin Language Offline

Zbądzki Jakub, Rogowska-Wandowicz Anna

Biuletyn Naukowy Wrocławskiej Wyższej Szkoły Informatyki Stosowanej. Informatyka

|

2022

|

vol. 9, nr 1

25--30

PL

Celem artykułu jest przedstawienie znaczenia, jakie mają kategoria użyteczności i jej testowanie dla oprogramowania służącego do nauki języków klasycznych, a także wskazanie możliwych defektów, które mogą się pojawiać, i ich źródeł. Jako przykład posłużyła aplikacja mobilna Speak Latin: Learn Latin Language Offline. Testy użyteczności przeprowadzono na aplikacji w wersji 1.0.18, w brytyjskiej wersji językowej, na urządzeniu Huawei Mate 10 Lite z systemem Android w wersji 8.1.0. Oprogramowanie testowano pod kątem efektywności i satysfakcji z użytkowania. Zaobserwowano pojawianie się istotnych defektów w kluczowych obszarach aplikacji. Usterki dotyczą przede wszystkim: 1. nieprawidłowej wymowy wyrazów; 2. braku deklarowanego rozróżniania zapisu i wymowy; 3. schematu odtwarzania nagrań istotnie utrudniającego naukę; 4. niepoprawnych i niejednolitych tłumaczeń lub ich braku; 5. nieczytelnych kategorii, w których występują dane słowa. Zauważono, że istotna część defektów wynika z zastosowania syntezatora i translatora mimo słabego rozwinięcia tych technologii w kontekście języków klasycznych. Aplikacja prawdopodobnie nie przeszła też testów użyteczności. Kontrola ze strony człowieka i weryfikacja jakości tego rodzaju oprogramowania okazują się niezbędne. Bez nich nie może ono spełniać wymagań przeciętnych odbiorców, które dotyczą efektywności i satysfakcji z użytkowania, nie jest też w stanie przynosić istotnych korzyści edukacyjnych.

EN

The aim of this article is to present the importance of the usability category and its testing for software designed for learning classical languages, as well as to point out possible defects that may appear and their sources. The mobile application Speak Latin: Learn Latin Language Offline was used as an example. Usability testing was carried out on the app version 1.0.18, in the British English language version, on a Huawei Mate 10 Lite device with the Android system in version 8.1.0. The software was tested in terms of effectiveness and satisfaction of use. Significant defects have been observed in key areas of the application. The defects relate primarily to: 1. incorrect pronunciation of words; 2. lack of claimed differentiation between notation and pronunciation; 3. the playback pattern of recordings significantly impeding learning; 4. incorrect and inconsistent translations or lack thereof; 5. illegible categories in which words occur. It was noted that a significant proportion of the defects are due to the use of synthesizer and translator despite the poor development of these technologies in the context of classical languages. The application probably did not pass usability testing either. Human control and quality verification of this kind of software prove essential. Without them, it cannot meet the average user's requirements regarding the effectiveness and satisfaction of use, nor is it able to deliver significant educational benefits.

4

Gramatyki formalne dla prostych wyrażeń arytmetycznych

Brzeski Robert

MINUT Matematyka i Informatyka na Uczelniach Technicznych

|

2021

|

Nr 3

245-254

PL

W procesie dydaktycznym dotyczącym gramatyk formalnych, jednym z często używanych przykładów jest definiowanie gramatyki dla wyrażeń algebraicznych. W rozwiązaniach generujących reguły tworzenia słów, uwzględnia się priorytet wykonywania poszczególnych działań algebraicznych. W bieżącym artykule przedstawiono kilka takich rozwiązań, a następnie zaproponowano rozwiązania generujące taki sam język, ale w postaci mniejszej liczby reguł generujących słowa. Zrealizowano to poprzez pominięcie w regułach zdefiniowanej gramatyki informacji o priorytetach działań algebraicznych. W ten sposób przedstawiono możliwość znacznego uproszczenia zdefiniowanej gramatyki, która bardzo często przedstawiana jest studentom, przy okazji omawiania języków i gramatyk formalnych.

5

Two-Sided Strictly Locally Testable Languages

Holzer Markus, Kutrib Martin, Otto Friedrich

Fundamenta Informaticae

|

2021

|

Vol. 180, nr 1-2

29--51

EN

A two-sided extension of strictly locally testable languages is presented. In order to determine membership within a two-sided strictly locally testable language, the input must be scanned from both ends simultaneously, whereby it is synchronously checked that the factors read are correlated with respect to a given binary relation. The class of two-sided strictly locally testable languages is shown to be a proper subclass of the even linear languages that is incomparable to the regular languages with respect to inclusion. Furthermore, closure properties of the class of two-sided strictly locally testable languages and decision problems are studied. Finally, it is shown that two-sided strictly k-testable languages are learnable in the limit from positive data.

6

On Rough Approximations of Languages under Infinite Index Indiscernibility Relations

Martín Torres Gabriela

Fundamenta Informaticae

|

2021

|

Vol. 179, nr 3

275--293

EN

In the paper [13] Păun, Polkowski and Skowron introduce several indiscernibility relations among strings that are infinite index equivalence or tolerance relations, and study lower and upper rough approximations of languages defined by them. In this paper we develop a further study of some of these indiscernibility relations among strings. We characterize the classes defined by them, and the rough approximations of general and context free languages under them. We also compare some of the rough approximations these relations produce to the ones given by the congruences defining testable, reverse testable, locally testable, piecewise testable and commutative languages. Those yield languages belonging to that families. Next, we modify some of the relations to obtain congruences, and study the families of languages the rough approximations under them give rise to. One of these modificated relations turns out to be the k-abelian congruence, that was defined by J. Karhumäki in [7], in the context of combinatorics on words. We show that it defines a pseudo-principal +-variety, a term defined in [9]. Our results in that work are then applied to determine when a given language has a best upper approximation in that family. Finally, we make some comments on the accuracy of the rough approximations obtained in each case.

7

The Role of Language in Sustainable Development: Multilingualism and Language Literacy in India

Toppo Neha, Rahman Mojibur

Problemy Ekorozwoju

|

2020

|

Vol. 15, nr 1

89--93

EN

The paper, out of the three major domains of sustainable development, brings its focus on socio-cultural sustainability. As human contacts and negotiation are essential to serve the purposes of sustainable development worldwide, language as a shared means of communication is worth paying attention to. The central objective of the paper is to deliberate on the significance of language and literacy in sustainable development. Firstly, it introduces the notion of sustainable development and conceptualizes language within its frame. Then, it explores the link between language, literacy and development; and elucidates the role this plays in attaining sustainable development goals. The paper further highlights the debate between English and mother tongue/local languages specific to the literacy programmes in India. Conflicts in language selection for the medium of instruction, deciding on the place of mother tongue and global language, etc are some obvious issues in the multilingual and multicultural education scenario. Therefore, the paper calls for the need of adopting a multilingual approach in order to address the linguistic diversity in the multilingual educational contexts. Both English and local languages have been equally emphasized for attaining social sustainability at the local and global plane. Some implications are also suggested to be utilized in language/educational programmes.

PL

Niniejszy artykuł, spośród trzech głównych filarów zrównoważonego rozwoju, koncentruje się na zrównoważeniu społeczno-kulturowym. Ponieważ kontakty międzyludzkie i negocjacje są niezbędne, by służyć zrównoważonemu rozwojowi na całym świecie, warto zwrócić uwagę na język jako wspólny środek komunikacji. Głównym celem artykułu jest rozważenie znaczenia języka i umiejętności czytania i pisania o zrównoważonym rozwoju. Po pierwsze, wprowadza pojęcie zrównoważonego rozwoju i konceptualizuje język w jego ramach. Następnie bada związek między językiem, umiejętnością czytania i rozwoju oraz wyjaśnia rolę, jaką odgrywa w osiąganiu celów zrównoważonego rozwoju. Artykuł dodatkowo omawia relację między językiem angielskim a językiem ojczystym / językami lokalnymi w kontekście programów alfabetyzacji w Indiach. Konflikty w wyborze języka jako środka nauczania, decydowania o miejscu języka ojczystego i języka globalnego itp. to pewne oczywiste problemy w scenariuszu edukacji wielojęzycznej i wielokulturowej. W związku z tym w artykule postuluje się przyjęcie podejścia wielojęzycznego w celu uwzględnienia różnorodności językowej wielojęzycznych klas. Podkreślono rolę zarówno języka angielskiego, jak i lokalnego, jako drogi do osiągnięcia równowagi społecznej na płaszczyźnie lokalnej i globalnej. Autorzy wskazują również, na niektóre rozwiązania, które można wykorzystać w programach językowych / edukacyjnych.

8

On Shuffling a Word with its Letter-to-Letter Substitution

Halava Vesa, Harju Tero, Sahla Esa

Fundamenta Informaticae

|

2020

|

Vol. 175, nr 1-4

201--206

EN

Denote by ш the operation of interleaving, or shuffling, of words. We prove that, given a regular language R and a letter-to-letter morphism φ , it is undecidable whether or not there exists a word ω such that ω ш φ (ω ) ∩ R ≠ Ø.

9

On Languages of P Automata

Csuhaj-Varjú Erzsébet, Vaszil György

Fundamenta Informaticae

|

2020

|

Vol. 171, nr 1-4

133--149

EN

P automata are accepting computing devices combining features of classical automata and membrane systems. In this paper we introduce P n-stack-automata, a restricted class of P automata that mimics the behaviour of n-stack automata. We show that for n = 1 these constructs describe the context-free language class and for n = 3 the class of quasi-realtime languages.

10

Programming Agent Deliberation Using Procedural Reflection

Leask S., Logan B.

Fundamenta Informaticae

|

2018

|

Vol. 158, nr 1/3

93--120

EN

A key advantage of BDI-based approaches to agent programming, is that agents can deliberate about which course of action to adopt to achieve a goal or respond to an event. However, while state-of-the-art BDI-based agent programming languages allow the programmer to specify the context(s) in which a particular plan is applicable, they are typically limited to a single, hardcoded, deliberation strategy for all task environments. In this paper, we present an alternative approach, in which an agent’s deliberation strategy forms part of the agent program. We show how both conventional agent programs and the agent’s deliberation strategy can be encoded in the agent programming language meta-APL. Key steps in the deliberation cycle of meta-APL are reflected in the state of the agent and can be queried and updated by meta-APL rules, allowing application-specific BDI deliberation strategies to be programmed in a straightforward way. To illustrate the flexibility of meta-APL, we show how three typical BDI deliberation strategies can be programmed using meta-APL rules. We then show how meta-APL can used to program a simple adaptive deliberation strategy that avoids interference between intentions.

11

Development of the Polish Speech Test Signal and its Comparison with the International Speech Test Signal

Habasińska D., Skrodzka E., Bogusz-Witczak E.

Archives of Acoustics

|

2018

|

Vol. 43, No. 2

253--262

EN

The aim of this study was to create a single-language counterpart of the International Speech Test Signal (ISTS) and to compare both with respect to their acoustical characteristics. The development procedure of the Polish Speech Test Signal (PSTS) was analogous to the one of ISTS. The main difference was that instead of multi-lingual recordings, speech recordings of five Polish speakers were used. The recordings were cut into 100-600 ms long segments and composed into one-minute long signal, obeying a set of composition rules, imposed mainly to preserve a natural, speech-like features of the signal. Analyses revealed some differences between ISTS and PSTS. The latter has about twice as high volume of voiceless fragments of speech. PSTS’s sound pressure levels in 1/3-octave bands resemble the shape of the Polish long-term average female speech spectrum, having distinctive maxima at 3-4 and 8-10 kHz which ISTS lacks. As PSTS is representative of Polish language and contains inputs from multiple speakers, it can potentially find an application as a standardized signal used during the procedure of fitting hearing aids for patients that use Polish as their main language.

12

Lost in Translation: Problems of Rendering the Term Sustainable Development into Non-Western Languages as Demonstrated in the Case of South Korea

Baek K. H., Ko N.

Problemy Ekorozwoju

|

2015

|

Vol. 10, nr 2

87--93

EN

This study seeks to demonstrate the usefulness of a relatively underutilized approach to studying sustainable development as a term and concept. While studies on sustainable development have generally followed a normative approach seeking what the term should ideally mean, this study follows a historical approach such as recommended by the historian of philosopher Quentin Skinner to explore what changes of definition it has been capable of undergoing in the actual use. To illustrate why such changes may be a critical issue, we have deliberately focused on the case of a country – South Korea – where the very translation of the term into the native language, combined with other factors, has resulted in sustainable development being generally understood by the public as meaning something quite different from the more normative understanding of the term. Instead of a balanced development that protects the environment and promotes social welfare as well as promoting economic growth, sustainable development in the standard Korean translation has come to be understood as simply meaning continued economic growth, which is to be sought even at the expense of environmental degradation. For documentation and analysis, we have relied on various methods, while focusing on key sectors and select policy areas, including energy. We conclude with further reflections on why an approach such as ours might be a useful methodological addition in sustainable development research.

PL

W tej pracy podejmujemy użyteczne i relatywnie rzadko stosowano podejście do zrównoważonego rozwoju, rozumianego zarówno jako pojęcie, jak i koncepcja. Zwykle dominuje tu podejście normatywne, w ramach którego poszukuje się idealnej definicji, my proponujemy podejście historyczne, zgodne z zaleceniami historyka i filozofa Quentina Skinnera, odnoszące się do przeszłych zmian w definiowaniu i ich wpływu na obecne rozumowanie. Aby zilustrować, jak bardzo takie zmiany mogą być istotne, celowo wybraliśmy jeden kraj, Koreę Południową, w którym nawet przetłumaczenie terminu rozwój zrównoważony, w powiązaniu z innymi czynnikami, powoduje jego odmienne (niż to obowiązujące w podejściu normatywnym) rozumienie przez społeczeństwo. Miast rozwoju gwarantującego ochronę środowiska i społeczną pomyślność i wzrost gospodarczy, w standardowym koreańskim tłumaczeniu termin ten jest rozumiany jako trwały wzrost gospodarczy, do którego należy dążyć nawet za cenę degradacji środowiska. W badaniach opieraliśmy się na różnych metodach, uwagę zwracając na kluczowe sektory i obszary polityki, włączając w to kwestie energetyczne. Wykażemy, dlaczego takie podejście może być metodologiczne użytecznym dodatkiem do badań nad zrównoważonym rozwojem.

13

A syntactic component for Vietnamese language processing

Le-Hong P., Roussanaly A., Nguyen T. M. H.

Journal of Language Modelling

|

2015

|

Vol. 3, No. 1

145--184

EN

This paper presents the development of a grammar and a syntactic parser for the Vietnamese language. We first discuss the construction of a lexicalized tree-adjoining grammar using an automatic extraction approach. We then present the construction and evaluation of a deep syntactic parser based on the extracted grammar. This is a complete system that produces syntactic structures for Vietnamese sentences. A dependency annotation scheme for Vietnamese and an algorithm for extracting dependency structures from derivation trees are also proposed. This is the first Vietnamese parsing system capable of producing both constituency and dependency analyses. It offers encouraging performance: accuracy of 69.33% and 73.21% for constituency and dependency analysis, respectively.

14

Verification of Scenarios in Petri Nets Using Compact Tokenflows

Bergenthum R., Lorenz R.

Fundamenta Informaticae

|

2015

|

Vol. 137, nr 1

117--142

EN

In this paper we tackle the problem of verifying whether a scenario is executable in a Petri net. In contrast to sequentially ordered runs, a scenario includes both information about dependencies and independencies of events. Consequently, a scenario allows a precise and intuitive specification of a run of a concurrent or distributed system. In this paper we consider Petri nets with arc weights, namely marked place/transition-nets (p/t-nets) and p/t-nets with inhibitor arcs (pti-nets). A scenario of a p/t-net is a labelled partial order (lpo). A scenario of a pti-net is a labelled stratified order structure (lso). Accordingly, the question is either whether a given lpo is in the language of a given p/t-net or whether an lso is in the language of a given pti-net. Different approaches exist to define the partial language of a Petri net. Each definition yields a different verification algorithm, but existing algorithms perform quite poorly in terms of runtime for most examples. We introduce a new compact characterization of the partial language of a Petri net. This characterization is optimized with respect to the verification problem. The paper is a revised and extended version of the conference paper [10].

15

Logical Theory of the Monoid of Languages over a Non Tally Alphabet

Choffrut C., Grigorieff S.

Fundamenta Informaticae

|

2015

|

Vol. 138, nr 1/2

159--177

EN

We consider the first-order theory of the monoid P(A*) of languages over a finite or infinite alphabet A (with at least two letters) endowed solely with concatenation lifted to sets: no set theoretical predicate or function, no constant. Coding a word u by the submonoid u* it generates, we prove that the operation (u*, v*) → (uv)* and the predicate {(u*,X) | ε ∈ X, u ∈ X} are definable in P(A*); •,=i. This allows to interpret the second-order theory of A*; •,=i in the first-order theory of P(A*); •,=i and prove the undecidability of the Π8 fragment of this last theory. These results involve technical difficulties witnessed by the logical complexity of the obtained definitions: the above mentioned predicates are respectively Δ5 and Δ7.

16

Properties of Languages with Catenation and Shuffle

Kudlek M., Flick N. E.

Fundamenta Informaticae

|

2014

|

Vol. 129, nr 1/2

117--132

EN

We present structural properties of languages constructed with catenation and shuffle, comprising iteration lemmata and closure properties of the language classes, as well as decidability results that follow.

17

Complex Object-Based Multidimensional Modeling and Cube Construction

Boukraa D., Boussaid O., Bentayeb F.

Fundamenta Informaticae

|

2014

|

Vol. 132, nr 2

203--238

EN

This paper presents a multidimensional model and a language to construct cubes for the purpose of on-line analytical processing. Both the multidimensional model and the cube model are based on the concept of complex object which models complex entities of real world. The multidimensional model is presented at two layers: the class diagram layer and the package layer. Both layers are used by a projection operation that aims at extracting cubes: at the package diagram layer, the projection dynamically assigns the roles of fact and dimensions to the complex objects of the multidimensional model whereas at the class diagram layer, it allows designing the measures. We also provide operations that optimize the construction of new cubes by using existing ones. The set of operations for cube construction are expressed by formal operators, thus forming a language. To show the feasibility of our multidimensional model and operators, we present implementation details of a real case study.

18

From EBNF to PEG

Redziejowski R.R.

Fundamenta Informaticae

|

2013

|

Vol. 128, nr 1-2

177--191

EN

Parsing Expression Grammar (PEG) encodes a recursive-descent parser with limited backtracking. The parser has many useful properties, and with the use of memoization, it works in a linear time. In its appearance, PEG is almost identical to a grammar in Extended Backus-Naur Form (EBNF), but usually defines a different language. However, in some cases only minor typographical changes are sufficient to convert an EBNF grammar into its PEG parser. As recently shown by Medeiros, this is, in particular, true for LL(1) grammars. But this is also true for many non-LL(1) grammars, which is interesting because the backtracking of PEG is often a convenient way to circumvent just the LL(1) restriction. We formulate a number of conditions for EBNF grammar to become its own PEG parser, and arrive at a condition that we call LL(1p), meaning that a top-down parser can choose its next action by looking at the input within the reach of one parsing procedure (rather than by looking at the next letter). An extension to LL(kp) for k > 1 seems possible.

19

Communication and buildings. Space as mass-media

Gawlikowska A. P.

Budownictwo i Architektura

|

2013

|

Vol. 12, nr 4

7--20

EN

After providing definition and social roles of communication, media and mass-media, placing of architecture and urban space as one of the media types is proposed. Subsequently, architecture is looked at in the context of mass-media meaning transmission methods, roles, functions, effects and drawbacks. Articulating phenomena in architectural communication are listed, along with exemplary methods, in which design of space can shape public opinion. Models of mass communication are defined and discussed in context of architecture and urban space. This paper provides examples of short-, intermediate-, and long-term effects facilitated through space, as well as analyses, how architecture performs functions of media in society.

20

Slang, język czy metajęzyk? : o przemijalności słów

Rizzi P.

Czasopismo Techniczne. Architektura

|

2011

|

R. 108, z. 4-A/1

330--337

PL

Jeżeli spojrzymy na współczesną urbanistykę, na pierwszym planie zobaczymy koncepcje projektowania trwałego i procesów uczestniczących. Pierwsze wymaga zrozumienia potrzeb środowiskowych, drugie – potrzeb ludzkich. Potrzebny jest do tego język – język projektowy. Okazuje się zatem, że w urbanistyce chodzi przede wszystkim o komunikację. Artykuł porusza kwestię procesu projektowego przebiegającego od abstrakcji do rzeczywistości poprzez przemijalność nieustająco zmieniającego się języka.

EN

If we take a look at the contemporary urban design in the foreground there are the concepts of sustainability and participation. The first requires understanding of environmental needs, the second – the needs of people. An intrument needed is language – a language of the project. So urban planning is all about communication. The article faces the problem of design processes moving from abstraction to reality through the fleetingness of a constantly changing language.