top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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