Green Public Procurements (GPP) as an Instrument of Implementation of Sustainable Development. Analysis of the Experience of the Łódź Region Local Government

This paper discusses the situation on the Polish green public procurements (GPP) market, with special emphasis on the results of a GPPinfoNET project realised in the Łódź region. The identification of the main barriers hindering the application of GPP in the Polish practice is the departure point to formulating recommendations concerning organisational and legal changes which would make it possible to increase the share of GPP in the Polish economic practice. Implementation of green public procurement is considered as an important element of sustainable development.W artykule przedmiotem analizy jest sytuacja na polskim rynku zielonych zamówień publicznych, ze szczególnym uwzględnieniem efektów projektu GPPinfoNET realizowanego w regionie łódzkim. Punktem wyjścia do sformułowania rekomendacji dotyczących zmian organizacyjnych i prawnych służących popularyzacji ZZP jest identyfikacja głównych barier hamujących stosowanie takich zamówień w polskiej praktyce gospodarczej. Wdrażanie zielonych zamówień publicznych jest traktowane jako ważny element realizacji zrównoważonego rozwoju

Interpretations of Quine’s “Naturalized Epistemology” and the Character of “Naturalization of Law”

Quine’s project of “naturalized epistemology” is usually interpreted as a rejection of classical epistemology, which becomes merely a “chapter of psychology”. It does not imply, however, a different understanding of the character of naturalization is inadequate or wrong. Susan Haack’s interpretations are briefly analyzed in the paper. Thereafter, they are harnessed as models of interpretation of the “naturalization of law”. The main aim is to point the radical reading of Quine’s project (the replacement model) is not the only acceptable one. Consequently, there are at least three models of the “naturalization of law” that are analogical to the “naturalization of epistemology”. The author details their character.Quine’s project of “naturalized epistemology” is usually interpreted as a rejection of classical epistemology, which becomes merely a “chapter of psychology”. It does not imply, however, a different understanding of the character of naturalization is inadequate or wrong. Susan Haack’s interpretations are briefly analyzed in the paper. Thereafter, they are harnessed as models of interpretation of the “naturalization of law”. The main aim is to point the radical reading of Quine’s project (the replacement model) is not the only acceptable one. Consequently, there are at least three models of the “naturalization of law” that are analogical to the “naturalization of epistemology”. The author details their character

Extrapolative Inference and Analogical Reasoning in the Empirical Sciences

The primary purpose of this paper is to present the issue of extrapolation, which is interesting from the perspective of contemporary philosophy of science. For its proper explanation, it is crucial to distinguish it from terms of similar meaning, such as analogy, induction or statistical inference. The second goal is to indicate key differences that exist between extrapolative inference and analogical reasoning. Because of this the ascertaining of the identification of these concepts would be a mistake though, of course, there is no way not to notice certain similarities.The primary purpose of this paper is to present the issue of extrapolation, which is interesting from the perspective of contemporary philosophy of science. For its proper explanation, it is crucial to distinguish it from terms of similar meaning, such as analogy, induction or statistical inference. The second goal is to indicate key differences that exist between extrapolative inference and analogical reasoning. Because of this the ascertaining of the identification of these concepts would be a mistake though, of course, there is no way not to notice certain similarities

A Case-study based on French Resources for the Semantic Analysis of Sentences in Coq

Projet en cours; article soumis à un workshop.This paper presents an approach devoted to the formalization of sentence frames in the Coq system. Then, we instanci-ate these frames for performing a semantic analysis of simple sentences. We rely on a hierarchy of types for type-checking the conceptual well-formedness of sentences. To do so, we investigate how to exploit the particular features of the Coq type system for encoding the syntax-semantics interface and then we show how to combine it with large resources for french language : our hierarchy of type is based on the freely available french wordnet named WOLF; our lexicon can be easily extended using the dictionary of french verbs developed by Dubois and Dubois-Charlier

THE UTILISATION OF INDUSTRIAL PROCESS MODELS IN ACQUIRING THE PRACTICAL SKILLS OF PLC PROGRAMMING

In the paper the use of process models and computer simulation as the tools which facilitates students to learn the conditions of the industrial processes control has been presented. Such approach enables to familiarise with operation and programming of controllers of industrial process. Moreover, it also enables safe testing of control algorithms provided by logic controllers through their implementation at the real industrial facility

A dimensionality reduction method to select the most representative daylight illuminance distributions

One challenge when evaluating daylight distribution is dealing with the large amount of temporal and spatial data, visualisations and variability in illuminances that are assessed in buildings. Using a dimensionality reduction method based on principal component analysis, we identified the most representative annual daylight distributions. We modelled a rectangular room containing an analysis grid of 3200 illuminance sensor points and simulated 3285 different temporal daylight conditions using an annual occupancy schedule ranging from 08:00 to 17:00 with one-hour sampling intervals in two locations: Singapore and Oakland, California. Our approach explained 98 % of the illuminance variability with three daylight distributions in Singapore, and 92 % using six in Oakland, California. Our dimensionality reduction strategy was also generalised using a complex building geometry showing the utility of the method. We think this approach can be used to provide a more efficient and reliable method to analyse daylight performance in building practice

A Case-study for the Semantic Analysis of Sentences in Coq

This paper presents a case-study devoted to the formaliza-tion of sentence frames in the Coq system. Therefore, we instanciate these frames for performing a semantic analysis of simple sentences. In particular, we rely on a hierarchy of types for type-checking the conceptual well-formedness of sentences. To do so, we investigate how to exploit the particular features of the Coq type system in order to take advantage of this elegant unifying framework for encoding the syntax-semantics interface and then we show how to improve our approach for combining it with linguistic resources distributed

APPLICATION OF SIMULATION MODELS FOR PROGRAMMING OF ROBOTS

In recent years, there has been an increasing robotization of many areas of life. This requires knowledge of issues related to robots and their programming. Devices of this type, especially large industrial or medical robots, are very expensive, or they may be hardly affordable for educational purposes. Simulation models are helpful in such situation. The aim of the article is to present the possibilities of using simulation models of robots and robotic stations in the educational and research process. Specialized software packages make it easier not only to understand how robots work, but they also allow to test different operating conditions of the designed computer model of the real robotized process