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.
Combinatorial pattern matching : 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012. Proceedings / Juha Kärkkäinen, Jens Stoye (eds.).
Combinatorial pattern matching : 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012. Proceedings / Juha Kärkkäinen, Jens Stoye (eds.).
Creatore [CPM (Symposium) (23rd : 2012 : Helsinki, Finland)]
Estensione 1 online resource.
Disciplina 005.1
Accesso persona Kärkkäinen, Juha
Stoye, Jens
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Data structures (Computer science)
Computer software
Electronic data processing
Computational complexity
Optical pattern recognition
Bioinformatics
Pattern Recognition
Algorithm Analysis and Problem Complexity
Numeric Computing
Discrete Mathematics in Computer Science
Data Structures
Computational Biology/Bioinformatics
ISBN 9783642312656
3642312659
9783642312649
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Gene Regulation, Protein Networks and Disease: A Computational Perspective / Ron Shamir -- Wavelet Trees for All / Gonzalo Navarro -- The Maximum Number of Squares in a Tree / Maxime Crochemore, Costas S. Iliopoulos, Tomasz Kociumaka, Marcin Kubica and Jakub Radoszewski, et al. -- Faster and Simpler Minimal Conflicting Set Identification / (Extended Abstract) / Aïda Ouangraoua and Mathieu Raffinot -- Partitioning into Colorful Components by Minimum Edge Deletions / Sharon Bruckner, Falk Hüffner, Christian Komusiewicz, Rolf Niedermeier and Sven Thiel, et al. -- Approximation Algorithms and Hardness Results for Shortest Path Based Graph Orientations / Dima Blokh, Danny Segev and Roded Sharan -- Constant-Time Word-Size String Matching / Dany Breslauer, Leszek Gąsieniec and Roberto Grossi -- Pattern Matching in Multiple Streams / Raphaël Clifford, Markus Jalsenius, Ely Porat and Benjamin Sach -- An Efficient Linear Pseudo-minimization Algorithm for Aho-Corasick Automata / Omar AitMous, Frédérique Bassino and Cyril Nicaud -- Efficient Two-Dimensional Pattern Matching with Scaling and Rotation and Higher-Order Interpolation / Christian Hundt and Florian Wendland -- Hardness of Longest Common Subsequence for Sequences with Bounded Run-Lengths / Guillaume Blin, Laurent Bulteau, Minghui Jiang, Pedro J. Tejada and Stéphane Vialette -- Near Linear Time Construction of an Approximate Index for All Maximum Consecutive Sub-sums of a Sequence / Ferdinando Cicalese, Eduardo Laber, Oren Weimann and Raphael Yuster -- The Complexity of String Partitioning / Anne Condon, Ján Maňuch and Chris Thachuk -- Towards an Optimal Space-and-Query-Time Index for Top-k Document Retrieval / Wing-Kai Hon, Rahul Shah and Sharma V. Thankachan -- Document Listing for Queries with Excluded Pattern / Wing-Kai Hon, Rahul Shah, Sharma V. Thankachan and Jeffrey Scott Vitter -- Cross-Document Pattern Matching / Gregory Kucherov, Yakov Nekrich and Tatiana Starikovskaya -- FEMTO: Fast Search of Large Sequence Collections / Michael P. Ferguson -- Speeding Up q-Gram Mining on Grammar-Based Compressed Texts / Keisuke Goto, Hideo Bannai, Shunsuke Inenaga and Masayuki Takeda -- Simple and Efficient LZW-Compressed Multiple Pattern Matching / Paweł Gawrychowski -- Computing the Burrows-Wheeler Transform of a String and Its Reverse / Enno Ohlebusch, Timo Beller and Mohamed I. Abouelhoda -- Efficient Algorithm for Circular Burrows-Wheeler Transform / Wing-Kai Hon, Tsung-Han Ku, Chen-Hua Lu, Rahul Shah and Sharma V. Thankachan -- Least Random Suffix/Prefix Matches in Output-Sensitive Time / Niko Välimäki -- Compressed String Dictionary Look-Up with Edit Distance One / Djamal Belazzougui and Rossano Venturini -- Time-Space Trade-Offs for Longest Common Extensions / Philip Bille, Inge Li Gørtz, Benjamin Sach and Hjalte Wedel Vildhøj -- Local Exact Pattern Matching for Non-fixed RNA Structures / Mika Amit, Rolf Backofen, Steffen Heyne, Gad M. Landau and Mathias Möhl, et al. -- Impact of the Energy Model on the Complexity of RNA Folding with Pseudoknots / Saad Sheikh, Rolf Backofen and Yann Ponty -- Finding Longest Common Segments in Protein Structures in Nearly Linear Time / Yen Kaow Ng, Hirotaka Ono, Ling Ge and Shuai Cheng Li -- A Linear Kernel for the Complementary Maximal Strip Recovery Problem / Haitao Jiang and Binhai Zhu -- Efficient Exponential Time Algorithms for Edit Distance between Unordered Trees / Tatsuya Akutsu, Takeyuki Tamura, Daiji Fukagawa and Atsuhiro Takasu -- Fixed-Parameter Algorithms for Finding Agreement Supertrees / David Fernández-Baca, Sylvain Guillemot, Brad Shutters and Sudheer Vakati -- Computing the Rooted Triplet Distance between Galled Trees by Counting Triangles / Jesper Jansson and Andrzej Lingas -- Minimum Leaf Removal for Reconciliation: Complexity and Algorithms / Riccardo Dondi and Nadia El-Mabrouk -- On the Closest String via Rank Distance / Liviu P. Dinu and Alexandru Popa -- On Approximating String Selection Problems with Outliers / Christina Boucher, Gad M. Landau, Avivit Levy, David Pritchard and Oren Weimann -- The Parameterized Complexity of the Shared Center Problem / Zhi-Zhong Chen, Lusheng Wang and Wenji Ma.
Record Nr. NYU-004375687
[CPM (Symposium) (23rd : 2012 : Helsinki, Finland)]  
Materiale a stampa
Lo trovi qui: New York University
Communication technologies for vehicles : 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d'Ascq, France, May 14-15, 2013 : proceedings / Marion Berbineau [and others] (eds.).
Communication technologies for vehicles : 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d'Ascq, France, May 14-15, 2013 : proceedings / Marion Berbineau [and others] (eds.).
Creatore [Nets4Cars/Nets4Trains (Workshop) (5th : 2013 : Villeneuve-d'Ascq, France)]
Estensione 1 online resource (xiii, 252 pages) : illustrations.
Disciplina 621.3845
Accesso persona Berbineau, Marion
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer simulation
Special Purpose and Application-Based Systems
System Performance and Evaluation
ISBN 9783642379741
3642379745
9783642379734
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Papers. V2V Communication Channels: State of Knowledge, New Results, and What's Next / David W. Matolak -- Internet Onboard: Technical Analysis / Hassan Ghannoum, David Sanz -- A QoS-Based Multi-user Scheduler Applied to Railway Radio-Communications / Nicolas Gresset, Jonathan Letessier, Hervé Bonneville -- Road Track. Survey on Context-Aware Publish/Subscribe Systems for VANET / Mickaël Royer, Alain Pirovano, Fabien Garcia -- A Survey on Security in Vehicular Ad Hoc Networks / Saira Gillani [and others] -- Wireless Vehicular Network Standard Harmonization / Tsutomu Tsuboi -- Multi-technology Vehicular Cooperative System Based on Software Defined Radio (SDR) / Nathalie Haziza [and others] -- Performance of Inter-Vehicle Relay Network Based IR-UWB / Yamen Issa, Iyad Dayoub, Abdelaziz Bensrhair -- The Effects of Increasing Antenna Arrays and Spatial Correlation on Loading Algorithm for Closed-Loop MIMO Vehicle-to-Infrastructure Communications / Imade Fahd Eddine Fatani [and others] -- Increased Communication Reliability for Delay-Sensitive Platooning Applications on Top of IEEE 802.11p / Magnus Jonsson, Kristina Kunert, Annette Böhm -- Development of Car2X Communication and Localization PHY and MAC Protocol Following Iterative Spiral Model Using Simulation and Emulation / Axel Sikora [and others] -- Characterization of a Laser Scanner Sensor for the Use as a Reference System in Vehicular Relative Positioning / Fabian de Ponte Müller, Luis Martín Navajas, Thomas Strang -- Estimating the Scheduling Discipline of an Ethernet Switch Using Constant Bit-Rate Probes / Kasper Revsbech, Tatiana K. Madsen, Henrik Schiøler -- Bridging Physical and Digital Traffic System Simulations with the Gulliver Test-Bed / Christian Berger [and others] -- Open-VSeSeMe: A Middleware for Efficient Vehicular Sensor Processing / Zubair Nabi [and others] -- Rail Track. LTE Based Communication System for Urban Guided-Transport: A QoS Performance Study / Arwa Khayat [and others] -- Performance of LTE in High Speed Railway Scenarios / Aleksander Sniady, Jose Soler -- Generating Test Scenarios Based on Real-World Traces for ERTMS Telecommunication Subsystem Evaluation / Patrick Sondi [and others] -- Blind Digital Modulation Detector for MIMO Systems over High-Speed Railway Channels / Sofiane Kharbech [and others] -- Enhancing the CATS Framework by Providing Asynchronous Deployment for Mobile Application / Mikael Desertot, Christophe Gransart, Sylvain Lecomte.
Record Nr. NYU-004401790
[Nets4Cars/Nets4Trains (Workshop) (5th : 2013 : Villeneuve-d'Ascq, France)]  
Materiale a stampa
Lo trovi qui: New York University
Webble technology : first Webble World Summit, WWS 2013, Erfurt, Germany, June 3-5, 2013. Proceedings / Oksana Arnold [and others] (eds.).
Webble technology : first Webble World Summit, WWS 2013, Erfurt, Germany, June 3-5, 2013. Proceedings / Oksana Arnold [and others] (eds.).
Creatore [Webble World Summit (1st : 2013 : Erfurt, Germany)]
Estensione 1 online resource.
Disciplina 004.67/8
Accesso persona Arnold, Oksana
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Information storage and retrieval systems
Multimedia systems
Education
Computers and Education
User Interfaces and Human Computer Interaction
ISBN 9783642388361
3642388361
3642388353
9783642388354
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Challenging the Webble Technology. A Meme Media Based Application Framework for Context-Driven Information Access / Mina Akaishi -- Web Version of IntelligentBox (WebIB) and Its Integration with Webble World / Yoshihiro Okada -- IntelligentBox Based Interactive 3D Information Visualization Frameworks for Comparison and Exploration: An Overview / Masahiko Itoh -- Webble Core Technology. The Power of Webble World and How to Utilize It / Micke Kuwahara -- The Mindset of a Webble World Citizen: Developing Applications in a Meme Media Environment / Micke Kuwahara, Yuzuru Tanaka -- Linked Open Webble: Connecting Webbles to the World Wide Web / Nicolas Spyratos, Tsuyoshi Sugibuchi -- Building a Meme Media Platform with a JavaScript MVC Framework and HTML5 / Jun Fujima -- Applications of Webble Technology. Direct Execution Learning Technology / Klaus P. Jantke -- Meme Media Technology in Higher Education: The Recursive Function Theory Case Study / Oksana Arnold, Vincent Reichelt -- Visual Data Exploration Using Webbles / Jonas Sjöbergh, Yuzuru Tanaka -- Outlook and Vision. The Geographic Information Science Body of Knowledge 2.0: Toward a New Federation of GIS Knowledge / Nigel M. Waters -- Pedagogical Patterns and Didactic Memes for Memetic Design by Educational Storyboarding / Klaus P. Jantke -- The Potentials of Meme Media Technology for Web-Based Training at the Emergency Situation Map / Sebastian Arnold, Jun Fujima -- The Big Picture. Meme Media and Knowledge Federation: Past, Present, and Future / Yuzuru Tanaka.
Record Nr. NYU-004402149
[Webble World Summit (1st : 2013 : Erfurt, Germany)]  
Materiale a stampa
Lo trovi qui: New York University
Energy-efficient communication processors [electronic resource] : design and implementation for emerging wireless systems / by Robert Fasthuber, Francky Catthoor, Praveen Raghavan, Frederik Naessens
Energy-efficient communication processors [electronic resource] : design and implementation for emerging wireless systems / by Robert Fasthuber, Francky Catthoor, Praveen Raghavan, Frederik Naessens
Estensione 1 online resource.
Disciplina 621.382
Accesso persona Fasthuber, Robert
Catthoor, Francky
Raghavan, Praveen
Naessens, Frederik
Genere/Forma Electronic books
Soggetto non controllato Engineering
Computer science
Electronics
Systems engineering
Circuits and Systems
Processor Architectures
Electronics and Microelectronics, Instrumentation
ISBN 9781461449928
1461449928
146144991X
9781461449911
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction and Motivation -- Background and Related Work -- The Proposed DSIP Architecture Template for the Wireless Communication Domain -- Case Study 1: DSIP Architecture Instance for MIMO Detection -- Case Study 2: DSIP Architecture Instances for FIR Filtering -- Case Study 3: DSIP Architecture Instance for FFT Computation -- Front-End Design Flow: Bridging the Algorithm-Architecture Gap -- Conclusions and Future Work.
Record Nr. NYU-004402288
Materiale a stampa
Lo trovi qui: New York University
Database of piano chords [electronic resource] : an engineering view of harmony / Ana M. Barbancho, Isabel Barbancho, Lorenzo J. Tardón, Emilio Molina
Database of piano chords [electronic resource] : an engineering view of harmony / Ana M. Barbancho, Isabel Barbancho, Lorenzo J. Tardón, Emilio Molina
Estensione 1 online resource (xiv, 50 pages).
Disciplina 786.2
Accesso persona Barbancho, Ana M., author.
Barbancho, Isabel, author
Tardón, Lorenzo J., author.
Molina, Emilio, author
Genere/Forma Electronic books
Databases
Soggetto non controllato Computer science
Multimedia systems
Signal, Image and Speech Processing
ISBN 9781461474760
1461474760
1461474752
9781461474753
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction -- Foundations of Harmony -- Description of the UMA Piano Chord Database -- Summary and Discussion.
Record Nr. NYU-004402296
Materiale a stampa
Lo trovi qui: New York University
Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings / Ezio Bartocci, C.R. Ramakrishnan (eds.).
Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings / Ezio Bartocci, C.R. Ramakrishnan (eds.).
Creatore [International SPIN Workshop (20th : 2013 : Stony Brook, N.Y.)]
Estensione 1 online resource (x, 375 pages) : illustrations (black and white).
Disciplina 005.1/4
Accesso persona Bartocci, Ezio (Computer scientist), editor
Ramakrishnan, C. R., editor.
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Logic design
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
ISBN 9783642391767
3642391761
9783642391750
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Reuse of Verification Results / Dirk Beyer, Philipp Wendler -- Proving Properties of Concurrent Programs / Gerard J. Holzmann -- Verifying a Quantitative Relaxation of Linearizability via Refinement / Kiran Adhikari [and others] -- A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software / Vadim Alimguzhin [and others] -- On-the-Fly Control Software Synthesis / Vadim Alimguzhin [and others] -- Compositional Approach to Suspension and Other Improvements to LTL Translation / Tomáš Babiak, Thomas Badie, Alexandre Duret-Lutz -- Regression Verification Using Impact Summaries / John Backes [and others] -- Abstraction-Based Guided Search for Hybrid Systems / Sergiy Bogomolov [and others] -- Probabilistic Verification of Coordinated Multi-robot Missions / Sagar Chaki, Joseph Andrew Giampapa -- Synthesizing Controllers for Automation Tasks with Performance Guarantees / Chih-Hong Cheng, Michael Geisinger, Christian Buckl -- Specification and Validation of Link Reversal Routing via Graph Transformations / Giorgio Delzanno, Riccardo Traverso -- Local Model Checking of Weighted CTL with Upper-Bound Constraints / Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jiří Srba -- COMPLeTe -- A COMmunication Protocol vaLidation Toolchain / Sven Gröning, Christopher Rosas, Christian Wietfeld -- Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms / Annu John [and others] -- Guard-Based Partial-Order Reduction / Alfons Laarman [and others] -- On the Synergy of Probabilistic Causality Computation and Causality Checking / Florian Leitner-Fischer, Stefan Leue -- Mining Sequential Patterns to Explain Concurrent Counterexamples / Stefan Leue, Mitra Tabaei Befrouei -- Automatic Equivalence Checking of UF+IA Programs / Nuno P. Lopes, José Monteiro -- Expression Reduction from Programs in a Symbolic Binary Executor / Anthony Romano, Dawson Engler -- Model Checking Unbounded Concurrent Lists / Divjyot Sethi, Muralidhar Talupur, Sharad Malik -- Property-Driven Benchmark Generation / Bernhard Steffen, Malte Isberner, Stefan Naujokat -- Error-Completion in Interface Theories / Stavros Tripakis [and others].
Record Nr. NYU-004402543
[International SPIN Workshop (20th : 2013 : Stony Brook, N.Y.)]  
Materiale a stampa
Lo trovi qui: New York University
Inductive logic programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers / Fabrizio Riguzzi, Filip Železný (eds.).
Inductive logic programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers / Fabrizio Riguzzi, Filip Železný (eds.).
Creatore [ILP (Conference) (22nd : 2012 : Dubrovnik, Croatia)]
Estensione 1 online resource (x, 272 pages) : illustrations.
Disciplina 005.1/15
Accesso persona Riguzzi, Fabrizio
Železný, Filip
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Logic design
Artificial intelligence
Mathematical Logic and Formal Languages
Programming Techniques
Logics and Meanings of Programs
Computation by Abstract Devices
ISBN 9783642388125
3642388124
9783642388118
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Relational Approach to Tool-Use Learning in Robots / Solly Brown, Claude Sammut -- A Refinement Operator for Inducing Threaded-Variable Clauses / Angelos Charalambidis, Stasinos Konstantopoulos -- Propositionalisation of Continuous Attributes beyond Simple Aggregation / Soufiane El Jelali, Agnès Braud, Nicolas Lachiche -- Topic Models with Relational Features for Drug Design / Tanveer A. Faruquie, Ashwin Srinivasan, Ross D. King -- Pairwise Markov Logic / Daan Fierens, Kristian Kersting, Jesse Davis, Jian Chen -- Evaluating Inference Algorithms for the Prolog Factor Language / Tiago Gomes, Vítor Santos Costa -- Polynomial Time Pattern Matching Algorithm for Ordered Graph Patterns / Takahiro Hino, Yusuke Suzuki, Tomoyuki Uchida, Yuko Itokawa -- Fast Parameter Learning for Markov Logic Networks Using Bayes Nets / Hassan Khosravi -- Bounded Least General Generalization / Ondřej Kuželka, Andrea Szabóová, Filip Železný -- Itemset-Based Variable Construction in Multi-relational Supervised Learning / Dhafer Lahbib, Marc Boullé, Dominique Laurent -- A Declarative Modeling Language for Concept Learning in Description Logics / Francesca Alessandra Lisi -- Identifying Driver's Cognitive Load Using Inductive Logic Programming / Fumio Mizoguchi, Hayato Ohwada, Hiroyuki Nishiyama -- Opening Doors: An Initial SRL Approach / Bogdan Moldovan, Laura Antanas, McElory Hoffmann -- Probing the Space of Optimal Markov Logic Networks for Sequence Labeling / Naveen Nair, Ajay Nagesh, Ganesh Ramakrishnan -- What Kinds of Relational Features Are Useful for Statistical Learning? / Amrita Saha, Ashwin Srinivasan, Ganesh Ramakrishnan -- Learning Dishonesty / Chiaki Sakama -- Heuristic Inverse Subsumption in Full-Clausal Theories / Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma -- Learning Unordered Tree Contraction Patterns in Polynomial Time / Yuta Yoshimura, Takayoshi Shoudai.
Record Nr. NYU-004402657
[ILP (Conference) (22nd : 2012 : Dubrovnik, Croatia)]  
Materiale a stampa
Lo trovi qui: New York University
Perspectives on the future of software engineering : essays in honor of Dieter Rombach / Jürgen Münch, Klaus Schmid, editors
Perspectives on the future of software engineering : essays in honor of Dieter Rombach / Jürgen Münch, Klaus Schmid, editors
Estensione 1 online resource (xvi, 366 pages) : illustrations
Disciplina 005.1
Accesso persona Münch, Jürgen, 1968-editor
Schmid, Klaus, editor
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Information Systems
Management of Computing and Information Systems
ISBN 9783642373954
364237395X
3642373941
9783642373947
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Empirical Software Engineering Models: Can They Become the Equivalent of Physical Laws in Traditional Engineering? / Dieter Rombach -- Software Development: Notation, Architecture, and Process. Domain Modeling and Domain Engineering: Key Tasks in Requirements Engineering / Manfred Broy -- Towards Agile Verification / Carlo Ghezzi, Amir Molzam Sharifloo, Claudio Menghi -- On Model-Based Software Development / Constance L. Heitmeyer [and others] -- From Software Systems to Complex Software Ecosystems: Model- and Constraint-Based Engineering of Ecosystems / Andreas Rausch [and others] -- A Safety Roadmap to Cyber-Physical Systems / Mario Trapp, Daniel Schneider, Peter Liggesmeyer -- Modeling Complex Information Systems / Joerg Doerr -- Continuous Process Improvement / Jens Heidrich -- Empirical Research and Studies. Paths to Software Engineering Evidence / Ross Jeffery -- An Evidence Profile for Software Engineering Research and Practice / Claes Wohlin -- Challenges of Evaluating the Quality of Software Engineering Experiments / Oscar Dieste, Natalia Juristo -- Technical Debt: Showing the Way for Better Transfer of Empirical Results / Forrest Shull [and others] -- An Empirical Investigation of the Component-Based Performance Prediction Method Palladio / Ralf Reussner, Steffen Becker, Anne Koziolek, Heiko Koziolek -- Can We Trust Software Repositories? / Andreas Zeller -- Empirical Practice in Software Engineering / Andreas Jedlitschka [and others] -- Visions on the Future of Software Engineering as a Discipline. What Is Software? The Role of Empirical Methods in Answering the Question / Leon J. Osterweil -- A Personal Perspective on the Evolution of Empirical Software Engineering / Victor R. Basili -- Moving Toward Evidence-Based Software Production / David M. Weiss, James Kirby Jr., Robyn R. Lutz -- Skating to Where the Puck Is Going: Future Systems and Software Engineering Opportunities and Challenges / Barry Boehm -- Formalism and Intuition in Software Engineering / Michael Jackson-- Education of Software Engineers / Marvin V. Zelkowitz -- Integrated Software Process and Product Lines / Dieter Rombach.
Record Nr. NYU-004402745
Materiale a stampa
Lo trovi qui: New York University
Safe and secure software reuse : 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings / John Favaro, Maurizio Morisio (eds.).
Safe and secure software reuse : 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings / John Favaro, Maurizio Morisio (eds.).
Creatore [International Conference on Software Reuse (13th : 2013 : Pisa, Italy)]
Estensione 1 online resource (xiii, 362 pages) : illustrations.
Disciplina 005
Accesso persona Favaro, J. (John), editor.
Morisio, Maurizio, 1960-editor
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Programming Techniques
Programming Languages, Compilers, Interpreters
Software Engineering/Programming and Operating Systems
Models and Principles
ISBN 9783642389771
3642389775
9783642389764
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction / Karin Heinrichs, Fritz Oser, Terence Lovat -- Models of Moral Motivation / Fritz Oser -- Foundations of Moral Motivation. "Why be Moral?" a Philosophical Taxonomy of Moral Motivation / Thomas E. Wren -- Moral Motivation and the Four Component Model / Stephen J. Thoma, Muriel J. Bebeau -- Deontic and Responsibility Judgments / Gerhard Minnameier -- Motivation as the Readiness to Act on Moral Commitments / Theresa A. Thorkildsen -- Motivational Theory and Moral Motivation. Ultimate and Proximal (Attribution-Related) Motivational Determinants of Moral Behaviour / Bernard Weiner -- Moral Motivation from the Perspective of the Self-Determination Theory and the Person-Object Theory of Interest / Andreas Krapp -- How Different Motivational Aspects can Affect Moral Behaviour / Regina Vollmeyer, Konstanze Jenderek, Tahmine Tozman -- Justice as a Moral Motive / Anna Baumert, Tobias Rothmund, Nadine Thomas, Mario Gollwitzer, Manfred Schmitt -- Temporal Construal and Moral Motivation / Jens Agerström, Fredrik Björklund -- Moral Self, Identity and Moral Motivation. Moral Motivation through the Perspective of Exemplarity / Lawrence J. Walker -- Moral Motivation, Responsibility and the Development of the Moral Self / Tobias Krettenauer -- The Self and the Management of the Moral Life / Augusto Blasi -- Practical Mysticism, Self-Knowing and Moral Motivation / Terence Lovat -- Developmental Effects, Emotions and Moral Motivation. Moral Motivation and the Happy Victimizer Phenomenon / Gertrud Nunner-Winkler -- The Development of Moral Identity and Moral Motivation in Childhood and Adolescence / Bettina Doering -- Moral Emotion Attributions and Moral Motivation / Luciano Gasser, Eveline Gutzwiller-Helfenfinger, Brigitte Latzko, Tina Malti -- Neurobiology and Moral Mindset / Darcia Narvaez -- A Simile of Moral Motivation / Don Collins Reed -- Good and Bad Moral Motivation. Moral Value Evaluation / Marinus G.C.J. Beerthuizen, Daniel Brugman -- Juvenile Delinquency / Stefan Weyers -- Moral Motivation and Sports / Clark Power, Kristin K. Sheehan -- From Ethical Hostility toward Cooperative Ethics / Klaus-Jürgen Grün -- How Powerful are Moral Motivations in Environmental Protection? / Christian A. Klöckner -- Moral Motivation in Professions. Moral Motivation in Different Professions / Muriel J. Bebeau, Stephen J. Thoma -- Moral Motivation of Military Professionals / Freelance Philosopher and Author Edwin R. Micewski -- Ethical Intentions and the Moral Motivation of Teachers / Elizabeth Campbell -- Female Principals' Moral Motivation and the Moral Atmosphere of Schools / Chi-Ming Angela Lee -- Moral Motivation and Moral Education. Moral Reasoning, Moral Motivation and Informed Social Reflection / Janet Kwok, Robert L. Selman -- Character and Civic Education as a Source of Moral Motivation / Wolfgang Althof, Marvin W. Berkowitz -- Moral Motivation and the Role of the Internship in Professional Preparation / Sharon Nodie Oja, Patricia J. Craig -- Why Moral Education is Motivating by Nature / Francisco Esteban Bara, Maria Rosa Buxarrais Estrada -- Moral Motivation in the Light of Action Theory / Karin Heinrichs.
Record Nr. NYU-004402775
[International Conference on Software Reuse (13th : 2013 : Pisa, Italy)]  
Materiale a stampa
Lo trovi qui: New York University
Virtual, augmented and mixed reality : designing and developing augmented and virtual environments : 5th International Conference, VAMR 2013, held as part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings. Part I / Randall Shumaker (ed.).
Virtual, augmented and mixed reality : designing and developing augmented and virtual environments : 5th International Conference, VAMR 2013, held as part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings. Part I / Randall Shumaker (ed.).
Creatore [VAMR (Conference) (5th : 2013 : Las Vegas, Nev.)]
Estensione 1 online resource (xxv, 399 pages).
Disciplina 006.8
Accesso persona Shumaker, Randall, editor
Accesso convegno International Conference on Human-Computer Interaction (2013 : Las Vegas, Nev.)
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Information storage and retrieval systems
Artificial intelligence
Computer graphics
User Interfaces and Human Computer Interaction
Information Storage and Retrieval
Models and Principles
Information Systems Applications (incl. Internet)
ISBN 9783642394058
3642394051
9783642394041
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Developing Augmented and Virtual Environments. Passive Viewpoints in a Collaborative Immersive Environment / Sarah Coburn, Lisa Rebenitsch, Charles Owen -- Virtual Reality Based Interactive Conceptual Simulations / Holger Graf, André Stork -- Enhancing Metric Perception with RGB-D Camera / Daiki Handa, Hirotake Ishii, Hiroshi Shimoda -- Painting Alive: Handheld Augmented Reality System for Large Targets / Jae-In Hwang [and others] -- VWSocialLab: Prototype Virtual World (VW) Toolkit for Social and Behavioral Science Experimental Set-Up and Control / Lana Jaff, Austen Hayes, Amy Ulinski Banic -- Controlling and Filtering Information Density with Spatial Interaction Techniques via Handheld Augmented Reality / Jens Keil [and others] -- Development of Multiview Image Generation Simulator for Depth Map Quantization / Minyoung Kim [and others] -- Authoring System Using Panoramas of Real World / Hee Jae Kim, Jong Weon Lee -- Integrated Platform for an Augmented Environment with Heterogeneous Multimodal Displays / Jaedong Lee, Sangyong Lee, Gerard Jounghyun Kim -- Optimal Design of a Haptic Device for a Particular Task in a Virtual Environment / Jose San Martin [and others] -- Real-Time Dynamic Lighting Control of an AR Model Based on a Data-Glove with Accelerometers and NI-DAQ / Alex Rodiera Clarens, Isidro Navarro -- Ultra Low Cost Eye Gaze Tracking for Virtual Environments / Matthew Swarts, Jin Noh -- Real-Time Stereo Rendering Technique for Virtual Reality System Based on the Interactions with Human View and Hand Gestures / Viet Tran Hoang, Anh Nguyen Hoang, Dongho Kim -- Information Management for Multiple Entities in a Remote Sensor Environment / Peter Venero [and others].
Interaction in Augmented and Virtual Environments. Tactile Apparent Motion Presented from Seat Pan Facilitates Racing Experience / Tomohiro Amemiya, Koichi Hirota, Yasushi Ikei -- Predicting Navigation Performance with Psychophysiological Responses to Threat in a Virtual Environment / Christopher G. Courtney [and others] -- A Study of Navigation and Selection Techniques in Virtual Environments Using Microsoft Kinect® / Peter Dam, Priscilla Braz, Alberto Raposo -- Legibility of Letters in Reality, 2D and 3D Projection / Elisabeth Dittrich, Stefan Brandenburg, Boris Beckmann-Dobrev -- The Visual, the Auditory and the Haptic -- A User Study on Combining Modalities in Virtual Worlds / Julia Fröhlich, Ipke Wachsmuth -- Spatial Augmented Reality on Person: Exploring the Most Personal Medium / Adrian S. Johnson, Yu Sun -- Parameter Comparison of Assessing Visual Fatigue Induced by Stereoscopic Video Services / Kimiko Kawashima [and others] -- Human Adaptation, Plasticity and Learning for a New Sensory-Motor World in Virtual Reality / Michiteru Kitazaki -- An Asymmetric Bimanual Gestural Interface for Immersive Virtual Environments / Julien-Charles Lévesque, Denis Laurendeau, Marielle Mokhtari -- A New Approach for Indoor Navigation Using Semantic Webtechnologies and Augmented Reality / Tamás Matuszka, Gergő Gombos, Attila Kiss -- Assessing Engagement in Simulation-Based Training Systems for Virtual Kinesic Cue Detection Training / Eric Ortiz [and others] -- Development of Knife-Shaped Interaction Device Providing Virtual Tactile Sensation / Azusa Toda [and others] -- GUI Design Solution for a Monocular, See-through Head-Mounted Display Based on Users' Eye Movement Characteristics / Takahiro Uchiyama [and others] -- Visual, Vibrotactile, and Force Feedback of Collisions in Virtual Environments: Effects on Performance, Mental Workload and Spatial Orientation / Bernhard Weber [and others].
Human-Robot Interaction in Virtual Environments. What Will You Do Next? A Cognitive Model for Understanding Others' Intentions Based on Shared Representations / Haris Dindo, Antonio Chella -- Toward Task-Based Mental Models of Human-Robot Teaming: A Bayesian Approach / Michael A. Goodrich, Daqing Yi -- Assessing Interfaces Supporting Situational Awareness in Multi-agent Command and Control Tasks / Donald Kalar, Collin Green -- Cognitive Models of Decision Making Processes for Human-Robot Interaction / Christian Lebiere, Florian Jentsch, Scott Ososky -- Human Considerations in the Application of Cognitive Decision Models for HRI / Scott Ososky, Florian Jentsch, Elizabeth Phillips -- Computational Mechanisms for Mental Models in Human-Robot Interaction / Matthias Scheutz -- Increasing Robot Autonomy Effectively Using the Science of Teams / David Schuster, Florian Jentsch -- Cybernetic Teams: Towards the Implementation of Team Heuristics in HRI / Travis J. Wiltshire, Dustin C. Smith, Joseph R. Keebler.
Presence and Tele-presence. Embodiment and Embodied Cognition / Mark R. Costa, Sung Yeun Kim, Frank Biocca -- DigiLog Space Generator for Tele-Collaboration in an Augmented Reality Environment / Kyungwon Gil, Taejin Ha, Woontack Woo -- Onomatopoeia Expressions for Intuitive Understanding of Remote Office Situation / Kyota Higa, Masumi Ishikawa, Toshiyuki Nomura -- Enhancing Social Presence in Augmented Reality-Based Telecommunication System / Jea In Kim [and others] -- How Fiction Informed the Development of Telepresence and Teleoperation / Gordon M. Mair -- High Presence Communication between the Earth and International Space Station / Tetsuro Ogi, Yoshisuke Tateyama, Yosuke Kubota -- Effects of Visual Fidelity on Biometric Cue Detection in Virtual Combat Profiling Training / Julie Salcedo [and others].
Record Nr. NYU-004402802
[VAMR (Conference) (5th : 2013 : Las Vegas, Nev.)]  
Materiale a stampa
Lo trovi qui: New York University