الصفحة 45
الصفحة 45
From model-driven design to resource management for distributed embedded systems ; IFIP TC 10 Working conference on distributed and parallel embedded systems (DIPES 2006) October 11-13, 2006, Braga, Portugal
From Model-Driven Design to Resource Management for Distributed Embedded Systems contains 16 original contributions as well as 12 invited papers by distinguished invited speakers. These papers were presented at the Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), which was held in October 2006 in Braga, Portugal, and sponsored by the International Federation for Information Processing (IFIP). This volume covers the following very timely topics: model-driven design, test and evolution of embedded systems, timing analysis and predictability, scheduling, allocation, communication and resource management in distributed real-time systems.
From integrated publication and information systems to information and knowledge environments : Essays dedicated to Erich J. Neuhold on the Occasion of His 65th Birthday
This book constitutes a commemorative volume devoted to Erich J. Neuhold on the occasion of his 65th birthday. The 32 invited reviewed papers presented are written by students and colleagues of Erich Neuhold throughout all periods of his scientific career. The papers are organized in the following topical sections: Database management enabling information systems Semantic Web drivers for advanced information management Securing dynamic media content integration From digital libraries to intelligent knowledge environments Visualization – key to external cognition in virtual information environments From human-computer interaction to human-artefact interaction Domains for virtual information and knowledge environments.
From grids to service and pervasive computing
Grids are a crucial enabling technology for scientific and industrial development. Peer-to-peer computing, grid, distributed storage technologies, emerging web service technologies, and other types of networked distributed computing have provided new paradigms exploiting distributed resources. Grids are revolutionizing computing as profoundly as e-mail and the Web.From Grids to Service and Pervasive Computing, the 10th edited volume of the CoreGRID series, is based on the 2008 CoreGRID Symposium, held August 25-26 in the Canary Islands, Spain.
From Digital Twins to Digital Selves and Beyond : Engineering and Social Models for a Trans-humanist World
This book aims at deepening the understanding of the relation between cyber-physical systems (CPSs) as socio-technical systems and their digital representations with intertwined artificial intelligence (AI). The authors describe why it is crucial for digital selves to be able to develop emotional behavior and why a humanity-inspired AI is necessary so that humans and humanoids can coexist.
From Data to Models and Back ; 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers
This book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, held virtually, in October 2020. The 11 full papers and 3 short papers presented in this book were selected from 19 submissions. The papers are grouped in these topical sections: machine learning; simulation-based approaches, and data mining and processing related approaches.
From computer literacy to informatics fundamentals ; International conference on informatics in secondary schools : Evolution and perspectives, ISSEP 2005, Klagenfurt, Austria, March 30-April 1, 2005, Proceedings
Duetothepenetrationofinformationtechnologyintosocietyatlargeandinto schools in particular, the relationship between informatics and education leading togeneralcomputerliteracyortotheuseofIT-basedapproachesinconventional subjects, e-learning in school, is an evident focus of many contributions. According to the broad scope of the conference its proceedings are split into two volumes. This volume, From Computer Literacy to Informatics Fundam- tals, covers papers reporting on national strategies of informatics instruction and their evolution in accordance with the penetration of information proce- ing equipment in our daily life. In one way or another, these strategies strive to accommodate the needs of basic skills in information and communication te- nology (ICT) with educational principles that can be conveyed by informatics instruction in a traditional sense. Hence, the papers on national strategies are complementedintwoways: ?rstly, bycontributionsthatstrivetoidentifyfun- mental issues, informatics can contribute to the general education process of the youth; and, secondly, by papers presenting approaches on how to link or even to combine instruction about such informatics fundamentals with the need to introduce pupils to the productive use of ICT.
From brows to trust : Evaluating embodied conversational agents
This book will help experts and designers in the specification and development of applications incorporating ECAs. Part 1 provides guidelines for evaluation methodologies and the identification of design and evaluation parameters. Part 2 demonstrates the importance of considering the user's perspective and interaction experience. Part 3 addresses issues in fine-tuning design parameters of ECAs and verifying the perceived effect. Finally, in Part 4 lessons learned from a number of application case studies are presented. The book is intended for both ECA researchers in academia and industry, and developers and designers interested in applying the technology.
From Animals to Animats 9 ; 9th International Conference on Simulation of Adaptive Behavior, SAB 2006, Rome, Italy, September 25-29, 2006, Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Simulation of Adaptive Behavior, SAB 2006. The 35 revised full papers and 35 revised poster papers presented are organized in topical sections on the animat approach to adaptive behaviour, perception and motor control, action selection and behavioral sequences, navigation and internal world models, learning and adaptation, evolution, collective and social behaviours, applied adaptive behavior and more.
From Animals to Animats 10 ; 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, held in Osaka, Japan in July 2008.The 30 revised full papers and 21 revised poster papers presented were carefully reviewed and selected from 110 submissions. The papers are organized in topical sections on the animat approach to adaptive behaviour, evolution, navigation and internal world models, perception and control, learning and adaptation, cognition, emotion and behaviour, collective and social behaviours, adaptive behaviour in language and communication, and applied adaptive behaviour.
Free Convection Film Flows and Heat Transfer
This book presents recent developments in systematic studies of hydrodynamics and heat and mass transfer in laminar free convection, accelerating film boiling and condensation of Newtonian fluids, as well as accelerating film flow of non-Newtonian power-law fluids (FFNF). A novel system of analysis models is provided with a developed velocity component method, instead of traditional Falkner-Skan type transformation, and a system of models for treatment of variable thermophysical properties is presented with an innovative temperature parameter method that makes it easier to similarly treat related governing differential equations for consideration of fluid variable thermophysical properties. A pseudo-similarity method is applied for dealing with thermal boundary layer of FFNF, furthermore, with an induced local Prandtl number, which greatly simplifies the heat-transfer analysis and numerical calculation.
Framing global mathematics : The international mathematical union between theorems and politics
This book is about the shaping of international relations in mathematics over the last two hundred years. It focusses on institutions and organizations that were created to frame the international dimension of mathematical research. Today, striking evidence of globalized mathematics is provided by countless international meetings and the worldwide repository ArXiv. The text follows the sinuous path that was taken to reach this state, from the long nineteenth century, through the two wars, to the present day. International cooperation in mathematics was well established by 1900, centered in Europe. The first International Mathematical Union, IMU, founded in 1920 and disbanded in 1932, reflected above all the trauma of WW I. Since 1950 the current IMU has played an increasing role in defining mathematical excellence, as is shown both in the historical narrative and by analyzing data about the International Congresses of Mathematicians. For each of the three periods discussed, interactions are explored between world politics, the advancement of scientific infrastructures, and the inner evolution of mathematics. Readers will thus take a new look at the place of mathematics in world culture, and how international organizations can make a difference. Aimed at mathematicians, historians of science, scientists, and the scientifically inclined general public.
Fractional-in-time semilinear parabolic equations and applications
This book provides a unified analysis and scheme for the existence and uniqueness of strong and mild solutions to certain fractional kinetic equations. This class of equations is characterized by the presence of a nonlinear time-dependent source, generally of arbitrary growth in the unknown function, a time derivative in the sense of Caputo and the presence of a large class of diffusion operators. The global regularity problem is then treated separately and the analysis is extended to some systems of fractional kinetic equations, including prey-predator models of Volterra–Lotka type and chemical reactions models, all of them possibly containing some fractional kinetics.
Fractals in Engineering : New Trends in Theory and Applications
The strong potential of this research can be seen in real industrial situations with recent progress being made in areas such as chemical engineering, internet traffic, physics and finance. Image processing continues to be a major field of application for fractal analysis and is well-represented here. Consisting of papers written by a world-wide pool of experts, the multidisciplinary approach of this third volume will be of particular interest to industrial researchers and practitioners as well as to academics from many backgrounds.
Fractal Dimensions of Networks
The goal of the book is to provide a unified treatment of fractal dimensions of sets and networks. Since almost all of the major concepts in fractal dimensions originated in the study of sets, the book achieves this goal by first clearly presenting, with an abundance of examples and illustrations, the theory and algorithms for sets, and then showing how the theory and algorithms have been applied to networks. For example, the book presents the classical theory and algorithms for the box counting dimension for sets, and then presents the box counting dimension for networks. All the major fractal dimensions are studied, e.g., the correlation dimension, the information dimension, the Hausdorff dimension, the multifractal spectrum, as well as many lesser known dimensions. Algorithm descriptions are accompanied by worked examples, with many applications of the methods presented.
Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006 ; IFIP 19th World Computer Congress, TC-1, Foundations of Computer Science, August 23-24, 2006, Santiago, Chile
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Founders at Work : Stories of Startups’ Early Days
Founders at Work: Stories of Startups' Early Days is a collection of interviews with founders of famous technology companies about what happened in the very earliest days. These people are celebrities now. What was it like when they were just a couple friends with an idea? Founders like Steve Wozniak (Apple), Caterina Fake (Flickr), Mitch Kapor (Lotus), Max Levchin (PayPal), and Sabeer Bhatia (Hotmail) tell you in their own words about their surprising and often very funny discoveries as they learned how to build a company.
Founders at Work : Stories of Startups' Early Days
These stories are exceptionally interesting, because they're about the early stages, when the founders were younger and inexperienced. Most readers know startup founders only as confident millionaires.
Foundations of SQL Server 2005 Business Intelligence
This book explains how best to use Analysis Services, SQL Server Integration Services, SQL Server Reporting Services, and SQL Server Data Mining. It also describes best practices for implementing end-to-end BI solutions in small, medium, and large business environments. And it provides important information about integrating BI with various client tools.
Foundations of software science and computational structures ; Vol.3441 : 8th International Conference, FOSSACS 2005, Held as part of the joint European conferences on theory and practice of software, ETAPS 2005
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was est- lished in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite wo- shops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to the satellite events), and several tutorials. We - ceived over 550 submissions to the ?ve conferences this year, giving acceptance rates below 30% for each one. Congratulations to all the authors who made it to the ?nal program! I hope that most of the other authors still found a way of participating in this exciting event and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system devel- ment process, including speci?cation, design, implementation, analysis and impro- ment. The languages, methodologies and tools which support these activities are all well within its scope.
Foundations of software science and computational structures ; 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March/April 2007 as part of ETAPS 2007. The papers cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.
