Architecture of Advanced Numerical Analysis Systems Designing a Scientific Computing System using OCaml / by Wang, Liang, Zhao, Jianxin

Link to Metadata

Preclinical MRI of the Kidney Methods and Protocols /

Table of Contents: “…Recommendations for Preclinical Renal MRI: A Comprehensive Open-Access Protocol Collection to Improve Training, Reproducibility, and Comparability of Studies -- Animal Models of Renal Pathophysiology and Disease -- Preparation and Monitoring of Small Animals in Renal MRI -- Reversible (Patho-)Physiologically Relevant Test Interventions: Rationale and Examples -- Preparation of Ex Vivo Rodent Phantoms for Developing, Testing, and Training MR Imaging of the Kidney and Other Organs -- Quantitative Assessment of Renal Perfusion and Oxygenation by Invasive Probes: Basic Concepts -- Ultrasound and Photoacoustic Imaging of the Kidney: Basic Concepts and Protocols -- Hardware Considerations for Preclinical Magnetic Resonance of the Kidney -- MRI Mapping of Renal T1: Basic Concept -- MRI Mapping of the Blood Oxygenation Sensitive Parameter T2* in the Kidney: Basic Concept -- Renal Diffusion Weighted Imaging (DWI) for Apparent Diffusion Coefficient (ADC), Intra Voxel Incoherent Motion (IVIM), and Diffusion Tensor Imaging (DTI): Basic Concept -- Dynamic Contrast Enhancement (DCE)-MRI Derived Renal Perfusion and Filtration: Basic Concepts -- Non-Invasive Renal Perfusion Measurement Using Arterial Spin Labelling (ASL) MRI: Basic Concept -- Renal pH Imaging Using Chemical Exchange Saturation Transfer (CEST)-MRI: Basic Concepts -- Sodium (23Na) MRI of the Kidney: Basic Concept -- Hyperpolarized Carbon (13C) MRI of the Kidneys: Basic Concepts -- Functional Imaging Using Fluorine (19F) MR Methods: Basic Concepts -- MR Elastography of the Abdomen: Basic Concepts -- Monitoring Renal Hemodynamics and Oxygenation by Invasive Probes: Experimental Protocol -- Essential Practical Steps for MRI of the Kidney in Experimental Research -- Assessment of Renal Volume with MRI: Experimental Protocol -- Experimental Protocols for MRI Mapping of Renal T1 -- Experimental Protocols for MRI Mapping of the Blood Oxygenation Sensitive Parameters T2* and T2 in the Kidney -- Renal MRI Diffusion: Experimental Protocol -- Dynamic Contrast Enhanced (DCE)-MRI Derived Renal Perfusion and Filtration: Experimental Protocol -- Renal Blood Flow Using Arterial Spin Labeling (ASL)-MRI: Experimental Protocol and Principles -- Renal pH Mapping Using Chemical Exchange Saturation Transfer (CEST)-MRI: Experimental Protocol -- Sodium (23Na) MRI of the Kidney: Experimental Protocol -- Hyperpolarized Carbon (13C) MRI of the Kidney: Experimental Protocol -- Fluorine (19F) MRI for Assessing Inflammatory Cells in the Kidney: Experimental Protocol -- Fluorine (19F) MRI to Measure Renal Oxygen Tension and Blood Volume: Experimental Protocol -- MR Elastography of the Abdomen: Experimental Protocols -- Subsegmentation of the Kidney in Experimental MR Images Using Morphology-Based Regions-of-Interest or Multiple-Layer Concentric Objects -- De-Noising for Improved Parametric MRIof the Kidney: Protocol for Non-Local Means Filtering -- Analysis Protocols for MRI Mapping of Renal T1 -- Analysis Protocols for MRI Mapping of the Blood Oxygenation Sensitive Parameters T2* and T2 in the Kidney -- Analysis of Renal Diffusion Weighted Imaging (DWI) Using Apparent Diffusion Coefficient (ADC) and Intra Voxel Incoherent Motion (IVIM) Models -- Analysis Protocol for Dynamic Contrast Enhanced (DCE)-MRI of Renal Perfusion and Filtration -- Quantitative Analysis of Renal Perfusion by Arterial Spin Labeling -- Analysis Protocol for the Quantification of Renal pH Using Chemical Exchange Saturation Transfer (CEST)-MRI -- Analysis Protocol for Renal Sodium (23Na) MR Imaging -- Analysis Methods for Hyperpolarized Carbon (13C) MRI of the Kidney -- Data Preparation Protocol for Low Signal-to-Noise Ratio Fluorine-19 MRI.…”
Link to Metadata

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

Table of Contents: “…Synthesis -- HOLL: Program Synthesis for Higher Order Logic Locking -- The Complexity of LTL Rational Synthesis -- Synthesis of Compact Strategies for Coordination Programs -- ZDD Boolean Synthesis -- Verification -- Comparative Verification of the Digital Library of Mathematical -- Functions and Computer Algebra Systems -- Verifying Fortran Programs with CIVL -- NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems -- Efficient Neural Network Analysis with Sum-of-Infeasibilities -- Blockchain -- Formal Verification of the Ethereum 2.0 Beacon Chain -- Fast and Reliable Formal Verification of Smart Contracts with the Move Prover -- A Max-SMT Superoptimizer for EVM handling Memory and Storage -- Grammatical Inference -- A New Approach for Active Automata Learning Based on Apartness -- Learning Realtime One-Counter Automata -- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic -- and Daniel NeiderLearning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes -- Verification Inference -- Inferring Interval-Valued Floating-Point Preconditions -- NeuReach: Learning Reachability Functions from Simulations -- Quantifier Alternations: Taming the Search Space Explosion -- LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions -- Short papers -- Kmclib: Automated Inference and Verification of Session Types from OCaml Programs -- Automated Translation of Natural Language Requirements to Runtime Monitors -- MaskD: A Tool for Measuring Masking Fault-Tolerance -- Better Counterexamples for Dafny -- Constraint Solving -- cvc5: A Versatile and Industrial-Strength SMT Solver -- Clausal Proofs for Pseudo-Boolean Reasoning -- Moving Definition Variables in Quantified Boolean Formulas -- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic -- Model checking and verification -- Property Directed Reachability for Generalized Petri Nets -- Transition Power Abstractions for Deep Counterexample Detection -- Searching for Ribbon-Shaped Paths in Fair Transition Systems -- CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.…”
Link to Metadata

Brain and Human Body Modeling Computational Human Modeling at EMBC 2018 /

Table of Contents: “…A Robust Algorithm for Voxel-to-Polygon Mesh Phantom Conversion -- Chapter 18. …”
Link to Metadata

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

Table of Contents: “…-Regular Properties with Decoupled Search -- AIGEN: Random Generation of Symbolic Transition Systems -- GPU Acceleration of Bounded Model Checking with ParaFROST -- Pono: A Flexible and Extensible SMT-based Model Checker -- Logical Foundations -- Towards a Trustworthy Semantics-Based Language Framework via Proof Generation -- Formal Foundations of Fine-Grained Explainability -- Latticed k-Induction with an Application to Probabilistic Programs -- Stochastic Systems -- Runtime Monitors for Markov Decision Processes -- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference -- Enforcing Almost-Sure Reachability in POMDPs -- Rigorous Floating-Point Roundo Error Analysis of Probabilistic Computations -- Model-free Reinforcement Learning for Branching Markov Decision Processes -- Software Verification -- Cameleer: a Deductive Verification Tool for OCaml -- LLMC: Verifying High-Performance Software -- Formally Validating a Practical Verification Condition Generator -- Automatic Generation and Validation of Instruction Encoders and Decoders -- An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation -- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios -- Functional Correctness of C implementations of Dijkstra's, Kruskal's, and Prim's Algorithms -- Gillian, Part II: Real-World Verification for JavaScript and C -- Debugging Network Reachability with Blocked Paths -- Lower-Bound Synthesis using Loop Specialization and Max-SMT -- Fast Computation of Strong Control Dependencies -- Di y: Inductive Reasoning of Array Programs using Difference Invariants.…”
Link to Metadata

Biomineralization From Molecular and Nano-structural Analyses to Environmental Science /

Table of Contents: “…Structure and analysis of biominerals -- 1 On the transition temperature to calcite and cell lengths for various biogenic aragonite -- 2 TEM study of the radular teeth of the chiton Acanthopleura japonica -- 3 Experimental cremation of bone - crystallite size and lattice parameter evolution -- 4 Effect of carbonic anhydrase immobilized on eggshell membranes on calcium carbonate crystallization in vitro -- 5 Proteomic Analysis of Venomous Fang Matrix Proteins of Protobothrops flavoviridis (Habu) Snake -- 6 Characterization of goldfish scales by vibrational spectroscopic analyses -- 7 Relationship between Bone Morphology and Bone Quality in Female Femurs: Implication for Additive Risk of Alternative Forced Molting -- 8 Spectroscopic investigation of shell pigments from the family Neritidae (Mollusca: Gastropoda) -- 9 3D visualization of calcified and non-calcified molluscan tissues using computed tomography -- Part II Molecular and cellular regulation of biomineralization -- 10 Calcium Ion and Mineral Pathways in Biomineralization: a Perspective -- 11 Identification of barnacle shell proteins by transcriptome and proteomic approaches -- 12 The optical characteristics of cultured Akoya pearl are influenced by both donor and recipient oysters -- 13 Influence of B vitamins on proliferation and differentiation of osteoblastic bovine cell cultures; an in vitro study -- 14 Rice plant biomineralization: Electron microscopic study on plant opals and exploration of organic matrices involved in biosilica formation -- 15 DMP1 binds specifically to type I collagen and regulates mineral nucleation and growth -- 16 Exploration of genes associated with sponge silicon biomineralization in the whole genome sequence of the hexactinellid Euplectella curvistellata -- Part III Genome-based analysis of biomineralization -- 17 The origin and early evolution of SCPP genes and tissue mineralization in vertebrates -- Part IV Evolution in biomineralization -- 18 Immunolocalization of enamel matrix protein-like proteins in the tooth enameloid of actinopterygian bony fish -- 19 Geographical and seasonal variations of the shell microstructures in the bivalve Scapharca broughtonii -- Part V Biomineralization in medical and dental sciences -- 20 Enhancement of bone tissue repair by octacalcium phosphate crystallizing into hydroxyapatite in situ -- 21 The relationship between the structure and calcification of dentin and the role of melatonin -- 22 Fabrication of hydroxyapatite nanofibers with high aspect ratio vialow-temperature wet precipitation methods under acidic conditions -- 23 Physico-chemical characterisation of the processes involved in enamel remineralisation by CPP-ACP -- 24 Molecular Interactions of Peptide Encapsulated Calcium Phosphate Delivery Vehicle at Enamel Surfaces -- 25 Preparation of random and aligned polycaprolactone fiber as template for classical calcium oxalate through electrocrystallization -- Part VI Bio-inspired materials science and engineering -- 26 Dysprosium biomineralization by acidophilic fungus Penidiella sp. strain T9 and its application for metal recovery -- 27 Various shapes of gold nanoparticles synthesized by glycolipids extracted from Lactobacillus casei -- 28 Octacalcium phosphate overgrowth on b-tricalcium phosphate substrate in metastable calcium phosphate solution -- Part VII Biominerals for environmental and paleoenvironmental sciences -- 29 Coral-based approaches to paleoclimate studies, future ocean environment assessment, and disaster research -- 30 An elemental fractionation mechanism common to biogenic calcium carbonate -- 31 Biomineralization of metallic tellurium by bacteria isolated from deep marine sediment in Niigata Bay Japan -- 32 Calcium oxalate crystals in plant communities of the southeast of the Pampean Plain, Argentina -- 33 Iron and calcium biomineralizations in the Pampean coastal plains, Argentina: their role in the environmental reconstruction of the Holocene -- Part VIII Mollusk shell formation -- 34 Skeletal organic matrices in molluscs: origin, evolution, diagenesis -- 35 Functional Analysis on Shelk2 of Pacific Oyster -- 36 Mollusk shells: Does the nacro-prismatic "model" exist? …”
Link to Metadata

Data and Text Processing for Health and Life Sciences by Couto, Francisco M.

Link to Metadata