Search results for "Image"
showing 10 items of 6818 documents
Women Scientists as Decor: The Image of Scientists in Spanish Press Pictures
2017
Women are still less present in scientific areas than men. This study analyzes the visual representation of women scientists in Spanish press and concludes that they are also underrepresented in newspapers. We analyze 1,134 photographs published in 2014 and 2015 in the science news sections of the four largest distribution Spanish newspapers. A tendency to present men more often as the protagonists of the information and women as a visual resource is also observed. This text proposes the need for the media to be aware of such underrepresentation and to match the number of men and women in graphic materials.
Quine’s Fluted Fragment is Non-elementary
2016
We study the fluted fragment, a decidable fragment of first-order logic with an unbounded number of variables, originally identified by W.V. Quine. We show that the satisfiability problem for this fragment has non-elementary complexity, thus refuting an earlier published claim by W.C. Purdy that it is in NExpTime. More precisely, we consider, for all m greater than 1, the intersectionof the fluted fragment and the m-variable fragment of first-order logic. We show that this subfragment forces (m/2)-tuply exponentially large models, and that its satisfiability problem is (m/2)-NExpTime-hard. We round off by using a corrected version of Purdy’s construction to show that the m-variable fluted f…
Reflections on the Significance of Images in Genocide Studies: Some Methodological Considerations
2018
Social practices such as massacres, mass violence and the extermination of entire populations are not a historical novelty. Indeed, when Raphael Lemkin coined the term genocide in 1944 he was but giving a new name to an old crime.1 Such phenomena have been witnessed by humanity since Ancient times and historians, as well as artists and writers, have utilized every tool at their disposal to find ways to depict them and impress upon their audience the impact they had. Insofar as these are extreme phenomena that challenge the very notion of our humanity, such events inevitably test as well the limits of representation. Eyewitness accounts, historical narrations, philosophical observations, and…
Deriving Enhanced Universal Dependencies from a Hybrid Dependency-Constituency Treebank
2018
The treebanks provided by the Universal Dependencies (UD) initiative are a state-of-the-art resource for cross-lingual and monolingual syntax-based linguistic studies, as well as for multilingual dependency parsing. Creating a UD treebank for a language helps further the UD initiative by providing an important dataset for research and natural language processing in that language. In this paper, we describe how we created a UD treebank for Latvian, and how we obtained both the basic and enhanced UD representations from the data in Latvian Treebank which is annotated according to a hybrid dependency-constituency grammar model. The hybrid model was inspired by Lucien Tesniere’s dependency gram…
Business Process Management in Financial and Non-Financial Institutions: Payment Process Modelling in Financial Flows Management
2017
Business process management is a progressively developing area of science, which is seen as the most modern and forward-looking innovative. Modern business operations remain highly dependent on IT solutions to steer the processes. Business process management solutions have been the clue for easing daily business operations. IT solutions have actively penetrated the working environment in all areas of business, especially the financial sector. It is beyond to imagine modern financial markets and institutions without IT software support. Not only billing, calculation and payment processes, even stock pricing, market analysis and risk monitor tools are fully computerized through business proce…
MOF-VM: Instantiation Revisited
2016
The Model-Driven Architecture (MDA) is based on an understanding of a hierarchy of levels that are placed on top of each other and that are connected with instantiation. For practical MDA use, it is important to be clear about the kinds of objects that reside on the different levels and the relations between them as well as relations to objects outside of the MDA domain. This article aims at enhancing the understanding of these objects and relations by relating them to a virtual MOF machine.
Training the modern translator – the acquisition of digital competencies through blended learning
2019
This paper presents the ERASMUS+ DigiLing project, which aims to teach and improve linguists’ and translators’ skills and knowledge of digitalisation to prepare them for today’s job market. Against this background, it discusses the development of digital competencies and distinguishes them from traditional domain-specific and general competencies. For the purpose of competence acquisition, six online courses have been created which all revolve around the field of ‘digital linguistics’, including localization in the digital age and post-editing machine translation. We provide an overview of the project, the course contents and the didactic methodology. In addition, we discuss which competenc…
Readability and the Web
2012
Readability indices measure how easy or difficult it is to read and comprehend a text. In this paper we look at the relation between readability indices and web documents from two different perspectives. On the one hand we analyse how to reliably measure the readability of web documents by applying content extraction techniques and incorporating a bias correction. On the other hand we investigate how web based corpus statistics can be used to measure readability in a novel and language independent way.
Progress Checking for Dummies
2018
Verification of progress properties is both conceptually and technically significantly more difficult than verification of safety and deadlock properties. In this study we focus on the conceptual side. We make a simple modification to a well-known model to demonstrate that it passes progress verification although the resulting model is intuitively badly incorrect. Then we point out that the error can be caught easily by adding a termination branch to the system. We compare the use of termination branches to the established method of addressing the same need, that is, weak fairness. Then we discuss another problem that may cause failure of catching progress errors even with weak fairness. Fi…
Extending PluTo for Multiple Devices by Integrating OpenACC
2018
For many years now, processor vendors increased the performance of their devices by adding more cores and wider vectorization units to their CPUs instead of scaling up the processors' clock frequency. Moreover, GPUs became popular for solving problems with even more parallel compute power. To exploit the full potential of modern compute devices, specific codes are necessary which are often coded in a hardware-specific manner. Usually, the codes for CPUs are not usable for GPUs and vice versa. The programming API OpenACC tries to close this gap by enabling one code-base to be suitable and optimized for many devices. Nevertheless, OpenACC is rarely used by `standard programmers' and while dif…