Search Results - "computation"
Suggested Topics within your search.
Suggested Topics within your search.
- History 3,096
- Education 2,915
- Politics & government 2,795
- Technology: general issues 2,567
- Literature: history & criticism 2,547
- Sociology 2,535
- Medicine 2,362
- linguistics 2,344
- Research & information: general 2,212
- European history 2,002
- Biography & True Stories 1,994
- Literature & literary studies 1,914
- Humanities 1,808
- History of engineering & technology 1,807
- Society & social sciences 1,770
- Media studies 1,728
- Philosophy 1,627
- Social & cultural history 1,467
- Social & cultural anthropology, ethnography 1,449
- Biology, life sciences 1,418
- Political science & theory 1,406
- Science: general issues 1,328
- History of the Americas 1,247
- Literary studies: general 1,240
- Law 1,166
- Society & culture: general 1,162
- Archaeology 1,156
- International relations 1,145
- Cultural studies 1,135
- Gender studies, gender groups 1,078
-
5021
-
5022
-
5023
Energy Efficient Servers Blueprints for Data Center Optimization /
Published 2015Subjects: “…Computer engineering.…”
Link to Metadata
Electronic eBook -
5024
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2020Subjects: “…Computer science.…”
Link to Metadata
Electronic eBook -
5025
Smittestopp − A Case Study on Digital Contact Tracing
Published 2022Subjects: “…Computer science.…”
Link to Metadata
Electronic eBook -
5026
Android Application Development for the Intel Platform
Published 2014Subjects: “…Mobile computing.…”
Link to Metadata
Electronic eBook -
5027
VR Technologies in Cultural Heritage First International Conference, VRTCH 2018, Brasov, Romania, May 29-30, 2018, Revised Selected Papers
Published 2019Subjects: “…Computer science…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
5028
VR Technologies in Cultural Heritage First International Conference, VRTCH 2018, Brasov, Romania, May 29-30, 2018, Revised Selected Papers
Published 2019Subjects: “…Computer science…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
5029
Supercomputing Frontiers 5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019, Proceedings /
Published 2019Table of Contents: “…Practical Resource Usage Prediction Method for Large Memory Jobs in HPC clusters -- A Crystal/Clear Pipeline for Applied Image Processing -- A Cache-Based Data Movement Infrastructure for On-Demand Scientific Cloud Computing -- PHINEAS: an Embedded Heterogeneous Parallel Platform -- MH-QEMU: Memory-State-Aware Fault Injection Platform -- Performance Evaluation and Analysis of Linear Algebra Kernels in the prototype Tianhe-3 Cluster.…”
Link to Metadata
Electronic eBook -
5030
Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...
Published 2022Table of Contents: “…Categorical Foundation of Gradient-Based Learning -- Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference -- Foundations for Entailment Checking in Quantitative Separation Logic -- Extracting total Amb programs from proofs -- Why3-do: The Way of Harmonious Distributed System Proofs -- Relaxed virtual memory in Armv8-A -- Verified Security for the Morello Capability-enhanced Prototype Arm Architecture -- The Trusted Computing Base of the CompCert Verified Compiler -- View-Based Owicki-Gries Reasoning for Persistent x86-TSO -- Abstraction for Crash-Resilient Objects -- Static Race Detection for Periodic Programs -- Probabilistic Total Store Ordering -- Linearity and Uniqueness: An Entente Cordiale -- A Framework for Substructural Type Systems -- A Dependent Dependency Calculus -- Polarized Subtyping -- Structured Handling of Scoped Effects -- Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style -- A Predicate Transformer for Choreographies -- Comparing the expressiveness of the -calculus and CCS -- Concurrent NetKAT.…”
Link to Metadata
Electronic eBook -
5031
Identification and Analysis of the Information and Computation Technologies' Dimensions in the Mathematics Classrooms in the Teachers Education Context Identificação e Análise das Dimensões que Permeiam a Utilização das Tecnologias de Informação e Comunicação nas Aulas de Matemática no Contexto da Formação de Professores
Published 2008Connect to this object online.
Book -
5032
Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,...
Published 2020Subjects: “…Compilers (Computer programs).…”
Link to Metadata
Electronic eBook -
5033
Photonic Neural Networks with Spatiotemporal Dynamics Paradigms of Computing and Implementation /
Published 2024Table of Contents: “…Revival of Optical Computing -- Nonlinear Dynamics of Recurrent Neural Networks for Computing -- Fluorescence Energy Transfer Computing -- Quantum-Dot Based Photonic Reservoir Computing -- Exploring Integrated Device Implementation for FRET-based Optical Reservoir Computing -- FRET Networks -- Quantum Walk on FRET Networks -- Spatial photonic Ising machine with time/space division multiplexing -- Computing using Oscillatory Phenomena -- Sampling-like Dynamics of the Nonlinear Dynamical System Combined with Optimization -- Reservoir Computing Based on Iterative Function Systems -- Bridging the Gap between Reservoirs and Neural Networks -- Brain-Inspired Reservoir Computing Models.…”
Link to Metadata
Electronic eBook -
5034
Think Python How to Think Like a Computer Scientist
Published 2012Subjects: “…Computer Science Textbooks…”
Access online version
Electronic eBook -
5035
Think Java How To Think Like a Computer Scientist
Published 2020Table of Contents: “…Preface -- 1 Computer Programming -- 2 Variables and Operators -- 3 Input and output -- 4 Methods and Testing -- 5 Conditionals and logic -- 6 Loops and Strings -- 7 Arrays and References -- 8 Recursive Methods -- 9 Immutable Objects -- 10 Mutable Objects -- 11 Designing Classes -- 12 Arrays of Objects -- 13 Objects of Arrays -- 14 Extending Classes -- 15 Arrays of Arrays -- 16 Reusing Classes -- 17 Advanced Topics -- A Tools -- B Javadoc -- C Graphics -- D Debugging…”
Access online version
Electronic eBook -
5036
Think Raku How to Think Like a Computer Scientist
Published 2017Subjects: “…Computer Science Textbooks…”
Access online version
Electronic eBook -
5037
-
5038
Photonic Neural Networks with Spatiotemporal Dynamics Paradigms of Computing and Implementation
Published 2024Subjects: “…optical computing…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
5039
Interferences and Events On Epistemic Shifts in Physics through Computer Simulations
Published 2017Subjects: “…computer simulation…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
5040
New Trends in Technologies Devices, Computer, Communication and Industrial Systems
Published 2010DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter