الصفحة 3
الصفحة 3
Model and Mathematics : From the 19th to the 21st Century
This book collects the historical and medial perspectives of a systematic and epistemological analysis of the complicated, multifaceted relationship between model and mathematics, ranging from, for example, the physical mathematical models of the 19th century to the simulation and digital modelling of the 21st century. The aim of this anthology is to showcase the status of the mathematical model between abstraction and realization, presentation and representation, what is modeled and what models.
Model and Design of Improved Current Mode Logic Gates : Differential and Single-ended
This book presents MOSFET-based current mode logic (CML) topologies, which increase the speed, and lower the transistor count, supply voltage and power consumption. The improved topologies modify the conventional PDN, load, and the current source sections of the basic CML gates.
Model and Design of Bipolar and MOS Current-Mode Logic : CML, ECL and SCL Digital Circuits
many works and results have been published which reinforce the importance of Current-Mode digital circuits. In the topic of Current-Mode digital circuits, the authors properly exploited classical paradigms developed and used in the analog circuit domain (a topic in which one of the authors maturated a great experience).
Mobility, data mining and privacy : Geographic knowledge discovery
This book assesses this research frontier from a computer science perspective, investigating the various scientific and technological issues, open problems, and roadmap. The editors manage a research project called GeoPKDD, Geographic Privacy-Aware Knowledge Discovery and Delivery, funded by the EU Commission and involving 40 researchers from 7 countries, and this book tightly integrates and relates their findings in 13 chapters covering all related subjects, including the concepts of movement data and knowledge discovery from movement data; privacy-aware geographic knowledge discovery; wireless network and next-generation mobile technologies; trajectory data models, systems and warehouses; privacy and security aspects of technologies and related regulations; querying, mining and reasoning on spatiotemporal data; and visual analytics methods for movement data.
Mobile Information Systems : Infrastructure and Design for Adaptivity and Flexibility
The book is divided into three parts: core technologies for mobile information systems (e.g., adaptive middleware and flexible e-services), enabling technologies (like data management on small devices or adaptive low-power hardware architectures or wireless networks), and methodological aspects of mobile information systems design (such as service profiling or user interface and e-service design for context-aware applications). It provides researchers in academia and industry with a comprehensive vision on innovative aspects which can be used as a basis for the development of new frameworks and applications.
Mobile Communications : Re-negotiation of the Social Sphere
Mobile Communications: Renegotiation of the Social Sphere surveys some of the broader issues associated with the adoption and use of mobile communication, and explores developing areas of inquiry. Mobile communications are looked at in the context of other types of mediated interaction (e-mail, instant messaging, Wi-Fi, landline telephone etc.), thus demonstrating the uniqueness of this form of communication and how it is influencing the renegotiation of the social sphere. A truly international set of contributors consider how mobile communication has impacted on society and reflect on how it is used (and sometimes resented) in various public and private spaces. They provide an in-depth analysis of specific areas which complement our understanding of the phenomena including: • The psychological dimensions of mobile communication (addiction, proclivity to be disturbed by others use of the mobile phone), • The linguistics of mobile communication, and • The understanding of mobile communication’s commercialisation. This book will be a valuable addition to any researcher’s or professional’s reading material in the area of interaction of technology and society, providing the reader with a broad insight and specific knowledge of how mobile communication is reformulating the social sphere.
Microelectronic Circuits
Devices and basic circuits -- Signals, amplifiers and semiconductors -- Operational amplifiers -- Diodes -- Bipolar junction transistors (BJTS) -- Mos field-effect transistors (MOSFETS) -- Transistor amplifiers -- Analog integrated circuits -- Building blocks of integrated-circuit amplifiers -- Differential and multistage amplifiers -- Frequency response -- Feedback -- Output stages and power amplifiers -- Operational-amplifier circuits -- Filters and oscillators -- Digital integrated circuits -- CMOS digital logic circuits -- Digital Design: Power, Speed, and Area -- Memory and Clocking Circuits
MICAI 2008 : Advances in Artificial Intelligence ;7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008 Proceedings
The 96 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 363 submissions. The papers are organized in topical sections on logic and reasoning, knowledge-based systems, knowledge representation and acquisition, ontologies, natural language processing, machine learning, pattern recognition, data mining, neural networks, genetic algorithms, hybrid intelligent systems, computer vision and image processing, robotics, planning and scheduling, uncertainty and probabilistic reasoning, fuzzy logic, intelligent tutoring systems, multi-agent systems and distributed ai, intelligent organizations, bioinformatics and medical applications, as well as applications.
MICAI 2006 : Advances in Artificial Intelligence ; 5th Mexican International Conference on Artificial Intelligence, Apizaco, Mexico, November 13-17, 2006, Proceedings
This volume contains the papers presented during the oral session of the 5 Mexican International Conference on Artificial Intelligence, held on November 13–17, 2006, at the Technologic Institute of Apizaco, Mexico. The conference received for evaluation 448 submissions by 1207 authors from 42 different countries
MICAI 2005 : Advances in Artificial Intelligence ; 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings
Constitutes the refereed proceedings of the 4th Mexican International Conference on Artificial Intelligence, MICAI 2005, held Mexico, in November 2005. This book is organized in topical sections on knowledge representation and management, logic and constraint programming, uncertainty reasoning, multiagent systems and distributed AI, and others.
Methodological Investigations in Agent-Based Modelling : With Applications for the Social Sciences
Examines the methodological complications of using complexity science concepts within the social science domain. The opening chapters take the reader on a tour through the development of simulation methodologies in the fields of artificial life and population biology, then demonstrates the growing popularity and relevance of these methods in the social sciences. Following an in-depth analysis of the potential impact of these methods on social science and social theory, the text provides substantive examples of the application of agent-based models in the field of demography. This work offers a unique combination of applied simulation work and substantive, in-depth philosophical analysis, and as such has potential appeal for specialist social scientists, complex systems scientists, and philosophers of science interested in the methodology of simulation and the practice of interdisciplinary computing research.
Messages security application
The rapid development of communication technology, is bringing many technological conveniences with it and simplifying our lives. On the other hand, it has disadvantages such as hiding the information that is continuously roaming through various communication media resources between senders and receivers and avoid sharing them with third parties. Eliminating these disadvantages via specific security methods and algorithms is related to the discipline called cryptography, which includes information security. Encryption is the process of turning a plaintext to jargon or the method of changing a confidential file to jargon in order to prevent unauthorized persons from gaining access to confidential message. A Message is the transfer of information from the sender to the receiver through a particular medium. Encryption is the most effective process for achieving data security.
Membrane Computing; 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers
This volume contains a selection of papers presented at the Eighth Workshop on Membrane Computing, WMC8, which took place in Thessaloniki, Greece, during June 25–28, 2008. Special attention was paid to the interaction of membrane computing with biology and computer science, focusing on the - ological roots of membrane computing, on applications of membrane computing in biology and medicine, and on possible electronically based implementations.
Membrane Computing ; Vol. 4361 ; 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers
The present volume contains a selection of papers presented at the Seventh Workshop on Membrane Computing, WMC7, which took place in Leiden, The Netherlands, during July 17–21, 2006. The ?rst three workshops on membrane computing were organized in Curtea de Arge¸ s, Romania – they took place in August 2000 (with the proceedings published in Lecture Notes in Computer Science, volume2235),in August 2001(with a selection of papers published asa special issue of Fundamenta Informaticae, volume 49, numbers 1–3, 2002), and in August 2002 (with the proceedings published in Lecture Notes in Computer Science, volume 2597). The next three workshops were organized in Tarragona, Spain, in July 2003, in Milan, Italy, in June 2004, and in Vienna, Austria, in July 2005, with the proceedings published as volumes 2933, 3365, and 3850, respectively, of Lecture Notes in Computer Science. The 2006edition of WMC wasorganized(and supported) byLorentzCenter, Leiden, under the auspices of the European Molecular Computing Consortium (EMCC). Special attention was paid to the interaction of membrane computing with biology, focusing both on the biological roots of membrane computing and on applications of membrane computing in biology and medicine.
Membrane Computing ; Vol. 3850 ; 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers
The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics in mathematics and computer science, to application issues, especially in biology. More specifically, these papers present research on topics such as: computational power and complexity classes, new types of P systems, relationships to Petri nets, quantum computing, and brane calculi, determinism vs. nondeterminism, hierarchies, the size of small families, algebraic approaches, and designing polynomial solutions to NP-complete problems through the use of membrane systems. Like the previous workshops,
Membrane Computing ; Vol. 3365 ; 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers
Constitutes the refereed extended postproceedings of the 5th International Workshop on Membrane Computing, held in Italy, in June 2004. This book addresses various topics in the area of membrane computing, ranging from mathematics and theoretical computer science to applications in biology, linguistics, and computer graphics.
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2005 ; 8th International Conference, Palm Springs, CA, USA, October 26-29, 2005, Proceedings, Part I
This paper presents a method for classification of medical images, using machine learning and deformation-based morphometry. A morphological representation of the anatomy of interest is first obtained using highdimensional template warping, from which regions that display strong correlations between morphological measurements and the classification (clinical) variable are extracted using a watershed segmentation, taking into account the regional smoothness of the correlation map which is estimated by a crossvalidation strategy in order to achieve robustness to outliers. A Support Vector Machine-Recursive Feature Elimination (SVM-RFE) technique is then used to rank computed features from the extracted regions, according to their effect on the leave-one-out error bound. Finally, SVM classification is applied using the best set of features, and it is tested using leave-one-out. The results from a group of 61 brain images of female normal controls and schizophrenia patients demonstrate not only high classification accuracy (91.8%) and steep ROC curves, but also exceptional stability with respect to the number of selected features and the SVM kernel size
Medical Biometrics ; 1st International Conference, ICMB 2008, Hong Kong, China, January 4-5, 2008, Proceedings
Medical biometrics primarily refers to the usage of beh- ioral and physiological characteristics of humans for medical diagnosis and body care. Thus the goal of medical biometrics is to explore solutions to the open problems in medicine using biometric measurements, technologies and systems.
Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann. The 30 revised reviewed papers are written by former and current students and colleagues of Jörg Siekmann; also included is an appraisal of the scientific career of Jörg Siekmann entitled "A Portrait of a Scientist: Logics, AI, and Politics." The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning.
Mathematics of Program Construction ; 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008.The 18 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 41 submissions. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.
