228 research outputs found
Deriving animations from recursive definitions
This paper describes a generic method to derive an animation from a recursive definition, with the objective of debugging and understanding this definition by expliciting its control structure. This method is based on a well known algorithm of factorizing a recursive function into the composition of the producer and the consumer of its call tree. We developed a systematic method to transform both the resulting functions in order to draw the tree step by step. The theory of data types as fixed points of functors, generic recursion patterns, and monads, are fundamental to our work and are brie y presented. Using polytypic implementations of monadic recursion patterns and an application to manipulate and generate graph layouts we developed a prototype that, given a recursive function written in a subset of Haskell, returns a function whose execution yields the desired animation
Get your spreadsheets under (version) control
Spreadsheets play a pivotal role in many organizations. They serve to store and manipulate data or forecasting, and they are often used to help in the decision process, thus directly impacting the success, or not, of organizations. As the research community already realized, spreadsheets tend to have the same problems “professional” software contain. Thus, in the past decade many software engineering techniques have been successfully proposed to aid spreadsheet developers and users. However, one of the most used mechanisms to manage software projects is still lacking in spreadsheets: a version control system. A version control system allows for collaborative development, while also allowing individual developers to explore different alternatives without compromising the main project. In this paper we present a version control system, named SheetGit, oriented for end-user programmers. It allows to graphically visualize the history of versions (including branches), to switch between different versions just by pointing and clicking, and to visualize the differences between any two versions in an animated way. To validate our approach/tool we performed an empirical evaluation which shows evidence that SheetGit can aid users when compared to other tools.- (undefined
Ranking programming languages by energy efficiency
This paper compares a large set of programming languages regarding their
efficiency, including from an energetic point-of-view. Indeed, we seek to establish
and analyze different rankings for programming languages based on their energy
efficiency. The goal of being able to rank languages with energy in mind is a
recent one, and certainly deserves further studies.
We have taken 19 solutions to well defined programming problems, expressed
in (up to) 27 programming languages, from well know repositories such as the
Computer Language Benchmark Game and Rosetta Code. We have also built a
framework to automatically, and systematically, run, measure and compare the
efficiency of such solutions. Ultimately, it is based on such comparison that we
propose a serious of efficiency rankings, based on multiple criteria.
Our results show interesting findings, such as, slower/faster languages consuming less/more energy, and how memory usage influences energy consumption. We also show how to use our results to provide software engineers support
to decide which language to use when energy efficiency is a concern(University of Porto) for the help that he
provided. This work is financed by the ERDF – European Regional Development
Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 Programme within project POCI-01-0145-FEDER-006961,
and by National Funds through the Portuguese funding agency, FCT - Funda¸c˜ao para a
Ciˆencia e a Tecnologia within project POCI-01-0145-FEDER-016718 and UID/EEA/50014/2013.
The first and second authors are also sponsored by FCT grants SFRH/BD/112733/2015
and SFRH/BD/132485/201
Instrumentos de Ajuda à Mediação do Professor Para Promover a Apredizagem dos Alunos e o Desenvolvimento Profissional dos Professores
Melhorar as práticas de ensino é um desígnio que carece da reflexão dos
professores sobre a sua experiência e da investigação didática. Apresenta-se um
quadro teórico das práticas de ensino que concebe o professor como mediador
em contexto de aprendizagem formal, construído no âmbito de um projeto de
investigação sobre as práticas de ensino. Neste âmbito foram concebidos e validados
cinco instrumentos de ajuda à mediação do professor. Estes instrumentos
de ajuda à mediação podem servir de referência para a melhoria progressiva das
práticas de ensino em cinco dimensões importantes para o ensino de ciências
e tecnologia: envolvimento produtivo dos alunos, avaliação e feedback, uso de
contextos científicos e tecnológicos, trabalho realmente solicitado aos alunos e
práticas epistémicas. Finalmente, apresentam-se os cinco instrumentos de ajuda, largamente ilustrados com excertos de práticas de ensino reais.Improve teaching practices is a purpose that requires the teachers’ reflection
on their experience and the research of teaching. We present a theoretical
framework of teaching practices that face the teacher as mediator in formal learning
contexts, constructed as part of a research project on teaching practices.
Within this framework were designed and validated five instruments to help
teacher mediation. These tools to help teacher mediation can be used as a reference
for the progressive improvement of teaching practices in five important
dimensions to the teaching of science and technology: productive engagement
of students, evaluation and feedback, use of scientific and technological contexts,
the work really demanded to students and epistemic practices. Finally,
we present the five aid instruments, widely illustrated with excerpts from actual teaching practices
Management Effect on Rainfall Use Efficiency and Growth Rate of Spineless Cactus \u3cem\u3ecv.\u3c/em\u3e Miúda in Northeast Brazil
Spineless cactus has a high rainfall use efficiency. Under water deficit, they open their stomata during the night to capture atmospheric carbon dioxide when the air temperature is lower and relative humidity higher (Taiz and Zeiger, 2009), losing less water to the atmosphere. The rainfall use efficiency (RUE) can be expressed as the amount of water used by the crop to produce dry matter (Han and Felker, 1997). The RUE showed by spineless cactus, a CAM plant, is three to five times greater than the one observed in C3 and C4 plants (Felker and Russel, 1988; Nobel, 1991). Therefore, spineless cacti (Nopaleae opuntia) are important forage resource in northeast Brazil. Management practices, however, can affect the RUE and growth of spineless cactus, especially organic and mineral fertilization. Thus, the objective of this research was to evaluate the effect of organic and nitrogen fertilization and harvest frequency on rainfall use efficiency and growth rate of spineless cactus cv. Miúda (Nopalea cochenillifera Salm Dyck)
Vegetative Propagation of \u3cem\u3eStylosanthes scabra\u3c/em\u3e
One way to multiply genetically desirable plants in a more uniform manner is to use vegetative propagation, such as using plant cuttings. This technique multiplies a single plant into several, in an easy low-cost system (Fachinello et al. 2005), so it is useful in plant breeding. This technique may be enhanced through the use of hormonal regulators, with indolebutyric acid (IBA) being most frequently used, because of its stability in hydroalcoholic solution, low sensitivity to biological degradation and good establishment of adventitious roots (Fachinello et al. 1995). In spite of its large-scale use for fruit production, the technique is not commonly used for forage species, such as Stylosanthes. We evaluated different concentrations of IBA for root establishment and initial development of Stylosanthes scabra cuttings
Zeitenwende : a mudança na política de defesa da Alemanha
A Guerra na Ucrânia constitui um colossal desafio à ordem de segurança europeia. Preparado enquanto decorrem as operações militares, este número especial do IDN Brief reúne um conjunto de especialistas que avaliam as consequências da guerra para a Europa e para a relação transatlântica.info:eu-repo/semantics/publishedVersio
Search for the standard model Higgs boson produced in association with top quarks and decaying into a pair in collisions at = 13 TeV with the ATLAS detector
A search for the standard model Higgs boson produced in association with a top-quark pair, tt¯H, is presented. The analysis uses 36.1 fb-1 of pp collision data at s=13 TeV collected with the ATLAS detector at the Large Hadron Collider in 2015 and 2016. The search targets the H→bb¯ decay mode. The selected events contain either one or two electrons or muons from the top-quark decays, and are then categorized according to the number of jets and how likely these are to contain b-hadrons. Multivariate techniques are used to discriminate between signal and background events, the latter being dominated by tt¯+jets production. For a Higgs boson mass of 125 GeV, the ratio of the measured tt¯H signal cross-section to the standard model expectation is found to be μ=0.84-0.61+0.64. A value of μ greater than 2.0 is excluded at 95% confidence level (C.L.) while the expected upper limit is μ<1.2 in the absence of a tt¯H signal.Peer Reviewe
Performance of the ATLAS Track Reconstruction Algorithms in Dense Environments in LHC Run 2
With the increase in energy of the Large Hadron Collider to a centre-of-mass energy of 13 for Run 2, events with dense environments, such as in the cores of high-energy jets, became a focus for new physics searches as well as measurements of the Standard Model. These environments are characterized by charged-particle separations of the order of the tracking detectors sensor granularity. Basic track quantities are compared between 3.2 fb of data collected by the ATLAS experiment and simulation of proton–proton collisions producing high-transverse-momentum jets at a centre-of-mass energy of 13 . The impact of charged-particle separations and multiplicities on the track reconstruction performance is discussed. The track reconstruction efficiency in the cores of jets with transverse momenta between 200 and 1600 is quantified using a novel, data-driven, method. The method uses the energy loss, , to identify pixel clusters originating from two charged particles. Of the charged particles creating these clusters, the measured fraction that fail to be reconstructed is and for jet transverse momenta of 200–400 and 1400–1600 , respectively.Peer Reviewe
Combined search for the Standard Model Higgs boson in collisions at TeV with the ATLAS detector
A combined search for the Standard Model Higgs boson with the ATLAS detector at the LHC is presented. The datasets used correspond to integrated luminosities from 4.6 fb^-1 to 4.9 fb^-1 of proton-proton collisions collected at sqrt(s) = 7 TeV in 2011. The Higgs boson mass ranges of 111.4 GeV to 116.6 GeV, 119.4 GeV to 122.1 GeV, and 129.2 GeV to 541 GeV are excluded at the 95% confidence level, while the range 120 GeV to 560 GeV is expected to be excluded in the absence of a signal. An excess of events is observed at Higgs boson mass hypotheses around 126 GeV with a local significance of 2.9 standard deviations (sigma). The global probability for the background to produce an excess at least as significant anywhere in the entire explored Higgs boson mass range of 110-600 GeV is estimated to be ~15%, corresponding to a significance of approximately one sigma.Peer Reviewe
- …