الصفحة 11
الصفحة 11
Implementation and application of functional languages ; 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers
This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional Languages. Each one was submitted to two rounds of reviews to ensure accuracy, thoroughness, and readability. The papers address all current theoretical and methodological issues in functional and function-based languages.
Implementation and Application of Automata ; Vol. 4094 ; 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings
This book constitutes the refereed proceedings of the 11th International Conference on Implementation and Application of Automata, CIAA 2006, held in Taipei, Taiwan, in August 2006.
Implementation and Application of Automata ; Vol. 3845 ; 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers
Contains the notes of the two invited lectures, the 26 papers selected for presentation at the conference, and the abstracts of the eight posters that were displayed.
Implementation and application of automata ; Vol. 3317 ; 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers
Contains the revised versions of the papers presented at the 9th International Conference on Implemen- tion and Application of Automata, CIAA 2004. Also included are the extended abstracts of the posters accepted to the conference. The conference was held at Queen’s University in Kingston, Ontario, Canada on July 22–24, 2004. As for its predecessors, the theme of CIAA 2004 was the implementation of automata and grammars of all types and their application in other fields. The topics of the papers presented at the conference range from applications of automata in natural language and speech processing to protein sequencing and genecompression, and from state complexity and new algorithms for automata operations to applications of quantum finite automata.
Immanent Realism : An Introduction to Brentano
A set of knotty questions are implied in the very title of Brentano's work "Psychology from an empirical standpoint". To solve them, Albertazzi guides us systematically through Brentano's life and works, investigating into the inherent complexity of both his view of mental life and the related methodology. In so doing, she discloses a number of threads into the open texture of modern philosophy of mind." Lia Formigari, Ordinary professor of Philosophy of Language, La Sapienza, Rome, Italy
Illustrated C# 2008
The unique, visual format of Illustrated C# 2008 has been specially created by author and teacher of development methods, Daniel Solis. The concise text, use of tables to clarify language features, frequent figures and diagrams, as well as focused code samples all combine to create a unique approach that will help you understand and get to work with C# fast. It was while teaching numerous seminars on various programming languages that the author realized the immense power that diagrams have in explaining programming language concepts. Most people learn quicker and retain information better when the material is presented in a clean, simple, visual format. To achieve this result in his book, Solis uses concise text and bulleted lists, tables to clarify and summarize language features, as well as his renowned and ubiquitous figures and diagrams.
Illustrated C# 2005
Illustrated C# 2005 presents the C# programming language in a unique visual manner. The book uses three techniques to achieve this: concise text, tables that clarify and summarize language features, and frequent figures and diagrams. Each feature is also illustrated with concise, focused code samples.
Il senso e la narrazione = The sense and the narration
Humans are creatures of narration: infinitely they narrate and narrate themselves, intertwine dialogues, light up stories to illuminate the dark caves of the heart and the world, recover and transmute memories. We live between a firm and rough, unknowable reality, an enormous furnace of perturbations and calls and colors, and an elusive, delicate and ephemeral interiority: and between the two, between the world and us, we weave with thought and with words a fragile ponte, a bridge called sense. Swing this bridge at the unequal breath of a cosmic wind, dropping phosphoric fragments: sudden hourglasses, anonymous centaurs, sleepless geometers, distant syllogisms, vanished lineages, black basalts, crazy anchorites, silent plesiosaurs, flutes and bagpipes ... and they recompose figures, and we ask ourselves questions about those figures and tell stories. Only the vertigo of asking and narrating can give meaning to a life that some say is interwoven with pure chance. Forever detached from the flourishing matrix of the world, tormented by thought, prisoners of words, slaves of interpretation, lost in a long corridor of facing mirrors: we are at the center of a great, incomprehensible rumble.
Il Parlagioco : Uno strumento per comunicare attraverso il gioco = he Parlagioco: A tool for communicating through play
Il Parlagioco nasce da un'esperienza riabilitativa con un bambino autistico, il cui linguaggio aveva bisogno di regole comunicative. Per questo è stato creato un gioco di carte per realizzare uno scambio interattivo attraverso il desiderio di comunicare giocando. Il Parlagioco è servito anche a ridurre l'iperselettività tipica dell'autismo, orientando l'attenzione del bambino verso gli elementi esaustivi, ignorando i dettagli insignificanti allo scopo di cogliere i nessi di un insieme necessari a una comprensione globale. Da questa esperienza il Parlagioco è stato ulteriormente sviluppato per promuovere la pragmatica della comunicazione e le regole del linguaggio in ambito clinico. La sua applicazione nei disturbi specifici del linguaggio permette di ampliare il lessico, la comprensione di nuovi vocaboli e la produzione di richieste. Quando il disturbo del linguaggio è invece associato a ritardo mentale nelle malattie genetiche o neurologiche, esso consente delle facilitazioni nel proporre compiti specifici di riabilitazione linguistica. La presentazione grafica allettante e la proposta ludica fannno si' che esso sia facilmente applicabile anche in ambito scolastico e familiare.
Hybrid Systems: Computation and Control ; 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings
Constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, HSCC 2007, held in Pisa, Italy in April 2007.
Hybrid Systems : Computation and Control ; Vol.3927 ; 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings
The focus is on modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors. Topics addressed include tools for analysis and verification, control and optimization, modeling, engineering applications, and new directions in language support and implementation.
Hybrid Systems : Computation and Control ; Vol. # 3414 ; 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings
Contains the proceedings of the 8th Workshop on Hybrid S- tems: Computation and Control(HSCC2005)heldinZurich, Switzerlandduring March 9-11, 2005. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implemen- tion of dynamic and reactive systems involving both discrete and continuous - haviors. This year's HSCC was technically co-sponsored by the IEEE Control Systems Society. The program consisted of 3 invited talks and 40 regular papers selected from 91 regular submissions. The program covered topics such as tools for analysis and verification, control and optimization, modeling, engineering applications, and emerging directions in programming language support and implementation. We would like to thank the Program Committee members and reviewers for an excellent job of evaluating the submissions and participating in the online Program Committee discussions.
Human-centered software engineering - Integrating usability in the software development lifecycle
Human-CenteredSoftwareEngineering: BridgingHCI,UsabilityandSoftwareEngineering From its beginning in the 1980’s, the ?eld of human-computer interaction (HCI) has beende?nedasamultidisciplinaryarena. BythisImeanthattherehas beenanexplicit recognition that distinct skills and perspectives are required to make the whole effort of designing usable computer systems work well. Thus people with backgrounds in Computer Science (CS) and Software Engineering (SE) joined with people with ba- grounds in various behavioral science disciplines (e. g. , cognitive and social psych- ogy, anthropology) in an effort where all perspectives were seen as essential to creating usable systems. But while the ?eld of HCI brings individuals with many background disciplines together to discuss a common goal - the development of useful, usable, satisfying systems - the form of the collaboration remains unclear.
How to Think about Meaning
According to the dominant theory of meaning, truth-conditional semantics, to explain the meaning of a statement is to specify the conditions necessary and sufficient for its truth. Classical truth-conditional semantics is coming under increasing attack, however, from contextualists and inferentialists, who agree that meaning is located in the mind. "Technically exact, highly readable, and illustrated with valuable examples, ...here is a book to counterbalance decades of misdirected anti-psychologistic semantic dogma." Prof. Dale Jacquette, Pennsylvania State University, U.S.A.
How to Future : Leading and Sense-making in an Age of Hyperchange
Provides clear, practical and easy to understand tools that will help you spot trends and patterns, strategically evaluate different futures and guide your strategy Depicts a strategic framework to understand the uncertain nature of the current business world that crucially allows you to embrace hyperchange and adapt and plan for it Delivers a common language to engage stakeholders and teams with innovation practices and strategy foresight
How Documentaries Work
This book presents examples from contemporary documentaries and docuseries and delivers insights from some of the most exciting nonfiction filmmakers and craftspeople working today, including director Steve James (City So Real, Hoop Dreams), producer Amy Ziering (Allen v. Farrow, The Hunting Ground), editor Aaron Wickenden, ACE (Roadrunner: A Film About Anthony Bourdain, 20 Feet from Stardom), and composer Miriam Cutler (RBG, Lost in La Mancha). Chapters such as "Flow," "Narrative," and "Time" offer a new way of looking at documentary film language, while others like "Titles," "Music," and "Sound" deliver extraordinary insights on seemingly ordinary topics.
History of Computing and Education 3 (Hce3) ; IFIP 20th World Computer Congress, Proceedings of the Third IFIP Conference on the History of Computing and Education WG 9.7/TC9, History of Computing, September 7–10, 2008, Milano, Italy
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 refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research.
High performance embedded architectures and compilers ; 3rd International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008. Proceedings
This book constitutes the refereed proceedings of the Third International Conference on High Performance Embedded Architectures and Compilers, HiPEAC 2008, held in Göteborg, Sweden, January 27-29, 2008. The 25 revised full papers presented together with 1 invited keynote paper were carefully reviewed and selected from 77 submissions. The papers are organized in topical sections on Multithreaded and Multicore Processors, Reconfigurable - ASIP, Compiler Optimizations, Industrial Processors and Application Parallelization, Power-Aware Techniques, High-Performance Processors, Profiles: Collection and Analysis as well as Optimizing Memory Performance.
High performance computing for drug discovery and biomedicine
Explores the application of high-performance computing (HPC) technologies to computational drug discovery (CDD) and biomedicine. Collects CDD approaches that, together with HPC, can revolutionize and automate drug discovery process, such as knowledge graphs, natural language processing (NLP), Bayesian optimization, automated virtual screening platforms, alchemical free energy workflows, fragment-molecular orbitals (FMO), HPC-adapted molecular dynamic simulation (MD-HPC), and the potential of cloud computing for drug discovery. And delves into computational algorithms and workflows for biomedicine, featuring an HPC framework to assess drug-induced arrhythmic risk, digital patient applications relevant to the clinic, virtual human simulations, cellular and whole-body blood flow modeling for stroke treatments, prediction of the femoral bone strength from CT data, and many more subjects.
Hierarchy in Natural and Social Sciences
This book reviews ancient and modern representations and explanations of hierarchies, and compares their relevance in a variety of fields, such as language, societies, cities, and living species. It throws light on concepts and models such as scaling laws, fractals and self-organisation that are fundamental in the dynamics and morphology of complex systems.This book addresses a wide audience of biologists and social scientists, as well as managers and executives in a variety of institutions.
