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.
Hybrid learning : third international conference, ICHL 2010, Beijing, China, August 16-18, 2010 : proceedings / Philip Tsang [and others] (eds.).
Hybrid learning : third international conference, ICHL 2010, Beijing, China, August 16-18, 2010 : proceedings / Philip Tsang [and others] (eds.).
Creatore [ICHL (Conference) (3rd : 2010 : Beijing, China)]
Estensione 1 online resource (xv, 534 pages) : illustrations.
Disciplina 371.3
Accesso persona Tsang, Philip
ISBN 9783642146572
3642146570
9783642146565
3642146562
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Keynote -- Alternative Worlds as Teaching and Learning Environments -- Five Assumptions on Blended Learning: What Is Important to Make Blended Learning a Successful Concept? -- Interactive Hybrid Learning Systems -- Learning Performance Support System for Adult Learning -- E-Learning: Developing a Simple Web-Based Intelligent Tutoring System Using Cognitive Diagnostic Assessment and Adaptive Testing Technology -- Hybrid Learning Systems: Meeting the Challenges of Graduate Management Education -- An E-Class Teaching Management System (ECTMS): Strategy and Application -- Facebook – Education with Social Networking Websites for Teaching and Learning -- Content Management for Hybrid Learning -- Building Teachers’ TPACK through WebQuest Development and Blended Learning Process -- Hybrid Learning:“Neither Fish Nor Fowl” or “The Golden Mean” -- Techniques for Enhancing Hybrid Learning of Physical Education -- Using New Web Technologies in Teaching Demography -- Pedagogical and Psychological Issues -- Best Practices in Teaching Online or Hybrid Courses: A Synthesis of Principles -- Students’ Attitudes towards Web Searching -- Knowledge Structure of Elementary School Teacher Training Based on Educational Technology: Focus on Classroom Teaching -- A Qualitative Analysis of Sub-degree Students Commentary Styles and Patterns in the Context of Gender and Peer e-Feedback -- Outcome-Based Teaching and Learning -- Hybrid Learning Curriculum Development Using the ReProTool – Lessons from Ancient Philosophy -- Investigating Hong Kong Form 6 Students’ Perceptions towards Their Development of Critical Thinking Skills with Narrative Analysis Activities with Film -- ROAD-MAP for Educational Simulations and Serious Games -- Enhancing Blended Courses to Facilitate Student Achievement of Learning Outcomes -- Instructional Design Issues -- Building an Online Course Based on Semantic Wiki for Hybrid Learning -- A Hybrid Learning Compiler Course -- Understanding Online Knowledge Sharing: An Exploratory Theoretical Framework -- The Effects of “Facilitating” in an Online Asynchronous Teachers Training Course -- Developing a Mulitmedia Learning Model Based on Hands-On Learning: A Cognitive Apprenticeship Approach -- Experiences in Hybrid Learning -- Hybrid Learning of Physical Education Using National Elaborate Course Resources -- Key Factors of Effecting Blended Learning Satisfaction: A Study on Peking University Students -- Experience of Blended Learning in School Education: Knowledge about Perimeter of Closed Shapes -- A Review of Mobile Learning in the Mobile Age -- Hybrid Learning Mode for Industrial Engineering Specialized Courses in China -- Improved Flexibility of Learning Processes -- A Practical Approach to the Teaching of Internet Programming and Multimedia Technologies -- Use of Open Educational Resources: Challenges and Strategies -- The Use of Virtual Classroom in Library and Information Management Courses -- 3D Virtual Classroom Based on Multi-agent -- Computer Supported Collaborative Learning -- Learning in CALL Environments: An Exploration of the Effects of Self-regulated Learning Constructs on Chinese Students’ Academic Performance -- Automatic Support for the Analysis of Online Collaborative Learning Chat Conversations -- Knowledge Construction through Discussion Forum in a Blended Learning Environment -- On-Line Learning Community Based on Curricular -- Assessment Strategies for Hybrid Learning -- Comparison of Students’ Satisfaction and Dissatisfaction Factors in Different Classroom Types in Higher Education -- Cognitive Load Theory Based Effectiveness Evaluation on Dynamic Math Teaching -- Impact of 3D/VR Action Video Games on Players’ Cognition, Problem Solving and Its Implications in Simulation Training -- Implementing Institutional Online Assessment – Addressing the Challenges -- Organisational Frameworks and Institutional Policies -- Hybrid Learning: Teaching for Quality Learning at University -- The Diminishing Influence of Age and Gender on e-Learning Readiness of Teachers in Hong Kong -- Effectiveness of E-Learning at Secondary Schools in Hong Kong -- Competency Model for Chinese Distance Education in Higher Education -- Hybrid Learning and New Development of “IT in Education” Theory.
Record Nr. STANFORD-a9114339
[ICHL (Conference) (3rd : 2010 : Beijing, China)]  
Materiale a stampa
Lo trovi qui: Stanford University
Hybrid metaheuristics : 7th international workshop, HM 2010, Vienna, Austria, October 1-2, 2010 : proceedings / María J. Blesa [and others] (eds.).
Hybrid metaheuristics : 7th international workshop, HM 2010, Vienna, Austria, October 1-2, 2010 : proceedings / María J. Blesa [and others] (eds.).
Creatore [HM (Workshop) (7th : 2010 : Vienna, Austria)]
Estensione 1 online resource (x, 223 pages) : illustrations.
Disciplina 006.3
Accesso persona Blesa, María J.
ISBN 9783642160547
3642160549
9783642160530
3642160530
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Hybrid Metaheuristic for the Longest Common Subsequence Problem -- Hybrid Algorithms for the Variable Sized Bin Packing Problem -- A Hybrid Tabu Search Heuristic for a Bilevel Competitive Facility Location Model -- A Hybrid LS-CP Solver for the Shifts and Breaks Design Problem -- A New Approach for Solving the Generalized Traveling Salesman Problem -- Hybrid Heuristics for Dynamic Resource-Constrained Project Scheduling Problem -- A Multi-Start Evolutionary Local Search for the Two-Echelon Location Routing Problem -- A Memetic Algorithm for Reconstructing Cross-Cut Shredded Text Documents -- New Hybrid Matheuristics for Solving the Multidimensional Knapsack Problem -- An Improved Memetic Algorithm for Break Scheduling -- Consultant-Guided Search Algorithms for the Quadratic Assignment Problem -- On Index Structures in Hybrid Metaheuristics for Routing Problems with Hard Feasibility Checks: An Application to the 2-Dimensional Loading Vehicle Routing Problem -- Variable Neighborhood Search Coupled with ILP-Based Very Large Neighborhood Searches for the (Periodic) Location-Routing Problem -- SearchCol: Metaheuristic Search by Column Generation -- Survey: Matheuristics for Rich Vehicle Routing Problems.
Record Nr. STANFORD-a9114412
[HM (Workshop) (7th : 2010 : Vienna, Austria)]  
Materiale a stampa
Lo trovi qui: Stanford University
String processing and information retrieval : 17th international symposium, SPIRE 2010, Los Cabos, Mexico, October 11-13, 2010 : proceedings / Edgar Chavez, Stefano Lonardi (eds.).
String processing and information retrieval : 17th international symposium, SPIRE 2010, Los Cabos, Mexico, October 11-13, 2010 : proceedings / Edgar Chavez, Stefano Lonardi (eds.).
Creatore [SPIRE (Symposium) (17th : 2010 : Los Cabos, Baja California Sur, Mexico)]
Estensione 1 online resource (xiv, 408 pages) : illustrations.
Disciplina 005
Accesso persona Chávez, Edgar
Lonardi, Stefano
ISBN 9783642163210
3642163211
9783642163203
3642163203
Classificazione 06.64
54.60
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Crowdsourcing and recommendation -- Indexes and compressed indexes -- Theory -- String algorithms 1 -- Compressing -- Querying and search user experience -- String algorithms 2 -- Document analysis and comparison -- Compressed indexes -- String matching.
Record Nr. STANFORD-a9114416
[SPIRE (Symposium) (17th : 2010 : Los Cabos, Baja California Sur, Mexico)]  
Materiale a stampa
Lo trovi qui: Stanford University
Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings / Krishnendu Chatterjee, Thomas A. Henzinger (eds.).
Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings / Krishnendu Chatterjee, Thomas A. Henzinger (eds.).
Creatore [FORMATS (Conference) (8th : 2010 : Klosterneuburg, Austria)]
Estensione 1 online resource (x, 255 pages) : illustrations.
Disciplina 003/.3
Accesso persona Chatterjee, Krishnendu
Henzinger, T. A. (Thomas A.)
ISBN 9783642152979
364215297X
9783642152962
3642152961
Classificazione 54.52
54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Interdisciplinary Foundations for Open Cyber-Physical Systems -- Safraless Procedures for Timed Specifications -- Property-Based Monitoring of Analog and Mixed-Signal Systems -- A Framework for Verification of Software with Time and Probabilities -- Synchrony and Time in Fault-Tolerant Distributed Algorithms -- Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting -- Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games -- Natural Domain SMT: A Preliminary Assessment -- Robust Satisfaction of Temporal Logic over Real-Valued Signals -- Combining Symbolic Representations for Solving Timed Games -- Expected Reachability-Time Games -- Diagnosis Using Unfoldings of Parametric Time Petri Nets -- From Mtl to Deterministic Timed Automata -- Unambiguity in Timed Regular Languages: Automata and Logics -- A Process Algebraic Framework for Modeling Resource Demand and Supply -- Memory Event Clocks -- Simulation and Bisimulation for Probabilistic Timed Automata -- Layered Composition for Timed Automata -- A Conformance Testing Relation for Symbolic Timed Automata.
Record Nr. STANFORD-a9114693
[FORMATS (Conference) (8th : 2010 : Klosterneuburg, Austria)]  
Materiale a stampa
Lo trovi qui: Stanford University
Euro-Par 2010, parallel processing : 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, proceedings. Part II / Pasqua d'Ambra, Mario Guarracino, Domenico Talia (eds.).
Euro-Par 2010, parallel processing : 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, proceedings. Part II / Pasqua d'Ambra, Mario Guarracino, Domenico Talia (eds.).
Creatore [International EURO-PAR Conference (16th : 2010 : Ischia, Italy)]
Estensione 1 online resource (xxix, 544 pages).
Disciplina 004/.35
Accesso persona D'Ambra, Pasqua
Guarracino, Mario
Talia, Domenico
ISBN 9783642152917
3642152910
9783642152900
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. STANFORD-a9114859
[International EURO-PAR Conference (16th : 2010 : Ischia, Italy)]  
Materiale a stampa
Lo trovi qui: Stanford University
Implementation and application of functional languages : 21st international symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009 : revised selected papers / Marco T. Morazán, Sven-Bodo Scholz (eds.).
Implementation and application of functional languages : 21st international symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009 : revised selected papers / Marco T. Morazán, Sven-Bodo Scholz (eds.).
Creatore [International Symposium on Implementation and Application of Functional Languages (21st : 2009 : South Orange, N.J.)]
Estensione 1 online resource (viii, 235 pages) : illustrations.
Disciplina 005.13
Accesso persona Morazán, Marco T.
Scholz, Sven-Bodo
ISBN 9783642164781
3642164781
9783642164774
3642164773
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. STANFORD-a9114986
[International Symposium on Implementation and Application of Functional Languages (21st : 2009 : South Orange, N.J.)]  
Materiale a stampa
Lo trovi qui: Stanford University
Artificial evolution : 11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013. Revised Selected Papers / edited by Pierrick Legrand ... [and 5 more] (eds.).
Artificial evolution : 11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013. Revised Selected Papers / edited by Pierrick Legrand ... [and 5 more] (eds.).
Creatore [EA (Conference) (11th : 2013 : Bordeaux, France)]
Estensione 1 online resource (xvii, 271 pages) : illustrations.
Disciplina 006.3
Accesso persona Legrand, Pierrick, editor
ISBN 9783319116839
3319116835
3319116827
9783319116822
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Theory -- Ant colony optimization -- Applications -- Combinatorial and discrete optimization -- Memetic algorithms -- Genetic programming -- Interactive evolution -- Parallel evolutionary algorithms.- Swarm intelligence.
Record Nr. STANFORD-a10701699
[EA (Conference) (11th : 2013 : Bordeaux, France)]  
Materiale a stampa
Lo trovi qui: Stanford University
Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings. Part II / Tiziana Margaria, Bernhard Steffen (eds.).
Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings. Part II / Tiziana Margaria, Bernhard Steffen (eds.).
Creatore [ISoLA 2010 (2010 : Ērakleion, Greece)]
Estensione 1 online resource (xix, 500 pages) : illustrations.
Disciplina 005.1
Accesso persona Margaria-Steffen, Tiziana, 1964-
Steffen, Bernhard
ISBN 9783642165610
3642165613
9783642165603
3642165605
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods -- SecureChange: Security Engineering for Lifelong Evolvable Systems -- 3DLife: Bringing the Media Internet to Life -- LivingKnowledge: Kernel Methods for Relational Learning and Semantic Modeling -- Task Forces in the EternalS Coordination Action -- Modeling and Analyzing Diversity -- Modeling and Managing System Evolution -- Self-adaptation and Evolution by Learning -- Overview of Roadmapping by EternalS -- Formal Methods in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition of Conversational Services through Graph Planning Encoding -- Performance Prediction of Service-Oriented Systems with Layered Queueing Networks -- Error Handling: From Theory to Practice -- Modeling and Reasoning about Service Behaviors and Their Compositions -- Design and Verification of Systems with Exogenous Coordination Using Vereofy -- A Case Study in Model-Based Adaptation of Web Services -- Quantitative Verification in Practice -- Quantitative Verification in Practice -- Ten Years of Performance Evaluation for Concurrent Systems Using CADP -- Towards Dynamic Adaptation of Probabilistic Systems -- UPPAAL in Practice: Quantitative Verification of a RapidIO Network -- Schedulability Analysis Using Uppaal: Herschel-Planck Case Study -- Model-Checking Temporal Properties of Real-Time HTL Programs -- CONNECT: Status and Plans -- Towards an Architecture for Runtime Interoperability -- On Handling Data in Automata Learning -- A Theory of Mediators for Eternal Connectors -- On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring -- Dependability Analysis and Verification for Connected Systems -- Towards a Connector Algebra -- Certification of Software-Driven Medical Devices -- Certification of Software-Driven Medical Devices -- Arguing for Software Quality in an IEC 62304 Compliant Development Process -- Trustable Formal Specification for Software Certification -- Design Choices for High-Confidence Distributed Real-Time Software -- Assurance Cases in Model-Driven Development of the Pacemaker Software -- Modeling and Formalizing Industrial Software for Verification, Validation and Certification -- Improving Portability of Linux Applications by Early Detection of Interoperability Issues -- Specification Based Conformance Testing for Email Protocols -- Covering Arrays Generation Methods Survey -- Resource and Timing Analysis -- A Scalable Approach for the Description of Dependencies in Hard Real-Time Systems -- Verification of Printer Datapaths Using Timed Automata -- Resource Analysis of Automotive/Infotainment Systems Based on Domain-Specific Models -- A Real-World Example -- Source-Level Support for Timing Analysis -- Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code -- Worst-Case Analysis of Heap Allocations -- Partial Flow Analysis with oRange -- Towards an Evaluation Infrastructure for Automotive Multicore Real-Time Operating Systems -- Context-Sensitivity in IPET for Measurement-Based Timing Analysis -- On the Role of Non-functional Properties in Compiler Verification.
Record Nr. STANFORD-a9115365
[ISoLA 2010 (2010 : Ērakleion, Greece)]  
Materiale a stampa
Lo trovi qui: Stanford University
Programming languages and systems : 20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 : proceedings / Gilles Barthe (ed.).
Programming languages and systems : 20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 : proceedings / Gilles Barthe (ed.).
Creatore [European Symposium on Programming (20th : 2011 : Saarbrücken, Germany)]
Estensione 1 online resource (xiv, 500 pages) : illustrations.
Disciplina 005.1
Accesso persona Barthe, Gilles, 1967-
Accesso convegno ETAPS (Conference) (2011 : Saarbrücken, Germany)
ISBN 9783642197185
3642197183
9783642197178
3642197175
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. STANFORD-a9156104
[European Symposium on Programming (20th : 2011 : Saarbrücken, Germany)]  
Materiale a stampa
Lo trovi qui: Stanford University
Advances in neural networks -- ISNN 2011 [electronic resource] : 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29 - June 1, 2011, proceedings / Derong Liu ... [et al.] (eds.).
Advances in neural networks -- ISNN 2011 [electronic resource] : 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29 - June 1, 2011, proceedings / Derong Liu ... [et al.] (eds.).
Creatore [International Symposium on Neural Networks (8th : 2011 : Guilin Diqu, China)]
Estensione v. : ill. (some col.)
Disciplina 006.3/2
Accesso persona Liu, Derong
Accesso ente SpringerLink (Online service)
ISBN 9783642211058 (pt. 1 : electronic bk.)
3642211054 (pt. 1: electronic bk.)
9783642210907 (pt. 2 : electronic bk.)
3642210902 (pt. 2 : electronic bk.)
9783642211119 (pt. 3 : electronic bk.)
3642211119 (pt. 3 : electronic bk.)
9783642211041 (soft cover : alk. paper)
3642211046 (soft cover : alk. paper)
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. STANFORD-a9219272
[International Symposium on Neural Networks (8th : 2011 : Guilin Diqu, China)]  
Risorse elettroniche
Lo trovi qui: Stanford University