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.
Conceptual modelling and its theoretical foundations [electronic resource] : essays dedicated to Bernhard Thalheim on the occasion of his 60th birthday / Antje Düsterhöft, Meike Klettke, Klaus-Dieter Schewe (eds.).
Conceptual modelling and its theoretical foundations [electronic resource] : essays dedicated to Bernhard Thalheim on the occasion of his 60th birthday / Antje Düsterhöft, Meike Klettke, Klaus-Dieter Schewe (eds.).
Estensione 1 online resource (viii, 328 p.) : ill
Disciplina 003/.3
Accesso persona Düsterhöft, Antje
Klettke, Meike
Schewe, Klaus-Dieter
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Logic design
Artificial intelligence
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Models and Principles
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters
ISBN 9783642282799 (electronic bk.)
3642282792 (electronic bk.)
9783642282782
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Dedication to a Theory of Modelling -- Bernhard Thalheim's Scientific Journey -- What about Constraints in RDF? -- Some Remarks on Relational Database Schemes Having Few Minimal Keys -- Random Databases with Correlated Data -- Statistical Inference for Rényi Entropy Functionals -- The Subject-Oriented Approach to Software Design and the Abstract State Machines Method -- BCNF via Attribute Splitting -- Foundations for a Fourth Normal Form over SQL-Like Databases -- Independent Update Reflections on Interdependent Database Views -- SOF: A Semantic Restriction over Second-Order Logic and Its Polynomial-Time Hierarchy -- Abstract State Machines for Data-Parallel Computing -- OSM-Logic: A Fact-Oriented, Time-Dependent Formalization of Object-oriented Systems Modeling -- Cloaking Data to Ease View Creation, Query Expression, and Query Execution -- On Models of Concepts and Data -- Model Transformation By-Example: A Survey of the First Wave -- On Computing the Importance of Associations in Large Conceptual Schemas -- Conceptual Modeling of Human Genome: Integration Challenges -- Transforming Geometrically Enhanced Conceptual Model Schemas to GML -- Extensional Logic of Hyperintensions -- Culture Sensitive Aspects in Software Engineering -- Cross-Cultural Multimedia Computing with Impression-Based Semantic Spaces.
Record Nr. UPENN-9960092203503681
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Algorithmic game theory [electronic resource] : 4th international symposium, SAGT 2011, Amalfi, Italy, October 17-19, 2011 : proceedings / Giuseppe Persiano (ed.).
Algorithmic game theory [electronic resource] : 4th international symposium, SAGT 2011, Amalfi, Italy, October 17-19, 2011 : proceedings / Giuseppe Persiano (ed.).
Creatore [SAGT (Symposium) (4th : 2011 : Amalfi, Italy)]
Estensione 1 online resource (xi, 325 p.) : ill. (some col.
Disciplina 519.3
Accesso persona Persiano, Giuseppe
Genere/Forma Electronic books
Soggetto non controllato Computer science
Electronic data processing
Computer simulation
Simulation and Modeling
e-Commerce/e-business
Models and Principles
Computers and Society
Numeric Computing
Probability and Statistics in Computer Science
ISBN 9783642248290 (electronic bk.)
3642248292 (electronic bk.)
9783642248283
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960088133503681
[SAGT (Symposium) (4th : 2011 : Amalfi, Italy)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Testing software and systems [electronic resource] : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, proceedings / Burkhart Wolff, Fatiha Zaïdi (eds.).
Testing software and systems [electronic resource] : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, proceedings / Burkhart Wolff, Fatiha Zaïdi (eds.).
Creatore [ICTSS 2011 (2011 : Paris, France)]
Estensione 1 online resource (x, 224 p.)
Disciplina 005.1/4
Accesso persona Wolff, Burkhart, 1962-
Zaïdi, Fatiha
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Logic design
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Models and Principles
ISBN 9783642245800 (electronic bk.)
3642245803 (electronic bk.)
9783642245794
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960089323503681
[ICTSS 2011 (2011 : Paris, France)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Design, user experience, and usability : user experience in novel technological environments : second International Conference, DUXU 2013, held as part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings. Part III / Aaron Marcus (ed.).
Design, user experience, and usability : user experience in novel technological environments : second International Conference, DUXU 2013, held as part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings. Part III / Aaron Marcus (ed.).
Creatore [DUXU (Conference) (2nd : 2013 : Las Vegas, Nev.)]
Estensione 1 online resource.
Accesso persona Marcus, Aaron, 1943-
Accesso convegno International Conference on Human-Computer Interaction (15th : 2013 : Las Vegas, Nev.)
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
Congresses
Soggetto non controllato Computer science
Information storage and retrieval systems
User Interfaces and Human Computer Interaction
Computer Applications
Models and Principles
ISBN 9783642392382
3642392385
9783642392375
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Designing for safe and secure environments -- Designing for smart and ambient devices -- Designing for virtual and augmented environments -- Emotional and persuasion design.
Record Nr. UCHICAGO-11079657
[DUXU (Conference) (2nd : 2013 : Las Vegas, Nev.)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Graph drawing : 19th international symposium, GD 2011, Eindhoven, the Netherlands, September 21-23, 2011 : revised selected papers / Marc van Kreveld, Bettina Speckmann (eds.).
Graph drawing : 19th international symposium, GD 2011, Eindhoven, the Netherlands, September 21-23, 2011 : revised selected papers / Marc van Kreveld, Bettina Speckmann (eds.).
Creatore [GD (Symposium) (19th : 2011 : Eindhoven, Netherlands)]
Estensione 1 online resource (xiv, 458 pages) : illustrations.
Accesso persona Kreveld, Marc van.
Speckmann, Bettina
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Computational complexity
Discrete Mathematics in Computer Science
Math Applications in Computer Science
Algorithm Analysis and Problem Complexity
Models and Principles
Symbolic and Algebraic Manipulation
User Interfaces and Human Computer Interaction
ISBN 9783642258787
3642258786
3642258778
9783642258770
Classificazione 54.73
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076360
[GD (Symposium) (19th : 2011 : Eindhoven, Netherlands)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Practical aspects of design science : European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised selected papers / Markus Helfert, Brian Donnellan (eds.).
Practical aspects of design science : European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised selected papers / Markus Helfert, Brian Donnellan (eds.).
Creatore [European Design Science Symposium (2011 : Leixlip, Ireland)]
Estensione 1 online resource.
Disciplina 004.2/1
Accesso persona Helfert, Markus
Donnellan, Brian
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer system performance
Software engineering
Computer aided design
Information Systems
User Interfaces and Human Computer Interaction
Computer-Aided Engineering (CAD, CAE) and Design
Models and Principles
ISBN 9783642336812
3642336817
3642336809
9783642336805
Classificazione 54.31
54.52
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Part 1. Invited Papers -- The Emergence and Initial Development of a New Design Pattern for CIOs Using Design Science / Martin Curley -- Part 2. Part I: Design Science and Processes -- Extending a Systems Analysis Method for Business Professionals / Duane Truex, Nathan Lakew, Steven Alter and Sumantra Sarkar -- Design and Evaluation of Management Processes in IS: Application of a Process-Based Research Approach / Alexander Borek, Markus Helfert, Philip Woodall and Ajith Kumar Parlikad -- Analyzing Complex Design Processes: The Effects of Task Automation and Integration on Process Structure in Microprocessor Design / Yohan Choi, B. Veeresh Thummadi, Kalle Lyytinen and Youngjin Yoo -- Design Science in Action: Researching and Developing the IT-CMF / Markus Helfert and Martin Curley -- Part 3. Part II: Evaluation and Utility -- Detailed Design Science Research and Its Impact on the Quality of Design Artefacts / Łukasz Ostrowski -- Evaluation Patterns for Design Science Research Artefacts / Christian Sonnenberg and Jan vom Brocke -- Design Research in Search for a Paradigm: Pragmatism Is the Answer / Göran Goldkuhl -- Part 4. Part III: Applying Design Science -- Creating a New IT Management Framework Using Design Science: A Rationale for Action and for Using Design Science / Martin Curley, Jim Kenneally and Ralf Dreischmeier -- Exploring the Relationship between Design Science Research and Innovation: A Case Study of Innovation at Chevron / Jack Anderson, Brian Donnellan and Alan Hevner -- Applying Design Science Approach in ICT4D Research: Mobile Phone Based Agriculture Market Information Service (AMIS) in Bangladesh / M. Sirajul Islam and Åke Grönlund -- A Design Science Approach to Development of Educational IS / Justin L. Bond and Chetan S. Sankar -- Applying Design Science Research in Enterprise Architecture Business Value Assessments / Martin Meyer and Jim Kenneally -- Reconceptualising Dynamic Capabilities: A Design Science Study on the Role of Agency / Abdelghani Es-Sajjade and Krsto Pandza -- Design Science Approach to Measure Productivity in Agile Software Development / Richard Vidgen, Brian Donnellan, Sabine Matook and Kieran Conboy.
Record Nr. NYU-004624750
[European Design Science Symposium (2011 : Leixlip, Ireland)]  
Materiale a stampa
Lo trovi qui: New York University
Advances in computational intelligence : 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings. Part II / Ignacio Rojas, Gonzalo Joya, Joan Cabestany (eds.).
Advances in computational intelligence : 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings. Part II / Ignacio Rojas, Gonzalo Joya, Joan Cabestany (eds.).
Creatore [International Work-Conference on Artificial and Natural Neural Networks (12th : 2013 : Puerto de la Cruz, Canary Islands)]
Estensione 1 online resource.
Disciplina 006.3
Accesso persona Rojas, Ignacio
Joya, Gonzalo
Cabestany, Joan
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Data mining
Artificial intelligence
Optical pattern recognition
Computational Biology/Bioinformatics
Pattern Recognition
Models and Principles
ISBN 9783642386824
3642386822
9783642386817
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Metaheuristics. Model Probability in Self-organising Maps / Anastassia Angelopoulou, Alexandra Psarrou, José García-Rodríguez -- Topological Effects on the Performance of Island Model of Parallel Genetic Algorithm / Wang Guan, Kwok Yip Szeto -- Artificial Bee Clustering Search / Tarcísio Souza Costa, Alexandre César Muniz de Oliveira -- A Metaheuristic Approach for the Seaside Operations in Maritime Container Terminals / Eduardo Lalla Ruiz, Christopher Expósito Izquierdo, Belén Melián Batista -- Restricted Dynamic Heterogeneous Fleet Vehicle Routing Problem with Time Windows / Jesica de Armas, Belén Melián-Batista, José A. Moreno-Pérez -- Effect of the Initial Solutions to Balance Routes in Vehicle Routing Problem with Time Windows / Alondra De Santiago [and others] -- An Ant System Algorithm for the Neutralization Problem / Ramazan Algin [and others] -- Solving Credit Card Fraud Detection Problem by the New Metaheuristics Migrating Birds Optimization / Ekrem Duman, Ilker Elikucuk.
Bioinformatics/Biomedicine in Computational Intelligence. Parametric and Non-parametric Feature Selection for Kidney Transplants / Raimundo Garcia-del-Moral [and others] -- Acute Lymphoblastic Leukemia Identification Using Blood Smear Images and a Neural Classifier / Adnan Khashman, Hayder Hassan Abbas -- Modeling of Survival Curves in Food Microbiology Using Fuzzy Wavelet Neural Networks / Vassilis S. Kodogiannis, Ilias Petrounias -- Modeling Tissue Temperature Dynamics during Laser Exposure / Loris Fichera, Diego Pardo, Leonardo S. Mattos -- An Ensemble of Classifiers Guided by the AAL Brain Atlas for Alzheimer's Disease Detection / Alexandre Savio, Manuel Graña -- Saccadic Points Classification Using Multilayer Perceptron and Random Forest Classifiers in EOG Recordings of Patients with Ataxia SCA2 / Roberto Becerra [and others] -- Phonocardiography Signal Segmentation for Telemedicine Environments / Santiago Murillo Rendón, Cristian Castro Hoyos, Carlos M. Travieso-Gonzales -- Selection of Wavelet Decomposition Level for Electro-Oculographic Saccadic De-noising / Rodolfo Garcá-Bermúdez, Fernando Rojas, Roberto Antonio Becerra García.
Identification of Postural Transitions Using a Waist-Located Inertial Sensor / Daniel Rodríguez Martín [and others] -- Evaluating Multiple Sequence Alignments Using a LS-SVM Approach with a Heterogeneous Set of Biological Features / Francisco Ortuño [and others] -- Animal Vibrissae: Modeling and Adaptive Control of Bio-inspired Sensors / Carsten Behn [and others] -- Brain Signal Based Continuous Authentication: Functional NIRS Approach / Michitaro Shozawa [and others] -- Risk Prediction of Femoral Neck Osteoporosis Using Machine Learning and Conventional Methods / Tae Keun Yoo [and others] -- Out of Core Computation of HSPs for Large Biological Sequences / Andrés Rodríguez Moreno, Óscar Torreño Tirado, Oswaldo Trelles Salazar -- Bio-Cirrus: A Framework for Running Legacy Bioinformatics Applications with Cloud Computing Resources / Tor Johan Mikael Karlsson [and others] -- Activity Recognition Based on a Multi-sensor Meta-classifier / Oresti Baños [and others] -- Indoor Activity Recognition by Combining One-vs.-All Neural Network Classifiers Exploiting Wearable and Depth Sensors / Benoît Delachaux [and others].
Fuzzy Logic and Soft Computing Applications. On Galois Connections and Soft Computing / F. García-Pardo [and others] -- A Proximity-Based Method for Discovery of Generalized Knowledge and Its Incorporation to the Bousi~Prolog System / Pascual Julián-Iranzo, Clemente Rubio-Manzano -- Fuzzy Property-Oriented Concept Lattices in Morphological Image and Signal Processing / Cristina Alcalde [and others] -- Automated Inference with Fuzzy Functional Dependencies over Graded Data / José Manuel Rodríguez-Jiménez [and others] -- On the Classification of Fuzzy-Attributes in Multi-adjoint Concept Lattices / Maria Eugenia Cornejo, Jesús Medina-Moreno, Eloisa Ramírez -- Can Machine Learning Techniques Help to Improve the Common Fisheries Policy? / María Pérez-Ortiz, Rosa Colmenarejo, Juan Carlos Fernández Caballero -- Integration of Fuzzy Systems and Genetic Algorithm in Permeability Prediction / Ahmad Ja'fari, Rasoul Hamidzadeh Moghadam -- Annotating "Fuzzy Chance Degrees" When Debugging XPath Queries / Jesús M. Almendros-Jiménez, Alejandro Luna Tedesqui, Ginés Moreno.
Artificial Intelligence and Games. Designing and Evolving an Unreal TournamentTM 2004 Expert Bot / Antonio M. Mora [and others] -- Evolving the Strategies of Agents for the ANTS Game / José Carpio [and others] -- Interactive Techniques for Entertainment Applications Using Mobile Devices / José Luis Gutiérrez Rivas, Pedro Cano Olivares, Javier Díaz Alonso -- Car Setup Optimization via Evolutionary Algorithms / Carlos Cotta [and others].
Biological and Bio-inspired Dynamical Systems for Computational Intelligence. Numerical Implementation of Gradient Algorithms / Miguel Atencia [and others] -- A CNN Based Approach for Solving a Hyperbolic PDE Arising from a System of Conservation Laws -- the Case of the Overhead Crane / Daniela Danciu -- Reflections on Neural Networks as Repetitive Structures with Several Equilibria and Stable Behavior / Vladimir Răsvan -- A Retina-Inspired Neurocomputing Circuit for Image Representation / Hui Wei, Qing-song Zuo, Bo Lang -- Evolutionary Approach in Inventory Routing Problem / Dragan Simić, Svetlana Simić
Brain-Computer Interfaces and Neurotechnologies. BCI-Based Navigation in Virtual and Real Environments / Francisco Velasco-Alvarez, Ricardo Ron-Angevin, Miguel Angel Lopez-Gordo -- A Motor Imagery Based Brain-Computer Interface Speller / Bin Xia [and others] -- A New Method for BCI Spelling Using a 7 Segments Display / N. Galea-Sevilla [and others] -- Motor Imagery EEG-Based Person Verification / Phuoc Nguyen [and others].
Video and Image Processing. Computer-Aided Diagnosis in Wound Images with Neural Networks / María Navas [and others] -- Hierarchical Self-Organizing Networks for Multispectral Data Visualization / Esteban José Palomo [and others] -- A Self-organizing Map for Traffic Flow Monitoring / Rafael Marcos Luque-Baena [and others] -- Image Noise Detection in Global Illumination Methods Based on Fast Relevance Vector Machine / Joseph Constantin [and others] -- Improving 3D Keypoint Detection from Noisy Data Using Growing Neural Gas / José Garcia-Rodriguez [and others] -- Football Video Annotation Based on Player Motion Recognition Using Enhanced Entropy / Markos Mentzelopoulos, Alexandra Psarrou, Anastassia Angelopoulou -- Model-Based Multi-view Registration for RGB-D Sensors / Marcelo Saval-Calvo, Jorge Azorín-López, Andrés Fuster-Guilló -- 3D Hand Pose Estimation with Neural Networks / Jose Antonio Serra, José Garcia-Rodriguez, Sergio Orts-Escolano.
Record Nr. NYU-004413460
[International Work-Conference on Artificial and Natural Neural Networks (12th : 2013 : Puerto de la Cruz, Canary Islands)]  
Materiale a stampa
Lo trovi qui: New York University
Interactive 3D multimedia content [electronic resource] : models for creation, management, search and presentation / Wojciech Cellary, Krzysztof Walczak, editors
Interactive 3D multimedia content [electronic resource] : models for creation, management, search and presentation / Wojciech Cellary, Krzysztof Walczak, editors
Estensione 1 online resource (v, 296 p.) : ill.
Disciplina 006.7
Accesso persona Cellary, Wojciech
Walczak, Krzysztof.1950-
Genere/Forma Electronic books
Soggetto non controllato Computer science
Multimedia systems
Computer graphics
User Interfaces and Human Computer Interaction
Multimedia Information Systems
Models and Principles
ISBN 9781447124979 (electronic bk.)
1447124979 (electronic bk.)
9781447124962
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-8872458
Materiale a stampa
Lo trovi qui: University of Chicago
Agile service development [electronic resource] : combining adaptive methods and flexible solutions / Marc Lankhorst, editor
Agile service development [electronic resource] : combining adaptive methods and flexible solutions / Marc Lankhorst, editor
Estensione 1 online resource (xx, 203 p.)
Disciplina 005.1
Accesso persona Lankhorst, Marc
Genere/Forma Electronic books
Soggetto non controllato Economics
Software engineering
Computer science
Information systems
Management information systems
Business Information Systems
Models and Principles
Computer Appl. in Administrative Data Processing
Organization/Planning
ISBN 9783642281884 (electronic bk.)
3642281885 (electronic bk.)
9783642281877
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introducing Agile Service Development / M. M. Lankhorst, W. P. M. Janssen, H. A. Proper and M. W. A. Steen -- Agility / M. M. Lankhorst, M. M. Zoet, W. P. M. Janssen and W. A. Molnar -- Agile Architecture / M. M. Lankhorst and H. A. Proper -- Service Modelling / M. W. A. Steen, M. E. Iacob, M. M. Lankhorst, H. Jonkers and M. Zoet, et al. -- Patterns for Agility / M. E. Iacob, M. M. Lankhorst and A. Schrier -- An Agile Way of Working / M. M. Zoet, A. W. Heerink, M. M. Lankhorst, S. J. B. A. Hoppenbrouwers and W. van Stokkum -- Stakeholder Communication / S. J. B. A. Hoppenbrouwers, W. van Stokkum, M. E. Iacob, I. Wilmont and D. J. T. van der Linden, et al. -- Adopting Agile Service Development / M. M. Lankhorst.
Record Nr. UCHICAGO-8873731
Materiale a stampa
Lo trovi qui: University of Chicago
ICDT'86 [electronic resource] : International Conference on Database Theory. Rome, Italy, September 8-10, 1986. Proceedings / by Giorgio Ausiello, Paolo Atzeni
ICDT'86 [electronic resource] : International Conference on Database Theory. Rome, Italy, September 8-10, 1986. Proceedings / by Giorgio Ausiello, Paolo Atzeni
Creatore [Ausiello, G. (Giorgio), 1941-]
Accesso persona Atzeni, Paolo
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
Data Structures
Models and Principles
ISBN 9783540171874
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7353993
[Ausiello, G. (Giorgio), 1941-]  
Software
Lo trovi qui: University of Chicago