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.
Image analysis : 18th Scandinavian Conference, SCIA 2013, Espoo, Finland, June 17-20, 2013. Proceedings / Joni-Kristian Kämäräinen, Markus Koskela (eds.).
| Image analysis : 18th Scandinavian Conference, SCIA 2013, Espoo, Finland, June 17-20, 2013. Proceedings / Joni-Kristian Kämäräinen, Markus Koskela (eds.). |
| Creatore | [Scandinavian Conference on Image Analysis (18th : 2013 : Espoo, Finland)] |
| Estensione | 1 online resource (xiv, 733 pages) : illustrations. |
| Disciplina | 621.36/7 |
| Accesso persona |
Kämäräinen, Joni-Kristian, editor
Koskela, Markus, editor |
| Genere/Forma |
Congresses
Electronic books Conference papers and proceedings |
| Soggetto non controllato |
Computer science
Artificial intelligence Computer graphics Optical pattern recognition Image Processing and Computer Vision Pattern Recognition |
| ISBN |
9783642388866
3642388868 9783642388859 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Feature Extraction and Segmentation. Texture Description with Completed Local Quantized Patterns / Xiaohua Huang [and others] -- A Local Image Descriptor Robust to Illumination Changes / Sebastian Zambanini, Martin Kampel -- Detection of Curvilinear Structures by Tensor Voting Applied to Fiber Characterization / Nataliya Strokina [and others] -- Simple-Graphs Fusion in Image Mosaic: Application to Automated Cell Files Identification in Wood Slices / Guilhem Brunel [and others] -- Unsupervised Segmentation of Anomalies in Sequential Data, Images and Volumetric Data Using Multiscale Fourier Phase-Only Analysis / Fabian Bürger, Josef Pauli -- Extended 3D Line Segments from RGB-D Data for Pose Estimation / Anders Glent Buch [and others] -- Incorporating Texture Intensity Information into LBP-Based Operators / M. Ghahramani, Guoying Zhao, Matti Pietikäinen -- Bayesian Non-parametric Image Segmentation with Markov Random Field Prior / Ehsan Amid -- Evaluating Local Feature Detectors in Salient Region Detection / Teemu Kinnunen, Mari Laine-Hernandez, Pirkko Oittinen.
Forest Stand Delineation Using a Hybrid Segmentation Approach Based on Airborne Laser Scanning Data / Zhengzhe Wu [and others] -- Mean Shift with Flatness Constraints / Eduard Sojka, Milan Šurkala, Jan Gaura -- Constructing Local Binary Pattern Statistics by Soft Voting / Juha Ylioinas, Xiaopeng Hong, Matti Pietikäinen -- Pattern Recognition and Machine Learning. Cascaded Random Forest for Fast Object Detection / Florian Baumann [and others] -- Multiplicative Updates for Learning with Stochastic Matrices / Zhanxing Zhu, Zhirong Yang, Erkki Oja -- Validating the Visual Saliency Model / Ali Alsam, Puneet Sharma -- Bundle Methods for Structured Output Learning -- Back to the Roots / Michal Uřičář, Vojtěch Franc, Václav Hlaváč -- Continuous-Space Gaussian Process Regression and Generalized Wiener Filtering with Application to Learning Curves / Simo Särkkä, Arno Solin -- Approximations of Gaussian Process Uncertainties for Visual Recognition Problems / Paul Bodesheim [and others] -- Topology-Preserving Dimension-Reduction Methods for Image Pattern Recognition / Hayato Itoh [and others]. Efficient Boosted Weak Classifiers for Object Detection / Xiaopeng Hong [and others] -- Domain Adaptation for Sequential Detection / Šimon Fojtů [and others] -- Introducing a Inter-frame Relational Feature Model for Pedestrian Detection / Andreas Zweng, Martin Kampel -- Medical and Biomedical Image Analysis -- Automated Cell Counting in Bürker Chamber / Karel Štěpka -- Adaptive Spatio-temporal Filtering of 4D CT-Heart / Mats Andersson, Hans Knutsson -- Toward Automated Validation of Sketch-Based 3D Segmentation Editing Tools / Frank Heckel [and others] -- FAST-PVE: Extremely Fast Markov Random Field Based Brain MRI Tissue Classification / Jussi Tohka -- Automated Tracing of Retinal Blood Vessels Using Graphical Models / Jaydeep De [and others] -- Genus Zero Graph Segmentation: Estimation of Intracranial Volume / Rasmus R. Jensen [and others] -- Vessel Wall Segmentation Using Implicit Models and Total Curvature Penalizers / Rodrigo Moreno, Chunliang Wang, Örjan Smedby -- Faces and Gestures -- Dynamic 3D Facial Expression Recognition Using Robust Shape Features / Ahmed Maalej, Hedi Tabia, Halim Benhabiles. Head Pose Estimation Using Multi-scale Gaussian Derivatives / Varun Jain, James L. Crowley -- Finger Tracking for Gestural Interaction in Mobile Devices / Matti Matilainen, Jari Hannuksela, Lixin Fan -- Extracting Local Binary Patterns from Image Key Points: Application to Automatic Facial Expression Recognition / Xiaoyi Feng [and others] -- Head Pose Estimation for Sign Language Video / Marcos Luzardo [and others] -- Detecting Hand-Head Occlusions in Sign Language Video / Ville Viitaniemi [and others] -- Gender Recognition Using Nonsubsampled Contourlet Transform and WLD Descriptor / Muhammad Hussain [and others] -- Object and Scene Recognition -- Unsupervised Visual Object Categorisation with BoF and Spatial Matching / Teemu Kinnunen [and others] -- Improved Object Detection and Pose Using Part-Based Models / Fangyuan Jiang [and others] -- Non Maximal Suppression in Cascaded Ranking Models / Matthew B. Blaschko, Juho Kannala, Esa Rahtu -- Exploiting Object Characteristics Using Custom Features for Boosting-Based Classification / Arne Ehlers, Florian Baumann, Bodo Rosenhahn. Apprenticeship Learning: Transfer of Knowledge via Dataset Augmentation / Miroslav Kobetski, Josephine Sullivan -- Adding Discriminative Power to Hierarchical Compositional Models for Object Class Detection / Matej Kristan [and others] -- Matching, Registration and Alignment. Learning Multi-view Correspondences via Subspace-Based Temporal Coincidences / Christian Conrad, Rudolf Mester -- Interest Region Description Using Local Binary Pattern of Gradients / Sajid Saleem, Robert Sablatnig -- Probabilistic Hough Voting for Attitude Estimation from Aerial Fisheye Images / Bertil Grelsson, Michael Felsberg -- Automatic Optimization of Alignment Parameters for Tomography Datasets / Folkert Bleichrodt, K. Joost Batenburg -- Least-Squares Transformations between Point-Sets / Kalle Rutanen [and others] -- 3D Object Pose Estimation Using Viewpoint Generative Learning / Dissaphong Thachasongtham [and others]. 3D Vision. Structure from Motion Estimation with Positional Cues / Linus Svärm, Magnus Oskarsson -- Probabilistic Range Image Integration for DSM and True-Orthophoto Generation / Markus Rumpler, Andreas Wendel, Horst Bischof -- On-line Stereo Self-calibration through Minimization of Matching Costs / Robert Spangenberg, Tobias Langner, Raúl Rojas -- Depth Map Inpainting under a Second-Order Smoothness Prior / Daniel Herrera C. [and others] -- Merging Overlapping Depth Maps into a Nonredundant Point Cloud / Tomi Kyöstilä [and others] -- Industrial Phase-Shifting Profilometry in Motion / P. Schroeder [and others] -- Color and Multispectral Image Analysis. Asymmetry as a Measure of Visual Saliency / Ali Alsam, Puneet Sharma, Anette Wrålsen -- Detection of Small Roof Details in Image Sequences / Dimitri Bulatov, Melanie Pohl -- Supervised Object Class Colour Normalisation / Ekaterina Riabchenko [and others] -- Statistical Quality Assessment of Pre-fried Carrots Using Multispectral Imaging / Sara Sharifzadeh [and others]. Motion Analysis. A Feature-Based Adaptive Model for Realtime Face Tracking on Smart Phones / Quang Nhat Vo, GueeSang Lee -- Classification of RGB-D and Motion Capture Sequences Using Extreme Learning Machine / Xi Chen, Markus Koskela -- Robust Scale-Adaptive Mean-Shift for Tracking / Tomas Vojir, Jana Noskova, Jiri Matas -- Systems and Applications. -- Airborne Based High Performance Crowd Monitoring for ecurity Applications / Roland Perko [and others] -- Characterizing Spatters in Laser Welding of Thick Steel Using Motion Flow Analysis / Olli Lahdenoja [and others] -- Human-Centered Computing. Perceptually-Inspired Artistic Genre Identification System in Digitized Painting Collections / Razvan George Condorovici [and others] -- Video and Multimedia Analysis. High Capacity Reversible Watermarking for Images Based on Classified Neural Network / Rongrong Ni [and others] -- Other. Saliency Detection Using Joint Temporal and Spatial Decorrelation / Hamed Rezazadegan Tavakoli, Esa Rahtu, Janne Heikkilä -- Density Driven Diffusion / Freddie Åström, Vasileios Zografos, Michael Felsberg. |
| Record Nr. | NYU-004402370 |
[Scandinavian Conference on Image Analysis (18th : 2013 : Espoo, Finland)]
|
|
| Materiale a stampa | |
| Lo trovi qui: New York University | |
Advances in nonlinear speech processing : 6th International Conference, NOLISP 2013, Mons, Belgium, June 19-21, 2013 : proceedings / Thomas Drugman, Thierry Dutoit (eds.).
| Advances in nonlinear speech processing : 6th International Conference, NOLISP 2013, Mons, Belgium, June 19-21, 2013 : proceedings / Thomas Drugman, Thierry Dutoit (eds.). |
| Creatore | [International Conference on Non-Linear Speech Processing (6th : 2013 : Mons, Belgium)] |
| Estensione | 1 online resource (ix, 215 pages) : illustrations. |
| Disciplina | 006.3/5 |
| Accesso persona |
Drugman, Thomas
Dutoit, Thierry |
| Genere/Forma |
Congresses
Electronic books Conference papers and proceedings |
| Soggetto non controllato |
Computer science
Artificial intelligence Translators (Computer programs) Optical pattern recognition Pattern Recognition Language Translation and Linguistics |
| ISBN |
9783642388477
3642388477 9783642388460 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Speech and Audio Analysis. Evaluation of Automatic Glottal Source Analysis / John Kane, Christer Gobl -- NMF-Based Spectral Analysis for Acoustic Event Classification Tasks / Jimmy Ludeña-Choez, Ascensión Gallardo-Antolín -- Efficient GCI Detection for Efficient Sparse Linear Prediction / Vahid Khanagha, Khalid Daoudi -- Gender Detection in Running Speech from Glottal and Vocal Tract Correlates / Cristina Muñoz-Mulas, Rafael Martínez-Olalla, Pedro Gómez-Vilda -- An Efficient Method for Fundamental Frequency Determination of Noisy Speech / Mohamed Anouar Ben Messaoud, Aïcha Bouzid, Noureddine Ellouze -- Glottal Source Model Selection for Stationary Singing-Voice by Low-Band Envelope Matching / Fernando Villavicencio -- Contribution to the Multipitch Estimation by Multi-scale Product Analysis / Jihen Zeremdini [and others] -- Speech Signals Parameterization Based on Auditory Filter Modeling / Youssef Zouhir, Kaïs Ouni -- Towards a Better Representation of the Envelope Modulation of Aspiration Noise / João P. Cabral, Julie Carson-Berndsen.
Speech Synthesis. Towards Physically Interpretable Parametric Voice Conversion Functions / Daniel Erro [and others] -- Reduced Search Space Frame Alignment Based on Kullback-Leibler Divergence for Voice Conversion / Abdoreza Sabzi Shahrebabaki [and others] -- Average Voice Modeling Based on Unbiased Decision Trees / Fahimeh Bahmaninezhad, Soheil Khorram, Hossein Sameti -- Non-linear Pitch Modification in Voice Conversion Using Artificial Neural Networks / Bajibabu Bollepalli, Jonas Beskow, Joakim Gustafson -- Speech-Based Biomedical Applications. Analysis and Quantification of Acoustic Artefacts in Tracheoesophageal Speech / Thomas Drugman [and others] -- Analysis of Speech from People with Parkinson's Disease through Nonlinear Dynamics / Juan Rafael Orozco-Arroyave, Julián David Arias-Londoño, Jesús Francisco Vargas-Bonilla -- Synthesis by Rule of Disordered Voices / Jean Schoentgen, Jorge C. Lucero -- Towards a Low-Complex Breathing Monitoring System Based on Acoustic Signals / Pere Martíć-Puig [and others] -- Automatic Detection of Laryngeal Pathologies in Running Speech Based on the HMM Transformation of the Nonlinear Dynamics / Carlos M. Travieso [and others]. Feature Extraction Approach Based on Fractal Dimension for Spontaneous Speech Modelling Oriented to Alzheimer Disease Diagnosis / Karmele López-de-Ipiña [and others] -- Automatic Speech Recognition. Robust Hierarchical and Sparse Representation of Natural Sounds in High-Dimensional Space / Simon Brodeur, Jean Rouat -- On the Importance of Pre-emphasis and Window Shape in Phase-Based Speech Recognition / Erfan Loweimi [and others] -- Smoothed Nonlinear Energy Operator-Based Amplitude Modulation Features for Robust Speech Recognition / Md. Jahangir Alam, Patrick Kenny, Douglas O'Shaughnessy -- Fuzzy Phonetic Decoding Method in a Phoneme Recognition Problem / Lyudmila V. Savchenko, Andrey V. Savchenko -- Improved EMD Usable Speech Detection for Co-channel Speaker Identification / Wajdi Ghezaiel, Amel Ben Slimane, Ezzedine Ben Braiek -- Speech Enhancement. Speech Enhancement: A Multivariate Empirical Mode Decomposition Approach / Jordi Solé-Casals [and others] -- Speech Denoising Based on Empirical Mode Decomposition and Improved Thresholding / Issaoui Hadhami, Aïcha Bouzid -- A Fast Semi-blind Reverberation Time Estimation Using Non-linear Least Squares Method / Neda Faraji, Seyed Mohammad Ahadi, Hamid Sheikhzadeh. |
| Record Nr. | NYU-004402783 |
|
[International Conference on Non-Linear Speech Processing (6th : 2013 : Mons, Belgium)]
|
|
| Materiale a stampa | |
| Lo trovi qui: New York University | |
An ASIC low power primer : analysis, techniques and specification / Rakesh Chadha, J. Bhasker
| An ASIC low power primer : analysis, techniques and specification / Rakesh Chadha, J. Bhasker |
| Creatore | [Chadha, Rakesh] |
| Estensione | 1 online resource |
| Disciplina | 621.3815 |
| Accesso persona | Bhasker, Jayaram |
| Genere/Forma | Electronic books |
| Soggetto non controllato |
Engineering
Computer science Systems engineering Circuits and Systems Electronics and Microelectronics, Instrumentation |
| ISBN |
9781461442714
1461442710 1461442702 9781461442707 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Modeling of Power in Core Logic -- Modeling of Power in IOs and Macro Blocks -- Power Analysis in ASICs -- Design Intent for Power Management -- Architectural Techniques for Low Power -- Low Power Implementation Techniques -- UPF Power Specification -- CPF Power Specification. |
| Record Nr. | NYU-004389098 |
|
[Chadha, Rakesh]
|
|
| Materiale a stampa | |
| Lo trovi qui: New York University | |
Embedded systems design with FPGAs / Peter Athanas, Dionisios Pnevmatikatos, Nicolas Sklavos, editors
| Embedded systems design with FPGAs / Peter Athanas, Dionisios Pnevmatikatos, Nicolas Sklavos, editors |
| Estensione | 1 online resource |
| Disciplina | 621.39/5 |
| Accesso persona |
Athanas, Peter, 1960-
Pnevmatikatos, Dionisios Sklavos, Nicolas |
| Genere/Forma | Electronic books |
| Soggetto non controllato |
Engineering
Computer science Systems engineering Circuits and Systems Electronics and Microelectronics, Instrumentation |
| ISBN |
9781461413622
1461413621 9781461413615 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Widening the Memory Bottleneck by Automatically-Compiled Application-Specific Speculation Mechanisms / Benjamin Thielmann, Jens Huthmann, Thorsten Wink -- Decimal Division Using the Newton-Raphson Method and Radix-1000 Arithmetic / Mário P. Véstias, Horácio C. Neto -- Lifetime Reliability Sensing in Modern FPGAs / Abdulazim Amouri, Mehdi Tahoori -- Hardware Design for C-Based Complex Event Processing / Hiroaki Inoue, Takashi Takenaka, Masato Motomura -- Model-based Performance Evaluation of Dynamic Partial Reconfigurable Datapaths for FPGA-based Systems / Rehan Ahmed, Peter Hallschmid -- Switch Design for Soft Interconnection Networks / Giorgos Dimitrakopoulos, Christoforos Kachris -- Embedded Systems Start-Up Under Timing Constraints on Modern FPGAs / Joachim Meyer, Juanjo Noguera, Michael Hübner -- Run-Time Scalable Architecture for Deblocking Filtering in H.264/AVC and SVC Video Codecs / Andrés Otero, Teresa Cervero, Eduardo de la Torre -- CAPH: A Language for Implementing Stream-Processing Applications on FPGAs / Jocelyn Sérot, François Berry, Sameer Ahmed -- Compact CLEFIA Implementation on FPGAs / Ricardo Chaves -- A Systematic Method to Evaluate and Compare the Performance of Physical Unclonable Functions / Abhranil Maiti, Vikash Gunreddy, Patrick Schaumont. |
| Record Nr. | NYU-004389102 |
| Materiale a stampa | |
| Lo trovi qui: New York University | |
Agent based simulation for a sustainable society and multi-agent smart computing : International Workshops, PRIMA 2011, Wollongong, Australia, November 14, 2011, revised selected papers / Stephen Cranefield, Insu Song (eds.).
| Agent based simulation for a sustainable society and multi-agent smart computing : International Workshops, PRIMA 2011, Wollongong, Australia, November 14, 2011, revised selected papers / Stephen Cranefield, Insu Song (eds.). |
| Creatore | [International Conference on Principles and Practice of Multi-agent Systems (2011 : Wollongong, N.S.W.)] |
| Estensione | 1 online resource (viii, 124 pages) : illustrations. |
| Disciplina | 006.3 |
| Accesso persona |
Cranefield, Stephen
Song, Insu |
| Genere/Forma |
Electronic books
Conference papers and proceedings |
| Soggetto non controllato |
Computer science
Artificial intelligence Computer simulation Simulation and Modeling Computer Applications |
| ISBN |
9783642356124
3642356125 9783642356117 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Workshop on Agent Based Simulation for a Sustainable Society (ABSSS 2011) -- Multi-Agent-Based Simulation for Analysis of Transport Policy and Infrastructure Measures / Johan Holmgren, Linda Ramstedt, Paul Davidsson, Jan A. Persson -- An Agent-Based Simulation of Employing Social Norms in Energy Conservation in Households / Bastin Tony Roy Savarimuthu, Maryam Purvis, Harko Verhagen -- An Agent-Based Model of Stereotype Communication / Jens Pfau, Michael Kirley, Yoshihisa Kashima -- International Workshop on Multi-Agent Smart Computing (MASmart 2011) -- An Approach to Sustainable Electric Power Allocation Using a Multi-round Multi-unit Combinatorial Auction / Naoki Fukuta, Takayuki Ito -- A Co-dependent Value-Based Mechanism for the Internet Advertisement Auction / Satoshi Takahashi, Tokuro Matsuo, Takayuki Ito, Roger Y. Lee -- Evaluation of Special Lanes as Incentive Policies for Promoting Electric Vehicles / Ryo Kanamori, Takayuki Morikawa, Takayuki Ito -- Simulation of Coordinated Anticipatory Vehicle Routing Strategies on MATSim / Enrique de la Hoz, Ivan Marsa-Maestre, Miguel A. Lopez-Carmona -- Agent-Based Demand Management in a Power Distribution Network by Considering Distributed Generations / Fenghui Ren, Minjie Zhang, Danny Soetanto. |
| Record Nr. | NYU-004389303 |
|
[International Conference on Principles and Practice of Multi-agent Systems (2011 : Wollongong, N.S.W.)]
|
|
| Materiale a stampa | |
| Lo trovi qui: New York University | |
Security protocols XX [electronic resource] : 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised selected papers / Bruce Christianson [and others] (eds.).
| Security protocols XX [electronic resource] : 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised selected papers / Bruce Christianson [and others] (eds.). |
| Creatore | [International Workshop on Security Protocols (20th : 2012 : Cambridge, England)] |
| Estensione | 1 online resource. |
| Disciplina | 005.8 |
| Accesso persona | Christianson, Bruce |
| Genere/Forma |
Electronic books
Conference papers and proceedings |
| Soggetto non controllato |
Computer science
Computer Communication Networks Data encryption (Computer science) Computer software Information Systems Management of Computing and Information Systems Computers and Society |
| ISBN |
9783642356940
364235694X 3642356931 9783642356933 |
| Classificazione | 54.62 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Introduction: Bringing Protocols to Life (Transcript of Discussion) / Bruce Christianson -- Secure Internet Voting Protocol for Overseas Military Voters / Todd R. Andel, Alec Yasinsac -- Secure Internet Voting Protocol for Overseas Military Voters (Transcript of Discussion) / Todd R. Andel -- Self-enforcing Electronic Voting / Feng Hao, Brian Randell, Dylan Clarke -- Self-enforcing Electronic Voting (Transcript of Discussion) / Feng Hao -- Approaches to Modelling Security Scenarios with Domain-Specific Languages / Phillip J. Brooke, Richard F. Paige, Christopher Power -- Approaches to Modelling Security Scenarios with Domain-Specific Languages (Transcript of Discussion) / Phillip J. Brooke -- The Casino and the OODA Loop / Sandy Clark, Matt Blaze, Jonathan M. Smith -- The Casino and the OODA Loop: Why Our Protocols Always Eventually Fail (Transcript of Discussion) / Matt Blaze -- Statistical Metrics for Individual Password Strength / Joseph Bonneau.
Statistical Metrics for Individual Password Strength (Transcript of Discussion) / Joseph Bonneau -- Street-Level Trust Semantics for Attribute Authentication / Tiffany Hyun-Jin Kim, Virgil Gligor, Adrian Perrig -- Street-Level Trust Semantics for Attribute Authentication (Transcript of Discussion) / Virgil Gligor -- Analysis of Issues and Challenges of E-Voting in the UK / Dylan Clarke, Feng Hao, Brian Randell -- Analysis of Issues and Challenges of E-Voting in the UK (Transcript of Discussion) / Dylan Clarke -- Protocol Governance: The Elite, or the Mob? / Ross Anderson -- Protocol Governance: The Elite, or the Mob? (Transcript of Discussion) / Ross Anderson -- Usability Issues in Security / Yuko Murayama, Yasuhiro Fujihara, Yoshia Saito, Dai Nishioka -- Usability Issues in Security (Transcript of Discussion) / Yuko Murayama -- Usable Privacy by Visual and Interactive Control of Information Flow / Shah Mahmood, Yvo Desmedt. Usable Privacy by Visual and Interactive Control of Information Flow (Transcript of Discussion) / Shah Mahmood -- Sense-And-Trace: A Privacy Preserving Distributed Geolocation Tracking System / Eyüp S. Canlar, Mauro Conti, Bruno Crispo, Roberto Di Pietro -- Sense-And-Trace: A Privacy Preserving Distributed Geolocation Tracking System (Transcript of Discussion) / Mauro Conti -- Am I in Good Company? A Privacy-Protecting Protocol for Cooperating Ubiquitous Computing Devices / Oliver Stannard, Frank Stajano -- Am I in Good Company? A Privacy-Protecting Protocol for Cooperating Ubiquitous Computing Devices (Transcript of Discussion) / Frank Stajano -- Stayin' Alive: Aliveness as an Alternative to Authentication / Jonathan Anderson, Robert N.M. Watson -- Stayin' Alive: Aliveness as an Alternative to Authentication (Transcript of Discussion) / Jonathan Anderson -- Paul Revere Protocols / Paul Syverson -- Paul Revere Protocols (Transcript of Discussion) / Paul Syverson. |
| Record Nr. | NYU-004389354 |
|
[International Workshop on Security Protocols (20th : 2012 : Cambridge, England)]
|
|
| Materiale a stampa | |
| Lo trovi qui: New York University | |
Computational methods for physicists : compendium for students / Simon Širca, Martin Horvat
| Computational methods for physicists : compendium for students / Simon Širca, Martin Horvat |
| Creatore | [Širca, Simon] |
| Estensione | 1 online resource. |
| Disciplina | 530.15 |
| Accesso persona | Horvat, Martin |
| Genere/Forma | Electronic books |
| Soggetto non controllato |
Physics
Computer science -- Mathematics Computer science Engineering mathematics Numerical and Computational Physics Computational Mathematics and Numerical Analysis Appl. Mathematics/Computational Methods of Engineering Computational Science and Engineering |
| ISBN |
9783642324789
3642324789 3642324770 9783642324772 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Basics of numerical analysis -- Solution of nonlinear equations -- Matrix methods -- Transformations of functions and signals -- Statistical description and modeling of data -- Modeling and analysis of time series -- Initial-value problems for ordinary differential equations -- Boundary-value problems for ordinary differential equations -- Difference methods for one-dimensional partial differential equations -- Difference methods for partial differential equations in more than one dim -- Spectral methods for partial differential equations. |
| Record Nr. | NYU-004389435 |
|
[Širca, Simon]
|
|
| Materiale a stampa | |
| Lo trovi qui: New York University | |
Human factors on the flight deck : safe piloting behaviour in practice / Hans-Joachim Ebermann, Joachim Scheiderer, editors
| Human factors on the flight deck : safe piloting behaviour in practice / Hans-Joachim Ebermann, Joachim Scheiderer, editors |
| Estensione | 1 online resource |
| Disciplina | 629.132/52 |
| Accesso persona |
Ebermann, Hans-Joachim
Scheiderer, Joachim |
| Genere/Forma | Electronic books |
| Soggetto non controllato |
Engineering
Computer science Astronautics Aerospace Technology and Astronautics User Interfaces and Human Computer Interaction Industrial and Organisational Psychology |
| ISBN |
9783642317330
3642317332 3642317324 9783642317323 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Accident Prevention / Hans-Joachim Ebermann, Patrick Jordan -- Information Assimilation and Processing / Gerhard Fahnenbruck -- Human Error / Rolf Wiedemann -- Communication / Hans-Ulrich Raulf -- Stress / Hans-Joachim Ebermann, Gerhard Fahnenbruck -- Decision Making / Johannes Bühler, Hans-Joachim Ebermann, Florian Hamm -- Leadership and Team Behaviour / H.-J. Ebermann, J. Scheiderer -- Fatigue and Alertness Management / Hans-Joachim Ebermann, Maria-Pascaline Murtha -- Recommendations by the German Airline Pilot's Association / H.-J. Ebermann, M.-P. Murtha. |
| Record Nr. | NYU-004389472 |
| Materiale a stampa | |
| Lo trovi qui: New York University | |
Formal aspects of component software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, revised selected papers / Farhad Arbab, Peter Csaba Ölveczky (eds.).
| Formal aspects of component software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, revised selected papers / Farhad Arbab, Peter Csaba Ölveczky (eds.). |
| Creatore | [FACS (Symposium) (8th : 2011 : Oslo, Norway)] |
| Estensione | 1 online resource (x, 367 pages) : illustrations. |
| Disciplina | 004.01/51 |
| Accesso persona |
Arbab, F. (Farhad)
Ölveczky, Peter Csaba |
| Genere/Forma |
Electronic books
Conference papers and proceedings |
| Soggetto non controllato |
Computer science
Software engineering Logic design Information Systems Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Languages, Compilers, Interpreters |
| ISBN |
9783642357435
3642357431 364227269X 9783642272691 3642357423 9783642357428 |
| Classificazione | 54.52 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Taming Distributed System Complexity through Formal Patterns -- Composing Safe Systems -- A Denotational Model for Component-Based Risk Analysis -- Synthesis of Hierarchical Systems -- A Modal Specification Theory for Components with Data -- Evaluating the Performance of Model Transformation Styles in Maude -- Interactive Transformations from Object-Oriented Models to Component-Based Models -- Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components -- Timed Conformance Testing for Orchestrated Service Discovery -- Realizability of Choreographies for Services Interacting Asynchronously -- Networks of Real-Time Actors: Schedulability Analysis and Coordination -- A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios -- The Logic of XACML -- A Proof Assistant Based Formalization of MDE Components -- Controlling an Iteration-Wise Coherence in Dataflow -- Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation -- Verifying Safety of Fault-Tolerant Distributed Components -- Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques -- Bigraphical Modelling of Architectural Patterns -- Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines -- Verifying Temporal Properties of Use-Cases in Natural Language. |
| Record Nr. | NYU-004389659 |
|
[FACS (Symposium) (8th : 2011 : Oslo, Norway)]
|
|
| Materiale a stampa | |
| Lo trovi qui: New York University | |
Biomedical engineering systems and technologies : 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised selected papers / Ana Fred, Joaquim Filipe, Hugo Gamboa (eds.).
| Biomedical engineering systems and technologies : 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised selected papers / Ana Fred, Joaquim Filipe, Hugo Gamboa (eds.). |
| Creatore | [BIOSTEC (Conference) (4th : 2011 : Rome, Italy)] |
| Estensione | 1 online resource (xv, 396 pages) : illustrations. |
| Disciplina | 610.28 |
| Accesso persona |
Fred, Ana, editor
Filipe, Joaquim, editor Gamboa, Hugo, editor |
| Genere/Forma |
Congresses
Electronic books Conference papers and proceedings |
| Soggetto non controllato |
Computer science
Computer software Data mining Computer simulation Bioinformatics Algorithm Analysis and Problem Complexity Pattern Recognition Simulation and Modeling |
| ISBN |
9783642297526
3642297528 9783642297519 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Invited Speaker -- Informatics-Driven Infectious Disease Research / Bruno Sobral, Chunhong Mao, Maulik Shukla, Dan Sullivan, Chengdong Zhang -- Part I: Biomedical Electronics and Devices -- A Simple and Low Cost Device for Automatically Supervising Urine Output of Critical Patients / Abraham Otero, Francisco Palacios, Andrey Apalkov, Roemi Fernández -- Photoplethysmogram Processing Using an Adaptive Single Frequency Phase Vocoder Algorithm / Walter Karlen, Chris Petersen, Jennifer Gow, J. Mark Ansermino, Guy Dumont -- A Configurable Integrated Circuit for Biomedical Signal Acquisition / Jakob M. Tomasik, Wjatscheslaw Galjan, Kristian M. Hafkemeyer, Dietmar Schroeder -- Movement Disorder Assessment and Attenuation Techniques for Removal of Tremor / Wesley Teskey, Mohamed Elhabiby, Naser El-Sheimy.
A New Approach for Diagnostic Investigation of Total Hip Replacement Loosening / Catherine Ruther, Ulrich Timm, Andreas Fritsche, Hartmut Ewald, Wolfram Mittelmeier -- Wearable Monitoring Unit for Swimming Performance Analysis / Ana S. Silva, Antonio J. Salazar, Carla M. Borges, Miguel V. Correia -- Part II: Bioinformatics Models, Methods and Algorithms -- 3D Protein Surface Segmentation through Mathematical Morphology / Virginio Cantoni, Riccardo Gatti, Luca Lombardi -- Simple Tool for Semi-automated Evaluation of Yeast Colony Images / Jan Schier, Bohumil Kovář -- Reconstructing Gapless Ancestral Metabolic Networks / Esa Pitkänen, Mikko Arvas, Juho Rousu -- Discretized Kinetic Models for Abductive Reasoning in Systems Biology / Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya. Quasi-Steady State Approximations and Multistability in the Double Phosphorylation-Dephosphorylation Cycle / Guido Dell'Acqua, Alberto Maria Bersani -- Improving Latent Semantic Analysis of Biomedical Literature Integrating UMLS Metathesaurus and Biomedical Pathways Databases / Francesco Abate, Elisa Ficarra, Andrea Acquaviva, Enrico Macii -- Part III: Bio-inspired Systems and Signal Processing -- Towards a Patient-Specific Model of Lung Volume Using Absolute Electrical Impedance Tomography (aEIT) / Suzani Mohamad Samuri, George Panoutsos, Mahdi Mahfouf, G.H. Mills, M. Denaï -- Auditory Processing Inspired Robust Feature Enhancement for Speech Recognition / Hari Krishna Maganti, Marco Matassoni -- A Robust and Efficient Spatio-Temporal Feature Selection for Interpretation of EEG Single Trials / Yehudit Meir-Hasson, Andrey Zhdanov, Talma Hendler, Nathan Intrator -- Time Series Clustering Algorithm for Two-Modes Cyclic Biosignals / Neuza Nunes, Tiago Araújo, Hugo Gamboa. Non-contact Pulse Wave Velocity Assessment Using Optical Methods / T. Pereira, M. Cabeleira, P. Matos, E. Borges, V. Almeida, H.C. Pereira, J. Cardoso -- Fractal-Based Brain State Recognition from EEG in Human Computer Interaction / Olga Sourina, Qiang Wang, Yisi Liu, Minh Khoa Nguyen -- Understanding Cerebral Activations during the Observation of Marketing Stimuli: A Neuroelectrical Perspective / Giovanni Vecchiato, Laura Astolfi, Fabrizio De Vico Fallani, Jlenia Toppi, Fabio Aloise -- Part IV: Health Informatics -- Semantic-Based Conformance Checking of Computer Interpretable Medical Guidelines / M.A. Grando, M.H. Schonenberg, W. van der Aalst -- REST-Style Architecture and the Development of Mobile Health Care Solutions / François Andry, Lin Wan, Daren Nicholson. Biomedical Literature Retrieval Based on Patient Information / Ana Jimenez-Castellanos, Izaskun Fernandez, David Perez-Rey, Elisa Viejo -- Evaluating Information Security Effectiveness with Health Professionals / Robin Krens, Marco Spruit, Nathalie Urbanus -- Using Social Network Analysis to Study the Knowledge Sharing Patterns of Health Professionals Using Web 2.0 Tools / Samuel Alan Stewart, Syed Sibte Raza Abidi -- A Semantic-Based Platform for Medical Image Storage and Sharing Using the Grid / Daniela Giordano, Carmelo Pino, Concetto Spampinato, Marco Fargetta, Angela Di Stefano -- Securing the Access to Electronic Health Records on Mobile Phones / Alexandra Dmitrienko, Zecir Hadzic, Hans Löhr, Ahmad-Reza Sadeghi, Marcel Winandy -- Similarity Grouping of Human Sleep Recordings Using EEG and ECG / Amro Khasawneh, Sergio A. Alvarez, Carolina Ruiz, Shivin Misra, Majaz Moonis. |
| Record Nr. | NYU-004389872 |
|
[BIOSTEC (Conference) (4th : 2011 : Rome, Italy)]
|
|
| Materiale a stampa | |
| Lo trovi qui: New York University | |
