Search results for "war"

showing 10 items of 11970 documents

Szkoły stowarzyszeniowe w perspektywie lokalnej polityki oświatowej gmin

2019

Fundamentalnym osiągnięciem decentralizacyjnej polityki państwa w latach 90. XX w. był powrót oświaty do wymiaru lokalnego. Gminy przejęły odpowiedzialność za zakładanie, likwidowanie i przekształcanie szkół na swoim terenie. Jest to najważniejsze ich zadanie w kreowaniu lokalnej polityki oświatowej. Uwarunkowania demograficzne ostatnich lat, niż demograficzny, spadek liczby uczniów w szkołach oraz wzrastające koszty utrzymania placówek oświatowych to główne determinanty przekazywania przez gminy szkół lokalnym stowarzyszeniom

szkoła stowarzyszeniowa; polityka oświatowa; gmina; lokalnośćschools run by associations; education policy; municipality; localityAnnales Universitatis Mariae Curie-Skłodowska. Sectio J, Paedagogia-Psychologia
researchProduct

Klapać na pyszczysku, czyli o śląskiej leksyce i frazeologii dotyczącej mówienia

2019

The article discusses selected lexical units found in the dialects of Silesia, which refer to the act of speaking. It examines more than 190 tokens and collocations whose common denominator is the meaning of ‘speaking’. Analyzed are units referring to the content of the expression (with the main semantic component ‘to talk nonsense’), as well as those referring to physical aspects of the act of speaking, such as the clarity and accuracy of articulation (‘to speak indistinctly’, ‘to stutter’), the pace of speaking (‘to speak fast’, ‘to speak slowly’), also the tone, pitch, and intensity of the voice (‘to speak softly’, ‘to say shrilly’). An analysis of the collected material shows that these…

słownictwofrazeologia gwarowamówienieSilesiadialectal phraseologylexiconŚląskspeakingLingVaria
researchProduct

Opis frazeologii w słowniku gwarowym Jana Karłowicza a późniejsza praktyka leksykograficzna

2020

The aim of the article is to show how to list and develop phraseology in the oldest Polish dialect dictionary: A Dictionary of Polish Dialects by Jan Karłowicz, and then discuss the placement of phraseology in the macro- and microstructure of later, 20th century selected dialectal dictionaries. Therefore, the article is an overview of the tradition of lexical development and study of phraseology in dialectal dictionaries (on the example of Silesian Dialect Dictionary, Polish Dialects Dictionary by Polish Academy of Sciences, the dictionary of Bernard Sychta, Dictionary of Ostróda, Warmia and Mazury Dialects).

słowniki gwaroweSłownik gwar polskich Jana Karłowiczafrazeologia gwarowalexicographyJan Karłowicz’s Słownik gwar polskich [‘A Dictionary of Polish Dialects’]dialectal phraseologydialectal dictionariesleksykografia
researchProduct

Miejsce frazeologii w słownikach gwarowych

2016

The aim of this article is to research the ways of developing phraseology and its emplacement into the macro- and microstructure in selected dialectal dictionaries (academic and popular). The first part is an overview of the phraseology, as included in introductions to the dictionaries. In the second part, using specific examples, the author discusses how the methodological and editorial assumptions adopted by dictionary authors/editors are followed in practice. The study of introductions and analysis of the lexical material reveal that in the absence of clearly framed methodological assumptions and detailed editorial guidelines on how to present phraseology in dialectal dictionaries, the q…

słowniki gwarowefrazeologia gwarowalexicographydialectal phraseologydialectal dictionariesleksykografiaPrace Filologiczne
researchProduct

Model selection using limiting distributions of second-order blind source separation algorithms

2015

Signals, recorded over time, are often observed as mixtures of multiple source signals. To extract relevant information from such measurements one needs to determine the mixing coefficients. In case of weakly stationary time series with uncorrelated source signals, this separation can be achieved by jointly diagonalizing sample autocovariances at different lags, and several algorithms address this task. Often the mixing estimates contain close-to-zero entries and one wants to decide whether the corresponding source signals have a relevant impact on the observations or not. To address this question of model selection we consider the recently published second-order blind identification proced…

ta112Series (mathematics)Estimation theoryModel selectionasymptotic normalitypattern identificationAsymptotic distributionInformation Criteriaoint diagonalization SOBI AsympBlind signal separationMatrix (mathematics)Control and Systems EngineeringSOBISignal Processingjoint diagonalizationComputer Vision and Pattern RecognitionElectrical and Electronic EngineeringAlgorithmSoftwareMixing (physics)MathematicsSignal Processing
researchProduct

Surrogate-assisted evolutionary multiobjective shape optimization of an air intake ventilation system

2017

We tackle three different challenges in solving a real-world industrial problem: formulating the optimization problem, connecting different simulation tools and dealing with computationally expensive objective functions. The problem to be optimized is an air intake ventilation system of a tractor and consists of three computationally expensive objective functions. We describe the modeling of the system and its numerical evaluation with a commercial software. To obtain solutions in few function evaluations, a recently proposed surrogate-assisted evolutionary algorithm K-RVEA is applied. The diameters of four different outlets of the ventilation system are considered as decision variables. Fr…

ta1130209 industrial biotechnologyMathematical optimizationnumerical modelsOptimization problemlineaarinen optimointiLinear programmingComputer sciencesoftwarehydraulijärjestelmätventilationEvolutionary algorithmlinear programming02 engineering and technologyFunction (mathematics)Set (abstract data type)resistance020901 industrial engineering & automationhydraulic systemsilmanvaihto0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingShape optimizationoptimization
researchProduct

Generalizability and Simplicity as Criteria in Feature Selection: Application to Mood Classification in Music

2011

Classification of musical audio signals according to expressed mood or emotion has evident applications to content-based music retrieval in large databases. Wrapper selection is a dimension reduction method that has been proposed for improving classification performance. However, the technique is prone to lead to overfitting of the training data, which decreases the generalizability of the obtained results. We claim that previous attempts to apply wrapper selection in the field of music information retrieval (MIR) have led to disputable conclusions about the used methods due to inadequate analysis frameworks, indicative of overfitting, and biased results. This paper presents a framework bas…

ta113Acoustics and UltrasonicsComputer sciencebusiness.industryDimensionality reductionEmotion classificationFeature selectionOverfittingMachine learningcomputer.software_genreNaive Bayes classifierFeature (machine learning)Music information retrievalGeneralizability theoryArtificial intelligenceElectrical and Electronic EngineeringbusinesscomputerIEEE Transactions on Audio, Speech, and Language Processing
researchProduct

Seeking Technical Debt in Critical Software Development Projects : An Exploratory Field Study

2016

In recent years, the metaphor of technical debt has received considerable attention, especially from the agile community. Still, despite the fact that agile practices are increasingly used in critical domains, to the best of our knowledge, there are no studies investigating the occurrence of technical debt in critical software development projects. The results of an exploratory field study conducted across several projects reveal that a variety of business and environmental factors cause the occurrence of technical debt in critical domains. Using Grounded Theory method, these factors are categorized as ambiguity of requirement, diversity of projects, inadequate knowledge management, and res…

ta113Agile usability engineeringKnowledge managementbusiness.industryEmpirical process (process control model)Agile Unified Process020207 software engineering02 engineering and technologySoftware peer reviewcomputer.software_genreExtreme programming practicestechnical debtTechnical debt020204 information systemssoftware development0202 electrical engineering electronic engineering information engineeringLean software developmentbusinessohjelmistokehityscomputerAgile software development
researchProduct

Supporting Agile Development by Facilitating Natural User Interaction with Executable Formal Specifications

2011

Agile development benefits from fast feedback from various stakeholders. If implemented in a suitable way, formal methods can enhance the agile development process. With an executable formal specification, it is possible to analyse and simulate the behaviour of the target system before it is being built. However, for the users' and developers' natural participation in the development process, it is necessary to use a real end-user interface and bind it to the execution environment being used in the simulations and animations. This requires, though, that the execution model used to simulate the specification is appropriately changed to facilitate the use of these user interfaces. The authors…

ta113Agile usability engineeringbusiness.industryComputer scienceProgramming languageAgile Unified ProcessGeneral Medicinecomputer.file_formatFormal methodscomputer.software_genreFormal specificationExecutableUser interfacebusinessSoftware engineeringcomputerExecution modelAgile software developmentACM SIGSOFT Software Engineering Notes
researchProduct

Remote Attestation of Software and Execution-Environment in Modern Machines

2015

The research on network security concentrates mainly on securing the communication channels between two endpoints, which is insufficient if the authenticity of one of the endpoints cannot be determined with certainty. Previously presented methods that allow one endpoint, the authentication authority, to authenticate another remote machine. These methods are inadequate for modern machines that have multiple processors, introduce virtualization extensions, have a greater variety of side effects, and suffer from nondeterminism. This paper addresses the advances of modern machines with respect to the method presented by Kennell. The authors describe how a remote attestation procedure, involving…

ta113AuthenticationMulti-core processorNetwork securitybusiness.industryComputer sciencesoftwaremedia_common.quotation_subjectDistributed computingTrusted ComputingCertaintyComputer securitycomputer.software_genreVirtualizationVariety (cybernetics)remote attestationSoftwarenetwork securitybusinesscomputermedia_commonexecution-environment
researchProduct