2011 11th International Conference the Experience of Designing and Application of CAD Systems in Microelectronics
| 2011 11th International Conference the Experience of Designing and Application of CAD Systems in Microelectronics |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2011 |
| Soggetto topico |
Disseny assistit per ordinador
Microelectrònica Disseny de sistemes |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN | 966-2191-17-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996206461603316 |
| [Place of publication not identified], : IEEE, 2011 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2011 11th International Conference the Experience of Designing and Application of CAD Systems in Microelectronics
| 2011 11th International Conference the Experience of Designing and Application of CAD Systems in Microelectronics |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2011 |
| Soggetto topico |
Disseny assistit per ordinador
Microelectrònica Disseny de sistemes |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN |
9789662191172
9662191178 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910140999703321 |
| [Place of publication not identified], : IEEE, 2011 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
About face : the essentials of interaction design / / Alan Cooper, Robert Reimann, David Cronin, Christopher Noessel with Jason Csizmadi and Doug LeMoine
| About face : the essentials of interaction design / / Alan Cooper, Robert Reimann, David Cronin, Christopher Noessel with Jason Csizmadi and Doug LeMoine |
| Autore | Cooper Alan <1952-> |
| Edizione | [Fourth edition.] |
| Pubbl/distr/stampa | Indianapolis, Indiana : , : John Wiley & Sons, , [2014] |
| Descrizione fisica | 1 online resource (xxvii, 690 pages) : illustrations |
| Disciplina | 006.7 |
| Soggetto topico |
Software architecture
User interfaces (Computer systems) - Design Human-computer interaction Interacció persona-ordinador Disseny de sistemes Interfícies d'usuari (Informàtica) |
| ISBN |
9781118766408
1118766407 9781118766583 111876658X 9781118766576 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910786503003321 |
Cooper Alan <1952->
|
||
| Indianapolis, Indiana : , : John Wiley & Sons, , [2014] | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
About face : the essentials of interaction design / / Alan Cooper, Robert Reimann, David Cronin, Christopher Noessel with Jason Csizmadi and Doug LeMoine
| About face : the essentials of interaction design / / Alan Cooper, Robert Reimann, David Cronin, Christopher Noessel with Jason Csizmadi and Doug LeMoine |
| Autore | Cooper Alan <1952-> |
| Edizione | [Fourth edition.] |
| Pubbl/distr/stampa | Indianapolis, Indiana : , : John Wiley & Sons, , [2014] |
| Descrizione fisica | 1 online resource (xxvii, 690 pages) : illustrations |
| Disciplina | 006.7 |
| Soggetto topico |
Software architecture
User interfaces (Computer systems) - Design Human-computer interaction Interacció persona-ordinador Disseny de sistemes Interfícies d'usuari (Informàtica) |
| ISBN |
9781118766408
1118766407 9781118766583 111876658X 9781118766576 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910809303103321 |
Cooper Alan <1952->
|
||
| Indianapolis, Indiana : , : John Wiley & Sons, , [2014] | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ACM letters on programming languages and systems
| ACM letters on programming languages and systems |
| Pubbl/distr/stampa | New York, NY, : Association for Computing Machinery, ©1992-©1994 |
| Disciplina | 005.1 |
| Collana | ACM series on systems and programming |
| Soggetto topico |
Programming languages (Electronic computers)
Computer programming System design Programmation (Informatique) Conception de systèmes Llenguatges de programació Disseny de sistemes |
| Soggetto genere / forma |
Periodicals.
Revistes electròniques. |
| ISSN | 1557-7384 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Letters on programming languages and systems
LOPLAS |
| Record Nr. | UNINA-9910375863803321 |
| New York, NY, : Association for Computing Machinery, ©1992-©1994 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Control system design : an introduction to state-space methods / / Bernard Friedland
| Control system design : an introduction to state-space methods / / Bernard Friedland |
| Autore | Friedland Bernard |
| Edizione | [Dover edition.] |
| Pubbl/distr/stampa | Mineola, New York : , : Dover Publications, Inc., , 2005 |
| Descrizione fisica | 1 online resource (1007 pages) |
| Disciplina | 629.8 |
| Soggetto topico |
Automatic control
Control theory System design State-space methods Control automàtic Control, Teoria de Disseny de sistemes Espai d'estats, Mètodes de l' |
| ISBN |
9780486135113
0-486-13511-X 1-62198-607-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Title Page; Copyright Page; Dedication; Contents; Preface; Chapter 1 Feedback Control; 1.1 The Mechanism of Feedback; 1.2 Feedback Control Engineering; 1.3 Control Theory Background; 1.4 Scope and Organization of This Book; Notes; References; Chapter 2 State-Space Representation of Dynamic Systems; 2.1 Mathematical Models; 2.2 Physical Notion of System State; 2.3 Block-Diagram Representations; 2.4 Lagrange's Equations; 2.5 Rigid Body Dynamics; 2.6 Aerodynamics; 2.7 Chemical and Energy Processes; Problems; Notes; References; Chapter 3 Dynamics of Linear Systems
3.1 Differential Equations Revisited3.2 Solution of Linear Differential Equations in State-Space Form; 3.3 Interpretation and Properties of the State-Transition Matrix; 3.4 Solution by the Laplace Transform: The Resolvent; 3.5 Input-Output Relations: Transfer Functions; 3.6 Transformation of State Variables; 3.7 State-Space Representation of Transfer Functions: Canonical Forms; Problems; Notes; References; Chapter 4 Frequency-Domain Analysis; 4.1 Status of Frequency-Domain Methods; 4.2 Frequency-Domain Characterization of Dynamic Behavior; 4.3 Block-Diagram Algebra; 4.4 Stability 4.5 Routh-Hurwitz Stability Algorithms4.6 Graphical Methods; 4.7 Steady State Responses: System Type; 4.8 Dynamic Response: Bandwidth; 4.9 Robustness and Stability (Gain and Phase) Margins; 4.10 ultivariable Systems: Nyquist Diagram and Singular Values; Problems; Notes; References; Chapter 5 Controllability and Observability; 5.1 Introduction; 5.2 Where Do Uncontrollable or Unobservable Systems Arise?; 5.3 Definitions and Conditions for Controllability and Observability; 5.4 Algebraic Conditions for Controllability and Observability; 5.5 Disturbances and Tracking Systems: Exogenous Variables ProblemsNotes; References; Chapter 6 Shaping the Dynamic Response; 6.1 Introduction; 6.2 Design of Regulators for Single-Input, Single-Output Systems; 6.3 Multiple-Input Systems; 6.4 Disturbances and Tracking Systems: Exogenous Variables; 6.5 Where Should the Closed-Loop Poles Be Placed?; Problems; Notes; References; Chapter 7 Linear Observers; 7.1 The Need for Observers; 7.2 Structure and Properties of Observers; 7.3 Pole-Placement for Single-Output Systems; 7.4 Disturbances and Tracking Systems: Exogenous Variables; 7.5 Reduced-Order Observers; Problems; Notes; References Chapter 8 Compensator Design by the Separation Principle8.1 The Separation Principle; 8.2 Compensators Designed Using Full-Order Observers; 8.3 Reduced-Order Observers; 8.4 Robustness: Effects of Modeling Errors; 8.5 Disturbances and Tracking Systems: Exogenous Variables; 8.6 Selecting Observer Dynamics: Robust Observers; 8.7 Summary of Design Process; Problems; Notes; References; Chapter 9 Linear, Quadratic Optimum Control; 9.1 Why Optimum Control?; 9.2 Formulation of the Optimum Control Problem; 9.3 Quadratic Integrals and Matrix Differential Equations; 9.4 The Optimum Gain Matrix 9.5 The Steady State Solution |
| Record Nr. | UNINA-9911004740903321 |
Friedland Bernard
|
||
| Mineola, New York : , : Dover Publications, Inc., , 2005 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Design Science Research for a New Society: Society 5.0 : 18th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2023, Pretoria, South Africa, May 31 – June 2, 2023, Proceedings / / edited by Aurona Gerber, Richard Baskerville
| Design Science Research for a New Society: Society 5.0 : 18th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2023, Pretoria, South Africa, May 31 – June 2, 2023, Proceedings / / edited by Aurona Gerber, Richard Baskerville |
| Autore | Gerber Aurona |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (491 pages) |
| Disciplina |
005.437
004.019 004.21 |
| Altri autori (Persone) | BaskervilleRichard |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
User interfaces (Computer systems)
Human-computer interaction User Interfaces and Human Computer Interaction Disseny de sistemes Anàlisi de sistemes |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN |
9783031328084
9783031328077 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Design-oriented Research for Society 5.0 (Theme Track) -- z-Commerce: A data-minimizing one-click checkout solution -- Enabling the Evaluation of Production Scheduling Algorithms in Complex Production Environments using Individually Deployable Scheduling Services -- Toward Cross-company Value Generation from Data: Design Principles for Developing and Operating Data Sharing Communities -- Neuro-Adaptive System to Evaluate Product Recommendations in the Context of E-Commerce -- Measuring the Actual Oce Workspace Utilization in a Desk Sharing Environment based on IoT Sensors -- Design of Systems Using Emerging Technologies -- Introduction to the Design of Systems Using Emerging Technologies Track -- Designing an Augmented Reality Authoring Tool to Support Complex Tasks. A Design Science Study using Cognitive Load Theory -- Human-Centered Artificial Intelligence (HCAI) -- Introduction to the Human-Centered Artificial Intelligence (HCAI) Track -- Giving DIAnA more TIME? Guidance for the Design of XAI- Based Medical Decision Support Systems -- A Conceptual Model for Labeling in Reinforcement Learning Systems: A Value Co-Creation Perspective -- Healthcare Systems and Quality of Life -- Introduction to the Healthcare Systems and Quality of Life Track -- Guiding the development of interoperable health information systems: A conceptual IT governance framework -- Persuasive blood donation app design for individualist and collectivist cultures -- Innovation and Entrepreneurship -- Introduction to the Innovation and Entrepreneurship Track -- Scaling Sustainable Entrepreneurship for Impact: Design Knowledge for the Use of Digital Technologies -- Data Product Canvas - A visual inquiry tool supporting data product design -- Design Principles for National Innovation Agencies in Social Market Economies -- How To Invest In The Future Of Food: An Exploration Design Science Project -- Emerging DSR Methods and Processes -- Introduction to the Emerging DSR Methods and Processes Track -- Design Science Research: Progression, Schools of Thought and Research Themes -- Conducting Design Science Research in Society 5.0? An Explainable Artificial Intelligence Research Methodology -- DEKNOWSE { A DEsign KNOWledge SEarch Engine -- Empowering Recommender Systems in ITSM: A Pipeline Reference Model for AI-based Textual Data Quality Enrichment -- Education and DRS -- Introduction to the Education and DSR Track -- Inquiry Frameworks for Research Question Scoping in DSR: A realization for ChatGPT -- Design of an Augmented Reality App for primary school students which visualizes length units to promote the conversion of units -- Know the Knowledge of your Students: A Flexible Analytics Tool for Student Exercises -- Designing Pedagogical Conversational Agents for Achieving Common Ground -- Training Computational Thinking as a Key Skill Set for Design Science Researchers -- Human Safety and Cybersecurity -- Introduction to the Human Safety and Cybersecurity Track -- Designing Business Processes for Comprehensive Industrial IoT Security Management -- Co-Desing and Collective Creativity for Addressing Grand Challenges -- Introduction to the Co-Design and Collective Creativity for Addressing Grand Challenges Track -- What Does The Factory?s Suggestion Box Reveal? An analysis of the design capabilities of a train maintenance centre from its idea management system -- Operationalising Co-design: Development of an ICT platform to Facilitate Stakeholder Engagement in Water Sensitive Design -- Co-Designing a Visual Inquiry Tool -- Sustainability and Responsible Design -- Introduction to the Sustainability and Responsible Design Track -- A Mid-Range Theory for Designing Sustainable Safe Spaces of Immersive Learning Environments: A Design- Science Based Gamification Approach -- Designing User-Centric Explanations for Medical Imaging With Informed Machine Learning. |
| Record Nr. | UNINA-9910726282103321 |
Gerber Aurona
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal methods in system design
| Formal methods in system design |
| Pubbl/distr/stampa | Netherlands, : Kluwer Academic Publishers |
| Disciplina | 004.21 |
| Soggetto topico |
System design
Integrated circuits - Verification Conception de systèmes Circuits intégrés - Vérification Disseny de sistemes |
| Soggetto genere / forma |
Periodicals.
Revistes electròniques. |
| ISSN | 1572-8102 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910142422703321 |
| Netherlands, : Kluwer Academic Publishers | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Global Perspectives on Design Science Research [[electronic resource] ] : 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings / / edited by Robert Winter, J. Leon Zhao, Stephan Aier
| Global Perspectives on Design Science Research [[electronic resource] ] : 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings / / edited by Robert Winter, J. Leon Zhao, Stephan Aier |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XV, 564 p. 128 illus.) |
| Disciplina | 004.21 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Disseny de sistemes
Anàlisi de sistemes Computer engineering Computer communication systems Application software Artificial intelligence Software engineering Information storage and retrieval Computer Engineering Computer Communication Networks Information Systems Applications (incl. Internet) Artificial Intelligence Software Engineering Information Storage and Retrieval |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN |
1-280-38681-9
9786613564733 3-642-13335-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Organising Design Research -- When Designers Are Not in Control – Experiences from Using Action Research to Improve Researcher-Developer Collaboration in Design Science Research -- Relevance through Consortium Research? Findings from an Expert Interview Study -- Taking a Project Management Perspective on Design Science Research -- Reflecting Design Science Research -- A Multi-Grounded Design Research Process -- Relevance and Problem Choice in Design Science -- Artifact Types in Information Systems Design Science – A Literature Review -- Quo Vadis, Design Science? – A Survey of Literature -- Design Science Research Post Hevner et al.: Criteria, Standards, Guidelines, and Expectations -- Meta-analysis of Design Science Research within the IS Community: Trends, Patterns, and Outcomes -- Design Research Techniques -- Comparing Two Software Design Process Theories -- The Ecology of Learning-by-Building: Bridging Design Science and Natural History of Knowledge -- On Computer Simulation as a Component in Information Systems Research -- Design and Context -- Design Logic and the Ambiguity Operator -- Information Model-Based Configuration of Situational Methods – A Foundation for Design Research Applying Situational Method Configuration -- A Methodology for Content-Centered Design of Ambient Environments -- Design and Organisation -- Extending the Design and Engineering Methodology for Organizations with the Generation Operationalization and Discontinuation Organization -- Towards Deterministically Constructing Organizations Based on the Normalized Systems Approach -- Harness Mobility: Managing the Off-Task Property -- Design and Information -- Dynamically Generating Context-Relevant Sub-Webs -- Designing Business-Intelligence Tools with Value-Driven Recommendations -- Process Performance Management – Identifying Stereotype Problem Situations as a Basis for Effective and Efficient Design Research -- Design Research Exemplars -- The Design of Focus Area Maturity Models -- Applying Design Research Artifacts for Building Design Research Artifacts: A Process Model for Enterprise Architecture Planning -- Realization Approaches of Customer Relationship Management – A Design Science Research Contribution to Support the Construction of Situational CRM Artifacts -- The Instance-Based Multilevel Security Model -- A Negotiation Based Approach for Service Composition -- Usability through System-User Collaboration -- Design and Behaviour -- Instruction Manual Usage: A Comparison of Younger People, Older People and People with Cognitive Disabilities -- FASTS: FAcets Structured Tag Space – A Novel Approach to Organize and Reuse Social Bookmarking Tags -- Twitter Me: Using Micro-blogging to Motivate Teenagers to Exercise -- Designing Collaboration -- Designing for Light-Weight Collaboration: The Case of Interactive Citizens’ Advisory Services -- Design for Business Innovation: Linking the Value Chains of Logistics Service and Cargo Insurance Companies by Designing a Collaborative Service Infrastructure -- Design and Requirements Engineering -- A Requirements Engineering Method Designed for the Blind -- Assessing Project Effort in Requirements Engineering: A Report on Design Research in Progress -- Systematic Development of Business-Driven Requirements – Using Next-Generation EIS Design as an Example -- Short Papers -- Systematization of Maturity Model Extensions -- Process Design as Basis for Comprehensive Process Modeling -- Design Science Research Engagement: Proposal for an Engagement Approach for Company Collaboration -- Design Science in Research Cooperations with the Industry: Findings from Three Prototyping Projects -- Towards a Theory on Collaborative Decision Making in Enterprise Architecture -- In Pursuit of IT Artifact Generality: The Case of Predictive Model for Electronic Negotiation Support -- Use Cases for Business Metadata – A Viewpoint-Based Approach to Structuring and Prioritizing Business Needs -- The IT-CMF: A Practical Application of Design Science -- Ontology Design for Strategies to Metrics Mapping -- Naturalistic and Artificial Evaluations of Personas and Role-Based Enterprise Systems. |
| Record Nr. | UNISA-996465891003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Multimedia tools and applications
| Multimedia tools and applications |
| Pubbl/distr/stampa | Norwell, MA, : Kluwer Academic Publishers |
| Descrizione fisica | 1 online resource |
| Soggetto topico |
Multimedia systems
Multimédia - Périodiques Conception de systèmes - Périodiques Disseny de sistemes Sistemes multimèdia |
| Soggetto genere / forma |
Periodicals.
Revistes electròniques. |
| ISSN | 1573-7721 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910145554003321 |
| Norwell, MA, : Kluwer Academic Publishers | ||
| Lo trovi qui: Univ. Federico II | ||
| ||