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.
Design thinking in education : innovation can be learned / / Christoph Meinel, Timm Krohn, editors
| Design thinking in education : innovation can be learned / / Christoph Meinel, Timm Krohn, editors |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2022] |
| Descrizione fisica | 1 online resource (288 pages) : illustrations |
| Disciplina | 600 |
| Soggetto topico |
Creative ability in business
Creative ability in science Technological innovations Disseny industrial Educació Innovacions tecnològiques Resolució de problemes Creativitat Creativitat en els negocis |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-89113-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Foreword -- Acknowledgements -- Contents -- Editors and Contributors -- Introduction: Design Thinking in the Field of Education -- 1 HPI School of Design Thinking -- 2 Hasso Plattner Design Thinking Research Program -- 3 D-Schools International -- 4 Design Thinking International -- 5 HPI Academy-DT in the Field of Continuing Education and Corporate Training (Professional Education) -- Design Thinking in Higher Education Setting -- Design Thinking-Enabling Digital Engineering Students to be Creative and Innovate -- 1 Why Design Thinking is an Integral Part of Digital Engineering Education at the HPI -- 2 Design Thinking Balances Different Creative Approaches -- 3 Effects of Design Thinking Education on Digital Engineering Students -- References -- Mastering the Fundamentals of Design Thinking by Teaching the Skills of Improvisation -- 1 Introduction -- 2 Training Improv Skills for Team-Based Design -- 3 Improvisation and Cognition -- 4 Designing the Story -- 5 Re-thinking the "How Might We" Question -- 6 Teaching the Core Skills -- 7 The Basic Rule -- 8 A Few Notes on Improv -- 9 Making Mistakes -- 10 Teaching the Skills -- 11 The Exercises -- 11.1 "Yes, And!" -- 11.2 Playing the Game -- 11.3 Reflection -- 11.4 How It Relates to Team-Based Design -- 11.5 "What Cha Doin'?" (Aka: What Are You Doing?) -- 11.6 Playing the Game -- 11.7 Reflection -- 11.8 How It Relates to Team-Based Design -- 12 We Are All Improvisers -- References -- Combining DT and Entrepreneurship Education: The DTE-Model -- 1 Motivation -- 2 Entrepreneurship Education and Entrepreneurial Opportunities -- 3 Integration of Design Thinking into Entrepreneurship Education -- 4 The Design Thinking and Entrepreneurship Model (DTE Model) -- 5 Discussion -- References -- Massive Open Online Design: Learning from Scaling Design Thinking Education -- 1 Introduction.
2 Challenges of Design Thinking MOOC Design -- 2.1 MOOC Design Challenges -- 2.2 Challenges for Design Thinking MOOCs -- 3 Major Learnings from ProtoMOOC to MOOC #1 -- 3.1 Introducing an Iteration Approach -- 3.2 MOOC #1: "Inspirations for Design: A Course on Human-Centered Research" -- 3.3 Learning Interventions and New Items: MOOC #1 -- 4 Interventions for MOOC #2 -- 4.1 MOOC #2: "Human-Centered Design: From Synthesis to Creative Ideas" -- 4.2 Learning Interventions and New Items: MOOC #2 -- 5 Interventions for MOOC#3 -- 5.1 MOOC #3: "Human-Centered Design: From Synthesis to Creative Ideas" -- 5.2 Learning Interventions and New Items: MOOC #2 -- 6 Summary -- References -- Design Thinking, Neurodesign and Facilitating Worthwhile Change: Towards a Curriculum for Innovation Engineering -- 1 Introduction -- 2 Developing Curricula for Innovation Education by Facilitating Worthwhile Change -- 3 Course Content and Imparted Skills in Innovation Engineering -- 4 The Creative Process in Class -- 4.1 The Role of Domain Expertise in Creative Developments -- 4.2 Empathy, Personal Passion and Vision as Drivers of Ground-Breaking Innovation -- 5 Team Teaching and Collaboration Networks -- References -- Walls, Furniture, People-Theoretical and Practical Aspects of Space in Design Thinking -- 1 Introduction -- 2 Foundation: Theoretical Principles of (Innovation) Space -- 2.1 Understanding and Perceiving Space -- 2.2 Space in Design Thinking -- 3 Construction Plan: Typology of the Innovation Space in Design Thinking -- 3.1 Functions of the Innovation Space in Design Thinking -- 3.2 Levels of the Innovation Space in Design Thinking -- 3.3 Users of the Innovation Space -- 3.4 Typology -- 4 Selecting and Using Furnishings and Equipment: Design Elements and the Space as an Instrument in Design Thinking. 4.1 A Project in Itself: How to Plan the Space and Select Furnishings and Equipment -- 4.2 The Fundamentals of Equipment: Elements of the Design Thinking Space -- 4.3 Let us Move It: Space as an Element in Design Thinking -- 5 Discussion and Outlook -- References -- Where Context Matters-Design Thinking in South Africa -- 1 Introduction -- 2 Framing Design Thinking Within the South African Context -- 2.1 The Maturity of the Design Discipline in South Africa -- 2.2 Skills of the Future -- 2.3 Drive for Entrepreneurship Within South Africa -- 2.4 The Complexity of Local Challenges -- 2.5 South African Cultural Diversity -- 3 Summary -- Integrating DT and Entrepreneurship: Case Study Universidad Mayor (Chile) -- 1 The Latin American Context -- 2 The Entrepreneurial Spirit -- 3 A New Perspective -- 4 From the Idea to the Plan -- 5 Our Mindset, the First Design Thinking Coaches and Workshops -- 6 An Important Step, Institutionalizing D-School Universidad Mayor -- 7 Connection with Universidad Mayor's Academic Model -- 8 D-School Results on Workshops and Curricular Incorporation -- 9 Our Next Steps -- Towards a Culturally Responsive Design Thinking Education -- 1 Introduction -- 2 Culture and Design Thinking -- 3 Culturally Sensitive Coaching -- 4 Language -- 5 Learning by Doing, or One-Size Fits All? -- 6 Conclusion -- References -- Design Thinking in Professional Education and Organizational Contexts -- Design Thinking for Leaders-Made Possible by Innovation and Agility -- 1 Introduction -- 2 Design Thinking Mindset -- 3 Leadership Practices -- 3.1 Create and Communicate a Clear Vision -- 3.2 Build Systems to Learn and Experiment -- 3.3 Enable Autonomy -- 3.4 Foster Psychological Safety -- 4 Summary and Outlook -- References. Human-Centeredness in Professional Education - On the Use and Application of a Human-Centered Approach in the Field of Professional Education -- 1 Human-Centered Approaches in Professional Education Program Development: Experience-Apply-Transfer -- 2 The Concept of "Hacks" -- 3 The Cardboard Cut-Out Persona-An Example of the Creation and Application of a Hack -- 3.1 Problem Description -- 3.2 Approach to Finding a Solution -- 3.3 The Hack -- 3.4 Observed Effects of the Hack -- 3.5 Further Iterations and Applications of the Hack -- 4 Further Hacks Related to Introducing Human-Centered Innovation Work -- 5 Summary -- References -- Strategic DT as a New Instrument for Leadership in Digital Transformation -- 1 How Has Design Thinking Evolved from an Innovation Method to a Strategy for Cultural Transformation? -- 2 Which Findings from Learning Theory Help Users to Understand the Benefits of Strategic Design Thinking? -- 3 How Can Any Innovator Derive Specific Strategic Principles from the Method Application? -- 4 Design Thinking "Hacksˮ-Why Does It Make Sense to Think Big and to Start Small in the Processes of Digital Transformation? -- 5 How Can Strategic Design Thinking Help to Guide the Implementation of an Agile Transformation Strategy? -- References -- The Certification Program for Design Thinking Coaches at the HPI Academy -- 1 Introduction -- 2 Motivation for the Program-Quality Ensures Acceptance -- 3 Target Group and Vision -- 3.1 Who is the Target Group? DT Natives Versus DT Immigrants -- 3.2 What is the Vision of a DT Immigrant Coach? -- 4 Principles of the Certification Program -- 4.1 Certification Requires Training -- 4.2 Certification Requires Practical Experience -- 4.3 Certification Needs User-Centeredness -- 5 Structure of the Certification Program -- 5.1 The Workshops: DT Mindset and Train-The-Trainer -- 5.2 Practice Days. 5.3 Master Classes -- 6 Conclusion -- Outlook: Design Thinking in Education for the Big Picture -- Beyond Brainstorming: Introducing medgi, an Effective, Research-Based Method for Structured Concept Development -- 1 Introduction -- 2 The Problem with Brainstorming -- 3 medgi in Depth -- 4 Training for medgi -- 5 Conclusion -- References -- Design Thinking and the UN Sustainable Development Goals: Design Thinking and Youth Empowerment Case Study ForUsGirls (US) and Start-up Africa (Kenya) -- 1 Issue -- 2 Approach -- 3 Perspectives and Way Forward -- References -- Contextualizing Design Thinking With Multiple Intelligences: The Global SUGAR Program as a Case -- 1 Motivation -- 2 The SUGAR Program for Design Thinking Education -- 2.1 Historical Roots and Members -- 2.2 SUGAR's Approach to Design Thinking -- 2.3 Organization of the SUGAR Network -- 2.4 Project Examples and Successes -- 2.5 Flemo/Vimcar (Startup) -- 2.6 IRIS/Visense (Startup) -- 2.7 Wheeebo (Corporate Product) -- 3 The Evolution and Revolution Stages of the SUGAR Program -- 3.1 The Past-Empathy with the Human -- 3.2 The Present-Empathy to Collaboration -- 3.3 The Future-Empathy to the World -- 4 Conclusion -- 5 Disclaimer -- References -- IQ Grows in WeQ Mode -- 1 Not Only Learning from Crises -- 2 The Learning World Needs Change -- 3 Networked Thinking and Acting -- 4 Why Bologna Must Be Reformed -- 5 Rethinking Education Means Changing Perspectives -- 6 The Learning World of the Twenty-First Century -- 7 Launch into the Hybrid Learning Environment. |
| Record Nr. | UNINA-9910559389003321 |
| Cham, Switzerland : , : Springer Nature Switzerland AG, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Design thinking research : interrogating the doing / / Christoph Meinel, Larry Leifer, editors
| Design thinking research : interrogating the doing / / Christoph Meinel, Larry Leifer, editors |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (viii, 425 pages) : illustrations |
| Disciplina | 745.2071 |
| Collana | Understanding innovation |
| Soggetto topico | Industrial design - Study and teaching |
| ISBN | 3-030-62037-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Foreword -- Contents -- Introduction -- 1 UN-Learning, UN-Biasing, UN-Assuming, UN-Covering, UN-Thinking -- 1.1 UN-Learning -- 1.2 UN-Biasing -- 1.3 UN-Assuming -- 1.4 UN-Covering -- 1.5 UN-Thinking -- 2 Road Map Through This Book -- Theoretical Foundations of Design Thinking. Part III: Robert H. McKim's Visual Thinking Theories -- 1 Robert H. McKim as an Artist of Integration and Practical Experimentation -- 2 Experiences in Visual Thinking: Training Basic Skills for Creativity -- 3 A Theory of Creativity -- 3.1 Personal Challenge as a Creativity Requirement -- 3.2 Productive Information Processing as a Creativity Requirement -- 3.3 Flexibility as a Creativity Requirement -- 4 Creativity as Embodied Cognition -- 4.1 A Theory of Relaxed Attention -- 4.2 A Theory of Attention -- 4.3 A Theory of Memory -- 4.4 A Theory of Representation Systems -- 5 The Concept of Ambidextrous Thinking -- 6 The ETC Model for Creative Work: Express, Test, Cycle -- 6.1 Express -- 6.2 Test and Cycle -- 7 The Importance of Places: Or-Embedded Cognition -- 7.1 Environments to Facilitate Externalized Thinking -- 7.2 Prototyping Materials and Space-Design -- 7.3 Facilitating Flexibility with Spatial Designs -- References -- Part I Effective Design Thinking Training and Practice -- Designing as Performance: Bridging the Gap Between Research and Practice in Design Thinking Education -- 1 Introduction -- 1.1 The Research-Practice Gap -- 2 Theoretical Foundations -- 2.1 The Three Learning Outcomes: Affective, Cognitive and Skill-Based -- 3 Extended and Distributed Cognitive Models: Beyond Cartesian Thinking -- 3.1 Training in Performative Disciplines -- 4 Designing-as-Performance -- 4.1 Performative Patterns -- 4.1.1 MEDGI -- 4.1.2 Dimensions of Engagement -- 4.1.3 Analytic Questions/Answers and Generative Questions/Answers -- 4.1.4 Media Models.
5 Iterative Development and Evaluation -- 5.1 Preliminary Evaluation -- 5.1.1 Faculty and Staff European University Workshop -- 5.1.2 Professional Workshop: Train the Trainer -- 5.1.3 Legal Design Workshop: Redesigning Contracts -- 5.2 Evaluation of Designing-as-Performance and Performative Patterns -- 5.2.1 Master Class 2019: Advanced Coaching Strategies for Teams (1-Day Workshop) -- 5.2.2 Evaluation -- 5.2.3 Digital Health Design Lab, Summer Semester (15 Weekly Sessions) -- 5.2.4 Evaluation -- 6 Discussion -- 7 Conclusion -- References -- Developing a Tool to Measure the Transfer of Design Practice from Training Contexts to Applied Contexts -- 1 Introduction -- 1.1 Reflective Design Practice -- 1.2 Environmental Variables -- 2 Study 1: Using Reflective Design Practice to Categorize and Measure Aspects of Student Learning -- 2.1 Background -- 2.2 Participants -- 2.3 Methods -- 2.4 Initial Results -- 3 Study 2 (Pilot): Using Reflective Design Practice to Capture Applied Design Practice -- 3.1 Background -- 3.2 Participants -- 3.3 Methods -- 3.4 Future Analysis -- 4 Study 3: Capturing Environmental Variables in Applied Contexts -- 4.1 Background -- 4.2 Participants -- 4.3 Methods -- 4.4 Future Analysis -- 5 Study 4 (Pilot): Using Reflective Design Practice to Measure Initial Transfer -- 5.1 Background -- 5.2 Participants -- 5.3 Methods -- 5.4 Future Analysis -- 6 Conclusion -- References -- Using `Space' in Design Thinking: Concepts, Tools and Insights for Design Thinking Practitioners from Research -- 1 Introduction -- 2 Theoretical Background -- 2.1 The Understanding of Space -- 2.2 Design Thinking Coaching -- 3 Preparing the Workshop Space -- 3.1 Elements and Zones of a Design Thinking Space (Functional Jobs of the Space) -- 3.1.1 Team Space -- 3.1.2 Share Space -- 3.1.3 Prototyping Space -- 3.1.4 Social Space -- 3.1.5 Four Spaces vs. All In One. 3.2 Creating the Right Atmosphere in a Design Thinking Space (Emotional and Social Jobs of the Space) -- 3.2.1 Creating Ownership -- 3.2.2 Inspiration from Within and Without -- 4 Using the Workshop Space from a Coach's Perspective -- 4.1 Creating Spatial Awareness -- 4.2 Reflection -- 5 Using and Transforming the Workshop Space from a Participant's Perspective -- 5.1 The Use of Space: Evidence from Reflections -- 5.1.1 Space Use and Awareness -- 5.1.2 Triggers for Space Chance -- 5.1.3 Inhibitors of Space Change -- 5.2 Learnings and Tools Based on Students' Reflection -- 5.2.1 Lessons Learned from Students -- 5.2.2 60 s for Space (Check-In and Check-Out) -- 5.2.3 Space Configurator -- 6 Discussion -- References -- Video Capture Interface Prototype for Design Knowledge Capture and Pedagogical Implications -- 1 Background -- 1.1 Project Context -- 1.2 Course Context -- 2 Users and Stakeholders -- 2.1 Current Students -- 2.2 Future Students -- 2.3 Course Assistants -- 2.4 Coaches -- 2.5 Teaching Faculty -- 3 Benchmarking -- 3.1 Tang and Leifer -- 3.2 Yang and Cutkosky -- 3.3 WorkSpace Navigator -- 3.4 ActiveNavigator -- 4 Design Vision -- 4.1 Critical Experience Prototype -- 5 Testing -- 5.1 Video Capture -- 5.2 Video Coding and Analysis -- 6 Findings and Future Directions: Design Methodology Learning Goals -- 6.1 Benchmarking -- 6.2 Reflection -- 6.3 Contextualization -- A.1 Appendix -- References -- Razors for Arctic VIP Travelers: Using Warm-Up Games in MOOCs -- 1 Introduction -- 2 Context of Discussion Forum Warm-Ups Games -- 2.1 Onboarding -- 2.2 Discussion Forums -- 2.3 Warm-Up Games in Design Thinking and Improvisational Theatre -- 2.4 Warm-Ups and Improvisational Techniques in Physical Classrooms -- 3 Warm-Up Games in Three Design Thinking MOOCs -- 4 Results -- 5 Conclusion and Recommendations -- References. Part II Understanding Design Thinking Team Dynamics -- Design Team Performance: Context, Measurement, and the Prospective Impact of Social Virtual Reality -- 1 Introduction -- 1.1 Performance: Design Team Behavior -- 1.2 Context: Role of Environment -- 1.3 Measurement: Scientific Challenge -- 1.4 Promise: Social Virtual Reality -- 2 Guiding Question -- 3 Study Design and Experimental Setup -- 3.1 Experiment: Preparation -- 3.2 Experiment: Physical Setup -- 3.3 Experiment: Virtual Setup -- 3.4 Experiment: Participant Recruitment -- 3.5 Experiment: Procedure -- 4 Experiment: Data Collection -- 4.1 Video Data of Participant Interactions -- 4.2 Screen Capture of the First-Person View in VR -- 4.3 Body Tracking Data -- 4.4 Questionnaire Data -- 4.5 Verbal Debrief Video -- 5 Experiment: Preliminary Data Analysis -- 6 Discussion and Summary of Analysis -- 7 Synthesis -- 7.1 Prototype #1 -- 7.2 Provisional Resolution of the Clumsiness of Prototype #2 -- 8 Conclusion -- References -- The Neuroscience of Team Cooperation Versus Team Collaboration -- 1 Cooperation Versus Collaboration -- 2 Understanding Cooperation/Collaboration: Measurable Constructs -- 2.1 Neuroscientific Construct: Hyperscanning -- 2.2 Distinction Between Cooperation and Collaboration in Neuroscience -- 2.3 Functional Near-Infrared Spectroscopy (fNIRS) for Assessing IBS -- 3 Methodology -- 4 Planned Analysis and Conclusion -- References -- Organizational Learning Through a Process of Framing Orientations in Group Discourses -- 1 Organizational Learning on Group Discourses -- 2 Framing Orientations in Group Discourses -- 3 Data Collection -- 4 Three Ways of Framing Orientations Exemplified -- 5 Conclusion -- References -- Did It Have to End This Way? Understanding the Consistency of Team Fracture -- 1 Introduction -- 2 Related Work. 2.1 Interaction Patterns, Viability, and Fracture in Online Teams -- 3 Method -- 3.1 Tasks -- 3.2 Measures -- 3.3 Participants -- 4 Results -- 4.1 Manipulation Check -- 4.2 How Consistent Is Fracture? -- 4.3 Do Individuals Contribute to Fracture? -- 4.4 Is Fracture Evident from Discussion? -- 4.5 Behavior Under Fracture -- 5 Discussion -- 5.1 Limitations -- 5.2 Implications for Design -- 6 Conclusion -- References -- Part III Design Thinking in Practice: New Approaches and Application Fields -- Design Thinking at Scale: A Multi Team Design Thinking Approach -- 1 Introduction -- 2 Related Work -- 2.1 Integrated Design Thinking and Software Development Approaches -- 2.2 Scaled Agile Approaches -- 3 DT@Scale: Design Thinking at Scale Concept -- 3.1 Scaled Design Thinking Phase -- 3.2 Prototype Development Phase -- 3.3 Product Development Phase -- 3.4 Conclusion -- 4 Case Study: Improving the Software Development Experience -- 4.1 General Setup and Concept Adaptations -- 4.2 Scaled Design Thinking Seminar -- 4.3 Follow-Up Projects -- 4.3.1 Seminar Project: Immediate Feedback -- 4.3.2 Student Project: Data Generator -- 4.3.3 Student Project: What Information Does a Developer Need? -- 4.3.4 Bachelor Project: Data and Performance Aware Development -- 5 Discussion -- 5.1 Benefits and Challenges -- 6 Summary and Outlook -- References -- Design Guidelines for Early Childhood Computer Science Education Tools -- 1 Introduction -- 2 Method -- 2.1 Participants -- 2.2 Interview Procedure -- 2.3 Observation Procedure -- 2.4 Data and Analysis -- 3 Findings -- 3.1 Accessible -- 3.2 Approachable -- 3.3 Engaging -- 4 Discussion -- 4.1 Use Widely Accessible Hardware -- 4.2 Limit Literacy -- 4.3 Leverage Interdisciplinary Topics -- 4.4 Make It Personal -- 4.5 Support Collaboration -- 4.6 Jump Right In -- 4.7 Provide Explicit Scaffolding. 4.8 Let Kids Be Creative or Physical (or Both). |
| Record Nr. | UNINA-9910484434003321 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
STACS 99 : 16th annual symposium on theoretical aspects of computer science, Trier, Germany, March 4-6, 1999 : proceedings / / Christoph Meinel, Sophie Tison, editors
| STACS 99 : 16th annual symposium on theoretical aspects of computer science, Trier, Germany, March 4-6, 1999 : proceedings / / Christoph Meinel, Sophie Tison, editors |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (XIV, 590 p.) |
| Disciplina | 004.015113 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Computer science |
| ISBN | 3-540-49116-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Algorithms for Selfish Agents -- The Reduced Genus of a Multigraph -- Classifying Discrete Temporal Properties -- Complexity 1 -- Circuit Complexity of Testing Square-Free Numbers -- Relating Branching Program Size and Formula Size over the Full Binary Basis -- Theory of Parallel Algorithms 1 -- Memory Organization Schemes for Large Shared Data: A Randomized Solution for Distributed Memory Machines -- The Average Time Complexity to Compute Prefix Functions in Processor Networks -- Complexity 2 -- On the Hardness of Permanent -- One-Sided Versus Two-Sided Error in Probabilistic Computation -- Computational Geometry -- An Optimal Competitive Strategy for Walking in Streets -- An Optimal Strategy for Searching in Unknown Streets -- Parallel Searching on m Rays -- Complexity 3 -- A Logical Characterisation of Linear Time on Nondeterministic Turing Machines -- Descriptive Complexity of Computable Sequences -- Complexity of Some Problems in Universal Algebra -- Algorithms and Data Structures 1 -- New Branchwidth Territories -- Balanced Randomized Tree Splitting with Applications to Evolutionary Tree Constructions -- Treewidth and Minimum Fill-In of Weakly Triangulated Graphs -- Automata and Formal Languages -- Decidability and Undecidability of Marked PCP -- On Quadratic Word Equations -- Some Undecidability Results Related to the Star Problem in Trace Monoids -- Algorithms and Data Structures 2 -- An Approximation Algorithm for Max p-Section -- Approximating Bandwidth by Mixing Layouts of Interval Graphs -- Linear Time 1/2-Approximation Algorithm for Maximum Weighted Matching in General Graphs -- Complexity 4 -- Extending Downward Collapse from 1-versus-2 Queries to j-versus-j + 1 Queries -- Sparse Sets, Approximable Sets, and Parallel Queries to NP -- Algorithms and Data Structures 3 -- External Selection -- Fast Computations of the Exponential Function -- Verification -- A Model of Behaviour Abstraction for Communicating Processes -- Model Checking Lossy Vector Addition Systems -- Algorithms and Data Structures 4 -- Constructing Light Spanning Trees with Small Routing Cost -- Finding Paths with the Right Cost -- Complexity 5 -- In How Many Steps the k Peg Version of the Towers of Hanoi Game Can Be Solved? -- Lower Bounds for Dynamic Algebraic Problems -- An Explicit Lower Bound for TSP with Distances One and Two -- Theory of Parallel Algorithms 2 -- Scheduling Dynamic Graphs -- Supporting Increment and Decrement Operations in Balancing Networks -- Worst-Case Equilibria -- Algorithmic Learning -- A Complete and Tight Average-Case Analysis of Learning Monomials -- Costs of General Purpose Learning -- Universal Distributions and Time-Bounded Kolmogorov Complexity -- Logic in Computer Science -- The Descriptive Complexity Approach to LOGCFL -- The Weakness of Self-Complementation -- On the Difference of Horn Theories -- Complexity 6 -- On Quantum Algorithms for Noncommutative Hidden Subgroups -- On the Size of Randomized OBDDs and Read-Once Branching Programs for k-Stable Functions -- How To Forget a Secret -- Logic in Computer Science 2 -- A Modal Fixpoint Logic with Chop -- Completeness of Neighbourhood Logic -- Eliminating Recursion in the ?-Calculus -- Complexity 7 -- On Optimal Algorithms and Optimal Proof Systems -- Space Bounds for Resolution -- Algorithms and Data Structures 5 -- Upper Bounds for Vertex Cover Further Improved -- Online Matching for Scheduling Problems. |
| Record Nr. | UNINA-9910143470203321 |
| Berlin ; ; Heidelberg : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
STACS 99 : 16th annual symposium on theoretical aspects of computer science, Trier, Germany, March 4-6, 1999 : proceedings / / Christoph Meinel, Sophie Tison, editors
| STACS 99 : 16th annual symposium on theoretical aspects of computer science, Trier, Germany, March 4-6, 1999 : proceedings / / Christoph Meinel, Sophie Tison, editors |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (XIV, 590 p.) |
| Disciplina | 004.015113 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Computer science |
| ISBN | 3-540-49116-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Algorithms for Selfish Agents -- The Reduced Genus of a Multigraph -- Classifying Discrete Temporal Properties -- Complexity 1 -- Circuit Complexity of Testing Square-Free Numbers -- Relating Branching Program Size and Formula Size over the Full Binary Basis -- Theory of Parallel Algorithms 1 -- Memory Organization Schemes for Large Shared Data: A Randomized Solution for Distributed Memory Machines -- The Average Time Complexity to Compute Prefix Functions in Processor Networks -- Complexity 2 -- On the Hardness of Permanent -- One-Sided Versus Two-Sided Error in Probabilistic Computation -- Computational Geometry -- An Optimal Competitive Strategy for Walking in Streets -- An Optimal Strategy for Searching in Unknown Streets -- Parallel Searching on m Rays -- Complexity 3 -- A Logical Characterisation of Linear Time on Nondeterministic Turing Machines -- Descriptive Complexity of Computable Sequences -- Complexity of Some Problems in Universal Algebra -- Algorithms and Data Structures 1 -- New Branchwidth Territories -- Balanced Randomized Tree Splitting with Applications to Evolutionary Tree Constructions -- Treewidth and Minimum Fill-In of Weakly Triangulated Graphs -- Automata and Formal Languages -- Decidability and Undecidability of Marked PCP -- On Quadratic Word Equations -- Some Undecidability Results Related to the Star Problem in Trace Monoids -- Algorithms and Data Structures 2 -- An Approximation Algorithm for Max p-Section -- Approximating Bandwidth by Mixing Layouts of Interval Graphs -- Linear Time 1/2-Approximation Algorithm for Maximum Weighted Matching in General Graphs -- Complexity 4 -- Extending Downward Collapse from 1-versus-2 Queries to j-versus-j + 1 Queries -- Sparse Sets, Approximable Sets, and Parallel Queries to NP -- Algorithms and Data Structures 3 -- External Selection -- Fast Computations of the Exponential Function -- Verification -- A Model of Behaviour Abstraction for Communicating Processes -- Model Checking Lossy Vector Addition Systems -- Algorithms and Data Structures 4 -- Constructing Light Spanning Trees with Small Routing Cost -- Finding Paths with the Right Cost -- Complexity 5 -- In How Many Steps the k Peg Version of the Towers of Hanoi Game Can Be Solved? -- Lower Bounds for Dynamic Algebraic Problems -- An Explicit Lower Bound for TSP with Distances One and Two -- Theory of Parallel Algorithms 2 -- Scheduling Dynamic Graphs -- Supporting Increment and Decrement Operations in Balancing Networks -- Worst-Case Equilibria -- Algorithmic Learning -- A Complete and Tight Average-Case Analysis of Learning Monomials -- Costs of General Purpose Learning -- Universal Distributions and Time-Bounded Kolmogorov Complexity -- Logic in Computer Science -- The Descriptive Complexity Approach to LOGCFL -- The Weakness of Self-Complementation -- On the Difference of Horn Theories -- Complexity 6 -- On Quantum Algorithms for Noncommutative Hidden Subgroups -- On the Size of Randomized OBDDs and Read-Once Branching Programs for k-Stable Functions -- How To Forget a Secret -- Logic in Computer Science 2 -- A Modal Fixpoint Logic with Chop -- Completeness of Neighbourhood Logic -- Eliminating Recursion in the ?-Calculus -- Complexity 7 -- On Optimal Algorithms and Optimal Proof Systems -- Space Bounds for Resolution -- Algorithms and Data Structures 5 -- Upper Bounds for Vertex Cover Further Improved -- Online Matching for Scheduling Problems. |
| Record Nr. | UNISA-996466156903316 |
| Berlin ; ; Heidelberg : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||