527 research outputs found

    Nivat's conjecture holds for sums of two periodic configurations

    Full text link
    Nivat's conjecture is a long-standing open combinatorial problem. It concerns two-dimensional configurations, that is, maps Z2A\mathbb Z^2 \rightarrow \mathcal A where A\mathcal A is a finite set of symbols. Such configurations are often understood as colorings of a two-dimensional square grid. Let Pc(m,n)P_c(m,n) denote the number of distinct m×nm \times n block patterns occurring in a configuration cc. Configurations satisfying Pc(m,n)mnP_c(m,n) \leq mn for some m,nNm,n \in \mathbb N are said to have low rectangular complexity. Nivat conjectured that such configurations are necessarily periodic. Recently, Kari and the author showed that low complexity configurations can be decomposed into a sum of periodic configurations. In this paper we show that if there are at most two components, Nivat's conjecture holds. As a corollary we obtain an alternative proof of a result of Cyr and Kra: If there exist m,nNm,n \in \mathbb N such that Pc(m,n)mn/2P_c(m,n) \leq mn/2, then cc is periodic. The technique used in this paper combines the algebraic approach of Kari and the author with balanced sets of Cyr and Kra.Comment: Accepted for SOFSEM 2018. This version includes an appendix with proofs. 12 pages + references + appendi

    Separation Assurance and Scheduling Coordination in the Arrival Environment

    Get PDF
    Separation assurance (SA) automation has been proposed as either a ground-based or airborne paradigm. The arrival environment is complex because aircraft are being sequenced and spaced to the arrival fix. This paper examines the effect of the allocation of the SA and scheduling functions on the performance of the system. Two coordination configurations between an SA and an arrival management system are tested using both ground and airborne implementations. All configurations have a conflict detection and resolution (CD&R) system and either an integrated or separated scheduler. Performance metrics are presented for the ground and airborne systems based on arrival traffic headed to Dallas/ Fort Worth International airport. The total delay, time-spacing conformance, and schedule conformance are used to measure efficiency. The goal of the analysis is to use the metrics to identify performance differences between the configurations that are based on different function allocations. A surveillance range limitation of 100 nmi and a time delay for sharing updated trajectory intent of 30 seconds were implemented for the airborne system. Overall, these results indicate that the surveillance range and the sharing of trajectories and aircraft schedules are important factors in determining the efficiency of an airborne arrival management system. These parameters are not relevant to the ground-based system as modeled for this study because it has instantaneous access to all aircraft trajectories and intent. Creating a schedule external to the CD&R and the scheduling conformance system was seen to reduce total delays for the airborne system, and had a minor effect on the ground-based system. The effect of an external scheduler on other metrics was mixed

    Actas del congreso virtual: Avances en tecnologías, innovación y desafío de la educación superior ATIDES 2016.

    Get PDF
    ls entorns virtuals (educació a distància, e-Learning, blended Learning, laboratoris virtuals...), la globalització universitària (mobilitat virtual, educació global i multicultural, convenis interuniversitaris), cursos a distància massius i oberts (Massive Open Online Courses, MOOC), noves tecnologies en educació, l'espai europeu d'educació superior i els programes de mobilitat a partir de la Declaració de Bolonya, les experiències innovadores en educació, l'evaluació de competències i planificació de ECTS, l'acreditació de la qualitat, els aspectes legals i econòmics de l'educació, la regulació jurídica del dret a l'educació, l'educació i gènere... són alguns dels desafiaments que tracta la publicació

    Actas del Congreso Virtual Avances en Tecnologías, Innovación y Desafíos de la Educación Superior ATIDES 2018

    Get PDF
    Actes del Congres Virtual Avances en Tecnologías, Innovación y Desafíos de la Educación Superior ATIDES 201

    Characterizing the Spatial Pattern Changes of Urban Heat Islands in Metro Manila Using Remote Sensing Techniques

    Get PDF
    This study characterizes the spatial pattern of urban heat island (UHI) phenomenon when in situ measurements are not available. Images obtained from remote sensors operating in the thermal infrared wavelength of Landsat Thematic Mapper (TM) and Enhanced Thematic Mapper (ETM+) were used to derive the surface temperature of Metro Manila from 1989 to 2002; thereon, the formation of urban surface heat islands became apparent. The impact of urbanization to surface urban temperature is noticeable– the average annual rate of urban growth is found to be 1.33 percent while the rise of UHI has an annual growth rate of 0.8 degrees Celsius. Likewise, increase in land surface temperature is related to the decrease in leaf biomass. These were evident from changes in land cover parameters such as fractional vegetation cover and surface moisture availability. These parameters were derived by computing the normalized difference vegetation index (NDVI) from the images

    The long-term Illinois rivers fish population monitoring program 2014

    Get PDF
    This report presents a summary of those data collected during segment 26(2014-15) of the Long-term Illinois Rivers Fish Population Monitoring Program(LTEF), an annual survey executed by members of the Illinois Natural History Survey with funds administered by the U.S. Fish and Wildlife Service and the Illinois Department of Natural Resources. Sampling for the LTEF program was conducted on: six reaches of the Illinois River Waterway, six segments or pools of the Mississippi River, and navigable portions of the Iroquois and Kankakee Rives. In all segments of the LTEF program, all fish species collected were accurately identified, tallied, measured, and weighed. The catch rates of sportfish species were calculated as the number of individuals collected per hour (CPUEN± standard error). Structural indices [Proportional Size Distribution (PSD) and Relative Weight (Wr)] were also calculated for species of interest to regional managers. Catch rates and species richness varied greatly among all sampling locations and sampling periods. Emerald Shiners and Gizzard Shad comprised the majority of the individuals caught, and Silver Carp and Common Carp accounted for the greatest proportion of the biomass collected in most sampling areas of the survey. The analysis of CPUEN and PSD trends in sportfish populations sampled by the program may indicate inter-annual recruitment patterns in sportfish populations around the state. Both Shovelnose Sturgeon and Blue Catfish were the two species most commonly encountered in the gill net surveys.IDNR Division of Fisheries Project F-101-R, Segment 26unpublishednot peer reviewe

    Ten Simple Rules for organizing a non–real-time web conference

    Get PDF
    The present work describes the 100% virtual ATIDES (Avances en Tecnologı ´as, Innovacio ´n y Desafı ´os de la Educacio ´n Superior) conference that was held between October 15 and 31, 2018, sponsored by Universitat Jaume I (UJI), Spain. Online conferences like this have been the subject of some controversy in the field of education over the last decade. Indeed, we have found a few texts that are against them. One of these is [1], whose authors claim that “interaction is not enough” to ensure efficient simulation of face-to-face contact. However, the Canadian academic community (for instance, the Centre for Distance Education at Athabasca University) is a strong advocate of online conferences (see [2,3]). Among other advantages, this kind of conference is “family-friendly,” i.e., they break barriers for researchers with family obligations [4], in particular many women [5]. In addition, these conferences overcome the drawback of parallel sessions at face-to-face conferences, at which participants must choose certain talks and miss others. Anderson and Anderson [6] even put forward environmental and economic arguments: “Transportation is a major contributor of carbon dioxide (CO2) emissions.” On the other hand, Abdullah [7] and Kear, Chetwynd, and Jefferis [8] look at the matter from another point of view that is also important: Social presence at online conferences

    Child t-shirt size data set from 3D body scanner anthropometric measurements and a questionnaire

    Get PDF
    [EN] A dataset of a fit assessment study in children is presented. Anthropometric measurements of 113 children were obtained using a 3D body scanner. Children tested a t-shirt of different sizes and a different model for boys and girls, and their fit was assessed by an expert. This expert labeled the fit as 0 (correct), ¿1 (if the garment was small for that child), or 1 (if the garment was large for that child) in an ordered factor called Size-fit. Moreover, the fit was numerically assessed from 1 (very poor fit) to 10 (perfect fit) in a variable called Expert evaluation. This data set contains the differences between the reference mannequin of the evaluated size and the child¿s anthropometric measurements for 27 variables. Besides these variables, in the data set, we can also find the gender, the size evaluated, and the size recommended by the expert, including if an intermediate, but nonexistent size between two consecutive sizes would have been the right size. In total, there are 232 observations. The analysis of these data can be found in Pierola et al. (2016) [2].This work has been partially supported by Grants DPI2013-47279-C2-1-R and DPI2013-47279-C2-2-R.Pierola, A.; Epifanio, I.; Alemany Mut, MS. (2017). Child t-shirt size data set from 3D body scanner anthropometric measurements and a questionnaire. Data in Brief. 11:311-315. https://doi.org/10.1016/j.dib.2017.02.025S3113151
    corecore