Search results for "Methods"
showing 10 items of 4526 documents
Towards CNC Programming Using Haskell
2004
Recent advances in Computerized Numeric Control (CNC) have allowed the manufacturing of products with high quality standards. Since CNC programs consist of a series of assembler-like instructions, several high-level languages (e.g., AutoLISP, APL, OMAC) have been proposed to raise the programming abstraction level. Unfortunately, the lack of a clean semantics prevents the development of formal tools for the analysis and manipulation of programs. In this work, we propose the use of Haskell for CNC programming. The declarative nature of Haskell provides an excellent basis to develop program analysis and manipulation tools and, most importantly, to formally prove their correctness.
Spatial Distribution of Fungal Communities in an Arable Soil.
2015
Fungi are prominent drivers of ecological processes in soils, so that fungal communities across different soil ecosystems have been well investigated. However, for arable soils taxonomically resolved fine-scale studies including vertical itemization of fungal communities are still missing. Here, we combined a cloning/Sanger sequencing approach of the ITS/LSU region as marker for general fungi and of the partial SSU region for arbuscular mycorrhizal fungi (AMF) to characterize the microbiome in different maize soil habitats. Four compartments were analyzed over two annual cycles 2009 and 2010: a) ploughed soil in 0-10 cm, b) rooted soil in 40-50 cm, c) root-free soil in 60-70 cm soil depth a…
Phase transitions in adsorbed layers formed on crystals of square and rectangular surface lattice
2000
Abstract This article gives a survey of phase transitions in adsorbed films on well defined surfaces of square and rectangular symmetry of the lattice. The discussion concentrates on the effects of periodic changes of the adsorbate–substrate potential on the structure and thermodynamic properties of adsorbed films. Different theoretical approaches are briefly reviewed, with an emphasis on those which explicitly take into account final corrugation of the surface potential. Several aspects of statistical mechanical description of phase transitions in surface layers, such as order–disorder, melting, commensurate–incommensurate transitions in monolayer films as well as transitions connected wit…
Polish is quantitatively different on quartzite flakes used on different worked materials.
2020
Metrology has been successfully used in the last decade to quantify use-wear on stone tools. Such techniques have been mostly applied to fine-grained rocks (chert), while studies on coarse-grained raw materials have been relatively infrequent. In this study, confocal microscopy was employed to investigate polished surfaces on a coarse-grained lithology, quartzite. Wear originating from contact with five different worked materials were classified in a data-driven approach using machine learning. Two different classifiers, a decision tree and a support-vector machine, were used to assign the different textures to a worked material based on a selected number of parameters (Mean density of furr…
Concept and design developments in school improvement research: general discussion and outlook for further research
2021
AbstractThis book aimed to present innovative designs, measurement instruments, and analysis methods by way of illustrative studies. Through these methodology and design developments, the complexity of school improvement in the context of new governance and accountability measures can be better depicted in future research projects. In this concluding chapter, we discuss what strengths the presented methodologies and designs have and to what extent they do better justice to the multilevel, complex, and dynamic nature of school improvement than previous approaches. In addition, we outline some needs for future research in order to gain new perspectives for future studies.
Vertaisarvioinnin harjoitusohjelma ja vertaisarviointien toteutus Ketosen väitöskirjassa
2021
Tämä materiaali on suomenkielinen kuvaus vertaisarviointi-intervention toteutuksesta Ketosen (2021) väitöskirjassa. Toteutus sisältää vertaisarvioinnin harjoituksia ja varsinaisia vertaisarviointeja. Interventio kesti 1,5 vuotta ja se toteutettiin fysiikan ja kemian oppiaineissa luokka-asteilla 7-8 vuosien 2018-2019 aikana. Harjoitukset ja vertaisarvioinnit on materiaalissa kuvattu siinä järjestyksessä, jossa ne tutkimuksessa toteutettiin. Interventio suunniteltiin vertaisarvioinnin aiempaa tutkimustietoa peruskoulun kontekstiin soveltaen. Materiaali toimii esimerkkinä siitä, miten vertaisarviointia voi harjoitella ja toteuttaa peruskoulussa osana oppiaineen opiskelua. This material is a de…
Dense matter with eXTP
2019
In this White Paper we present the potential of the Enhanced X-ray Timing and Polarimetry (eXTP) mission for determining the nature of dense matter; neutron star cores host an extreme density regime which cannot be replicated in a terrestrial laboratory. The tightest statistical constraints on the dense matter equation of state will come from pulse profile modelling of accretion-powered pulsars, burst oscillation sources, and rotation-powered pulsars. Additional constraints will derive from spin measurements, burst spectra, and properties of the accretion flows in the vicinity of the neutron star. Under development by an international Consortium led by the Institute of High Energy Physics o…
Improving the energy efficiency of an islanded distribution network using classical and innovative computation methods
2016
The paper presents the analysis of some potentially suitable actions for reducing the energy losses of an islanded Medium Voltage distribution network, with the aim of improving electricity distribution efficiency. For this purpose, four actions are considered: 1) increasing the network's rated voltage; 2) reactive power compensation through static capacitor banks; 3) reactive power compensation through switchable capacitor banks; 4) installation of distributed photovoltaic (PV) generation. The first two measures are typically taken into account by the distribution system operators and can be examined by means of classical design methods, whereas the latter two more innovative actions are t…
Iterative altitude-aiding algorithm for improved GNSS positioning
2011
The system proposed in this study relies on a WAVE P2P network, which is a proper standard to fit the vehicular environment wireless communications requests. Starting from the chance to exchange information given by this infrastructure, the possibility to improve the performance of a global navigation satellite system (GNSS) receiver based on a Kalman filter is considered. This improvement is obtained exploiting the external altitude measurements provided by other peers in the network, equipped with GNSS receivers. The topic of an altitude-aided system has been described in a previous work, that highlighted the need for a parameter that points out the effectiveness and the consistency of th…
Advances in spatial economic data analysis: methods and applications
2021
Spatial economic studies traditionally exploit areal data at the regional or sub-regional level. More recently, scholars have started to exploit spatial data of a different nature and, at the same time, extend the fields of application in economics. Specifically, this special issue contributes to the spatial economic literature by providing empirical evidence on a wide range of phenomena (socio-economic deprivation, land price volatility, electoral competition, real estate market, firm survival and tourism economics) and exploiting data at the municipality, firm, house and even individual level. At the same time, it tackles some of the methodological issues faced by the above-mentioned anal…