Natural Water Treatment Systems for Safe and Sustainable Water Supply in the Indian Context

"Natural Water Treatment Systems for Safe and Sustainable Water Supply in the Indian Context is based on the work from the Saph Pani project (Hindi word meaning potable water). The book aims to study and improve natural water treatment systems, such as River Bank Filtration (RBF), Managed Aquifer Recharge (MAR), and wetlands in India, building local and European expertise in this field. The project aims to enhance water resources and water supply, particularly in water stressed urban and peri urban areas in different parts of the Indian sub-continent. This project is co-funded by the European Union under the Seventh Framework (FP7) scheme of small or medium scale focused research projects for specific cooperation actions (SICA) dedicated to international cooperation partner countries. Natural Water Treatment Systems for Safe and Sustainable Water Supply in the Indian Context provides: an introduction to the concepts of natural water treatment systems (MAR, RBF, wetlands) at national and international level knowledge of the basics of MAR, RBF and wetlands, methods and hydrogeological characterisation an insight into case studies in India and abroad. This book is a useful resource for teaching at Post Graduate level, for research and professional reference.

Natural Water Treatment Systems for Safe and Sustainable Water Supply in the Indian Context

"Natural Water Treatment Systems for Safe and Sustainable Water Supply in the Indian Context is based on the work from the Saph Pani project (Hindi word meaning potable water). The book aims to study and improve natural water treatment systems, such as River Bank Filtration (RBF), Managed Aquifer Recharge (MAR), and wetlands in India, building local and European expertise in this field. The project aims to enhance water resources and water supply, particularly in water stressed urban and peri urban areas in different parts of the Indian sub-continent. This project is co-funded by the European Union under the Seventh Framework (FP7) scheme of small or medium scale focused research projects for specific cooperation actions (SICA) dedicated to international cooperation partner countries. Natural Water Treatment Systems for Safe and Sustainable Water Supply in the Indian Context provides: an introduction to the concepts of natural water treatment systems (MAR, RBF, wetlands) at national and international level knowledge of the basics of MAR, RBF and wetlands, methods and hydrogeological characterisation an insight into case studies in India and abroad. This book is a useful resource for teaching at Post Graduate level, for research and professional reference.

Evidence-based lean logic profiles for conceptual data modelling languages

Multiple logic-based reconstruction of conceptual data modelling languages such as EER, UML Class Diagrams, and ORM exists. They mainly cover various fragments of the languages and none are formalised such that the logic applies simultaneously for all three modelling language families as unifying mechanism. This hampers interchangeability, interoperability, and tooling support. In addition, due to the lack of a systematic design process of the logic used for the formalisation, hidden choices permeate the formalisations that have rendered them incompatible. We aim to address these problems, first, by structuring the logic design process in a methodological way. We generalise and extend the DSL design process to apply to logic language design more generally and, in particular, by incorporating an ontological analysis of language features in the process. Second, availing of this extended process, of evidence gathered of language feature usage, and of computational complexity insights from Description Logics (DL), we specify logic profiles taking into account the ontological commitments embedded in the languages. The profiles characterise the minimum logic structure needed to handle the semantics of conceptual models, enabling the development of interoperability tools. There is no known DL language that matches exactly the features of those profiles and the common core is small (in the tractable ALNI). Although hardly any inconsistencies can be derived with the profiles, it is promising for scalable runtime use of conceptual data models

Lenguajes austeros de modelado conceptual de datos basados en evidencias

Multiple logic-based reconstructions of UML class diagram, Entity Relationship diagrams, and Obect-Role Model diagrams exists. They mainly cover various fragments of these Conceptual Data Modelling Languages and none are formalised such that the logic applies simultaneously for the three language families as a unifying mechanism. This hampers interchangeability, interoperability, and tooling support. In addition, due to the lack of a systematic design process of the logic used for the formalisation, hidden choices permeate the formalisations that have rendered them incompatible. We aim to address these problems, first, by structuring the logic design process in a methodological way. We generalise and extend the DSL design process to logic language design. In particular, a new phase of ontological analysis of language features is included, to apply to logic language design more generally and, in particular, by incorporating an ontological analysis of language features in the process. Second, we specify minimal logic profiles availing of this extended process, including the ontological commitments embedded in the languages, of evidence gathered of language feature usage, and of computational complexity insights from Description Logics (DL). The profiles characterise the essential logic structure needed to handle the semantics of conceptual models, therewith enabling the development of interoperability tools. No known DL language matches exactly the features of those profiles and the common core is in the tractable DL ACJfl. Although hardly any inconsistencies can be derived with the profiles, it is promising for scalable runtime use of conceptual data models.Existen varias reconstrucciones basadas en lógica de lenguajes de modelado conceptual como EER, diagramas de clases UML y ORM. Principalmente cubren fragmentos de estos lenguajes, y sus formalizaciones no están hechas para que se apliquen simultáneamente a estas tres familias de lenguajes como un mecanismo de unificación. Este hecho atenta contra el intercambio y la interoperabilidad de los modelos y el desarrollo de herramientas de soporte. Además, dada la falta de un proceso sistemático de diseño, ciertas decisiones ocultas en la representación lógica hacen que las formalizaciones sean incompatibles. En este trabajo nos proponemos atacar este problema, proponiendo primero un proceso de diseño lógico que puede ser aplicado en forma metodológica. Se generaliza y extiende el proceso DSL para que se pueda aplicar al diseño de lenguajes lógicos en general, incorporando análisis ontológico de las características del lenguaje. Segundo, se especifican perfiles lógicos minimales que sacan provecho de este proceso extendido, incluyendo los compromisos ontológicos asumidos, de evidencia de uso de las características del lenguaje, y de los propiedades computacionales de las Lógicas Descriptivas (DL, description logics). Estos perfiles caracterizan la estructura lógica esencial que se necesita para manejar la semántica de los modelos conceptuales, habilitando el desarrollo de herramientas automáticas de interoperabilidad. No existe correspondencia exacta directa entre estos perfiles y fragmentos conocidos de lenguajes DL, y el núcleo común es pequeño (la lógica tratable ACNT). Aunque es muy poca la posibilidad de derivar inconsistencias dentro de estos perfiles, es prometedor su uso en modelos conceptuales dado su complejidad en tiempo escalable.Facultad de Informátic

Evidence-based lean conceptual data modelling languages

Multiple logic-based reconstructions of conceptual data modelling languages such as EER, UML Class Diagrams, and ORM exist. They mainly cover various fragments of the languages and none are formalised such that the logic applies simultaneously for all three modelling language families as unifying mechanism. This hampers interchangeability, interoperability, and tooling support. In addition, due to the lack of a systematic design process of the logic used for the formalisation, hidden choices permeate the formalisations that have rendered them incompatible. We aim to address these problems, first, by structuring the logic design process in a methodological way. We generalise and extend the DSL design process to apply to logic language design more generally and, in particular, by incorporating an ontological analysis of language features in the process. Second, we specify minimal logic profiles availing of this extended process, including the ontological commitments embedded in the languages, of evidence gathered of language feature usage, and of computational complexity insights from Description Logics (DL). The profiles characterise the essential logic structure needed to handle the semantics of conceptual models, therewith enabling the development of interoperability tools. There is no known DL language that matches exactly the features of those profiles and the common core is small (in the tractable DL ALNI). Although hardly any inconsistencies can be derived with the profiles, it is promising for scalable runtime use of conceptual data models

The Animator: The 26th Society for Animation Studies Annual Conference Toronto June 16 to 19, 2014

The 2014 Society for Animation Studies conference hosted by Sheridan College was from June 16 - 19, 2014. As Animation Studies continues to develop as a discipline, the dialogue that has opened up between more traditional academic research into the field and what we might call ‘industry-facing’ or applied research has become more important. The critical study of animation from within higher education institutions like Sheridan represents one of the many areas in which the industry can grow. Every SAS conference has its own distinct tone and flavour because we are truly international in our membership and we devolve conference organization annually to the host institution. This means that this year’s conference is strongly allied to Sheridan’s industry focus – not least with Corus warmly welcoming conference goers to their HQ for parts of the conference. SAS provides such a welcoming environment for new members, and a terrific forum to discuss animation from a multitude of perspectives. It is within this fertile and nurturing atmosphere that we decided to focus our conference on the animation artist. As a tribute to all artists whose efforts fuel our work, and in the spirit of the centenary of celebrated National Film Board of Canada animator, Norman McLaren, the 2014 SAS Conference is named “The Animator”. Keynote speakers included Scott Dyer, Executive Vice President, Strategic Planning and Chief Technology Officer, Corus Entertainment Charile Bonifacio, Animator, Arc Productions Ltd, Canada Professor Paul Wells, Director of the Animation Academy Loughborough University, UK Michael Fukushima, Executive Producer of NFB’s English Animation Studio National Film Board of Canada Panel Discussions McLaren Legacy Panel: The Centenary Year - Nichola Dobson, Terence Dobson, Kaj Pindal Stop Motion, From Local Community Members - Chris Walsh, Bret Long, Nora Keely, Mark Mayerson Conference Twitter account: @AnimatorSAS2014https://source.sheridancollege.ca/conferences_anim/1000/thumbnail.jp

Scheduling of a Cyber-Physical System Simulation

The work carried out in this Ph.D. thesis is part of a broader effort to automate industrial simulation systems. In the aeronautics industry, and more especially within Airbus, the historical application of simulation is pilot training. There are also more recent uses in the design of systems, as well as in the integration of these systems. These latter applications require a very high degree of representativeness, where historically the most important factor has been the pilot’s feeling. Systems are now divided into several subsystems that are designed, implemented and validated independently, in order to maintain their control despite the increase in their complexity, and the reduction in time-to-market. Airbus already has expertise in the simulation of these subsystems, as well as their integration into a simulation. This expertise is empirical; simulation specialists use the previous integrations schedulings and adapt it to a new integration. This is a process that can sometimes be time-consuming and can introduce errors. The current trends in the industry are towards flexible production methods, integration of logistics tools for tracking, use of simulation tools in production, as well as resources optimization. Products are increasingly iterations of older, improved products, and tests and simulations are increasingly integrated into their life cycles. Working empirically in an industry that requires flexibility is a constraint, and nowadays it is essential to facilitate the modification of simulations. The problem is, therefore, to set up methods and tools allowing a priori to generate representative simulation schedules. In order to solve this problem, we have developed a method to describe the elements of a simulation, as well as how this simulation can be executed, and functions to generate schedules. Subsequently, we implemented a tool to automate the scheduling search, based on heuristics. Finally, we tested and verified our method and tools in academic and industrial case studies

Enhanced Hardware Security Using Charge-Based Emerging Device Technology

The emergence of hardware Trojans has largely reshaped the traditional view that the hardware layer can be blindly trusted. Hardware Trojans, which are often in the form of maliciously inserted circuitry, may impact the original design by data leakage or circuit malfunction. Hardware counterfeiting and IP piracy are another two serious issues costing the US economy more than $200 billion annually. A large amount of research and experimentation has been carried out on the design of these primitives based on the currently prevailing CMOS technology. However, the security provided by these primitives comes at the cost of large overheads mostly in terms of area and power consumption. The development of emerging technologies provides hardware security researchers with opportunities to utilize some of the otherwise unusable properties of emerging technologies in security applications. In this dissertation, we will include the security consideration in the overall performance measurements to fully compare the emerging devices with CMOS technology. The first approach is to leverage two emerging devices (Silicon NanoWire and Graphene SymFET) for hardware security applications. Experimental results indicate that emerging device based solutions can provide high level circuit protection with relatively lower performance overhead compared to conventional CMOS counterpart. The second topic is to construct an energy-efficient DPA-resilient block cipher with ultra low-power Tunnel FET. Current-mode logic is adopted as a circuit-level solution to countermeasure differential power analysis attack, which is mostly used in the cryptographic system. The third investigation targets on potential security vulnerability of foundry insider\u27s attack. Split manufacturing is adopted for the protection on radio-frequency (RF) circuit design

InterDrought-V

Drought is weather-related natural disaster, which affects vast regions for months or years and has impact on food production. Drought is related to a deficiency of precipitation over a season or an extended period of time. The most immediate consequence is a fall in crop production, due to inadequate and poorly distributed rainfall. Given the severity of drought, a central challenge for researchers and policy makers is to device technologies that lend greater resilience to agricultural production under this stress. InterDrought conferences, in view of above, serve as a platform for presenting and debating key issues and strategies relevant for improving drought and other stress tolerance in crops. The main mission of the conference is to explore the possibilities of scientific and technological applications in crop improvement. In continuation of earlier InterDrought Conferences held in France (ID-I, 1995), Italy (ID-II, 2005), China (ID-III, 2009) and Australia (ID-IV, 2013), the next InterDrought Conference, InterDrought-V, is being organized in India..