You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
La proliferación actual de sistemas concurrentes, en general debido al abaratamiento sustancial de poderosos sistemas de cómputo, y el auge, cada vez mayor, que toman las aplicaciones distribuidas, hace que cada vez sea más interesante el estudio de los sistemas concurrentes en todos los aspectos de la Informática. La mayor complejidad y tamaño de los secuenciales convencionales exige el uso de técnicas adecuadas tanto para su diseño y análisis, como para su posterior implementación práctica. Este libro contiene las comunicaciones que han sido presentadas en la Octava edición de las Jornadas de Concurrencia, celebradas en Cuenca en junio de 2000. Este es un foro para el intercambio de experiencias entre los investigadores nacionales tanto de la Universidad como de la Industria en el campo de los sistemas concurrentes, y por tanto en él se muestran tanto los resultados teóricos como las aplicaciones industriales más recientes en esta materia.
This book constitutes the joint refereed proceedings of the First International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce, TheFormEMC, the first European Performance Engineering Workshop, EPEW, and the First International Workshop on Integration of Testing Methodologies, ITM, held jointly in association with FORTE 2004 in Toledo, Spain, in October 2004. The 27 revised full papers presented were carefully reviewed and selected from a total of 62 submissions. The papers are grouped in three topical sections corresponding to the workshop topics.
None
This two-volume set LNCS 10305 and LNCS 10306 constitutes the refereed proceedings of the 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, held in Cadiz, Spain, in June 2017. The 126 revised full papers presented in this double volume were carefully reviewed and selected from 199 submissions. The papers are organized in topical sections on Bio-inspired Computing; E-Health and Computational Biology; Human Computer Interaction; Image and Signal Processing; Mathematics for Neural Networks; Self-organizing Networks; Spiking Neurons; Artificial Neural Networks in Industry ANNI'17; Computational Intelligence Tools and Techniques for Biomedical Applications; Assistive R...
The Frontiers in Materials Editorial Office team are delighted to present the inaugural “Frontiers in Materials: Rising Stars” article collection, showcasing the high-quality work of internationally recognized researchers in the early stages of their independent careers. All Rising Star researchers featured within this collection were individually nominated by the Journal’s Chief Editors in recognition of their potential to influence the future directions in their respective fields. The work presented here highlights the diversity of research performed across the entire breadth of the materials science and engineering field, and presents advances in theory, experiment and methodology w...
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2004, held in Madrid, Spain, in September 2004. The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 54 submissions. Among the topics addressed are state-based specification, distributed Java objects, UML and SDL, algorithm verification, communicating automata, design recovery, formal protocol testing, testing and model checking, distributed real-time systems, formal composition, distributed testing, automata for ACTL, symbolic state space representation, pi-calculus, concurrency, Petri nets, routing protocol verification, and intrusion detection.
Robotic systems consist of object or scene recognition, vision-based motion control, vision-based mapping, and dense range sensing, and are used for identification and navigation. As these computer vision and robotic connections continue to develop, the benefits of vision technology including savings, improved quality, reliability, safety, and productivity are revealed. Robotic Vision: Technologies for Machine Learning and Vision Applications is a comprehensive collection which highlights a solid framework for understanding existing work and planning future research. This book includes current research on the fields of robotics, machine vision, image processing and pattern recognition that is important to applying machine vision methods in the real world.
En torno a los orígenes del cante flamenco es un ensayo histórico sobre flamencos, no sobre música; ni siquiera sobre música flamenca, sino sobre flamencos: intérpretes del cante flamenco. Obra inducida por una afirmación de un flamenco: Juan Talega. Decía Juan Talega: "Echando este pueblo fuera (Morón) éste, éste, cuando se coge el tren pa Sevilla, digo pa Cái, no me gustan las desviaciones, sino todos los pueblos rectos por esa misma vía, ese mismo ferrocarril. Sarvo excepciones, que es sólo Morón, sólo ¿eh? Me gusta Utrera, me gusta Lebrija, me gusta Las Cabezas, me gusta Jerez, El Puerto, los otros hasta Cái; desviaciones ninguna, pero ninguna absolutamente; …" Se esta...
Mobile Commerce (M-Commerce) comprises applications and services that are accessible from Internet-enabled mobile devices. It involves new technologies, services and business models. While it is different from traditional e-Commerce it can also be seen as an extension of e-Commerce in the sense that it, among others, makes e-Commerce available in a modern way to new application areas and to a new set of customers. The Internet is on its way to leave traces in all aspects of our life independently of where we are. Already today, mobile phones and PDAs are an indispensable part of our life as a source for all kinds of information and services and, especially, as our permanently available inter...