Search Results - Álxebra~
Suggested Topics within your search.
Suggested Topics within your search.
- Mathematics 100
- Algebra 79
- Research & information: general 31
- Mathematics & science 29
- History of engineering & technology 26
- Applied mathematics 24
- Artificial intelligence 24
- Computer science 23
- Physics 22
- Mathematical physics 17
- Biography & True Stories 16
- Nuclear physics 16
- Calculus & mathematical analysis 13
- Software Engineering 13
- Technology: general issues 13
- Calculus 12
- Number theory 12
- Algorithms & data structures 10
- History of mathematics 10
- Numerical analysis 10
- Geometry 9
- Artificial Intelligence 8
- Combinatorics & graph theory 8
- Computer networks 8
- Data processing 8
- Mathematical theory of computation 8
- Discrete mathematics 7
- Education 7
- Mathematical foundations 7
- Probability & statistics 7
-
1481
-
1482
-
1483
-
1484
Fast Fourier Transforms
Published 2012Table of Contents: “…1 Preface: Fast Fourier Transforms -- 2 Introduction: Fast Fourier Transforms -- 3 Multidimensional Index Mapping -- 4 Polynomial Description of Signals -- 5 The DFT as Convolution or Filtering -- 6 Factoring the Signal Processing Operators -- 7 Winograd's Short DFT Algorithms -- 8 DFT and FFT: An Algebraic View -- 9 The Cooley-Tukey Fast Fourier Transform Algorithm -- 10 The Prime Factor and Winograd Fourier Transform Algorithms -- 11 Implementing FFTs in Practice -- 12 Algorithms for Data with Restrictions -- 13 Convolution Algorithms -- 14 Comments: Fast Fourier Transforms -- 15 Conclusions: Fast Fourier Transforms -- 16 Appendix 1: FFT Flowgraphs -- 17 Appendix 2: Operation Counts for General Length FFT -- 18 Appendix 3: FFT Computer Programs -- 19 Appendix 4: Programs for Short FFTs…”
Access online version
Electronic eBook -
1485
-
1486
-
1487
-
1488
-
1489
-
1490
-
1491
-
1492
-
1493
-
1494
-
1495
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 -
1496
SINDROME OCULOGLANDULAR DE PARINAUD. UM RELATO DE CASO
Published 2018Connect to this object online.
Book -
1497
-
1498
-
1499
-
1500