Search Results - Flowey~

Antibacterial Activities of Essential Oil and Composition of Stachys acerosa Boiss. by MH Moshafi, A Mofidi, M Mehrabani, M Mehrabani

Connect to this object online.

Effects of Harvest Timing on Phytochemical Composition in <i>Lamiaceae</i> Plants under an Environment-Controlled System by Da-Hye Ryu, Jwa-Yeong Cho, Seung-Hoon Yang, Ho-Youn Kim

Connect to this object online.

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

Table of Contents: “…-- Checking Data-Race Freedom of GPU Kernels, Compositionally -- GenMC: A Model Checker for Weak Memory Models -- Hybrid and Cyber-Physical Systems -- Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming -- An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation -- HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL -- Computing Bottom SCCs Symbolically Using Transition Guided Reduction -- Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems -- IMITATOR 3: Synthesis of timing parameters beyond decidability -- Formally Verified Switching Logic for Recoverability of Aircraft Controller -- SceneChecker: Boosting Scenario Verification using Symmetry Abstractions -- Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness -- Fast zone-based algorithms for reachability in pushdown timed automata -- Security -- Verified Cryptographic Code for Everybody -- Not All Bugs Are Created Equal, But Robust Reachability Can Tell The Difference -- A Temporal Logic for Asynchronous Hyperproperties -- Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security -- Constraint-based Relational Verification -- Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning -- Synthesis -- Synthesis with Asymptotic Resource Bounds -- Program Sketching by Automatically Generating Mocks from Tests -- Counterexample-Guided Partial Bounding for Recursive Function Synthesis -- PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs -- Adapting Behaviors via Reactive Synthesis -- Causality-based Game Solving.…”
Link to Metadata

Urinary Stents Current State and Future Perspectives /

Table of Contents: “…. -- Ch 6: Strategies to improve the quality of life of stented patients -- Ch 7: Use of drugs to reduce the morbidity of ureteral stents -- Ch 8: Ureteral stent designs to reduce stent-related symptoms and improve patient quality of life -- Ch 9: Encrustation in urinary stents -- Ch 10: Forgotten ureteral stent syndrome -- Ch 11: Endourological management of encrusted ureteral stents -- Ch 12: Pediatric Ureteral Stents -- Ch 13: Flow dynamics in stented ureter -- Ch 14: Methodology for the development and validation of new stent designs: in vitro and in vivo models -- Ch 15: Methodology on clinical evaluation of urinary stents -- Ch 16: A Dynamically Degradable Surface: Can We 'Fool' Bacteria to Delay Biofouling in Urinary Stents? …”
Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /

Table of Contents: “…Verifying Probabilistic Programs via Generating Functions -- Abstraction-Renement for Hierarchical Probabilistic Models -- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification -- Example Guided Synthesis of Linear Approximations for Neural Network Verification -- Verifying Neural Networks Against Backdoor Attacks -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning -- Neural Network Robustness as a Verication Property: A Principled Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis -- A‑ne Loop Invariant Generation via Matrix Algebra -- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes -- Proof-guided Underapproximation Widening for Bounded Model Checking -- SolCMC: Solidity Compiler's Model Checker -- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety -- Abstraction Modulo Stability for Reverse Engineering -- A Modular and Highly Extensible API Fuzzer for SMT Solvers -- Automata and Logic FORQ-based Language Inclusion Formal Testing -- Sound Automation of Magic Wands -- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition -- Complementing Büchi Automata with Ranker -- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers -- Local Search For SMT on Linear Integer Arithmetic -- Reasoning about Data Trees using CHCs -- Veried Erasure Correction in Coq with MathComp and VST -- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers -- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols -- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare -- Synthesizing Fair Decision Trees via Iterative Constraint Solving -- SMT-based Translation Validation for Machine Learning Compiler -- Lee Verifying Fairness in Quantum Machine Learning -- MoGym: Using Formal Models for Training and Verifying Decision-making Agents -- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications -- Verifying generalised and structural soundness of workow netsvia relaxations -- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET -- Information Flow Guided Synthesis -- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.…”
Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /

Table of Contents: “…Verifying Probabilistic Programs via Generating Functions -- Abstraction-Renement for Hierarchical Probabilistic Models -- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification -- Example Guided Synthesis of Linear Approximations for Neural Network Verification -- Verifying Neural Networks Against Backdoor Attacks -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning -- Neural Network Robustness as a Verication Property: A Principled Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis -- A‑ne Loop Invariant Generation via Matrix Algebra -- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes -- Proof-guided Underapproximation Widening for Bounded Model Checking -- SolCMC: Solidity Compiler's Model Checker -- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety -- Abstraction Modulo Stability for Reverse Engineering -- A Modular and Highly Extensible API Fuzzer for SMT Solvers -- Automata and Logic FORQ-based Language Inclusion Formal Testing -- Sound Automation of Magic Wands -- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition -- Complementing Büchi Automata with Ranker -- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers -- Local Search For SMT on Linear Integer Arithmetic -- Reasoning about Data Trees using CHCs -- Veried Erasure Correction in Coq with MathComp and VST -- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers -- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols -- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare -- Synthesizing Fair Decision Trees via Iterative Constraint Solving -- SMT-based Translation Validation for Machine Learning Compiler -- Lee Verifying Fairness in Quantum Machine Learning -- MoGym: Using Formal Models for Training and Verifying Decision-making Agents -- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications -- Verifying generalised and structural soundness of workow netsvia relaxations -- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET -- Information Flow Guided Synthesis -- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.…”
Link to Metadata

The Palgrave Handbook of South-South Migration and Inequality

Table of Contents: “…The Design and Use of Digital Technologies in the Context of South-South Migration -- 24. Migrant Resource Flows and Development in the Global South -- 25. …”
Link to Metadata

Progress in Landslide Research and Technology, Volume 2 Issue 2, 2023

Table of Contents: “…Part I: ICL Landslide Lesson -- Advancements in shear strength interpretation, testing, and use for landslide analysis -- Rock Avalanches in the Tibet Plateau of China -- Part II: Original articles -- Landslide Susceptibility Zonation Using GIS-based Frequency Ratio Approach in the Kulon Progo Mountains Area, Indonesia -- Physically-based regional landslide forecasting modelling: model set-up and validation -- Consequence - frequency matrix as a tool to assess landslides risk -- Do not let your guard down: landslide exposure and local awareness in Mexico -- Landslides in Higher Education Curricula and Beyond -- Community Scale Landslide Resilience: A citizen-science approach -- Remedial Measures Impact on Slope Stability and Landslide Occurrence in Small-Scale Slope Physical Model in 1g Conditions -- Surficial geology and geomorphology of the North Slide, Thompson River valley, British Columbia: application of fundamental geoscience information to interpretations of geospatial monitoring results -- High Resolution Numerical Weather Simulation for Orographic Precipitation as an Accurate Early Warning Tool for Landslide Vulnerable Terrains -- Climate Change as Modifier of Landslide Susceptibility: Case Study in Davao Oriental, Philippines -- Fractal-based evaluation of the spatial relationship between conditioning factors and the distribution of landslides (A case study in Tinh Tuc, Cao Bang province, Vietnam) -- Procedure of Data Processing for the Improvement of Failure Time of a Landslide Based on the Velocity and Acceleration of the Displacement -- Numerical analysis of the effect of rainfall on the stability of sandstone-covered mudstone cutting slopes -- Part III: Review articles -- Post-formation behaviour of Hattian Landslide Dam and post-breaching situation -- Investigation of debris flow impact mechanisms and designs -- A review of the disaster risk assessment perspectives -- Part IV: IPL/WCOE/KLC2020 -- Application of LAND-SUITE for landslide susceptibility modelling using different mapping units. …”
Link to Metadata

The Future Internet Future Internet Assembly 2013: Validated Results and New Horizons /

Table of Contents: “…Software Driven Networks, Virtualisation, Programmability and Autonomic Management -- Towards a Socially-Aware Management of New Overlay Application Traffic Combined with Energy Efficiency in the Internet (SmartenIT) -- The NEBULA Future Internet Architecture -- Open the Way to Future Networks - A Viewpoint Framework from ITU-T -- Towards a Minimal Core for Information-Centric Networking -- Managing QoS for Future Internet Applications over Virtual Sensor Networks -- High Availability in the Future Internet -- Integrating OpenFlow in IMS Networks and Enabling for Future Internet Research and Experimentation -- Computing and Networking Clouds Contrail: Distributed Application Deployment under SLA in Federated Heterogeneous Clouds -- Cloud-Based Evaluation Framework for Big Data -- Optimizing Service Ecosystems in the Cloud -- Resource Optimisation in IoT Cloud Systems by Using Matchmaking and Self-management Principles -- Towards a Secure Network Virtualization Architecture for the Future Internet -- Seeding the Cloud: An Innovative Approach to Grow Trust in Cloud Based Infrastructures -- Internet of Things -- IoT6 - Moving to an IPv6-Based Future IoT -- SmartSantander: Internet of Things Research and Innovation through Citizen Participation -- A Cognitive Management Framework for Empowering the Internet of Things -- Building Modular Middlewares for the Internet of Things with OSGi -- Towards an Architecture for Future Internet Applications -- ComVantage: Mobile Enterprise Collaboration Reference Framework and Enablers for Future Internet Information Interoperability -- Test-Enabled Architecture for IoT Service Creation and Provisioning -- Enabling Technologies and Economic Incentives Sustainable Wireless Broadband Access to the Future Internet -- The EARTH Project -- An Internet-Based Architecture Supporting Ubiquitous Application User Interfaces -- Cooperative Strategies for Power Saving in Multi-standard Wireless Devices -- Counting the Cost of FIRE: Overcoming Barriers to Sustainable Experimentation Facilities -- User Involvement in Future Internet Projects -- Design and Implementation of Cooperative Network Connectivity Proxy Using Universal Plug and Play -- Book Sponsoring Projects Overview 3DLife - Bringing the Media Internet to Life -- CONCORD Project Management of the Future Internet -- FLAMINGO NoE Project Management of the Future Internet -- The GEYSERS Concept and Major Outcomes -- iCore: A Cognitive Management Framework for the Internet of Things -- IoT6 Project in a Nutshell -- Mobile Cloud Networking: Mobile Network, Compute, and Storage as One Service On-Demand -- The SmartenIT STREP Project: Socially-Aware Management of New Overlay Application Traffic Combined with Energy Efficiency in the Internet -- The SmartSantander Project -- UniverSelf, Realizing Autonomics for Future Networks.…”
Link to Metadata

Toxicity and Antimicrobial Activities of L. (Amaranthaceae) Harvested From Formulated Soils at Different Growth Stages by Muhali Olaide Jimoh PhD, Anthony Jide Afolayan PhD, Francis Bayo Lewu PhD

Connect to this object online.

Sunflower (<i>Helianthus annuus</i> L.) Plants at Various Growth Stages Subjected to Extraction-Comparison of the Antioxidant Activity and Phenolic Profile by Francesco Gai, Magdalena Karamać, Michał A. Janiak, Ryszard Amarowicz, Pier Giorgio Peiretti

Connect to this object online.

The qualitative and quantitative analysis of Nepeta eremokosmos Rech.f. in its natural habits (Semnan province) during the phenological stages by Zahra Malakikia, Leila Hakimi, Farzneh Bahadori

Connect to this object online.

Toxicity and Antimicrobial Activities of L. (Amaranthaceae) Harvested From Formulated Soils at Different Growth Stages by Muhali Olaide Jimoh PhD, Anthony Jide Afolayan PhD, Francis Bayo Lewu PhD

Connect to this object online.

Masterpieces on Japan by Foreign Authors From Goncharov to Pinguet /

Table of Contents: “…Isabella Lucy Bird Bishop, Unbeaten Tracks in Japan -- Chapter 8. Percival Lowell, The Soul of the Far East -- Chapter 9. Pierre Loti, Japoneries d'automne -- Chapter 10. …”
Link to Metadata

Research of Changes in Quantities and Qualities of Leaf Volatile Oils of Zhumeria majdae Rech. f. & Wendelbo in Different Stages of Growth by AA Majrouhi

Connect to this object online.

Secondary metabolite variation of Ducrosia anethifolia at different growth stage

Connect to this object online.

The effect of foliar application of nano-iron chelate on physiological and chemical traits of dragonhead (Dracocephalum moldavicaL.) by S Yousefzadeh, HA Naghdibadi, N Sabaghniya, M Janmohammadi

Connect to this object online.

Comparison of Morphinan Alkaloids During Different Stages of Growth in the Medicinal Plant Opium Poppy (Papaver somniferum L.) by M Omidi, F Koohzadi, M Solouki, R Taghizad Farid, H Alizadeh

Connect to this object online.

Phytochemical Profile, Antioxidant, Anti-Atopic, and Anti-Inflammatory Activities of <i>Filipendula glaberrima</i> Nakai at Different Growth Stages by Hak-Dong Lee, Genevieve Tonog, Neil Patrick Uy, Yunji Lee, Ki-Young Kim, Hangeun Kim, Sanghyun Lee

Connect to this object online.

Investigation of the Antioxidant and Hepatoprotective Potential of Hypericum mysorense by Raghu C. Hariharapura, Ramamurthy Srinivasan, Godavarthi Ashok, Santoshkumar H. Dongre, Hitesh V. Jagani, Pottekkad Vijayan

Connect to this object online.