| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910427704403321 |
|
|
Autore |
Boulier François |
|
|
Titolo |
Computer Algebra in Scientific Computing : 22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings / / edited by François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2020.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVII, 644 p. 96 illus.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 12291 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Algorithms |
Computer science - Mathematics |
Artificial intelligence |
Computer systems |
Mathematics of Computing |
Artificial Intelligence |
Computer System Implementation |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Tropical Geometry of Biological Systems (Invited Talk) -- Algebraic and Geometric Analysis of Singularities of Implicit Differential Equations (Invited Talk) -- On the Complexity of Computing Integral Bases of Function Fields -- Truncated and Infinite Power Series in the Role of Coefficients of Linear Ordinary Differential Equations -- On Periodic Approximate Solutions of the Three-Body Problem Found by Conservative Difference Schemes -- Univariate Polynomials With Long Unbalanced Coefficients as Bivariate Balanced Ones: a Toom–Cook Multiplication Approach -- Power Series Arithmetic with the BPAS Library -- Enhancements to Lazard's Method for Cylindrical Algebraic Decomposition -- The Complexity and Parallel Implementation of two Sparse Multivariate Hensel Lifting Algorithms for Polynomial Factorization -- The GPGCD Algorithm with the Bézout Matrix -- On |
|
|
|
|
|
|
|
|
|
|
|
Parametric Linear System Solving -- Symbolic-Numeric Algorithm for Computing Orthonormal Basis of O(5) Χ SU(1,1) Group -- Symbolic-Numeric Study of Geometric Properties of Adiabatic Waveguide Modes -- Intrinsic Complexity for Constructing Zero-Dimensional Gröbner Bases -- On the Study of the Motion of a System of Two Connected Rigid Bodies by Computer Algebra Methods -- Complexity Estimates for Fourier-Motzkin Elimination -- Progress Report on the Scala Algebra System -- Routh – Hurwitz Stability of a Polynomial Matrix Family. Real Perturbations -- Hermite Rational Function Interpolation with Error Correction -- Good Pivots for Small Sparse Matrices -- Nullstellensatz-Proofs for Multiplier Verification -- "Mathemachines" via LEGO, GeoGebra and CindyJS -- Balanced NUCOMP -- Contact Linearizability of Scalar Ordinary Differential Equations of Arbitrary Order -- Faster Numerical Univariate Polynomial Root-Finding by Means of Subdivision Iterations -- Computing Parametric Standard bases for Semi-weighted Homogeneous Isolated Hypersurface Singularities -- Acceleration of Subdivision Root-Finding for Sparse Polynomials -- Analytical Computationsin Studying Translational-Rotational Motion of a Non-Stationary Triaxial Body in the Central Gravitational Field -- A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction Networks -- First-Order Tests for Toricity -- Looking for Compatible Routes in the Railway Interlocking System of an Overtaking Station Using a Computer Algebra System -- Computing Logarithmic Vector Fields along an ICIS Germ via Matlis Duality -- Robust Numerical Tracking of One Path of a Polynomial Homotopy on Parallel Shared Memory Computers -- Symbolic-Numeric Computation of the Bernstein Coefficients of a Polynomial from Those of One of Its Partial Derivatives and of the Product of Two Polynomials -- Comparative Study of the Accuracy of Higher-order Difference Schemes for Molecular Dynamics Problems Using the Computer Algebra Means -- Characterizing Triviality of the Exponent Lattice of a Polynomial through Galois and Galois-Like Groups. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, CASC 2020, held in Linz, Austria, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 34 full papers presented together with 2 invited talks were carefully reviewed and selected from 41 submissions. They deal with cutting-edge research in all major disciplines of computer algebra. The papers cover topics such as polynomial algebra, symbolic and symbolic-numerical computation, applications of symbolic computation for investigating and solving ordinary differential equations, applications of CAS in the investigation and solution of celestial mechanics problems, and in mechanics, physics, and robotics. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910418352703321 |
|
|
Autore |
Nisky Ilana |
|
|
Titolo |
Haptics: Science, Technology, Applications : 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 |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2020.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVIII, 557 p. 38 illus.) |
|
|
|
|
|
|
Collana |
|
Information Systems and Applications, incl. Internet/Web, and HCI, , 2946-1642 ; ; 12272 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
User interfaces (Computer systems) |
Human-computer interaction |
Robotics |
Computers, Special purpose |
Application software |
Computer vision |
User Interfaces and Human Computer Interaction |
Special Purpose and Application-Based Systems |
Computer and Information Systems Applications |
Computer Vision |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
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 Stimuliat 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. |
|
|
|
|
|
|
Sommario/riassunto |
|
This open access book constitutes the proceedings of the 12th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2020, held in Leiden, The Netherlands, in September 2020. The 60 papers presented in this volume were carefully reviewed and selected from 111 submissions. The were organized in topical sections on haptic science, haptic technology, and haptic applications. This year's focus is on accessibility. . |
|
|
|
|
|
|
|
| |