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.
Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson
| Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson |
| Autore | Blanchette Jasmin |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (xv, 756 pages) : illustrations (some color) |
| Disciplina | 006.333 |
| Altri autori (Persone) |
BlanchetteJasmin
KovácsLaura PattinsonDirk <1970-> |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Automatic theorem proving
Computer logic |
| Soggetto non controllato |
artificial intelligence
automata theory computer hardware computer networks computer programming computer systems embedded systems formal languages formal logic logic programming network protocols semantics software architecture software design software engineering theoretical computer science |
| ISBN | 3-031-10769-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996483156703316 |
Blanchette Jasmin
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Cyber Security : 19th China Annual Conference, CNCERT 2022, Beijing, China, August 16-17, 2022, Revised Selected Papers
| Cyber Security : 19th China Annual Conference, CNCERT 2022, Beijing, China, August 16-17, 2022, Revised Selected Papers |
| Autore | Lu Wei |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Singapore : , : Springer, , 2023 |
| Descrizione fisica | 1 electronic resource (239 p.) |
| Altri autori (Persone) |
ZhangYuqing
WenWeiping YanHanbing LiChao |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Computer security
Computer networking & communications Artificial intelligence Legal aspects of IT Network security |
| Soggetto non controllato |
application service layer
artificial intelligence communication systems computer crime computer networks computer security computer systems cryptography cyber security data communication systems data security databases machine learning network protocols network security privacy signal processing telecommunication networks telecommunication systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996503561903316 |
|
Lu Wei
|
||
| Singapore : , : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Cyber Security : 18th China Annual Conference, CNCERT 2021, Beijing, China, July 20-21, 2021, Revised Selected Papers
| Cyber Security : 18th China Annual Conference, CNCERT 2021, Beijing, China, July 20-21, 2021, Revised Selected Papers |
| Autore | Lu Wei |
| Pubbl/distr/stampa | Singapore, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (234 pages) |
| Altri autori (Persone) |
ZhangYuqing
WenWeiping YanHanbing LiChao |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Computer security
Computer networking & communications Coding theory & cryptology Network security Artificial intelligence Software Engineering |
| Soggetto non controllato |
artificial intelligence
authentication computer hardware computer networks computer security computer systems cryptography data communication systems data mining data security databases information retrieval network protocols network security privacy signal processing telecommunication networks telecommunication systems |
| ISBN | 981-16-9229-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996464545403316 |
|
Lu Wei
|
||
| Singapore, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Cyber Security [[electronic resource] ] : 17th China Annual Conference, CNCERT 2020, Beijing, China, August 12, 2020, Revised Selected Papers / / edited by Wei Lu, Qiaoyan Wen, Yuqing Zhang, Bo Lang, Weiping Wen, Hanbing Yan, Chao Li, Li Ding, Ruiguang Li, Yu Zhou
| Cyber Security [[electronic resource] ] : 17th China Annual Conference, CNCERT 2020, Beijing, China, August 12, 2020, Revised Selected Papers / / edited by Wei Lu, Qiaoyan Wen, Yuqing Zhang, Bo Lang, Weiping Wen, Hanbing Yan, Chao Li, Li Ding, Ruiguang Li, Yu Zhou |
| Autore | Lu Wei |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (X, 235 p. 108 illus., 70 illus. in color.) |
| Disciplina | 005.8 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Computer security
Computer communication systems Application software Architecture, Computer Data encryption (Computer science) Computer networks - Security measures Systems and Data Security Computer Communication Networks Information Systems Applications (incl. Internet) Computer System Implementation Cryptology Mobile and Network Security |
| Soggetto non controllato |
Systems and Data Security
Computer Communication Networks Information Systems Applications (incl. Internet) Computer System Implementation Cryptology Mobile and Network Security Data and Information Security Computer and Information Systems Applications communication channels (information theory) communication systems computer crime computer hardware computer networks computer security computer systems cryptography data communication systems data security databases network protocols network security sensors signal processing telecommunication networks telecommunication systems telecommunication traffic wireless telecommunication systems Network hardware Information retrieval Internet searching Systems analysis & design Coding theory & cryptology Data encryption |
| ISBN | 981-334-922-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Access Control -- Cryptography -- Denial-of-Service Attacks -- Hardware Security Implementation -- Intrusion/Anomaly Detection and Malware Mitigation -- Social Network Security and Privacy.-Systems Security. |
| Record Nr. | UNISA-996465362903316 |
|
Lu Wei
|
||
| Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Cybersecurity of digital service chains : challenges, methodologies, and tools / / editors, Joanna Kołodziej, Matteo Repetto, Armend Duzha
| Cybersecurity of digital service chains : challenges, methodologies, and tools / / editors, Joanna Kołodziej, Matteo Repetto, Armend Duzha |
| Autore | Kołodziej Joanna |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
| Descrizione fisica | 1 online resource (xi, 257 pages) : illustrations (chiefly color) |
| Altri autori (Persone) |
RepettoMatteo
DuzhaArmend |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Business - Data processing - Security measures
Computer networks - Security measures |
| Soggetto non controllato |
cloud computing
computer crime computer networks computer security cryptography cyber security data communication systems data flow architectures data management systems data security electromagnetic interference and compatibility general programming languages health informatics intrusion detection network protocols network security network simulations sensors and actuators signal processing telecommunication traffic |
| ISBN | 3-031-04036-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Reference Architecture for Management of Security Operations in Digital Service Chains Efficient flow monitoring in digital services Intelligent Transportation Systems models, challenges, security aspects NAD: Machine Learning based Component for Unknown Attack Detection in Network Traffic Detecting unknown attacks through system behavior analysis Signature-based detection of botnet DDoS attacks Automatic Attack Pattern Mining for Generating Actionable CTI Applying Alert Aggregation Blockchain-based task and information management in computational cloud systems |
| Record Nr. | UNISA-996472069303316 |
|
Kołodziej Joanna
|
||
| Cham, : Springer International Publishing AG, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Electronic Voting : 7th International Joint Conference, e-Vote-ID 2022, Bregenz, Austria, October 4-7, 2022, Proceedings
| Electronic Voting : 7th International Joint Conference, e-Vote-ID 2022, Bregenz, Austria, October 4-7, 2022, Proceedings |
| Autore | Krimmer Robert |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (197 pages) |
| Altri autori (Persone) |
VolkamerMelanie
Duenas-CidDavid RønnePeter GermannMicha |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Coding theory & cryptology
Information retrieval Artificial intelligence Network security Computer security Network hardware |
| Soggetto non controllato |
artificial intelligence
communication communication systems computer crime computer hardware computer networks computer science computer security computer systems computer vision cryptography data security engineering fuzzy sets internet network protocols network security privacy signal processing telecommunication systems |
| ISBN | 3-031-15911-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996490356403316 |
|
Krimmer Robert
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph Structures for Knowledge Representation and Reasoning [[electronic resource] ] : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers / / edited by Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph
| Graph Structures for Knowledge Representation and Reasoning [[electronic resource] ] : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers / / edited by Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph |
| Autore | Cochez Michael |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Springer Nature, 2021 |
| Descrizione fisica | 1 online resource (IX, 151 p. 54 illus., 26 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Computer communication systems Mathematical logic Artificial Intelligence Information Systems Applications (incl. Internet) Computer Communication Networks Mathematical Logic and Formal Languages |
| Soggetto non controllato |
Artificial Intelligence
Information Systems Applications (incl. Internet) Computer Communication Networks Mathematical Logic and Formal Languages Computer and Information Systems Applications Formal Languages and Automata Theory open access concept lattices data mining databases fca formal concept analysis formal languages formal logic information analysis information systems knowledge-based system model-based reasoning network protocols ontologies Information retrieval Internet searching Network hardware Mathematical theory of computation |
| ISBN | 3-030-72308-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Extended Workshop Papers -- Active Semantic Relations in Layered Enterprise Architecture Development -- A Belief Update System Using an Event Model for Location of People in a Smart Home -- A Natural Language Generation Technique for Automated Psychotherapy -- Creative Composition Problem: A Knowledge Graph Logical-based AI Construction and Optimization Solution -- Set Visualisations with Euler and Hasse Diagrams -- Usage Patterns Identification Using Graphs and Machine Learning -- Collaborative Design and Manufacture: Information Structures for Team Formation and Coordination -- Invited Additional Contributions -- Approximate Knowledge Graph Query Answering: From Ranking to Binary Classification -- Galois Connections for Patterns: An Algebra of Labelled Graphs. |
| Record Nr. | UNISA-996464442403316 |
|
Cochez Michael
|
||
| Springer Nature, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Haptics : 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, Hamburg, Germany, May 22-25, 2022, Proceedings / / editors, Hasti Seifi [et al.]
| Haptics : 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, Hamburg, Germany, May 22-25, 2022, Proceedings / / editors, Hasti Seifi [et al.] |
| Autore | Seifi Hasti |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
| Descrizione fisica | 1 online resource (xviii, 514 pages) : illustrations (chiefly color) |
| Altri autori (Persone) |
SeifiHasti
KappersAstrid M. L SchneiderOliver DrewingKnut PacchierottiClaudio AbbasimoshaeiAlireza HuismanGijs KernThorsten A |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Haptic devices
Human-computer interaction |
| Soggetto non controllato |
communication systems
computer networks data communication systems haptic interfaces human engineering Human-Computer Interaction (HCI) mobile computing mobile devices network protocols rehabilitation systems robotics signal processing telecommunication networks telecommunication systems user interfaces virtual reality wireless telecommunication systems |
| ISBN | 3-031-06249-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996475769403316 |
|
Seifi Hasti
|
||
| Cham, : Springer International Publishing AG, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Haptics: Science, Technology, Applications [[electronic resource] ] : 12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6–9, 2020, Proceedings / / edited by Ilana Nisky, Jess Hartcher-O’Brien, Michaël Wiertlewski, Jeroen Smeets
| Haptics: Science, Technology, Applications [[electronic resource] ] : 12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6–9, 2020, Proceedings / / edited by Ilana Nisky, Jess Hartcher-O’Brien, Michaël Wiertlewski, Jeroen Smeets |
| Autore | Nisky Ilana |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (XVIII, 557 p. 38 illus.) |
| Disciplina |
005.437
4.019 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
User interfaces (Computer systems)
Robotics Special purpose computers Application software Optical data processing User Interfaces and Human Computer Interaction Special Purpose and Application-Based Systems Information Systems Applications (incl. Internet) Image Processing and Computer Vision |
| Soggetto non controllato |
User Interfaces and Human Computer Interaction
Robotics Special Purpose and Application-Based Systems Information Systems Applications (incl. Internet) Image Processing and Computer Vision Computer and Information Systems Applications Computer Vision communication systems computer networks data communication systems display devices engineering haptic devices haptic interfaces human engineering Human-Computer Interaction (HCI) mobile computing network protocols robotics signal processing telecommunication networks user interfaces virtual reality wireless telecommunication systems User interface design & usability Artificial intelligence Expert systems / knowledge-based systems Information retrieval Internet searching Image processing Computer vision |
| ISBN | 3-030-58147-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Haptic Science -- The EmojiGrid as a Rating Tool for the Affective Appraisal of Touch -- A 2-DoF Skin Stretch Display on Palm: Effect of Stimulation Shape, Speed and Intensity -- User-Defined Mid-Air Haptic Sensations for Interacting with an AR Menu Environment -- Surface Roughness Judgment during Finger Exploration is Changeable by Visual Oscillations -- Identifying tactors locations on the proximal phalanx of the finger for navigation -- Tactile Perception of Objects by the User's Palm for the Development of Multi-contact Wearable Tactile Displays -- From Hate to Love: How Learning Can Change Affective Responses to Touched Materials -- Switching between objects improves precision in haptic perception of softness -- Discriminating between Intensities and Velocities of Mid-Air Haptic Patterns -- Density estimation is influenced more by mass when objects are denser -- Haptic feedback in a teleoperated Box & Blocks task -- Systematic Adaptation of Exploration Force to Exploration Duration in Softness Discrimination -- Perception of vibratory direction on the back -- Comparing Lateral Modulation and Amplitude Modulation in Phantom Sensation -- Context Matters: The Effect of Textual Tone on the Evaluation of Mediated Social Touch -- Influence of roughness on contact force estimation during active touch -- Green Fingers: Plant Thigmo Responses as an Unexplored Area for Haptics Research -- The impact of control-display gain in kinesthetic search -- The arm’s blind line: anisotropic distortion in perceived orientation of stimuli on the arm -- Evaluation of Changes in Perceived Intensity and Threshold of Moisture Sensation of Clothes Associated with Skin Moisture -- The Effects of Simultaneous Multi-Point Vibratory Stimulation on Kinesthetic Illusion -- Isometric force matching asymmetries depend on the position of the left hand regardless of handedness -- Computational Model of a Pacinian Corpuscle for an Electrical Stimulus: Spike-Rate and Threshold Characteristics -- Haptic Technology -- SwitchPaD: Active Lateral Force Feedback over a Large Area Based on Switching Resonant Modes -- Visuo-Haptic Display by Embedding Imperceptible Spatial Haptic Information into Projected Images -- Manipulating the Perceived Directions of Wind by Visuo-audio-haptic Cross-modal Effects -- A 6-DoF Zero-order Dynamic Deformable Tool for Haptic Interactions of Deformable and Dynamic Objects -- Evaluating Ultrasonic Tactile Feedback Stimuli -- WeATaViX: WEarable Actuated TAngibles for VIrtual reality eXperiences -- Noncontact Thermal and Vibrotactile Display Using Focused Airborne Ultrasound -- KATIB: Haptic-visual Guidance for Handwriting -- ThermalTex: A two-modal tactile display for delivering surface texture and thermal information -- Can Stiffness Sensations be Rendered in Virtual Reality Using Mid-air Ultrasound Haptic Technologies? -- Midair Haptic Presentation Using Concave Reflector -- Movement-Free Virtual Reality Interface using Kinesthetic Illusion Induced by Tendon Vibration -- Haptic Display Using Fishing Rod -- Confinement of Vibrotactile Stimuli in Periodically Supported Plates -- 2MoTac: Simulation of button click by superposition of two ultrasonic plate waves -- A Proposal and Investigation of Displaying Method by Passive Touch with Electrostatic Tactile Display -- Sensing Ultrasonic Mid-Air Haptics with a Biomimetic Tactile Fingertip -- Soft-wearable device for the estimation of shoulder orientation and gesture -- Wearable Vibrotactile Interface Using Phantom Tactile Sensation for Human-Robot Interaction -- A Parallel Elastic Haptic Thimble for Wide Bandwidth Cutaneous Feedback -- Instrumenting Hand-held Surgical Drills With a Pneumatic Sensing Cover for Haptic Feedback -- Rendering Ultrasound Pressure Distribution on Hand Surface in Real-Time -- Energy Analysis of Lateral vs. Normal Vibration Modes for Ultrasonic Surface Haptic Devices -- Midair Tactile Reproduction of Real Objects -- LinkRing: A Wearable Haptic Display for Delivering Multi-contact and Multi-modal Stimuli at the Finger Pads -- ElectroAR: Distributed Electro-tactile Stimulation for Tactile Transfer -- Haptic Applications -- Identification Rate of Simple and Complex Tactile Alerts in MUM-T Setup -- Attention-based Robot Learning of Haptic Interaction -- Motion Guidance using Translational Force and Torque Feedback by Induced Pulling Illusion -- Perceptually Compressive Communication of Interactive Telehaptic Signal -- Sound Image Icon with Aerial Haptic Feedback -- Stiffness Discrimination by Two Fingers with Stochastic Resonance -- Interest Arousal by Haptic Feedback During a Storytelling for Kindergarten Children -- Investigating the influence of haptic feedback in rover navigation with communication delay -- Shared haptic perception for human-robot collaboration -- Two-Point Haptic Pattern Recognition with the Inverse Filter Method -- Adaptive Fuzzy Sliding Mode Controller Design for a New Hand Rehabilitation Robot. |
| Record Nr. | UNISA-996418312503316 |
|
Nisky Ilana
|
||
| Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The once-only principle : the TOOP Project / / editors, Robert Krimmer, Andriana Prentza, Szymon Mamrot
| The once-only principle : the TOOP Project / / editors, Robert Krimmer, Andriana Prentza, Szymon Mamrot |
| Autore | Krimmer Robert |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2021 |
| Descrizione fisica | 1 online resource (x, 241 pages) : illustrations (some color) |
| Altri autori (Persone) |
KrimmerRobert
PrentzaAndriana MamrotSzymon |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Government information - Law and legislation
Internet in public administration |
| Soggetto non controllato |
Computer Applications
Special Purpose and Application-Based Systems Programming Techniques Software Engineering/Programming and Operating Systems Computer Application in Administrative Data Processing Computer and Information Systems Applications Software Engineering access control communication systems computer systems cryptography databases Field Programmable Gate Array (FPGA) gateways (computer networks) information systems internet protocols network protocols object-oriented design object-oriented programming object-oriented programming languages signal processing social networks software architecture software design system architectures Information technology: general issues Expert systems / knowledge-based systems Computer programming / software engineering Operating systems |
| ISBN | 3-030-79851-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Once-Only Principle: A Matter of Trust Implementation of the 'once-only' principle in Europe national approaches Drivers for and Barriers to the Cross-Border Implementation of the Once-Only Princi pleOnce-Only Principle Good Practices in Europ eThe Single Digital Gateway Regulation as an Enabler and Constraint of Once-Only in EuropeLegal Basis and Regulatory Applications of the Once-Only Principle: the Italian CaseTOOP Trust ArchitectureThe Technical challenges in OOP application across the European Union and the TOOP OOP architectureTesting methodology for the TOOP pilotsTOOP pilot experiences: challenges and achievements in implementing once-only in different domains and Member StatesMeasuring the Impact of the Once Only Principle for Businesses Across BordersThe Future of the Once-Only Principle in Europe |
| Record Nr. | UNISA-996464432203316 |
|
Krimmer Robert
|
||
| Cham, : Springer International Publishing AG, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
