• No results found

Existing Tools for Supporting Learning to Program

Survey of Existing Tools for Formal Verification

Survey of Existing Tools for Formal Verification

... Spin is primarily targeted at the formal verification of software algorithms, specifically parallel, multi-threaded algorithms. As such, it is good for modeling asynchronous systems of interconnected components. Spin ...

42

Federal Metering Data Analysis Needs and Existing Tools

Federal Metering Data Analysis Needs and Existing Tools

... metering program: regulatory requirements, energy management, and metering system management to name a ...energy program that have the greatest impact ...

18

Comparative Study of Network Protocol Analyzer and Existing Tools

Comparative Study of Network Protocol Analyzer and Existing Tools

... Role of NPA (Network Protocol Analyzer) is to analyze and monitor network traffic. Here, NPA capturing network traffic and then applied for analysis & control by using filters. Filter plays main role for controlling ...

6

Tools for supporting language learning for Sakha

Tools for supporting language learning for Sakha

... language learning (CALL) plat- ...guage learning platform for learners beyond the beginner ...the tools for Sakha currently integrated into the Revita ...

9

Customizable Mobile Components as Supporting Tools for Blended Learning

Customizable Mobile Components as Supporting Tools for Blended Learning

... * University “Goce Delcev”- Stip / Faculty of Informatics, Stip, Macedonia [email protected], [email protected], [email protected] Abstract - Combining mobile technology to work on the go ...

9

Supporting the learning of Polish and Czech students by digital tools

Supporting the learning of Polish and Czech students by digital tools

... Introduction E-learning is successful today as a method which supports or substitutes the traditional didactic process (t-learning). A growing interest is also observed in e-learning as a scientific ...

15

Online tools supporting the conduct and reporting of systematic reviews and systematic maps: a case study on CADIMA and review of existing tools

Online tools supporting the conduct and reporting of systematic reviews and systematic maps: a case study on CADIMA and review of existing tools

... powerful tools to identify, collect, evaluate and summarise primary research pertinent to a specific research question or topic in a highly standardised and reproducible ...available tools by pro- viding a ...

17

Tools for Supporting Hybrid Learning Strategies in Open Source Software Environments

Tools for Supporting Hybrid Learning Strategies in Open Source Software Environments

... describe learning activities proposed within the project I*Teach [5], and their representation using ...hybrid learning environment, including classroom face-to face lessons, group interactions and ...

10

Evaluation of software tools supporting outcomes-based continuous program improvement processes

Evaluation of software tools supporting outcomes-based continuous program improvement processes

... software tools for outcomes based CPI processes is ...from learning and/or content management systems, specialized assessment tools, continuous program improvement solutions and integrative ...

8

Review of Existing Energy Retrofit Tools

Review of Existing Energy Retrofit Tools

... EnergyPlus is a whole building energy simulation tool mostly targeting engineers and researchers which calculates energy use and environmental performance in buildings (DOE 2013c). EnergyPlus has capabilities that enable ...

38

Tools of trade : Supporting consistency in processes related to work-integrated learning (WIL)

Tools of trade : Supporting consistency in processes related to work-integrated learning (WIL)

... Perhaps of equal benefit is the evidence provided by the project to support the value of interdisciplinary and inter-professional co-operation. Stone (2010) identifies the benefits of inter-professional learning ...

12

Web-service architecture for tools supporting life-long e-Learning platforms

Web-service architecture for tools supporting life-long e-Learning platforms

... lifelong learning should result in competences that are widely recognized and interoperable and should be adapted to take into account individual characteristics (preferences, needs, language, ...of ...

7

A Brief Introduction of Existing Big Data Tools

A Brief Introduction of Existing Big Data Tools

... Storm Twister For Iterations/ Learning For Streaming For Query S4 Drill Hadoop MPI Dryad/ DryadLINQ Pig/PigLatin Spark Shark Spark Streaming MRQL Hive Tez Giraph Hama GraphLab Harp Graph[r] ...

38

CiteSeerX — Explaining Soar: Analysis of Existing Tools

CiteSeerX — Explaining Soar: Analysis of Existing Tools

... In order to reconcile the potentially divergent objectives of achieving increasingly realistic models of human cognition and developing useful mechanisms for displaying the situation awareness of these models, we believe ...

6

Existing Analytical Market Assessment Tools - Definitions

Existing Analytical Market Assessment Tools - Definitions

... 3.9. Organizational and Systems Analysis analyzes the organizational structure of a company and the systems that implement the company's strategy, produce its products/services, take advantage of its resources and ...

10

Supporting local government: Existing initiatives for sustainable development

Supporting local government: Existing initiatives for sustainable development

... sustainable business, sustainable water and land management, infrastructure, and urban development (particularly the future of Auckland). The ET was coupled with the themes of national identity and families — young and ...

50

Medical Students’ Perception of Using Electronic Learning Tools in an ESP Program

Medical Students’ Perception of Using Electronic Learning Tools in an ESP Program

... of learning in the ...and learning processes in any education institution, it seems that the grounds are prepared for implementing e-learning programs in university program as long as ...

8

PROSA A Computer Program as Instructional Environment for Supporting the Learning of Legal Case Solving

PROSA A Computer Program as Instructional Environment for Supporting the Learning of Legal Case Solving

... end learning is concerned with five different kinds of things one has to know, or that one must be able to do ...desired learning outcome and the internal ...

16

Professional Learning Communities Supporting Teacher Collaboration And Student Achievement:  A Program Evaluation

Professional Learning Communities Supporting Teacher Collaboration And Student Achievement: A Program Evaluation

... electronic resource secured by MHSD. This resource provides instructional staff with a tool that quickly aggregates student formative assessment data, which can easily be shared electronically within teachers’ gradebooks ...

241

Quest Software Tools supporting Developer Teams

Quest Software Tools supporting Developer Teams

... their existing IT infrastruc- ...Leveraging existing IT assets and human capital with easy-to-use, affordable tools is the mis- sion of the TOAD ® Suite and Quest ...of supporting the business ...

12

Show all 10000 documents...

Related subjects