2,698 research outputs found

    Assessment Of largemouth Bass (Micropterus Salmoides) Condition Using Liver Histopathology, Health Parameters and Water Quality Of The Central Chattahoochee River Watershed

    Get PDF
    The health of Largemouth bass from west-central Georgia was assessed using liver histopathology and the degree of tissue change index (DTC), hepatosomatic indices (HSI), relative weight, condition factors, and intersex. These health parameters as well as water chemistry data were compared across four bodies of water, three within the Chattahoochee watershed, and one pseudo-control located in the Flint watershed. Fish from Lake Oliver, Lake Harding, and West Point Lake had severely impacted liver health compared to Warm Springs National Fish Hatchery, with DTC rankings over 100 for the three lakes within the Chattahoochee watershed, demonstrating severely damaged livers. There was a significant difference between the hepatosomatic index and condition factor for fish when grouped into either high (\u3e100) DTC or low (\u3c 58) DTC categories, but not for relative weight. DTC scores between males and females in the study showed no significant difference. Males who had intersex had significantly higher DTC averages. Water chemistry analysis found 12 compounds that are known endocrine disruptors that can cause liver damage, including several types of phthalates in the Chattahoochee Watershed

    \u3ci\u3eCleave\u3c/i\u3e

    Get PDF

    \u3ci\u3eThe Altered World\u3c/i\u3e

    Get PDF

    \u3ci\u3eIsaac: The Binding\u3c/i\u3e

    Get PDF

    \u3ci\u3eBlues Cast\u3c/i\u3e

    Get PDF

    SCENARIO DEVELOPMENT FOR URBAN WATER MANAGEMENT PLANNING FOR UNCERTAINTY

    Full text link
    The urban water sector is confronted with a multitude of challenges. Rapid population growth, changing political landscapes, aging water infrastructures, and the worsening climate crisis are creating a range of uncertainties in the sector around managing water. Scenarios have been used extensively in the environmental domain to plan for and capture uncertainties to develop plausible futures, including the field of urban water management. Scenarios are key in enabling plans and creating roadmaps to attain desired futures. Despite the advantages and opportunities that scenarios offer for planning, they also have limitations; generally, and within the urban water space. Firstly, the growing uncertainty surrounding urban water management systems necessitates a focused review specifically aimed at the use of scenarios in urban water management. This thesis presents a systematic review to empirically investigate the crucial dimensions of urban water scenarios. Through this review, key knowledge gaps are highlighted, and recommendations are proposed to address these gaps. Secondly, scenarios often depict distressing, almost dystopian futures. Though negative future visions help understand the consequences of present trends and aid in anticipating imminent threats, the limited exploration of positive future visions can make it challenging to find the direction to transform. Optimistic scenarios delve into what people want for the future and capture how their aspirations shape them. Imagining positive visions encourage innovative thinking, creates agency, and creates pathways to desired futures. There is therefore a recognition to move towards more positive, desirable futures. This thesis uses a narrative, participatory scenario process, the SEEDS method, to develop positive visions of urban water futures. The Greater Sydney region in New South Wales, Australia is used as a case study to evaluate the applicability of this approach for urban water management. The urban water sector in the Greater Sydney region faces a multitude of challenges including impacts from climate change, managing diverse water supply sources, and meeting future water demand. These challenges create an increasingly uncertain future for the water sector, where the scale and nature of water services needed in the Greater Sydney region can be unclear. Hence, the Greater Sydney region is selected as the case study region to apply the SEEDS method and develop scenarios for urban water management to plan for future uncertainties. Thirdly, only a few scenario studies include surprises, the unexpected events, which make scenarios useful for planning. Challenges around capturing surprises in scenarios include a lack of structured approaches as well as a lack of evaluation of those methods that have been developed. This thesis discusses the effectiveness and suitability of various surprise methods for scenario development. These methods have been applied in the context of the SEEDS method for urban water management. Finally, there is a lack of evaluation of the tools used to cope with surprises as well as a lack of evaluation efforts of urban water management scenario studies. The assessment of the SEEDS approach for urban water management as well as the different surprise methods for scenario development requires evaluation criteria. This thesis develops and presents an evaluation criteria list based on existing literature that captures key criteria required for adequate assessment of the surprise methods and the scenario process. This thesis contributes to the fields of scenario development and urban water management, and the use of surprises within scenarios. Critical gaps in existing urban water management scenario practices are highlighted and key recommendations are proposed to fill the gaps. Through the pilot study and full-scale implementation of a positive-visioning, narrative-based scenario approach - the SEEDS method, the thesis demonstrates that the SEEDS method is applicable for urban water planning and shows potential for use at different stages of water planning. The positive visions generated through the SEEDS method highlight fundamental aspirations for the urban water sector, possible challenges, and conflicts, and discuss pathways to achieve positive future visions. By using in-situ experimentation and engaging participants with expertise in the relevant field, this thesis provides a realistic evaluation of the scenario process and surprise methods. This thesis thus fills the critical gap about the lack of evaluation in urban water management scenario processes by assessing the scenario method using selected evaluation criteria. Further, the thesis contributes towards the development of quality surprise methods through application and evaluation, thus addressing the gap about the lack of evaluation of the methods used to explore surprise events. Finally, the lack of surprises in scenarios is addressed by presenting different methods that can be used to explore surprise events. Guidance is provided to researchers working with scenario development to understand the different surprise methods available and for choosing the appropriate method(s) to plan for uncertain futures

    Automated and foundational verification of low-level programs

    Get PDF
    Formal verification is a promising technique to ensure the reliability of low-level programs like operating systems and hypervisors, since it can show the absence of whole classes of bugs and prevent critical vulnerabilities. However, to realize the full potential of formal verification for real-world low-level programs one has to overcome several challenges, including: (1) dealing with the complexities of realistic models of real-world programming languages; (2) ensuring the trustworthiness of the verification, ideally by providing foundational proofs (i.e., proofs that can be checked by a general-purpose proof assistant); and (3) minimizing the manual effort required for verification by providing a high degree of automation. This dissertation presents multiple projects that advance formal verification along these three axes: RefinedC provides the first approach for verifying C code that combines foundational proofs with a high degree of automation via a novel refinement and ownership type system. Islaris shows how to scale verification of assembly code to realistic models of modern instruction set architectures-in particular, Armv8-A and RISC-V. DimSum develops a decentralized approach for reasoning about programs that consist of components written in multiple different languages (e.g., assembly and C), as is common for low-level programs. RefinedC and Islaris rest on Lithium, a novel proof engine for separation logic that combines automation with foundational proofs.Formale Verifikation ist eine vielversprechende Technik, um die Verlässlichkeit von grundlegenden Programmen wie Betriebssystemen sicherzustellen. Um das volle Potenzial formaler Verifikation zu realisieren, müssen jedoch mehrere Herausforderungen gemeistert werden: Erstens muss die Komplexität von realistischen Modellen von Programmiersprachen wie C oder Assembler gehandhabt werden. Zweitens muss die Vertrauenswürdigkeit der Verifikation sichergestellt werden, idealerweise durch maschinenüberprüfbare Beweise. Drittens muss die Verifikation automatisiert werden, um den manuellen Aufwand zu minimieren. Diese Dissertation präsentiert mehrere Projekte, die formale Verifikation entlang dieser Achsen weiterentwickeln: RefinedC ist der erste Ansatz für die Verifikation von C Code, der maschinenüberprüfbare Beweise mit einem hohen Grad an Automatisierung vereint. Islaris zeigt, wie die Verifikation von Assembler zu realistischen Modellen von modernen Befehlssatzarchitekturen wie Armv8-A oder RISC-V skaliert werden kann. DimSum entwickelt einen neuen Ansatz für die Verifizierung von Programmen, die aus Komponenten in mehreren Programmiersprachen bestehen (z.B., C und Assembler), wie es oft bei grundlegenden Programmen wie Betriebssystemen der Fall ist. RefinedC und Islaris basieren auf Lithium, eine neue Automatisierungstechnik für Separationslogik, die maschinenüberprüfbare Beweise und Automatisierung verbindet.This research was supported in part by a Google PhD Fellowship, in part by awards from Android Security's ASPIRE program and from Google Research, and in part by a European Research Council (ERC) Consolidator Grant for the project "RustBelt", funded under the European Union’s Horizon 2020 Framework Programme (grant agreement no. 683289)

    SUTMS - Unified Threat Management Framework for Home Networks

    Get PDF
    Home networks were initially designed for web browsing and non-business critical applications. As infrastructure improved, internet broadband costs decreased, and home internet usage transferred to e-commerce and business-critical applications. Today’s home computers host personnel identifiable information and financial data and act as a bridge to corporate networks via remote access technologies like VPN. The expansion of remote work and the transition to cloud computing have broadened the attack surface for potential threats. Home networks have become the extension of critical networks and services, hackers can get access to corporate data by compromising devices attacked to broad- band routers. All these challenges depict the importance of home-based Unified Threat Management (UTM) systems. There is a need of unified threat management framework that is developed specifically for home and small networks to address emerging security challenges. In this research, the proposed Smart Unified Threat Management (SUTMS) framework serves as a comprehensive solution for implementing home network security, incorporating firewall, anti-bot, intrusion detection, and anomaly detection engines into a unified system. SUTMS is able to provide 99.99% accuracy with 56.83% memory improvements. IPS stands out as the most resource-intensive UTM service, SUTMS successfully reduces the performance overhead of IDS by integrating it with the flow detection mod- ule. The artifact employs flow analysis to identify network anomalies and categorizes encrypted traffic according to its abnormalities. SUTMS can be scaled by introducing optional functions, i.e., routing and smart logging (utilizing Apriori algorithms). The research also tackles one of the limitations identified by SUTMS through the introduction of a second artifact called Secure Centralized Management System (SCMS). SCMS is a lightweight asset management platform with built-in security intelligence that can seamlessly integrate with a cloud for real-time updates

    "What It Wants Me To Say": Bridging the Abstraction Gap Between End-User Programmers and Code-Generating Large Language Models

    Full text link
    Code-generating large language models translate natural language into code. However, only a small portion of the infinite space of naturalistic utterances is effective at guiding code generation. For non-expert end-user programmers, learning this is the challenge of abstraction matching. We examine this challenge in the specific context of data analysis in spreadsheets, in a system that maps the users natural language query to Python code using the Codex generator, executes the code, and shows the result. We propose grounded abstraction matching, which bridges the abstraction gap by translating the code back into a systematic and predictable naturalistic utterance. In a between-subjects, think-aloud study (n=24), we compare grounded abstraction matching to an ungrounded alternative based on previously established query framing principles. We find that the grounded approach improves end-users' understanding of the scope and capabilities of the code-generating model, and the kind of language needed to use it effectively
    • …
    corecore