|
Showing 1 - 13 of
13 matches in All Departments
Computation and communication technologies underpin work and
development in many different areas. Among them, Computer-Aided
Design of electronic systems and eLearning technologies are two
areas which, though different, in fact share many concerns. The
design of CAD and eLearning systems already touches on a number of
parallels, such as system interoperability, user interfaces,
standardisation, XML-based formats, reusability aspects, etc.
Furthermore, the teaching of Design Automation tools and methods is
particularly amenable to a distant or blended learning setting, and
implies the interconnection of typical CAD tools, such as
simulators or synthesis tools, with eLearning tools. There are many
other aspects in which synergy can be found when using eLearning
technology for teaching and learning technology. EduTech:
Computer-Aided Design Meets Computer-Aided Learning contains the
proceedings of the EduTech2004 workshop, which was held in August
2004 in conjunction with the 18th IFIP World Computer Congress in
Toulouse, France, and sponsored by the International Federation for
Information Processing (IFIP). Organized by IFIP WG 10.5 (Design
and Engineering of Electronic Systems) in cooperation with IFIP WG
3.6 (Distance Education), the workshop proceedings explore the
interrelationship between these two subjects, where computer-aided
design meets computer-aided learning. The book includes papers
related to eLearning in the area of electronic CAD, but also
includes contributions tackling general issues of eLearning that
are applicable to this and many other areas such as reusability,
standards, open source tools or mobility. This book will be of
value to those interested in the latest developments in eLearning
in general, and also to those coming from the electronic design
field who want to know how to apply these developments in their
area.
In the past few decades Computer Hardware Description Languages
(CHDLs) have been a rapidly expanding subject area due to a number
of factors, including the advancing complexity of digital
electronics, the increasing prevalence of generic and programmable
components of software-hardware and the migration of VLSI design to
high level synthesis based on HDLs. Currently the subject has
reached the consolidation phase in which languages and standards
are being increasingly used, at the same time as the scope is being
broadened to additional application areas. This book presents the
latest developments in this area and provides a forum from which
readers can learn from the past and look forward to what the future
holds.
It is recognized that formal design and verification methods are an
important requirement for the attainment of high quality system
designs. The field has evolved enormously during the last few
years, resulting in the fact that formal design and verification
methods are nowadays supported by several tools, both commercial
and academic. If different tools and users are to generate and read
the same language then it is necessary that the same semantics is
assigned by them to all constructs and elements of the language.
The current IEEE standard VHDL language reference manual (LRM)
tries to define VHDL as well as possible in a descriptive way,
explaining the semantics in English. But rigor and clarity are very
hard to maintain in a semantics defined in this way, and that has
already given rise to many misconceptions and contradictory
interpretations. Formal Semantics for VHDL is the first book that
puts forward a cohesive set of semantics for the VHDL language. The
chapters describe several semantics each based on a different
underlying formalism: two of them use Petri nets as target
language, and two of them higher order logic. Two use functional
concepts, and finally another uses the concept of evolving
algebras. Formal Semantics for VHDL is essential reading for
researchers in formal methods and can be used as a text for an
advanced course on the subject.
|
21st Century Learning for 21st Century Skills - 7th European Conference on Technology Enhanced Learning, EC-TEL 2012, Saarbrucken, Germany, September 18-21, 2012, Proceedings (Paperback, 2012 ed.)
Andrew Ravenscroft, Stefanie Lindstaedt, Carlos Delgado Kloos, Davinia Hernandez-Leo
|
R1,667
Discovery Miles 16 670
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 7th European
Conference on Technology Enhanced Learning, EC-TEL 2012, held in
Saarbrucken, Germany, in September 2012. The 26 revised full papers
presented were carefully reviewed and selected from 130
submissions. The book also includes 12 short papers, 16
demonstration papers, 11 poster papers, and 1 invited paper.
Specifically, the programme and organizing structure was formed
through the themes: mobile learning and context; serious and
educational games; collaborative learning; organisational and
workplace learning; learning analytics and retrieval; personalised
and adaptive learning; learning environments; academic learning and
context; and, learning facilitation by semantic means.
|
Towards Ubiquitous Learning - 6th European Conference on Technology Enhanced Learning, EC-TEL 2011, Palermo, Italy, September 20-23, 2011, Proceedings (Paperback, 2011)
Carlos Delgado Kloos, Denis Gillet, Raquel M. Crespo Garcia, Fridolin Wild, Martin Wolpers
|
R1,663
Discovery Miles 16 630
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 6th European
Conference on Technology Enhanced Learning, EC-TEL 2011, held in
Palermo, Italy, in September 2010.
The 30 revised full papers presented were carefully reviewed and
selected from 158 submissions. The book also includes 12 short
papers, 8 poster papers, and 2 invited paper. There are many
interesting papers on topics such as web 2.0 and social media,
recommender systems, learning analytics, collaborative learning,
interoperability of tools, etc.
This book is a collection of selected proceedings from the
EUNICE Summer School which took place in Colmenarejo in July of
2005. The book explores the theme of Networked Applications in
depth. It covers topics of advanced engineering such as ubiquitous
computing, full mobility and real-time multimedia, into real
services, applications, protocols and networks.
In the past few decades Computer Hardware Description Languages
(CHDLs) have been a rapidly expanding subject area due to a number
of factors, including the advancing complexity of digital
electronics, the increasing prevalence of generic and programmable
components of software-hardware and the migration of VLSI design to
high level synthesis based on HDLs. Currently the subject has
reached the consolidation phase in which languages and standards
are being increasingly used, at the same time as the scope is being
broadened to additional application areas. This book presents the
latest developments in this area and provides a forum from which
readers can learn from the past and look forward to what the future
holds.
Formal methods for hardware design still find limited use in
industry. Yet current practice has to change to cope with
decreasing design times and increasing quality requirements. This
research report presents results from the Esprit project FORMAT
(formal methods in hardware verification) which involved the
collaboration of the enterprises Siemens, Italtel, Telefonica I+D,
TGI, and AHL, the research institute OFFIS, and the universities of
Madrid and Passau. The work presented involves advanced
specification languages for hardware design that are intuitive to
the designer, like timing diagrams and state based languages, as
well as their relation to VHDL and formal languages like temporal
logic and a process-algebraic calculus. The results of experimental
tests of the tools are also presented.
It is recognized that formal design and verification methods are an
important requirement for the attainment of high quality system
designs. The field has evolved enormously during the last few
years, resulting in the fact that formal design and verification
methods are nowadays supported by several tools, both commercial
and academic. If different tools and users are to generate and read
the same language then it is necessary that the same semantics is
assigned by them to all constructs and elements of the language.
The current IEEE standard VHDL language reference manual (LRM)
tries to define VHDL as well as possible in a descriptive way,
explaining the semantics in English. But rigor and clarity are very
hard to maintain in a semantics defined in this way, and that has
already given rise to many misconceptions and contradictory
interpretations. Formal Semantics for VHDL is the first book that
puts forward a cohesive set of semantics for the VHDL language. The
chapters describe several semantics each based on a different
underlying formalism: two of them use Petri nets as target
language, and two of them higher order logic. Two use functional
concepts, and finally another uses the concept of evolving
algebras. Formal Semantics for VHDL is essential reading for
researchers in formal methods and can be used as a text for an
advanced course on the subject.
|
Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge - 6th European MOOCs Stakeholders Summit, EMOOCs 2019, Naples, Italy, May 20-22, 2019, Proceedings (Paperback, 1st ed. 2019)
Mauro Calise, Carlos Delgado Kloos, Justin Reich, Jose A. Ruiperez-Valiente, Martin Wirsing
|
R1,580
Discovery Miles 15 800
|
Ships in 10 - 15 working days
|
This book constitutes the proceedings of the 6th European
Conference on Massive Open Online Courses, EMOOCs 2019, held in
Naples, Italy, in May 2019. The 15 full and 6 short papers
presented in this volume were carefully reviewed and selected from
42 submissions. Massive Open Online Courses (MOOCs) have marked a
milestone in the use of technology for education. The reach,
potential, and possibilities of EMOOCs are immense. But they are
not only restricted to global outreach: the same technology can be
used to improve teaching on campus and training inside companies
and institutions. The chapter 'Goal Setting and Striving in MOOCs.
A Peek inside the Black Box of Learner Behaviour' is open access
under a CC BY 4.0 license at link.springer.com.
|
Digital Education: Out to the World and Back to the Campus - 5th European MOOCs Stakeholders Summit, EMOOCs 2017, Madrid, Spain, May 22-26, 2017, Proceedings (Paperback, 1st ed. 2017)
Carlos Delgado Kloos, Patrick Jermann, Mar Perez-Sanagustin, Daniel T. Seaton, Su White
|
R2,466
Discovery Miles 24 660
|
Ships in 10 - 15 working days
|
This book constitutes the proceedings of the 5th European
Conference, EMOOCs 2017, held in Leganes, Madrid, Spain, in May
2017. The 23 full and 10 short papers presented in this volume were
carefully reviewed and selected from 53 submissions. Massive Open
Online Courses (MOOCs) have marked a milestone in the use of
technology for education. The reach, potential, and possibilities
of EMOOCs are immense. But they are not only restricted to global
outreach: the same technology can be used to improve teaching on
campus and training inside companies and institutions.
The advance to the so-called Information Society is leading to an
enormous growth in the amount of multimedia information available.
The success or failure of the information technologies depends
ultimately on the services provided to the final user, and an
unmanageable amount of information can render them useless. To
tackle this problem, personalisation techniques are being developed
to help consumers find the specific contents that match their
preferences, interests, likings, and needs. Taking into account the
strategic role of personalisation in the future of the information
technologies, this book provides a technical overview of the
current research and development trends, considering the wide range
of application areas (education, government, commerce, news,
entertainment,...) and the multiple devices (personal computers,
digital TV set-top boxes, mobile phones, PDAs, watches, GPS
navigators, etc., they embrace. The book comprises chapters
authored by outstanding authors from academic institutions,
describing their particular works in an extensive and
self-contained manner, though with a global approach that will
allow the readers to easily understand the core commonalities
between the different algorithms, techniques, applications, and
technologic platforms.
|
|