Search Results - Progressive Friends
Suggested Topics within your search.
Suggested Topics within your search.
- History of engineering & technology 10
- Technology: general issues 10
- Environmentally-friendly architecture & design 7
- Architecture 4
- History 4
- Political activism 4
- Research & information: general 4
- Biology, life sciences 3
- Materials science 3
- Media studies 3
- Natural history 3
- Architectural structure & design 2
- Biography: general 2
- Biography: historical, political & military 2
- Biography: science, technology & medicine 2
- Chemistry 2
- Climate change 2
- Collected biographies 2
- Computer science 2
- Condensed matter physics (liquid state & solid state physics) 2
- Diaries, letters & journals 2
- Education 2
- Educational strategies & policy 2
- Educational: Social sciences 2
- Environmental science, engineering & technology 2
- Gender studies: women 2
- Geography 2
- History of science 2
- Human geography 2
- Humanities 2
-
81
-
82
-
83
-
84
-
85
-
86
-
87
-
88
Advanced Understanding of Neurodegenerative Diseases
Published 2011DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
89
-
90
Neurodegenerative Diseases Processes, Prevention, Protection and Monitoring
Published 2011DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
91
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /
Published 2021Table of Contents: “…Complexity and Termination -- Learning Probabilistic Termination Proofs -- Ghost Signals: Verifying Termination of Busy Waiting -- Reflections on Termination of Linear Loops -- Decision Tree Learning in CEGIS-Based Termination Analysis -- ATLAS: Automated Amortised Complexity Analysis of Self-Adjusting Data Structures -- Decision Procedures and Solvers -- Theory Exploration Powered by Deductive Synthesis -- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver -- Porous Invariants -- JavaSMT 3: Interacting with SMT Solvers in Java -- Efficient SMT-based Analysis of Failure Propagation -- ToolX : Better Delta Debugging for the SMT-LIBv2 Language and Friends -- Learning Union of Integer Hypercubes with Queries (with applications to monadic decomposition) -- Interpolation and Model Checking for Nonlinear Arithmetic -- An SMT Solver for Regular Expressions and Linear Arithmetic over String Length -- Counting Minimal Unsatisfiable Subsets -- Sound Verification Procedures for Temporal Properties of Infinite-State Systems -- Hardware and Model Checking -- Progress in Certifying Hardware Model Checking Results -- Model-Checking Structured Context-Free Languages -- Model Checking ! …”
Link to Metadata
Electronic eBook -
92
-
93
-
94
-
95
-
96
-
97
-
98
-
99
-
100