This book shows the factors linking information flow, social intelligence, rights management and modelling with epistemic ...
Lire la suiteOn the level of a textbook a self-consistent approach to liquid separations with membranes is presented, contrasting equilibrium ...
Lire la suiteThis Finland in the nineteenth and twentieth centuries as an empirical case in order to study the emergence, shaping and ...
Lire la suiteLocal Newforms for GSp(4) describes a theory of new- and oldforms for representations of GSp(4) over a non-archimedean local ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program ...
Lire la suiteThis volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), ...
Lire la suiteConstitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
Lire la suiteThe 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed ...
Lire la suiteEdited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second ...
Lire la suiteThis volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis ...
Lire la suiteThe book signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic ...
Lire la suiteModern logic has been intimately connected with algebra since its origins in figures such as Boole, De Morgan, and Peirce. ...
Lire la suiteThe sources of new ideas and methods include practical developments in areas such as neural networks, quantum computation, ...
Lire la suiteLOGICAL DATA MODELING: What It Is and How To Do IT is directed toward three groups of people: (1) Business subject matter ...
Lire la suiteWhen applying the statistical theory of long range dependent (LRD) processes to economics, the strong complexity of macroeconomic ...
Lire la suiteLow Power UWB CMOS Radar Sensors deals with the problem of designing low cost CMOS radar sensors. The radar sensor uses UWB ...
Lire la suiteMATLAB® is used in a wide range of applications in geosciences, such as image processing in remote sensing, generation and ...
Lire la suiteThis book introduces a new knowledge representation model called MDATA (Multi-dimensional Data Association and inTelligent ...
Lire la suiteThis volume contains results of the German CFD initiative MEGAFLOW which combines many of the CFD development activities ...
Lire la suiteMicro-Electro Mechanical Systems (MEMS) is the integration of mechanical elements, sensors, actuators, and electronics on ...
Lire la suite