You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Este volumen es producto de una confluencia de experiencias historiográficas heterogéneas, forjadas en la práctica de la historia política, la historia religiosa y la historia conceptual desde diversos puntos de la geografía latinoamericana y reunidas en el grupo de trabajo, Religión y política, de la red Iberconceptos de historia conceptual comparada. Ofrece un acercamiento a la forma en que la producción histórica de campos diferenciados para lo político y lo religioso tuvo lugar en el lenguaje y, a través de éste, en las prácticas, instituciones y relaciones políticas. Está constituido por textos centrados en trayectorias semánticas específicas, estrechamente ligadas entr...
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019. The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on agent based systems, theorem proving, learning, verification, distributed algorithms, and program analysis.
This is the first textbook on pattern recognition to present the Bayesian viewpoint. The book presents approximate inference algorithms that permit fast approximate answers in situations where exact answers are not feasible. It uses graphical models to describe probability distributions when no other books apply graphical models to machine learning. No previous knowledge of pattern recognition or machine learning concepts is assumed. Familiarity with multivariate calculus and basic linear algebra is required, and some experience in the use of probabilities would be helpful though not essential as the book includes a self-contained introduction to basic probability theory.
The correct use of forage as animal food is a less expensive way of improving animal performance and reducing the costs of animal products. Therefore, we hope the book Forage Groups allows its readers to acquire knowledge about cultivation, harvesting, and conservation of grass and legumes. This book presents data from many countries around the world and we hope it will be useful for all interested readers in improving their background in forage.
Class-tested and coherent, this textbook teaches classical and web information retrieval, including web search and the related areas of text classification and text clustering from basic concepts. It gives an up-to-date treatment of all aspects of the design and implementation of systems for gathering, indexing, and searching documents; methods for evaluating systems; and an introduction to the use of machine learning methods on text collections. All the important ideas are explained using examples and figures, making it perfect for introductory courses in information retrieval for advanced undergraduates and graduate students in computer science. Based on feedback from extensive classroom experience, the book has been carefully structured in order to make teaching more natural and effective. Slides and additional exercises (with solutions for lecturers) are also available through the book's supporting website to help course instructors prepare their lectures.
The significantly expanded and updated new edition of a widely used text on reinforcement learning, one of the most active research areas in artificial intelligence. Reinforcement learning, one of the most active research areas in artificial intelligence, is a computational approach to learning whereby an agent tries to maximize the total amount of reward it receives while interacting with a complex, uncertain environment. In Reinforcement Learning, Richard Sutton and Andrew Barto provide a clear and simple account of the field's key ideas and algorithms. This second edition has been significantly expanded and updated, presenting new topics and updating coverage of other topics. Like the fir...
Judicial Reforms in Mexico
This volume brings together authors working on a wide range of topics to provide an up to date account of the underlying mechanisms and functions of neurogenesis and synaptogenesis in the adult brain. With an increasing understanding of the role of neurogenesis and synaptogenesis it is possible to envisage improvements or novel treatments for a number of diseases and the possibility of harnessing these phenomena to reduce the impact of ageing and to provide mechanisms to repair the brain.
En el presente libro se recogen hechos, situaciones y vivencias, de los que nuestros antepasados fueron protagonistas directos, indirectos, o meros espectadores. Su interés radica en el conocimiento de los mismos, con las peculiaridades de entonces. También es motivo de curiosidad para las personas de edad avanzada el que algunos hechos se relacionen con sus padres o abuelos; y para los más jóvenes, o no tan jóvenes, con sus bisabuelos o tatarabuelos. He aquí un fragmento de una curiosa noticia del año 1897, relacionada con el sacerdote D. José Pérez de Celis ... era conocido ... y temido hasta de los mismos liberales por su valor y osadía ... Cierto día, disputando en el sitio que hoy es paseo de la Fuencisla, con tres liberales acerca de la cuestión realista, no pudiendo vencer la terquedad de estos ... tuvo atrevimiento para echar a los tres, uno tras otro, al pilón del caño de la Fuencisla. Por todo ello, hemos considerado de interés dar a conocer esta y otras muchas noticias a las generaciones presentes y futuras.
This book constitutes the refereed proceedings of the 16th International Conference on Model Driven Engineering Languages and Systems, MODELS 2013, held in Miami, FL, USA, in September/October 2013. The 47 full papers presented in this volume were carefully reviewed and selected from a total of 180 submissions. They are organized in topical sections named: tool support; dependability; comprehensibility; testing; evolution; verification; product lines; semantics; domain-specific modeling languages; models@RT; design and architecture; model transformation; model analysis; and system synthesis.