The migration to the KDE Platform 4 allows Amarok 2 to make use of technologies like Plasma, Phonon, and Solid which make Amarok easier to use and maintain.

Krusader's deep integration into KDE ( e. g. KParts, KIO ) allows it to provide several additional services.

This allows the user to control their X11 desktop ( KDE, GNOME, XFCE, etc.

The open-source nature of KDE and several of the programs running on it, allows some of these shortcomings to be found and circumvented.

* KDM ( provided by KDE ) allows the user to graphically select a window manager or desktop environment in the login screen

SuperKaramba ( From Portuguese and Spanish " super caramba ", that means approximately " super gee " or " super cool ") is a tool that allows one to easily create functionality enhancement modules on a KDE desktop.

It allows users of Unix-like operating systems running the KDE desktop environment to access a history of X Selections, any item of which can be reselected for pasting.

The design of debconf allows for front-ends for answering configuration questions to be added in a modular way, and there exist several, such as one for dialog, one for readline, one that uses a text editor, one for KDE, one for GNOME, a Python front-end API, etc.

It allows a user to change the desktop theme, mouse, keyboard and language settings, date and time, KDE menus, wallpaper, Package Manager settings, smolt, number of desktops.

* Metamath-a language for developing strictly formalized mathematical definitions and proofs accompanied by a proof checker for this language and a growing database of thousands of proved theorems ; while the Metamath language is not accompanied with an automated theorem prover, it can be regarded as important because the formal language behind it allows development of such a software ; as of March, 2012, there is no " widely " known such software, so it is not a subject of " automated theorem proving " ( it can become such a subject ), but it is a proof assistant.

Abstraction allows program designers to separate categories and concepts from instances of implementation, so that they do not depend on software or hardware.

A Bulletin Board System, or BBS, is a computer system running software that allows users to connect and log in to the system using a terminal program.

Other software including algorithmic beatmatching is Ableton Live, which allows for realtime music manipulation and deconstruction, or Mixmeister, a DJ Mixset creation tool.

It is implemented on two popular mobile phones, each provided with software disambiguation, which allows users to avoid using the space-bar.

Critics argue that content-filtering software allows private companies to censor as they please.

Some libraries that employ content-control software allow the software to be deactivated on a case-by-case basis on application to a librarian ; libraries that are subject to CIPA are required to have a policy that allows adults to request that the filter be disabled without having to explain the reason for their request.

Database software typically support the Open Database Connectivity ( ODBC ) standard which allows the database to integrate ( to some extent ) with other databases.

Database software typically support the Open Database Connectivity ( ODBC ) standard which allows the database to integrate ( to some extent ) with other databases.

SGML allows for public identifiers to be mapped to system identifiers in catalogs that are optionally made available to the URI resolvers used by document parsing software.

The software allows for courses tailored to an individual's abilities through frequent and automatic multiple intelligences assessments.

ECS also allows software switching between NTSC and PAL video modes.

This viewer application allows the content created by the proprietary authoring software to be readable on all supported operating-system platforms, free of charge, thus making it a more attractive solution.

Scripting software allows complicated mechanics that include many tables or a lot of math to be resolved at a push of the button, while teleconferencing allows the players and gamemaster to communicate through voice, video, and a shared whiteboard.

The main difference between the GPL and the LGPL is that the latter allows the work to be linked with ( in the case of a library, ' used by ') a non -( L ) GPLed program, regardless of whether it is free software or proprietary software.

This is because free and open source software allows hackers to get access to the source code used to create the software, to allow it to be improved or reused in other projects.

In addition, some software packages allows users to connect multiple ergometers either directly or over the internet for virtual races and workouts.

* If legacy software runs on only antiquated hardware, the cost of maintaining the system may eventually outweigh the cost of replacing both the software and hardware unless some form of emulation or backward compatibility allows the software to run on new hardware.

Solomonoff used this algorithm, and the code lengths it allows, to define a " universal probability " of a string on which inductive inference of the subsequent digits of the string can be based.

The system then allows or disallows calls and or features based on its customer file.

This allows for the formation of sets based on properties, in a limited sense, while ( hopefully ) preserving the consistency of the theory.

Computer generated animations are more controllable than other more physically based processes, such as constructing miniatures for effects shots or hiring extras for crowd scenes, and because it allows the creation of images that would not be feasible using any other technology.

Automatic lead selection or lead steering is also intended to improve efficiencies, both for inbound and outbound campaigns, whereby inbound calls are intended to quickly land with the appropriate agent to handle the task, whilst minimizing wait times and long lists of irrelevant options for people calling in, as well as for outbound calls, where lead selection allows management to designate what type of leads go to which agent based on factors including skill, socioeconomic factors and past performance and percentage likelihood of closing a sale per lead.

* By adding bits to each encoded unit, the redundancy allows both to detect errors in coded data and to correct them based on mathematical algorithms.

* By adding bits to each encoded unit, the redundancy allows both to detect errors in coded data and to correct them based on mathematical algorithms.

The game also features co-operative play ( co-op ) which allows players to complete the story based single player mode together.

While the article specifically prohibits discrimination based on " sex, race, colour, language, religion, political or other opinion, national or social origin, association with a national minority, property, birth or other status ", the last of these allows the court to extend to Article 14 protection to other grounds not specifically mentioned such as has been done regarding discrimination based on a person's sexual orientation.

However, the U. S. National Security Agency has endorsed ECC by including schemes based on it in its Suite B set of recommended algorithms and allows their use for protecting information classified up to top secret with 384-bit keys.

* E-2 visa, a type of visa which allows an individual to enter and work in the United States based on an investment he or she will be controlling, while inside the United States

Since the world has become more based in the framework of technology and its advancement, creating a selective internet that allows only some to surf the web freely is nonsensical according to Elliot.

The new code of points allows the gymnasts to gain higher scores based on the difficulty of the skills they perform as well as their execution.

While the description of strong and weak interactions within the Standard Model is based on gauge symmetries governed by the simple symmetry groups SU ( 3 ) and SU ( 2 ) which allow only discrete charges, the remaining component, the weak hypercharge interaction is described by an abelian symmetry U ( 1 ) which in principle allows for arbitrary charge assignments.

* The GPRS Core Network ( the optional part which allows packet based Internet connections ).

Because of its shape the Corbino disc allows the observation of Hall effect – based magnetoresistance without the associated Hall voltage.

The " rectangular shape " set, based on IEC 60617-12 and other early industry standards, has rectangular outlines for all types of gate and allows representation of a much wider range of devices than is possible with the traditional symbols.

This allows the Web page authors to give a more meaningful description for listings than might be displayed if the search engine was unable to automatically create its own description based on the page content.

The forwarding of the packet is done based on the contents of the labels, which allows " protocol-independent packet forwarding " that does not need to look at a protocol-dependent routing table and avoids the expensive IP longest prefix match at each hop.

It allows for derivation of the supply curve on which the neoclassical approach is based.

In Islam, Allah knows what choices humans are going to make and allows the actualization of the consequences of those choices based on his attributes of justice and mercy.

In an organizational structure, the Peter Principle's practical application allows assessment of the potential of an employee for a promotion based on performance in the current job ; i. e., members of an hierarchical organization eventually are promoted to their highest level of competence, after which further promotion raises them to incompetence.

This approach is based on asymptotic freedom, which allows perturbation theory to be used accurately in experiments performed at very high energies.