Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Becoming a data-driven Organisation [[electronic resource] ] : Unlock the value of data / / by Martin Treder
| Becoming a data-driven Organisation [[electronic resource] ] : Unlock the value of data / / by Martin Treder |
| Autore | Treder Martin |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Vieweg, , 2019 |
| Descrizione fisica | 1 online resource (148 pages) |
| Disciplina | 006.8 |
| Soggetto topico |
Input-output equipment (Computers)
Data structures (Computer science) Application software Management information systems Computer science Big data Input/Output and Data Communications Data Structures Computer Appl. in Administrative Data Processing Management of Computing and Information Systems Big Data |
| ISBN | 3-662-60304-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | How to define Data? -- Isn't Data a job of the IT department? -- Isn't Data and Information the same? -- Isn’t Data Management about Analytics? -- What else does Data Management deal with? -- Data in the overall context of our business -- The Value of Data -- Opportunities through managing Data -- The cost of NOT doing it right -- Why now -- Designing your Data Office -- What are the preconditions to succeed? -- What does a Data Office deal with? -- Shaping Data Office -- The Chief Data Officer (CDO) -- Data Governance: Review and Decision -- How can a Data Office influence the company? -- Implementing the Data Office -- Stakeholder Management. |
| Record Nr. | UNINA-9910349297303321 |
Treder Martin
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Vieweg, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Beginning Microsoft Kinect for Windows SDK 2.0 [[electronic resource] ] : Motion and Depth Sensing for Natural User Interfaces / / by Mansib Rahman
| Beginning Microsoft Kinect for Windows SDK 2.0 [[electronic resource] ] : Motion and Depth Sensing for Natural User Interfaces / / by Mansib Rahman |
| Autore | Rahman Mansib |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2017 |
| Descrizione fisica | 1 online resource (311 pages) : illustrations |
| Disciplina | 004.6782 |
| Soggetto topico |
Microsoft software
Microsoft .NET Framework Optical data processing Biometrics (Biology) Input-output equipment (Computers) Computer programming Microsoft and .NET Image Processing and Computer Vision Biometrics Input/Output and Data Communications Programming Techniques |
| ISBN | 1-4842-2316-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction-.1. Getting Started -- 2. Understanding How the Kinect Works -- 3. Working with Image Data Sources -- 4. Audio & Speech -- 5. Body & Face Tracking -- 6. Computer Vision & Image Processing -- 7. Game Development with Unity -- 8. Miscellaneous Tools -- 9. Appendix: Windows 10 & Universal Windows Platform. |
| Record Nr. | UNINA-9910254570603321 |
|
Rahman Mansib
|
||
| Berkeley, CA : , : Apress : , : Imprint : Apress, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Brain Art [[electronic resource] ] : Brain-Computer Interfaces for Artistic Expression / / edited by Anton Nijholt
| Brain Art [[electronic resource] ] : Brain-Computer Interfaces for Artistic Expression / / edited by Anton Nijholt |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (472 pages) |
| Disciplina | 612.8 |
| Soggetto topico |
User interfaces (Computer systems)
Application software Neurosciences Input-output equipment (Computers) User Interfaces and Human Computer Interaction Computer Appl. in Arts and Humanities Input/Output and Data Communications |
| ISBN | 3-030-14323-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction: Brain-computer interfaces for artistic expression -- A state of the art and taxonomy of contemporary artworks that employ EEG-based brain-computer interfaces -- Understanding perceptual experience of art using Mobile Brain/Body imaging -- The making of Brain Painting - from the idea to daily life use by people in the locked-in state -- The interface is the work: EEG-feedback, arts and the rise of real-time brainmedia (1964-1977) -- Using synchrony-based neurofeedback art in search of human connectedness -- EEG KISS: shared multi brain, multi modal, BCI experience -- New ways of knowing ourselves. BCI facilitating artistic exploration of our biology -- The BR4IN.IO hackathons -- BCI-Based Expressive Arts: Moving Toward Mind-Body Alignment -- Understanding the Neural Basis of Artistic Expression through Mobile Brain-Body Imaging -- Evaluating BCI for musical expression: historical approaches, challenges and solutions -- Methods and Tools for using BCI with Augmented and Virtual Reality -- Brain Controlled Cinema -- Self-Consciousness and Physical Memory: An immersive, kinetic art installation driven by real-time and archival EEG signals. |
| Record Nr. | UNINA-9910337839703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Broadband Communications: Networks, Services, Applications, Future Directions [[electronic resource] ] : 1996 International Zurich Seminar on Digital Communications IZS'96, Zurich, Switzerland, February 21-23, 1996. Proceedings / / edited by Bernhard Plattner
| Broadband Communications: Networks, Services, Applications, Future Directions [[electronic resource] ] : 1996 International Zurich Seminar on Digital Communications IZS'96, Zurich, Switzerland, February 21-23, 1996. Proceedings / / edited by Bernhard Plattner |
| Edizione | [1st ed. 1996.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
| Descrizione fisica | 1 online resource (XIV, 366 p.) |
| Disciplina | 621.382 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer communication systems
Electrical engineering Coding theory Information theory Special purpose computers Input-output equipment (Computers) Computers Computer Communication Networks Communications Engineering, Networks Coding and Information Theory Special Purpose and Application-Based Systems Input/Output and Data Communications Models and Principles |
| ISBN | 3-540-49669-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A path selection method in ATM using pre-computation -- Design and evaluation of distributed link and path restoration algorithms for ATM meshed networks -- Scalability enhancements for connection-oriented networks -- Fair queueing algorithms for packet scheduling in BISDN -- Burstiness bounds based multiplexing schemes for VBR video connections in the B-ISDN -- Implications of self-similarity for providing end-to-end QOS guarantees in high-speed networks: A framework of application level traffic modeling -- Multimedia call control: A centralized approach -- A generic concept for large-scale multicast -- On the potentials of forward error correction mechanisms applied to real-time services carried over B-ISDN -- Can self-similar traffic be modeled by Markovian processes? -- Modeling and analysis of MPEG video sources for performance evaluation of broadband integrated networks -- On the scalability of the demand-priority LAN a performance comparison to FDDI for multimedia scenarios -- A fast switch algorithm for ABR traffic to achieve max-min fairness -- Virtual partitioning by dynamic priorities: Fair and efficient resource-sharing by several services -- A performance study of the local fairness algorithm for the MetaRing MAC protocol -- Experiences with multimedia teleshopping applications over a broadband network — The project ESSAI -- Multimedia multipoint teleteaching over the European ATM pilot -- A universal scaling principle for ATM based connectionless servers -- The UMTS Mobility Server: A solution to support third generation mobility in ATM -- VSAT satellite networks providing ATM service -- Predictive congestion control for broadband satellite systems -- Single-frequency packet network using stack algorithm and multiple base stations -- Broadband access in RECIBA B-ISDN experimental platform -- LARNet, a wavelength division multiplexed network for broadband local access -- Design of a large ATM switch with trunk grouping -- End-to-end performance evaluation of datagram acceptance control in DQDB-ATM-DQDB CL network -- Comparison of Explicit Rate and Explicit Forward Congestion Indication Flow Control Schemes for ABR service. |
| Record Nr. | UNISA-996465573103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Cellular Communications Systems in Congested Environments [[electronic resource] ] : Resource Allocation and End-to-End Quality of Service Solutions with MATLAB / / by Mo Ghorbanzadeh, Ahmed Abdelhadi, Charles Clancy
| Cellular Communications Systems in Congested Environments [[electronic resource] ] : Resource Allocation and End-to-End Quality of Service Solutions with MATLAB / / by Mo Ghorbanzadeh, Ahmed Abdelhadi, Charles Clancy |
| Autore | Ghorbanzadeh Mo |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (261 p.) |
| Disciplina | 620 |
| Soggetto topico |
Electrical engineering
Signal processing Image processing Speech processing systems Information storage and retrieval Mathematical optimization Input-output equipment (Computers) Communications Engineering, Networks Signal, Image and Speech Processing Information Storage and Retrieval Continuous Optimization Input/Output and Data Communications |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Quality of Service in Communication Systems -- Utility Functions and Radio Resource Allocation -- Centralized Resource Allocation -- Distributed Resource Allocation -- Resource Allocation Architectures Traffic and Sensitivity Analysis -- Radio Resource Block Allocation -- Spectrum-Shared Resource Allocation -- Delay-Based Backhaul Modeling -- Book Summary. |
| Record Nr. | UNINA-9910136609203321 |
|
Ghorbanzadeh Mo
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cloud Computing and Services Science [[electronic resource] ] : 8th International Conference, CLOSER 2018, Funchal, Madeira, Portugal, March 19-21, 2018, Revised Selected Papers / / edited by Víctor Méndez Muñoz, Donald Ferguson, Markus Helfert, Claus Pahl
| Cloud Computing and Services Science [[electronic resource] ] : 8th International Conference, CLOSER 2018, Funchal, Madeira, Portugal, March 19-21, 2018, Revised Selected Papers / / edited by Víctor Méndez Muñoz, Donald Ferguson, Markus Helfert, Claus Pahl |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XI, 233 p. 104 illus., 40 illus. in color.) |
| Disciplina | 004.6782 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Artificial intelligence Computer communication systems Architecture, Computer Microprogramming Input-output equipment (Computers) Software Engineering Artificial Intelligence Computer Communication Networks Computer System Implementation Control Structures and Microprogramming Input/Output and Data Communications |
| ISBN | 3-030-29193-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | CELA: Cost-Efficient, Location-aware VM and Data Placement in Geo-distributed DCs -- Will Cloud Gain an Edge, or, CLOSER, to the Edge -- Model-based Generation of Self-adaptive Cloud Services -- A Record/Replay Debugger for Service Development on the Cloud -- Smart Connected Digital Factories: Unleashing the Power of Industry 4.0* -- Interoperability between SaaS and Data Layers: Enhancing the MIDAS Middleware -- Continuous Architecting with Microservices and DevOps: A Systematic Mapping Study -- Towards Pricing-aware Consolidation Methods for Cloud Datacenters -- Optimising QoS-assurance, Resource Usage and Cost of Fog Application Deployments -- Right Scaling for Right Pricing: A Case Study on Total Cost of Ownership Measurement for Cloud Migration -- Malicious Behavior Classification in PaaS. |
| Record Nr. | UNINA-9910349288603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Engineering and Technology [[electronic resource] ] : 23rd CCF Conference, NCCET 2019, Enshi, China, August 1–2, 2019, Revised Selected Papers / / edited by Weixia Xu, Liquan Xiao, Jinwen Li, Zhenzhen Zhu
| Computer Engineering and Technology [[electronic resource] ] : 23rd CCF Conference, NCCET 2019, Enshi, China, August 1–2, 2019, Revised Selected Papers / / edited by Weixia Xu, Liquan Xiao, Jinwen Li, Zhenzhen Zhu |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (x, 193 pages) : illustrations |
| Disciplina | 621.39 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Microprocessors
Microprogramming Input-output equipment (Computers) Computer communication systems Architecture, Computer Processor Architectures Control Structures and Microprogramming Input/Output and Data Communications Computer Communication Networks Computer System Implementation |
| ISBN | 981-15-1850-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Confidence Value: A Novel Evaluation Index of Side-Channel Attack -- Design of High Precision Band-Pass Sigma-Delta ADC in MEMS Gyroscope -- An Efficient Rule Processing Architecture Based on Reconfigurable Hardware -- Performance Analysis of Existing SIMD Architectures -- A coherent and power-efficient optical memory access network for kilo-core processor -- CoEM: A Software and Hardware Co-design Event Management System for Middlebox -- A Battery SOC Prediction Method Based on GA-CNN Network and Its Implementation on FPGA -- The Implementation of a Configurable MBIST Controller for Multi-core SoC -- Neuromodulation in Plastic Convolutional Neural Networks -- Structure Design of a Fully Enclosed Airborne Reinforcement Computer -- Design Discussion and Performance Research of the Third-level Cache in a Multi-socket, Multi-core Microchip -- An efficient and reliable retransmission mechanism for on-chip network of many-core processor -- Anti-vibration performance and Electromagnetic Compatibility Design for the Shipborne Reinforced Computer -- Effect of Passivating and Metallization Layers on Low Energy Proton Induced Single-Event Upset -- Design and Realization of Integrated Service Access Gateway (ISAG) for Integrated Fusion Shipboard network -- A Convolutional Neural Networks accelerator based on parallel memory -- RCTS: Random Cyclic Testing System -- Evaluation and Optimization of Interrupt Response Mechanism in RISC-V Architecture -- Numerical Analysis and Experimental Study on Heat Dissipation Performance of Sealed Rugged Server -- Design of High Performance Server for Shipboard Common Computing Applications -- Automated Deadlock Verification for On-chip Cache Coherence and Interconnects Through Extended Channel Dependency Graph. |
| Record Nr. | UNINA-9910357843003321 |
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Engineering and Technology [[electronic resource] ] : 19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015, Revised Selected Papers / / edited by Weixia Xu, Liquan Xiao, Jinwen Li, Chengyi Zhang
| Computer Engineering and Technology [[electronic resource] ] : 19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015, Revised Selected Papers / / edited by Weixia Xu, Liquan Xiao, Jinwen Li, Chengyi Zhang |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XII, 191 p. 91 illus.) |
| Disciplina | 004 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Microprocessors
Special purpose computers Architecture, Computer Computer system failures Input-output equipment (Computers) Processor Architectures Special Purpose and Application-Based Systems Computer System Implementation System Performance and Evaluation Input/Output and Data Communications |
| ISBN | 3-662-49283-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910255010203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Correct Hardware Design and Verification Methods [[electronic resource] ] : IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings / / edited by Paolo Enrico Camurati, Hans Eveking
| Correct Hardware Design and Verification Methods [[electronic resource] ] : IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings / / edited by Paolo Enrico Camurati, Hans Eveking |
| Edizione | [1st ed. 1995.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
| Descrizione fisica | 1 online resource (X, 346 p.) |
| Disciplina | 621.39/5 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Architecture, Computer
Electronics Microelectronics Input-output equipment (Computers) Software engineering Computer logic Computer System Implementation Electronics and Microelectronics, Instrumentation Input/Output and Data Communications Software Engineering Logics and Meanings of Programs |
| ISBN | 3-540-45516-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | What if model checking must be truly symbolic -- Automatic verification of the SCI cache coherence protocol -- Describing and verifying synchronous circuits with the Boyer-Moore theorem prover -- Problems encountered in the machine-assisted proof of hardware -- Formally embedding existing high level synthesis algorithms -- Formal design of a class of computers — its high stage: abstract microprogramming -- Symbolic analysis and verification of CPA descriptions -- A foundation for formal reuse of hardware -- State enumeration with abstract descriptions of state machines -- Transforming Boolean relations by symbolic encoding -- Design error diagnosis in sequential circuits -- Timing analysis of asynchronous circuits using timed automata -- Improved probabilistic verification by hash compaction -- Formal support for the ELLA hardware description language -- Verifying hardware components with JACK -- Language containment of non-deterministic ?-automata -- A partial-order approach to the verification of concurrent systems: Checking liveness properties -- Semantics of a verification-oriented subset of VHDL -- Reasoning about VHDL using operational and observational semantics -- A symbolic relation for a subset of VHDL'87 descriptions and its application to symbolic model checking. |
| Record Nr. | UNISA-996466103703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Correct Hardware Design and Verification Methods [[electronic resource] ] : IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings / / edited by George J. Milne, Laurence Pierre
| Correct Hardware Design and Verification Methods [[electronic resource] ] : IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings / / edited by George J. Milne, Laurence Pierre |
| Edizione | [1st ed. 1993.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 |
| Descrizione fisica | 1 online resource (IX, 275 p.) |
| Disciplina | 621.39/2 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Computer hardware Microprogramming Arithmetic and logic units, Computer Computer memory systems Input-output equipment (Computers) Theory of Computation Computer Hardware Control Structures and Microprogramming Arithmetic and Logic Structures Memory Structures Input/Output and Data Communications |
| ISBN | 3-540-70655-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A graph-based method for timing diagrams representation and verification -- A Petri Net approach for the analysis of VHDL descriptions -- Temporal analysis of time bounded digital systems -- Strongly-typed theory of structures and behaviours -- Verification and diagnosis of digital systems by ternary reasoning -- Logic verification of incomplete functions and design error location -- A methodology for system-level design for verifiability -- Algebraic models and the correctness of microprocessors -- Combining symbolic evaluation and object oriented approach for verifying processor-like architectures at the RT-level -- A theory of generic interpreters -- Towards verifying large(r) systems: A strategy and an experiment -- Advancements in symbolic traversal techniques -- Automatic verification of speed-independent circuit designs using the Circal system -- Correct compilation of specifications to deterministic asynchronous circuits -- DDD-FM9001: Derivation of a verified microprocessor -- Calculational derivation of a counter with bounded response time -- Towards a provably correct hardware implementation of occam -- Rewriting with constraints in T-ruby -- Embedding hardware verification within a commercial design framework -- An approach to formalization of data flow graphs. |
| Record Nr. | UNISA-996466086203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
