Search Results - Optus~

Quaternion Algebras by Voight, John

Table of Contents: “…Idelic Zeta Functions -- 30. Optimal Embeddings -- 31. Selectivity -- 32. Unit Groups -- 33. …”
Link to Metadata

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table of Contents: “…Forward Bisimilarity -- Explainability of Probabilistic Bisimilarity Distances for Labelled Markov Chains -- Weighted and Branching Bisimilarities from Generalized Open Maps -- Preservation and Reflection of Bisimilarity via Invertible Steps -- QuantitativeSafety and Liveness -- On the Comparison of Discounted-Sum Automata with Multiple Discount Factors -- Fast Matching of Regular Patterns with Synchronizing Counting -- Compositional Learning for Interleaving Parallel Automata -- Pebble minimization: the last theorems -- Noetherian topologies defined via fixed-points -- An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic -- Just Testing -- Model and Program Repair via Group Actions -- Subgame optimal strategies in finite concurrent games with prefix-independent objectives. .…”
Link to Metadata

Biodiversity Conservation and Phylogenetic Systematics Preserving our evolutionary heritage in an extinction crisis /

Table of Contents: “…The case of phylogenetic relict species -- Using phylogenetic dissimilarities among sites for biodiversity assessments and conservation -- Phylogenetic diversity measures and their decomposition: a framework based on hill numbers -- Split diversity: measuring and optimizing biodiversity using phylogenetic split networks -- The rarefaction of phylogenetic diversity: formulation, extension and application -- Support in area prioritization using phylogenetic information -- Assessing hotspots of evolutionary history with data from multiple phylogenies: an analysis of endemic clades from New Caledonia -- Representing hotspots of evolutionary history in systematic conservation planning for European mammals -- Priorities for conservation of the evolutionary history of amphibians in the cerrado -- Global spatial analyses of phylogenetic conservation priorities for aquatic mammals -- Metapopulation capacity meets evolutionary distinctness: spatial fragmentation complements phylogenetic rarity in prioritization. - Patterns of species, phylogenetic and mimicry diversity of clearwing butterflies in the Neotropics -- Conservation of phylogenetic diversity in Madagascar's largest endemic plant family, Sarcolaenaceae -- The future of phylogenetic systematics in conservation biology: linking biodiversity and society.…”
Link to Metadata

Biotechnologies for Plant Mutation Breeding Protocols /

Table of Contents: “…Mutagenesis for Crop Breeding and Functional Genomics -- Chemical and Physical Mutagenesis in Jatropha curcas -- Chemical Mutagenesis and Chimera Dissolution in Vegetatively Propagated Banana -- Mutation Induction Using Gamma Irradiation and Embryogenic Cell Suspensions in Plantain (Musa spp.) -- Optimization of Somatic Embryogenesis in Cassava -- Creation of a TILLING Population in Barley after Chemical Mutagenesis with Sodium Azide and MNU -- Site-Directed Mutagenesis in Barley by Expression of TALE Nuclease in Embryogenic Pollen -- Doubled Haploidy as a Tool for Chimera Dissolution of TALEN-Induced Mutations in Barley -- Field Evaluation of Mutagenized Rice Material -- Root Phenotyping Pipeline for Cereal Plants -- Breeding New Aromatic Rice with High Iron using Gamma Radiation and Hybridization -- Utilizing NIRS for Qualitative and Non-Destructive Identification of Seed Mutants in Large Populations -- Protocols for Proteome Analyses of Jatropha curcas -- Low-Cost Methods for DNA Extraction and Quantification -- A Protocol for Benchtop Extraction of Single-Strand-Specific Nucleases for Mutation Discovery -- A Protocol for Validation of Doubled Haploid Plants by Enzymatic Mismatch Cleavage -- Bioinformatics-Based Assessment of the Relevance of Candidate Genes for Mutation Discovery -- Mutation Detection by Analysis of DNA Heteroduplexes in TILLING Populations of Diploid Species -- Determining Mutation Density using Restriction Enzyme Sequence Comparative Analysis (RESCAN) -- Next-Generation Sequencing for Targeted Discovery of Rare Mutations in Rice.…”
Link to Metadata

Intelligent Human Computer Interaction 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings /

Table of Contents: “…Can Machines Design? Optimizing User Interfaces for Human Performance -- Geometrical Shapes Rendering on a Dot-Matrix Display -- Dynamic Hand Gesture Recognition for Mobile Systems Using Deep LSTM -- Adjustable Autonomy for UAV Supervision Applications Through Mental Workload Assessment Techniques -- Classification of Motor Imagery Based EEG Signals Using Sparsity Approach -- Mental Workload Assessment for UAV Traffic Control Using Consumer-Grade BCI Equipment -- Improving Classification Performance by Combining Feature Vectors with A Boosting Approach for Brain Computer Interface (BCI) -- List Navigation Using Edge Menu -- Simplexity and Vicariance. …”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Theorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning -- Efficient verification of imperative programs using auto2 -- Frame Inference for Inductive Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams -- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving -- Automatic Generation of Precise and Useful Commutativity Conditions -- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time Bounds -- A Verified Implementation of the Bounded List Container -- Automating Deductive Verification for Weak-Memory Programs -- Software Verification and Optimisation -- Property Checking Array Programs Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax-Guided Invariant Synthesis -- Daisy - Framework for Analysis and Optimization of Numerical Programs -- Model Checking -- Oink: an Implementation and Evaluation of Modern Parity Game Solvers -- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) -- Generation of Minimum Tree-like Witnesses for Existential CTL -- From Natural Projection to Partial Model Checking and Back -- Machine Learning -- ICE-based Refinement Type Discovery for Higher-Order Functional Programs -- Strategy Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural Networks. .…”
Link to Metadata

Critical Issues in Head and Neck Oncology Key Concepts from the Seventh THNO Meeting /

Table of Contents: “…-- Is there a role for adjuvant targeted and immunotherapies? -- Optimal supportive measures during primary treatment -- Precision Medicine in head and neck cancer: myth or reality -- Recurrent and / or metastatic disease -- Salvage surgery: candidates, safe reconstruction, and results? …”
Link to Metadata

Electromechanobiology of Cartilage and Osteoarthritis A Tribute to Alan Grodzinsky on his 75th Birthday /

Table of Contents: “…Harnessing Growth Factor Interactions to Optimize Articular Cartilage Repair (Stephen B. Trippel) -- Personal Tributes -- Index.…”
Link to Metadata

Collective Actions in Europe A Comparative, Economic and Transsystemic Analysis / by Nagy, Csongor István

Table of Contents: “…Introduction -- Why are collective actions needed in Europe: Small claims are not reasonably enforced in practice and collective actions ensure effective access to justice -- Major European objections and fears against the opt-out system: Superego, ego and ID -- Transatlantic perspectives: Comparative law framing -- European models of collective actions -- Conclusions.…”
Link to Metadata

A History of Radionuclide Studies in the UK 50th Anniversary of the British Nuclear Medicine Society /

Table of Contents: “…Introduction: The history of Nuclear Medicine in the UK -- The evolution from Radioisotope departments administered by Physicists with an emphasis on in vitro and vivo investigations to Nuclear Medicine Departments encompassing Imaging and therapy -- The history of the British Nuclear Medicine Society -- The development of the society from primarily a medical group to a scientific society which includes all disciplines -- From Houseman to Consultant in Nuclear Medicine -- The evolution of training in Nuclear Medicine, to include the MSc and RCR training -- Technician and Radiographer to Clinical Practitioner -- The Institute of Nuclear Medicine -- Radionuclide studies of the pathology of the brain -- Nuclear Cardiology + The Royal Brompton Department -- Paediatric radioisotope studies + Great Ormond Street Dept -- Renal studies + St Barts Department -- Radiotracer studies of human physiology -- Nuclear Medicine at the Hammersmith Including Malcolm Merrick's work -- Monoclonal Antibody studies plus Nuclear Medicine in Nottingham -- Development of medical cyclotrons and PET in the UK -- Bone radionuclide imaging and quantitation and bone densitometry -- Radionuclide Therapy -- Hospital Radiopharmacy -- Evolution of nuclear medicine physics in the UK -- Development of computers in Nuclear Medicine -- The history of the protection of the patient in human radionuclide studies in the clinic and research -- The future direction of radiopharmaceutical development.…”
Link to Metadata

Improving Oncology Worldwide Education, Clinical Research and Global Cancer Care /

Table of Contents: “…Part 1: Improving Education -- Blended-learning for oncologists and their colleagues -- Establishing a continuing education program based on the ESMO/ASCO recommendations for a global curriculum in Egypt -- Launching the first board-certification program in radiation oncology in Iraq - obstacles and outcomes -- Improving the WHO Classification of Tumours books by an evidence-based approach - a new online/blended learning training program -- Part 2: Improving Clinical Research -- Getting started in research - What registries can do for you -- Asking existing data the right questions - data mining as a research option in low- and middle-income countries -- Evidence-based treatment decisions - Systematic reviews and meta-analaysis in GI oncology -- Establishing and running a research laboratory in Iraq in real life -- Challenges in scientific communications of a pharmaceutical company -- Molecular and cellular analyses of breast cancers in real life -- The use of information technology to advance patient care - Creating, providing and maintaining online resources -- Organization of clinical trials at the Blokhin cancer center in Moscow -- Challenges in establishing the Center for Clinical Trials at Ulm University -- Part 3: Improving Patient Care.-Obstacles and Optimization of Surgical Oncology Services in India and Technology transfer to Cameroon -- Challenges for the young oncology workforce in Portugal -- Challenges in building a cancer center in Armenia - Staying linked to the outside world -- Current challenges in cancer care in Libya -- Quality Oncology Practice Improvement certification in Brazil: A successful knowledge transfer under the auspices of the American Society of Clinical Oncology (ASCO) -- Challenges in running a comprehensive cancer centre.…”
Link to Metadata

Interview with Ángel Gabilondo, Minister of Education by Milagros Muñoz Martín

Connect to this object online.

COMPETÊNCIAS GERENCIAIS DO ENFERMEIRO: A VISÃO DOS PROFESSORES DE ADMINISTRAÇÃO DA ESCOLA DE ENFERMAGEM AURORA DE AFONSO COSTA by Cristiane Damasceno, Zenith Rosa Silvino, Barbara Pompeu Christovan, Paula Dias Vidigal

Connect to this object online.

COMPETÊNCIAS GERENCIAIS DO ENFERMEIRO: A VISÃO DOS PROFESSORES DE ADMINISTRAÇÃO DA ESCOLA DE ENFERMAGEM AURORA DE AFONSO COSTA by Cristiane Damasceno, Zenith Rosa Silvino, Barbara Pompeu Christovan, Paula Dias Vidigal

Connect to this object online.

COMPETÊNCIAS GERENCIAIS DO ENFERMEIRO: A VISÃO DOS PROFESSORES DE ADMINISTRAÇÃO DA ESCOLA DE ENFERMAGEM AURORA DE AFONSO COSTA by Cristiane Damasceno, Zenith Rosa Silvino, Barbara Pompeu Christovan, Paula Dias Vidigal

Connect to this object online.

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Table of Contents: “…FASE Invited Talk -- Software Assurance in an Uncertain World -- Software Verification -- Tool Support for Correctness-by-Construction -- Automatic Modeling for Opaque Code in JavaScript Static Analysis -- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language -- A Hybrid Dynamic Logic for Event/Data-based Systems -- Model-driven Development and Model Transformation -- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments -- Efficient Model Synchronization by Automatically Constructed Repair Processes -- Offline Delta-driven Model Transformation with Dependency Injection -- A Logic-Based Incremental Approach to Graph Repair -- Software Verification -- DeepFault: Fault Localization For Deep Neural Networks -- Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL -- Formal Verification of Safety and Security Related Timing Constraints for A Cooperative Automotive System -- Checking Observational Purity Of Procedures -- Software Evolution & Requirements Engineering -- Structural and Nominal Cross-Language Clone Detection -- SL2SF: Refactoring Simulink to Stateflow -- Metric Temporal Graph Logic over Typed Attributed Graphs -- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs -- Business Process Privacy Analysis in PLEAK -- Specification, Design, and Implementation of Particular Classes of Systems -- CLTestCheck: Measuring Test Effectiveness for GPU Kernels -- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System -- Optimal and Automated Deployment for Microservices -- A Data Flow Model with Frequency Arithmetic -- Software Testing -- CoVeriTest: Cooperative Verifier-Based Testing -- Pardis: Priority Aware Test Case Reduction -- Automatically Identifying Sufficient Object Builders from Module APIs.…”
Link to Metadata

Remote Sensing of Plant Biodiversity

Table of Contents: “…A Range of Earth Observation Techniques for Assessing Plant Diversity -- Chapter14. How the Optical Properties of Leaves Modify the Absorption and Scattering of Energy and Enhance Leaf Functionality -- Chapter15. …”
Link to Metadata

Artificial Intelligence in Manufacturing Enabling Intelligent, Flexible and Cost-Effective Production Through AI /

Table of Contents: “…Introduction -- Part I Architectures and Knowledge Modelling for AI in Manufacturing -- Reference Architecture for AI-based Industry 5.0 Applications -- Designing a Marketplace to Exchange AI Models for Industry 4.0 -- Domain Ontology Enrichment through Human-AI Interaction -- Survey of Knowledge Graphs in Industrial Settings -- From Knowledge to Wisdom: Leveraging Semantic Representations via Knowledge Graph Embeddings -- Advancing high value-added networked production through Decentralized Technical Intelligence -- Part II AI-based Digital Twins for Manufacturing Applications -- Digital-Twin enabled framework for training and deploying AI agents for production scheduling -- Digital Twin for Human Machine Interaction -- Learning-based Collaborative Digital Twins -- A Manufacturing Digital Twin Framework -- Part III Agent based Approaches for AI in Manufacturing -- Reinforcement Learning based approaches in manufacturing environments -- A participatory modelling approach to Agents in Industry using AAS -- 4.0 Holonic Multi-Agent Testbed Enabling Shared Production -- Application of a Multi agent system on production and scheduling optimization -- Integrating Knowledge to Conversational Agents for Worker Upskilling -- Part IV Trusted AI for Industry 5.0 Applications -- Wearable sensor-based human activity recognition for worker safety in manufacturing line -- Object detection for human-robot interaction and worker assistance systems -- Application of autoML, XAI and differential privacy method into manufacturing -- Anomaly Detection in Manufacturing -- Towards Industry 5.0 by incorporation of Trustworthy and Human-Centric approaches -- How AI changes human roles in Industry 5.0-enabled environments: Human in the AI loop via xAI and Active Learning for Manufacturing Quality Control -- Multi-Stakeholder Perspective on Human-AI Collaboration in Industry 5.0 -- Conclusion.…”
Link to Metadata

Technological and Institutional Innovations for Marginalized Smallholders in Agricultural Development

Table of Contents: “…Psychology of Innovation: Innovating human psychology? -- 5. An optimization model for technology adoption of marginalized smallholders -- Part 2 Diversification of Agricultural Production and Income -- 6. …”
Link to Metadata

Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2018 Selected Papers from the ICOSAHOM Conference, London, UK, July 9-13, 2018 /

Table of Contents: “…Stability of wall boundary condition procedures for discontinuous Galerkin spectral element approximations of the compressible Euler equations -- On the order reduction of entropy stable DGSEMfor the compressible Euler equations -- A review of regular decompositions of vector fields - continuous, discrete, and structure-preserving -- Model reduction by separation of variables: a comparison between hierarchical model reduction and proper generalized decomposition -- Recurrence relations for a family of orthogonal polynomials on a triangle -- Greedy kernel methods for center manifold approximation -- An improved error inhibiting block one-step method with radial basis function approximation for ODEs -- Hermite methods in time -- HPS accelerated spectral solvers for time dependent problems: algorithms -- On the use of hermite functions for the Vlasov-Poisson system -- HPS accelerated spectral solvers for time dependent problems: numerical experiments -- High-order finite element methods for interface problems: theory and implementations -- Stabilised hybrid discontinuous galerkin methods for the Stokes problem with non-standard boundary conditions -- RBF based CWENO method -- discrete equivalence of adjoint Neumann-Dirichlet div-grad and grad-div equations in curvilinear 3D domains -- A conservative hybrid method for Darcy flow -- High-order mesh generation based on optimal affine combinations of nodal positions -- Sparse spectral-element methods for the helically reduced Einstein equations -- Spectral analysis of isogeometric discretizations of 2D curl-div Problems with general geometry -- Performance of preconditioners for large-scale simulations using Nek5000 -- Two decades old entropy stable method for the Euler equations revisited -- A mimetic spectral element method for free surface flows -- Spectral/hp methodology study for iLES-SVV on an Ahmed body -- A high-order discontinuous Galerkin solver for multiphase flows -- High-Order propagation of jet noise on a tetrahedral mesh using large eddy simulation sources -- Dynamical degree adaptivity for DG-LES models -- A novel eight-order diffusive scheme for unstructured polyhedral grids using the weighted least-squares method -- An explicit mapped tent pitching scheme for Maxwell equations -- Viscous diffusion effects in the eigenanalysis of (hybridisable) DG methods -- Spectral Galerkin method for solving Helmholtz and Laplace Dirichlet problems on multiple open arcs -- Explicit polynomial Trefftz-DG method for space-time elasto-acoustics -- An hp-adaptive iterative linearization discontinuous-Galerkin FEM for quasilinear elliptic boundary value problems -- Erosion Wear evaluation using Nektar++ -- An inexact Petrov-Galerkin approximation for gas transport in pipeline networks -- New preconditioners for semi-linear PDE-constrained optimal control in annular geometries -- DIRK schemes with high weak stage order -- Scheme for evolutionary Navier-Stokes-Fourier system with temperature dependent material properties based on spectral/hp elements -- Implicit large eddy simulations for NACA0012 airfoils using compressible and incompressible discontinuous Galerkin solvers -- SAV method applied to fractional Allen-Cahn equation -- A first meshless approach to simulation of the elastic behaviour of the diaphragm -- An explicit hybridizable discontinuous Galerkin method for the 3D timedomain Maxwell equations -- Entropy conserving and kinetic energy preserving numerical methods for the Euler equations using summation-by-parts operators -- Multiwavelet troubled-cell indication: a comparison of utilizing theory versus outlier detection -- An anisotropic p-adaptation multigrid scheme for discontinuous Galerkin methods -- A spectral element reduced basis method for Navier-Stokes equations with geometric variations -- Iterative spectral mollification and conjugation for successive edge detection -- Small trees for high order Whitney elements -- Non-conforming elements inNek5000: pressure preconditioning and parallel performance -- Sparse approximation of multivariate functions from small datasets via weighted orthogonal matching pursuit -- On the convergence rate of Hermite-Fejer interpolation.…”
Link to Metadata