Page 34
Page 34
Matematica generale con il calcolatore
By introducing mathematical objects, it teaches students how to use a computer to perform numerical and symbolic calculations, define a function and calculate its values, plot and explore graphs, and execute simple algorithms. The course is rich in examples, applications, and models, drawn from economics, physics, biology, statistics, and mathematics itself. The analysis of these models constitutes, in a certain sense, the true purpose of the mathematical theory covered. Automatic calculation tools (mathematics software, spreadsheets) are used extensively to explore and illustrate concepts and properties. Mathcad® software, in particular, was used, both as a calculation tool and as a simple yet powerful programming language. Considerable space is devoted to approximation, emphasizing the distinction between numerical and symbolic calculation; to algorithms as a synthesis of the syntactic and semantic aspects of mathematical objects; and to computer simulation, interpreted as a "physical" experiment and a source of conjecture. The ability to use a calculator marks a sort of "democratization" of mathematics: even complex results, which have always required a broad background of knowledge and laborious calculations, are now quickly accessible to anyone who understands the meaning of mathematical objects and knows how to use the syntax.
Markets, Games, and Strategic Behavior : An Introduction to Experimental Economics
This is the perfect book for any undergraduate course in experimental economics or behavioral game theory. New material on topics such as matching, belief elicitation, repeated games, prospect theory, probabilistic choice, macro experiments, and statistical analysis Participatory experiments that connect behavioral theory and laboratory research Largely self-contained chapters that can each be covered in a single class Guidance for instructors on setting up classroom experiments, with either hand-run procedures or free online software End-of-chapter problems, including some conceptual-design questions, with hints or partial solutions provided
Maple and Mathematica : A Problem Solving Approach for Mathematics
the history of mathematics there are many situations in which cal- lations were performed incorrectly for important practical applications. the history of computing the number began in Egypt and Babylon about 2000 years BC, since then many mathematicians have calculated (e. g. , Archimedes, Ptolemy, Vi` ete, etc. ). In modern mathematics there exist computers that can perform various mathematical operations for which humans are incapable. Therefore the computers can be used to verify the results obtained by humans, to discovery new results, to - prove the result sthatahumancanobtain without anytechnology
Map-based Mobile Services : Design, Interaction and Usability
It addresses methods and techniques for topics that range from design and rendering, context modelling, personalisation, multimodal interaction to usability test. Instead of striving for a seamless coverage of all essential theoretical and technical issues with an equal depth and extent, we attempt to pinpoint a number of research highlights and representative development activities at universities, research institutions and so- ware industry. The operational prototypes and platforms reported in the book are on the one hand outcome and feasibility proof of various approaches. On the other hand, they serve as a new starting point for the refinement of user interfaces and iterative usability tests.
Many-Core Computing : Hardware and software
Provides a timely and coherent account of the recent advances in many-core computing research. Starting with programming models, operating systems and their applications; it presents runtime management techniques, followed by system modelling, verification and testing methods, and architectures and systems. Computing has moved away from a focus on performance-centric serial computation, instead towards energy-efficient parallel computation. This provides continued performance increases without increasing clock frequencies, and overcomes the thermal and power limitations of the dark-silicon era. As the number of parallel cores increases, we transition into the many-core computing era. There is considerable interest in developing methods, tools, architectures and applications to support many-core computing.
Managing Humans : More Biting and Humorous Tales of a Software Engineering Manage
Expands on the previous editions’ explorations of management essentials including handling stress, building diverse teams, running inclusive meetings, and how to lead in times of crisis. The education of a great leader never stops, and Lopp applies crucial insights to help continue your never-ending leadership education. Whether it is approaching a myriad of engineering personalities or handling unexpected conflict, you will come away with the wisdom to handle any team situation.
Managing Humans : Biting and Humorous Tales of a Software Engineering Manager
Managing Humans is a selection of the best essays from Michael Lopp's web site, Rands in Repose. Drawing on Lopp's management experiences at Apple, Netscape, Symantec, and Borland, this book is full of stories based on companies in the Silicon Valley where people have been known to yell at each other. It is a place full of dysfunctional bright people who are in an incredible hurry to find the next big thing so they can strike it rich and then do it all over again. Among these people are managers, a strange breed of people who through a mystical organizational ritual have been given power over your future and your bank account.
Managing Development and Application of Digital Technologies : Research Insights in the Munich Center for Digital Technology & Management (CDTM)
Digital technology determines today’s world and will be one of the key technologies of the future. Successful technology development, introduction and management are not only a question of technical issues; due to their complexity a close cooperation between different scientific disciplines is required to discuss various consequences, chances and risks from manifold points of view as a starting point for the design of adequate solutions. The ability to integrate business and technology decisions will become a crucial core competence.
Managed Software Evolution
This book presents the outcomes of the “Design for Future – Managed Software Evolution” .The different lifecycles of software and hardware platforms lead to interoperability problems in such systems. Instead of separating the development, adaptation and evolution of software and its platforms, as well as aspects like operation, monitoring and maintenance, they should all be integrated into one overarching process. Accordingly, the book is split into three major parts, the first of which includes an introduction to the nature of software evolution, followed by an overview of the specific challenges and a general introduction to the case studies used in the project. The second part of the book consists of the main chapters on knowledge carrying software, and cover tacit knowledge in software evolution, continuous design decision support, model-based round-trip engineering for software product lines, performance analysis strategies, maintaining security in software evolution, learning from evolution for evolution, and formal verification of evolutionary changes. In turn, the last part of the book presents key findings and spin-offs. The individual chapters there describe various case studies, along with their benefits, deliverables and the respective lessons learned. An overview of future research topics rounds out the coverage.
Malware Detection
Malware Detection, based on the Special ARO/DHS Workshop on Malware Detection at Rosslyn, VA, in 2005, captures the state of the art research in the area of malicious code detection, prevention and mitigation.
Making Globally Distributed Software Development a Success Story : International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008 Proceedings
This volume contains papers presented at the International Conference on Software Process (ICSP 2008) held in Leipzig, Germany, during May 10-11, 2008. ICSP 2008 was the second conference of the ICSP series. The theme of ICSP 2008 was “Making Globally Distributed Software Development a Success Story. ” Software developers work in a dynamic context of frequently changing technologies and with limited resources. Globally distributed development teams are under ev- increasing pressure to deliver their products more quickly and with higher levels of qu- ity. At the same time, global competition is forcing software development organizations to cut costs by rationalizing processes, outsourcing part of or all development activities, reusing existing software in new or modified applications, and evolving existing systems to meet new needs, while still minimizing the risk of projects failing to deliver.
Making Beautiful Deep-Sky Images : Astrophotography with Affordable Equipment and Software
Professor Greg Parker's astronomical photographs are widely known for their excellence, and a selection of them has recently been shown as a public exhibition in the UK. In Making Beautiful Deep-Sky Images, he provides a detailed account of how spectacular deep-sky images can be taken by amateur astronomers using CCD cameras, and how they can subsequently be processed and enhanced in the "electronic darkroom" for maximum beauty and impact. Quite simply, this is a "how to do it" book for people who want to make stunning astronomical pictures.
Machine Learning for Multimodal Interaction ; 4th International Workshop, MLMI 2007, Brno, Czech Republic, June 28-30, 2007, Revised Selected Papers
This book contains a selection of revised papers from the 4th Workshop on Machine Learning for Multimodal Interaction (MLMI 2007), which took place in Brno, Czech Republic, during June 28 30, 2007. As in the previous editions of the MLMI series, the 26 chapters of this book cover a large area of topics, from multimodal processing and human computer interaction to video, audio, speech and language processing. The application of machine learning techniques to problems arising in these felds and the design and analysis of software
Machine learning for data streams : With practical examples in MOA
The book first offers a brief introduction to the topic, covering big data mining, basic methodologies for mining data streams, and a simple example of MOA. More detailed discussions follow, with chapters on sketching techniques, change, classification, ensemble methods, regression, clustering, and frequent pattern mining. Most of these chapters include exercises, an MOA-based lab session, or both. Finally, the book discusses the MOA software, covering the MOA graphical user interface, the command line, use of its API, and the development of new methods within MOA.
Machine Learning for Cyber Agents : Attack and Defence
The cyber world has been both enhanced and endangered by AI. On the one hand, the performance of many existing security services has been improved, and new tools created. On the other, it entails new cyber threats both through evolved attacking capacities and through its own imperfections and vulnerabilities. Moreover, quantum computers are further pushing the boundaries of what is possible, by making machine learning cyber agents faster and smarter.
Machine learning approach for cloud data analytics in IoT
Covers the multidimensional perspective of machine learning through the perspective of cloud computing and Internet of Things ranging from fundamentals to advanced applications. Elucidates some of the best practices and their respective outcomes in cloud and fog computing environments. It focuses on all the various research issues related to big data storage and analysis, large-scale data processing, knowledge discovery and knowledge management, computational intelligence, data security and privacy, data representation and visualization, and data analytics. The featured technologies presented in the book optimizes various industry processes using business intelligence in engineering and technology. Light is also shed on cloud-based embedded software development practices to integrate complex machines so as to increase productivity and reduce operational costs. The various practices of data science and analytics which are used in all sectors to understand big data and analyze massive data patterns are also detailed in the book.
Mac OS X Leopard : Beyond the Manual
Good computer books make assumptions about the reader: what they do and don't know when they pick up the book, and what they want to know when they put it down. For each reader this could be very different; therefore, a book that suits one person may not be the best for another. Mac OS X Leopard: Beyond the Manual makes some assumptions too, ones that tend to differ from other Mac OS X books. First of all, we assume that you have used a computer in that past: that you know how to use a mouse and you know the proper place to stick a DVD to get it to play in your computer. We won't be showing you these things. (We will, however, demonstrate to our Mac converts how to “right click” on a trackpad with only one button!).
Low Power Methodology Manual : For System-on-Chip Design
"Tools alone aren't enough to reduce dynamic and leakage power in complex chip designs - a well-planned methodology is needed. Following in the footsteps of the successful Reuse Methodology Manual (RMM), authors from ARM and Synopsys have written this Low Power Methodology Manual (LPMM) to describe [such] [a] low-power methodology with a practical, step-by-step approach." "Excellent compendium of low-power techniques and guidelines with balanced content spanning theory and practical implementation. The LPMM is a very welcome addition to the field of low power SoC implementation that has for many years operated in a largely ad-hoc fashion."
Logic-Based Program Synthesis and Transformation ; 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
Contains a selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis and Transformation, that was held in Kongens Lyngby, Denmark, August 23-24,2007. LOPSTR thus traditionally solicits papers in the areas of: specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications andtools, component-baseds of tware development, software architectures, age- based software development and program refnement. Formal proceedings are produced only after the symposium, so that authors can incorporate this feed back in the published papers.
Logic, language, information and computation ; 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
The papers cover all pertinent subjects in computer science with particular interest in cross-disciplinary topics. Typical areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection.
