Suggested Topics within your search.
Suggested Topics within your search.
- Research & information: general 200
- Technology: general issues 156
- History of engineering & technology 111
- Biology, life sciences 92
- Chemistry 52
- Medicine 50
- Physics 49
- Spectrum analysis, spectrochemistry, mass spectrometry 26
- Materials science 25
- Biochemistry 15
- Biotechnology 14
- Analytical chemistry 13
- Chemical engineering 13
- Optical physics 13
- Egypt 12
- Language: history & general works 12
- Neurosciences 11
- Food & society 9
- Technology, engineering, agriculture 8
- Condensed matter physics (liquid state & solid state physics) 7
- Environmental science, engineering & technology 7
- Information technology industries 7
- Inorganic chemistry 7
- Microbiology (non-medical) 7
- Organic chemistry 7
- Physical chemistry 7
- Radiology 7
- Spectroscopy 7
- Spectrum analysis 7
- Astronomy, space & time 6
-
961
Biodeterioration of Cultural Heritage Dynamic Interfaces between Fungi, Fungal Pigments and Paper
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
962
-
963
-
964
-
965
-
966
-
967
-
968
-
969
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2021Table of Contents: “…Game Theory -- A Game for Linear-time - Branching-time Spectroscopy -- On Satisficing in Quantitative Games -- Quasipolynomial Computation of Nested Fixpoints -- SMT Verification -- A Flexible Proof Format for SAT Solver-Elaborator Communication -- Generating Extended Resolution Proofs with a BDD-Based SAT Solver -- Bounded Model Checking for Hyperproperties -- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays -- SAT Solving with GPU Accelerated Inprocessing -- FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions -- Probabilities -- Finding Provably Optimal Markov Chains -- Inductive Synthesis for Probabilistic Programs Reaches New Horizons -- Analysis of Markov Jump Processes under Terminal Constraints -- Multi-objective Optimization of Long-run Average and Total Rewards -- Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes -- Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-DependentFlaky Tests -- Timed Systems -- Timed Automata Relaxation for Reachability -- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata -- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring -- Neural Networks -- Synthesizing Context-free Grammars from Recurrent Neural Networks -- Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models -- Improving Neural Network Verification through Spurious Region Guided Refinement -- Analysis of Network Communication Resilient Capacity-Aware Routing -- Network Traffic Classification by Program Synthesis. .…”
Link to Metadata
Electronic eBook -
970
Use of Water Stable Isotopes in Hydrological Process
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
971
Modern Applications in Optics and Photonics: From Sensing and Analytics to Communication
Published 2021DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
972
Postharvest Management of Fruits and Vegetables
Published 2022DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
973
-
974
Advances in Middle Infrared Laser Crystals and Its Applications
Published 2022DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
975
-
976
-
977
-
978
-
979
Towards a New Cognitive Neuroscience: Modeling Natural Brain Dynamics
Published 2014DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
980