Search Results - Gojra~
Suggested Topics within your search.
Suggested Topics within your search.
- Research & information: general 27
- Technology: general issues 24
- Slovenia 21
- Biology, life sciences 20
- History of engineering & technology 19
- Göring, Hermann, 1893-1946 -- Trials, litigation, etc 17
- Humanities 14
- Program concepts / learning to program 14
- Biography & True Stories 13
- History 13
- Education 10
- History of the Americas 10
- Medicine 10
- Philosophy 10
- Second World War 10
- Asian history 8
- Social sciences 8
- Archaeology 7
- Gender studies, gender groups 7
- Inclusive education / mainstreaming 7
- Society & culture: general 7
- Sociology 7
- Theatre studies 7
- Ethnic studies 6
- Graphic novels: literary & memoirs 6
- History of medicine 6
- Literary studies: general 6
- Political Science 6
- Political science & theory 6
- Reference, information & interdisciplinary subjects 6
-
2141
-
2142
-
2143
-
2144
-
2145
-
2146
-
2147
-
2148
-
2149
-
2150
-
2151
On the Significance of Religion for Global Diplomacy
Published 2021OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
2152
Cyber Public Sphere and Social Movements Calling to Cyber Spaces
Published 2018OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
2153
-
2154
-
2155
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /
Published 2021Table of Contents: “…Invited Papers -- NNrepair: Constraint-based Repair of Neural Network Classifiers -- Balancing automation and control for formal verification of microprocessors -- Algebraic Program Analysis -- Programmable Program Synthesis -- Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities -- AI Verification -- DNNV: A Framework for Deep Neural Network Verification -- Robustness Verification of Quantum Classifiers -- BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks -- Automated Safety Verification of Programs Invoking Neural Networks -- Scalable Polyhedral Verification of Recurrent Neural Networks -- Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning -- Robustness Verification of Semantic Segmentation Neural Networks using Relaxed Reachability -- PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier -- Concurrency and Blockchain -- Isla: Integrating full-scale ISA semantics andaxiomatic concurrency models -- Summing Up Smart Transitions -- Stateless Model Checking under a Reads-Value-From Equivalence -- Gobra: Modular Specification and Verification of Go Programs -- Delay-Bounded Scheduling Without Delay! …”
Link to Metadata
Electronic eBook -
2156
-
2157
20 anos de jornalismo contra a indiferença
Published 2015DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2158
Categorias sociais e mobilidade urbana na Baixa Idade Média : Entre o Islão e a Cristandade
Published 2012DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2159
Construções primitivas em Portugal
Published 1988DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2160
A Universidade do Minho em tempos de pandemia: Tomo I: Reflexões
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter