Nitrogen and sulphur management: challenges for organic sources in temperate agricultural systems

A current global trend towards intensification or specialization of agricultural enterprises has been accompanied by increasing public awareness of associated environmental consequences. Air and water pollution from losses of nutrients, such as nitrogen (N) and sulphur (S), are a major concern. Governments have initiated extensive regulatory frameworks, including various land use policies, in an attempt to control or reduce the losses. This paper presents an overview of critical input and loss processes affecting N and S for temperate climates, and provides some background to the discussion in subsequent papers evaluating specific farming systems. Management effects on potential gaseous and leaching losses, the lack of synchrony between supply of nutrients and plant demand, and options for optimizing the efficiency of N and S use are reviewed. Integration of inorganic and organic fertilizer inputs and the equitable re-distribution of nutrients from manure are discussed. The paper concludes by highlighting a need for innovative research that is also targeted to practical approaches for reducing N and S losses, and improving the overall synchrony between supply and demand

A Methodology for the Design and Verification of Globally Asynchronous/Locally Synchronous Architectures

Recent advanced in model-checking have made it practical to formally verify the correctness of many complex synchronous systems (i.e., systems driven by a single clock). However, many computer systems are implemented by asynchronously composing several synchronous components, where each component has its own clock and these clocks are not synchronized. Formal verification of such Globally Asynchronous/Locally Synchronous (GA/LS) architectures is a much more difficult task. In this report, we describe a methodology for developing and reasoning about such systems. This approach allows a developer to start from an ideal system specification and refine it along two axes. Along one axis, the system can be refined one component at a time towards an implementation. Along the other axis, the behavior of the system can be relaxed to produce a more cost effective but still acceptable solution. We illustrate this process by applying it to the synchronization logic of a Dual Fight Guidance System, evolving the system from an ideal case in which the components do not fail and communicate synchronously to one in which the components can fail and communicate asynchronously. For each step, we show how the system requirements have to change if the system is to be implemented and prove that each implementation meets the revised system requirements through modelchecking

Runtime-aware architectures

In the last few years, the traditional ways to keep the increase of hardware performance to the rate predicted by the Moore’s Law have vanished. When uni-cores were the norm, hardware design was decoupled from the software stack thanks to a well defined Instruction Set Architecture (ISA). This simple interface allowed developing applications without worrying too much about the underlying hardware, while hardware designers were able to aggressively exploit instruction-level parallelism (ILP) in superscalar processors. Current multi-cores are designed as simple symmetric multiprocessors (SMP) on a chip. However, we believe that this is not enough to overcome all the problems that multi-cores face. The runtime system of the parallel programming model has to drive the design of future multi-cores to overcome the restrictions in terms of power, memory, programmability and resilience that multi-cores have. In the paper, we introduce an approach towards a Runtime-Aware Architecture (RAA), a massively parallel architecture designed from the runtime’s perspective.This work has been partially supported by the European Research Council under the European Union’s 7th FP, ERC Grant Agreement number 321253, by the Spanish Ministry of Science and Innovation under grant TIN2012-34557 and by the HiPEAC Network of Excellence. M. Moreto has been partially supported by the Ministry of Economy and Competitiveness under Juan de la Cierva postdoctoral fellowship number JCI- 2012-15047, and M. Casas is supported by the Secretary for Universities and Research of the Ministry of Economy and Knowledge of the Government of Catalonia and the Co-fund programme of the Marie Curie Actions of the 7th R&D Framework Programme of the European Union (Contract 2013 BP B 00243).Peer ReviewedPostprint (author's final draft

Affective Learning Opportunities for Gifted Adolescents

The importance of teaching children and adolescents about affective content has recently become more of a priority in the realm of education, especially when working with gifted learners. The Colorado Department of Education requires that students on Advanced Learning Plans (ALPs) write an annual academic and affective goal. The problem of practice guiding this research is the lack of services and support for gifted adolescents to achieve healthy affective development and to write affective goals. It appears that opportunities for students, especially secondary students, to learn about affective content are limited. This multiple case study examined factors contributing to gifted adolescents’ understanding of affective concepts. Through the use of data including teacher interviews, artifacts of the school environment, and curricular affective resources, this study shows that affective learning opportunities for gifted adolescents are limited in the cases studied. Lack of time for instruction, adults’ lack of understanding of gifted affective needs, and lack of curricular resources were all contributing factors to this problem of practice. Although this study cannot be generalized to all secondary schools, the findings have important implications with regard to instructional practices as they relate to affective instruction for gifted adolescents

Automating synthesis of asynchronous communication mechanisms

Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed processes in digital systems. In previous work, systematic ACM synthesis methods have been proposed. In this paper, we advance this work by developing algorithms and software tools which automate the major part of the ACM synthesis process. Firstly, an interleaving specification is constructed in the form of a state graph, and secondly, a Petri net model of an "ACM-type" is derived using the notion of an ACM-region. The method is applied to a number of "standard" writing and reading policies of ACMs with shared memory and unidirectional control variables.Peer ReviewedPostprint (published version

Design, Development and Assessment of Control Schemes for IDMS in a Standardized RTCP-based Solution

[EN] Currently, several media sharing applications that allow social interactions between distributed users are gaining momentum. In these networked scenarios, synchronized playout between the involved participants must be provided to enable truly interactive and coherent shared media experiences. This research topic is known as Inter-Destination Media Synchronization (IDMS). This paper presents the design and development of an advanced IDMS solution, which is based on extending the capabilities of RTP/RTCP standard protocols. Particularly, novel RTCP extensions, in combination with several control algorithms and adjustment techniques, have been specified to enable an adaptive, highly accurate and standard compliant IDMS solution. Moreover, as different control or architectural schemes for IDMS exist, and each one is best suited for specific use cases, the IDMS solution has been extended to be able to adopt each one of them. Simulation results prove the satisfactory responsiveness of our IDMS solution in a small scale scenario, as well as its consistent behavior, when using each one of the deployed architectural schemes.This work has been financed, partially, by Universitat Politecnica de Valencia (UPV), under its R&D Support Program in PAID-01-10. TNO's work has been partially funded by European Community's Seventh Framework Programme (FP7/2007-2013) under Grant Agreement No. ICT-2011-8-318343 (STEER Project). CWI's work has been partially funded by the European Community's Seventh Framework Programme (FP7/2007-2013) under Grant Agreement No. ICT-2011-7-287723 (REVERIE Project).Montagud Aguar, M.; Boronat Segui, F.; Stokking, H.; Cesar, P. (2014). Design, Development and Assessment of Control Schemes for IDMS in a Standardized RTCP-based Solution. Computer Networks. 70:240-259. https://doi.org/10.1016/j.comnet.2014.06.004S2402597