Diagrammatic Representation and Inference [[electronic resource] ] : Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18-20, 2002 Proceedings / / edited by Mary Hegarty, Bernd Meyer, N. Hari Narayanan |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (XIV, 370 p.) |
Disciplina | 006.6 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Application software Mathematics Computer programming Computer science—Mathematics Artificial Intelligence Computer Applications Mathematics, general Programming Techniques Discrete Mathematics in Computer Science Information Systems Applications (incl. Internet) |
ISBN | 3-540-46037-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talk -- What Does It Mean for a Computer to Do Diagrammatic Reasoning? A Functional Characterization of Diagrammatic Reasoning and Its Implications -- Understanding and Communicating with Diagrams -- Movement Conceptualizations in Graphical Communication -- Toward a Model of Knowledge-Based Graph Comprehension -- Learning on Paper: Diagrams and Discovery in Game Playing -- Diagrams in Mathematics -- Using Animation in Diagrammatic Theorem Proving -- Generating Euler Diagrams -- Corresponding Regions in Euler Diagrams -- Computational Aspects of Diagrammatic Representation and Reasoning -- CDEG: Computerized Diagrammatic Euclidean Geometry -- Compositional Semantics for Diagrams Using Constrained Objects -- Retrieving 2-D Line Drawings by Example -- A System That Supports Using Student-Drawn Diagrams to Assess Comprehension of Mathematical Formulas -- An Environment for Conducting and Analysing Graphical Communication Experiments -- Grammar-Based Layout for a Visual Programming Language Generation System -- Heterogeneous Data Querying in a Diagrammatic Information System -- Visualization vs. Specification in Diagrammatic Notations: A Case Study with the UML -- Logic and Diagrams -- The Inferential-Expressive Trade-Off: A Case Study of Tabular Representations -- Modeling Heterogeneous Systems -- On Diagram Tokens and Types -- Diagrams in Human-Computer Interaction -- Effects of Navigation and Position on Task When Presenting Diagrams to Blind People uUsing Sound -- A Fuzzy Visual Query Language for a Domain-Specific Web Search Engine -- Diagrammatic Integration of Abstract Operations into Software Work Contexts -- Tracing the Processes of Diagrammatic Reasoning -- Extracting Explicit and Implicit Information from Complex Visualizations -- Visual Attention and Representation Switching During Java Program Debugging: A Study Using the Restricted Focus Viewer -- Guiding Attention Produces Inferences in Diagram-Based Problem Solving -- Visualizing Information with Diagrams -- ViCo: A Metric for the Complexity of Information Visualizations -- Opening the Information Bottleneck in Complex Scheduling Problems with a Novel Representation: STARK Diagrams -- Using Brightness and Saturation to Visualize Belief and Uncertainty -- Diagrams in Software Engineering -- Structure, Abstraction, and Direct Manipulation in Diagram Editors -- On the Definition of Visual Languages and Their Editors -- Describing the Syntax and Semantics of UML Statecharts in a Heterogeneous Modelling Environment -- Cognitive Aspects of Diagrammatic Representation and Reasoning -- The Learnability of Diagram Semantics -- Understanding Simultaneity and Causality in Static Diagrams versus Animation -- External Representations Contribute to the Dynamic Construction of Ideas -- One Small Step for a Diagram, One Giant Leap for Meaning -- Understanding Static and Dynamic Visualizations -- Teaching Science Teachers Electricity Using AVOW Diagrams -- Conceptual Diagrams: Representing Ideas in Design -- A Survey of Drawing in Cross-Linguistic Communication -- Invited Talk -- Informal Tools for Designing Anywhere, Anytime, Anydevice User Interfaces. |
Record Nr. | UNISA-996465413003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Diagrammatic Representation and Inference : Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18-20, 2002 Proceedings / / edited by Mary Hegarty, Bernd Meyer, N. Hari Narayanan |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (XIV, 370 p.) |
Disciplina | 006.6 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Application software Mathematics Computer programming Computer science—Mathematics Artificial Intelligence Computer Applications Mathematics, general Programming Techniques Discrete Mathematics in Computer Science Information Systems Applications (incl. Internet) |
ISBN | 3-540-46037-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talk -- What Does It Mean for a Computer to Do Diagrammatic Reasoning? A Functional Characterization of Diagrammatic Reasoning and Its Implications -- Understanding and Communicating with Diagrams -- Movement Conceptualizations in Graphical Communication -- Toward a Model of Knowledge-Based Graph Comprehension -- Learning on Paper: Diagrams and Discovery in Game Playing -- Diagrams in Mathematics -- Using Animation in Diagrammatic Theorem Proving -- Generating Euler Diagrams -- Corresponding Regions in Euler Diagrams -- Computational Aspects of Diagrammatic Representation and Reasoning -- CDEG: Computerized Diagrammatic Euclidean Geometry -- Compositional Semantics for Diagrams Using Constrained Objects -- Retrieving 2-D Line Drawings by Example -- A System That Supports Using Student-Drawn Diagrams to Assess Comprehension of Mathematical Formulas -- An Environment for Conducting and Analysing Graphical Communication Experiments -- Grammar-Based Layout for a Visual Programming Language Generation System -- Heterogeneous Data Querying in a Diagrammatic Information System -- Visualization vs. Specification in Diagrammatic Notations: A Case Study with the UML -- Logic and Diagrams -- The Inferential-Expressive Trade-Off: A Case Study of Tabular Representations -- Modeling Heterogeneous Systems -- On Diagram Tokens and Types -- Diagrams in Human-Computer Interaction -- Effects of Navigation and Position on Task When Presenting Diagrams to Blind People uUsing Sound -- A Fuzzy Visual Query Language for a Domain-Specific Web Search Engine -- Diagrammatic Integration of Abstract Operations into Software Work Contexts -- Tracing the Processes of Diagrammatic Reasoning -- Extracting Explicit and Implicit Information from Complex Visualizations -- Visual Attention and Representation Switching During Java Program Debugging: A Study Using the Restricted Focus Viewer -- Guiding Attention Produces Inferences in Diagram-Based Problem Solving -- Visualizing Information with Diagrams -- ViCo: A Metric for the Complexity of Information Visualizations -- Opening the Information Bottleneck in Complex Scheduling Problems with a Novel Representation: STARK Diagrams -- Using Brightness and Saturation to Visualize Belief and Uncertainty -- Diagrams in Software Engineering -- Structure, Abstraction, and Direct Manipulation in Diagram Editors -- On the Definition of Visual Languages and Their Editors -- Describing the Syntax and Semantics of UML Statecharts in a Heterogeneous Modelling Environment -- Cognitive Aspects of Diagrammatic Representation and Reasoning -- The Learnability of Diagram Semantics -- Understanding Simultaneity and Causality in Static Diagrams versus Animation -- External Representations Contribute to the Dynamic Construction of Ideas -- One Small Step for a Diagram, One Giant Leap for Meaning -- Understanding Static and Dynamic Visualizations -- Teaching Science Teachers Electricity Using AVOW Diagrams -- Conceptual Diagrams: Representing Ideas in Design -- A Survey of Drawing in Cross-Linguistic Communication -- Invited Talk -- Informal Tools for Designing Anywhere, Anytime, Anydevice User Interfaces. |
Record Nr. | UNINA-9910143909803321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Gasification processes : modeling and simulation / / edited by Petr A. Nikrityuk and Bernd Meyer |
Pubbl/distr/stampa | Weinheim, Germany : , : Wiley-VCH, , 2014 |
Descrizione fisica | 1 online resource (362 p.) |
Disciplina | 665.772 |
Soggetto topico |
Coal gasification - Social aspects
Coal gasification - Environmental aspects Gas industry - Social aspects |
Soggetto genere / forma | Electronic books. |
ISBN |
3-527-67320-2
3-527-67318-0 3-527-67321-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Gasification Processes; Contents; Preface; List of Contributors; Acknowledgments; Recommended Reading; Coal Gasification: Basic Terminology; Chapter 1 Modeling of Gasifiers: Overview of Current Developments; 1.1 Numerical Modeling in Engineering; 1.1.1 The Role of Direct Numerical Simulation (DNS) in Particulate-Flow Modeling; Summary; 1.2 CFD-based Modeling of Entrained-Flow Gasifiers; 1.2.1 Mainstream Computational Submodels; 1.2.1.1 Particle Conversion; 1.2.1.2 Turbulence-Chemistry Interaction; 1.2.2 Review of CFD-related Works; 1.2.2.1 Noncommercial Software; 1.2.2.2 Commercial Software
Summary1.3 Benchmark Tests for CFD Modeling; 1.3.1 British Coal Utilization Research Association Reactor (BCURA); 1.3.2 Brigham Young University Reactor (BYU); 1.3.3 Pressurized Entrained-Flow Reactor (PEFR); References; Chapter 2 Gasification of Solids: Past, Present, and Future; 2.1 Introduction; 2.2 Historical Background; 2.3 Types of Gasification Reactors; 2.4 Trends in Gasifier Development; 2.5 Derived Challenges for Research; References; Chapter 3 Modeling of Moving Particles: Review of Basic Concepts and Models; 3.1 Introduction; 3.2 Soft-Sphere Model; 3.2.1 Numerical Implementation 3.2.1.1 Contact Forces3.2.1.2 Collision Parameters; 3.2.1.3 Contact Detection; 3.2.1.4 Time Integration; 3.2.2 Validation Cases; 3.2.2.1 Free-Falling Particle; 3.2.2.2 Analytic Solution for the Free-falling Particle; 3.2.2.3 Slipping Sphere on a Rough Surface; 3.2.3 Illustrative Examples; 3.2.3.1 Breaking Dam Problem; 3.2.3.2 Rotating Drum; 3.2.3.3 Generation of Fixed Beds; 3.3 Hard-Sphere Model; 3.3.1 Governing Equations; 3.3.2 Collision Treatment in Dense Particulate Systems; 3.3.3 2D Formulation of Hard-Sphere Collisions; 3.3.4 Illustration of Hard-Sphere Models; 3.3.5 Conclusions NomenclatureReferences; Chapter 4 CD and Nu Closure Relations for Spherical and NonSpherical Particles; 4.1 Literature Review; 4.2 Model Description; 4.2.1 Numerical Scheme and Discretization; 4.3 Code and Software Validation; 4.4 Porous Particles; 4.4.1 Geometry Assumptions; 4.4.2 Heat and Fluid Flow Past Porous Particles; 4.4.3 Drag and Nusselt Numbers for Porous Particles; 4.5 Nonspherical Particles; 4.5.1 Heat and Fluid Flow of Particles Oriented in the Flow Direction; 4.5.2 Flow Characteristics of Particles at Different Angles of Attack 4.5.3 Influence of Particle Orientation on Drag Forces and Heat Transfer4.5.3.1 Drag Forces; 4.5.3.2 Heat Transfer; 4.5.3.3 Drag Forces and Nusselt Relations for Two Rotations; 4.5.4 Discussion; 4.5.5 Conclusion; References; Chapter 5 Single Particle Heating and Drying; 5.1 Nonporous Spherical Particle Heating in a Stream of Hot Air; 5.1.1 State of the Art; 5.1.2 Problem and Model Formulation; 5.1.2.1 Linear Model; 5.1.3 Illustration of Results and Subgrid Model; 5.1.4 Semiempirical Two-Temperature Subgrid Model; 5.2 Heating of a Porous Particle; 5.2.1 Problem and Model Formulation 5.2.2 Porosity |
Record Nr. | UNINA-9910132186403321 |
Weinheim, Germany : , : Wiley-VCH, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Gasification processes : modeling and simulation / / edited by Petr A. Nikrityuk and Bernd Meyer |
Pubbl/distr/stampa | Weinheim, Germany : , : Wiley-VCH, , 2014 |
Descrizione fisica | 1 online resource (362 p.) |
Disciplina | 665.772 |
Soggetto topico |
Coal gasification - Social aspects
Coal gasification - Environmental aspects Gas industry - Social aspects |
ISBN |
3-527-67320-2
3-527-67318-0 3-527-67321-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Gasification Processes; Contents; Preface; List of Contributors; Acknowledgments; Recommended Reading; Coal Gasification: Basic Terminology; Chapter 1 Modeling of Gasifiers: Overview of Current Developments; 1.1 Numerical Modeling in Engineering; 1.1.1 The Role of Direct Numerical Simulation (DNS) in Particulate-Flow Modeling; Summary; 1.2 CFD-based Modeling of Entrained-Flow Gasifiers; 1.2.1 Mainstream Computational Submodels; 1.2.1.1 Particle Conversion; 1.2.1.2 Turbulence-Chemistry Interaction; 1.2.2 Review of CFD-related Works; 1.2.2.1 Noncommercial Software; 1.2.2.2 Commercial Software
Summary1.3 Benchmark Tests for CFD Modeling; 1.3.1 British Coal Utilization Research Association Reactor (BCURA); 1.3.2 Brigham Young University Reactor (BYU); 1.3.3 Pressurized Entrained-Flow Reactor (PEFR); References; Chapter 2 Gasification of Solids: Past, Present, and Future; 2.1 Introduction; 2.2 Historical Background; 2.3 Types of Gasification Reactors; 2.4 Trends in Gasifier Development; 2.5 Derived Challenges for Research; References; Chapter 3 Modeling of Moving Particles: Review of Basic Concepts and Models; 3.1 Introduction; 3.2 Soft-Sphere Model; 3.2.1 Numerical Implementation 3.2.1.1 Contact Forces3.2.1.2 Collision Parameters; 3.2.1.3 Contact Detection; 3.2.1.4 Time Integration; 3.2.2 Validation Cases; 3.2.2.1 Free-Falling Particle; 3.2.2.2 Analytic Solution for the Free-falling Particle; 3.2.2.3 Slipping Sphere on a Rough Surface; 3.2.3 Illustrative Examples; 3.2.3.1 Breaking Dam Problem; 3.2.3.2 Rotating Drum; 3.2.3.3 Generation of Fixed Beds; 3.3 Hard-Sphere Model; 3.3.1 Governing Equations; 3.3.2 Collision Treatment in Dense Particulate Systems; 3.3.3 2D Formulation of Hard-Sphere Collisions; 3.3.4 Illustration of Hard-Sphere Models; 3.3.5 Conclusions NomenclatureReferences; Chapter 4 CD and Nu Closure Relations for Spherical and NonSpherical Particles; 4.1 Literature Review; 4.2 Model Description; 4.2.1 Numerical Scheme and Discretization; 4.3 Code and Software Validation; 4.4 Porous Particles; 4.4.1 Geometry Assumptions; 4.4.2 Heat and Fluid Flow Past Porous Particles; 4.4.3 Drag and Nusselt Numbers for Porous Particles; 4.5 Nonspherical Particles; 4.5.1 Heat and Fluid Flow of Particles Oriented in the Flow Direction; 4.5.2 Flow Characteristics of Particles at Different Angles of Attack 4.5.3 Influence of Particle Orientation on Drag Forces and Heat Transfer4.5.3.1 Drag Forces; 4.5.3.2 Heat Transfer; 4.5.3.3 Drag Forces and Nusselt Relations for Two Rotations; 4.5.4 Discussion; 4.5.5 Conclusion; References; Chapter 5 Single Particle Heating and Drying; 5.1 Nonporous Spherical Particle Heating in a Stream of Hot Air; 5.1.1 State of the Art; 5.1.2 Problem and Model Formulation; 5.1.2.1 Linear Model; 5.1.3 Illustration of Results and Subgrid Model; 5.1.4 Semiempirical Two-Temperature Subgrid Model; 5.2 Heating of a Porous Particle; 5.2.1 Problem and Model Formulation 5.2.2 Porosity |
Record Nr. | UNINA-9910815238303321 |
Weinheim, Germany : , : Wiley-VCH, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Multilingualism at work [[electronic resource] ] : from policies to practices in public, medical and business settings / / edited by Bernd Meyer and Birgit Apfelbaum |
Pubbl/distr/stampa | Amsterdam ; ; Philadelphia, : John Benjamins Pub. Co., 2010 |
Descrizione fisica | vi, 274 p |
Disciplina | 306.44/6 |
Altri autori (Persone) |
MeyerBernd
ApfelbaumBirgit |
Collana | Hamburg studies on multilingualism |
Soggetto topico |
Multilingualism
Language acquisition |
Soggetto genere / forma | Electronic books. |
ISBN |
1-282-66335-6
9786612663352 90-272-8802-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910459279903321 |
Amsterdam ; ; Philadelphia, : John Benjamins Pub. Co., 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Multilingualism at work [[electronic resource] ] : from policies to practices in public, medical and business settings / / edited by Bernd Meyer and Birgit Apfelbaum |
Pubbl/distr/stampa | Amsterdam ; ; Philadelphia, : John Benjamins Pub. Co., 2010 |
Descrizione fisica | vi, 274 p |
Disciplina | 306.44/6 |
Altri autori (Persone) |
MeyerBernd
ApfelbaumBirgit |
Collana | Hamburg studies on multilingualism |
Soggetto topico |
Multilingualism
Language acquisition |
ISBN |
1-282-66335-6
9786612663352 90-272-8802-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Multilingualism at work: a brief introduction / Birgit Apfelbaum and Bernd Meyer -- -- Public sector. Linguistic competence and professional identity in English medium instruction / Juliane House and Magdalène Lévy-Tödter -- The multilingual organization of remembrance in Nazi camp memorials / Birgit Apfelbaum -- Achieving bilingualism in the Canadian federal public workplace: Does language training matter? / Guillaume Gentil, Josée Bigras and Maureen O'Connor -- Medical sector. Managing linguistic diversity in a South African HIV/AIDS day clinic / Christine Anthonissen -- Interpreter-mediated interaction as a way to promote multilingualism / Claudio Baraldi and Laura Gavioli -- Nurses as interpreters? Aspects of interpreter training for bilingual medical employees / Bernd Meyer, Kristin Bührig, Ortrun Kliche and Birte Pawlack -- Business sector. Conflicting discourses of rapport and co-membership: multilingual gatekeeping encounters at a day labor center in southern Arizona / Elise DuBord -- Plurilingual practices at multilingual workplaces / Georges Lüdi, Katharina Höchle and Patchareerat Yanaprasart -- Do other languages than English matter? International career development of highly-qualified professionals / Maria Amelina -- Multilingual business writing: The case of crisis communication / Kristin Bührig and Claudia Böttger. |
Record Nr. | UNINA-9910785184003321 |
Amsterdam ; ; Philadelphia, : John Benjamins Pub. Co., 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Syngas Production: Status and Potential for Implementation in Russian Industry / / by Vladimir Litvinenko, Bernd Meyer |
Autore | Litvinenko Vladimir |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XVI, 161 p. 34 illus., 17 illus. in color.) |
Disciplina | 621.042 |
Soggetto topico |
Energy
Chemical engineering Natural resources Phase transformations (Statistical physics) Condensed materials Econometrics Energy, general Industrial Chemistry/Chemical Engineering Natural Resources Quantum Gases and Condensates |
ISBN | 3-319-70963-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910299604803321 |
Litvinenko Vladimir | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Translating and interpreting healthcare discourses. / / María-José Varela Salinas, Bernd Meyer (eds.) |
Pubbl/distr/stampa | Berlin, [Germany] : , : Frank & Timme, , 2015 |
Descrizione fisica | 1 online resource (258 p.) |
Disciplina | 610.14 |
Collana | TransÜD : Arbeiten zur Theorie und Praxis des Übersetzens und Dolmetschens |
Soggetto topico |
Medicine - Translating
Health facilities - Translating services Translating and interpreting |
Soggetto genere / forma | Electronic books. |
ISBN | 3-7329-9785-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | spa |
Nota di contenuto | Contents/Índice; Prologue; Prólogo |
Record Nr. | UNINA-9910465926403321 |
Berlin, [Germany] : , : Frank & Timme, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Translating and interpreting healthcare discourses. / / María-José Varela Salinas, Bernd Meyer (eds.) |
Pubbl/distr/stampa | Berlin, [Germany] : , : Frank & Timme, , 2015 |
Descrizione fisica | 1 online resource (258 p.) |
Disciplina | 610.14 |
Collana | TransÜD : Arbeiten zur Theorie und Praxis des Übersetzens und Dolmetschens |
Soggetto topico |
Medicine - Translating
Health facilities - Translating services Translating and interpreting |
ISBN | 3-7329-9785-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | spa |
Nota di contenuto | Contents/Índice; Prologue; Prólogo |
Record Nr. | UNINA-9910798197703321 |
Berlin, [Germany] : , : Frank & Timme, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Translating and interpreting healthcare discourses. / / María-José Varela Salinas, Bernd Meyer (eds.) |
Pubbl/distr/stampa | Berlin, [Germany] : , : Frank & Timme, , 2015 |
Descrizione fisica | 1 online resource (258 p.) |
Disciplina | 610.14 |
Collana | TransÜD : Arbeiten zur Theorie und Praxis des Übersetzens und Dolmetschens |
Soggetto topico |
Medicine - Translating
Health facilities - Translating services Translating and interpreting |
ISBN | 3-7329-9785-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | spa |
Nota di contenuto | Contents/Índice; Prologue; Prólogo |
Record Nr. | UNINA-9910821614103321 |
Berlin, [Germany] : , : Frank & Timme, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|