الصفحة 13
الصفحة 13
Concepts and Semantics of Programming Languages 1 : A Semantical Approach with OCaml and Python
Explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, while also providing an accurate presentation of the material aspects that interfere with coding. It is dedicated to functional and imperative features. Included is the formal study of the semantics of typing and execution; their acquisition is facilitated by implementation into OCaml and Python, as well as by worked examples. Data representation is considered in detail: endianness, pointers, memory management, union types and pattern-matching, etc., with examples in OCaml, C and C++. The second volume introduces a specific model for studying modular and object features and uses this model to present Ada and OCaml modules, and subsequently Java, C++, OCaml and Python classes and objects.
Computer-Aided Highway Engineering
Aimed at developing professional knowledge in the field of highway engineering with adequate skills in planning, designing and implementation of the highway project with an exposure of hands on training of computer software in designing the worldwide road infrastructures. It discusses Digital Terrain Model (DTM) using satellite data including highway geometric, pavement and tunnel design, supported by relevant tutorials. Quantity estimation, cost estimation and production of various types of construction drawings are described in detail with theory and tutorials backed by real project data. Recognizes the role of information and computer technology in various aspects of highway design. Reviews different tasks for feasibility studies and DPR with software applications. Explores topographic survey, Digital Terrain Model (DTM) and highway geometrics and, pavement and drainage design. Discusses project estimations for various revisions of the engineering work. Includes HEADS Pro along with chapter wise tutorials containing design and field data, tutorial guides and various tutorial videos.
Computational studies of RNA and DNA
Computational Studies of RNA and DNA includes, in an integrated way, modern computational studies of nucleic acids, ranging from advanced electronic structure quantum chemical calculations through explicit solvent molecular dynamics (MD) simulations up to mesoscopic modelling, with the main focus given to the MD field. It gives an equal emphasis to the leading methods and applications while successes as well as pitfalls of the computational techniques are discussed.The systems and problems studied include: Accurate calculations of base pairing energies / Electronic properties of nucleic acids and electron transfer, through various types of nucleic acid / Calculating DNA elasticity
Command-Line Rust : A Project-Based Primer for Writing Rust CLIs
Rather than focusing on the language as a whole, this guide teaches Rust using a single small, complete, focused program in each chapter. Author Ken Youens-Clark shows you how to start, write, and test each of these programs to create a finished product. You'll learn how to handle errors in Rust, read and write files, and use regular expressions, Rust types, structs, and more.
Closed-Loop Control of Blood Glucose
Introduces the ?eld of closed-loop blood g- cose control, in a simple manner, to the reader. This includes the hardware and software components that make up the control system (see Chapter 2). The hardware components involved the di?erent types of glucose sensor (- vasive, minimally-invasive and non-invasive) and the di?erent types of insulin.
Marine, Freshwater, and Wetlands Biodiversity
Marine, coastal and wetland habitats are threatened, not only through exploitation, but also by the prospect of climate change – as ocean currents change course, sea levels rise, and rainfall patterns change. Even the once-common cod is now under threat from the combined effects of over-fishing and a dramatic change-induced decrease in the plankton that cod larvae feed on. Meanwhile, coral reefs remain especially vulnerable to rapid sea-level changes exacerbated by the effects of tourism and disease. This book gathers together a wide range of papers reporting on key research into the biodiversity conservation of these critical and increasingly threatened habitats. Collectively these papers provide a snap-shot of the types of problems they are experiencing, and offer a wealth of topical examples which render this volume especially valuable to teachers of courses in marine, freshwater and wetlands ecology, biological conservation and ecological restoration.
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.
Mangroves and Halophytes : Restoration and Utilisation
Focusing on Venezuela and Mexico, this edited volume from the International Society of Halophyte Utilisation (ISHU) explores the environmental issues facing South and Central America's coastal ecosystems, and discusses the uses of mangrove species and other halophytes in addressing issues of both coastal pollution and upland soil salinisation. The book draws on expertise from Europe and South America to present a series of case studies that detail Venezuela’s saline ecosystems and examine the economic potential of mangrove restoration and halophyte production. It includes cutting-edge research into the establishment of new mangrove stands which could serve as prototypes for the sustainable use of halophytes, including Chenopodium quinoa and Tamarix aphylla. Moreover, the detailed examples from Venezuela and other Caribbean countries provide useful models for comparison with halophyte utilisation in other parts of the world – especially the Mediterranean region, where much of the earlier research of the ISHU had been conducted.
Managing Your Headaches
Frequent headaches seriously affect the lives of millions of sufferers. The result can be lost productivity and income, restrict activity, lower self-esteem, and even social isolation. For many, it takes years to find the appropriate medication to manage your headaches effectively. In Managing Your Headaches, Mark and Leah Green and John Rothrock explain what information you should record for your physician, what a physician is looking for in a neurological examination, and what you should (and should not) do to reduce the frequency and severity of your headaches. They discuss the effects of stress, psychological factors, possible food triggers, and environmental risk factors. The authors explain the symptoms of migraine, cluster, and tension-type headaches as well as less common types. They address common concerns and misconceptions and explain current knowledge about headache causes in understandable terms. The newest, most effective medications and their possible side effects are evaluated. The authors also explain how to prevent rebound headaches from over-medications and how non-medical treatments can be of value. Managing Your Headaches will tell you what you need to know to better control your headaches. Armed with the information in this book, you can be aware of the latest treatment options and can have more productive, informed discussions with your physician.
Managing innovation in organisations : ostering an entrepreneurial approach
Explores how organisations need to manage their innovation processes in order to compete in the global marketplace. Innovation is essential to the ongoing competitiveness of organisations but can be difficult to capture and disseminate. This book states that there needs to be guidelines about how to manage innovation in an organisational context. This includes focusing on different types of innovation from incremental to radical. This book will focus on ways to manage innovation from incorporating it into organisational practices to implementing it into beneficial partnerships.
Managing diabetic wounds : Strategies for effective treatment
Delves into diabetes itself, covering its definition, various types (Type 1, Type 2, and gestational diabetes), and diagnostic laboratory findings such as blood glucose levels and HbA1c. The concept of diabetic foot is thoroughly explored, including its definition, primary causes such as neuropathy, ischemia, and infection, and crucial aspects of prevention, caution, and risk factors like poor glycemic control and smoking.
Management of Intentional and Accidental Water Pollution
The goals of the workshop included a discussion of the state of the science in identification of new research and approaches for water pollution events and communication of the management of water pollution and sustainability of water resources. Critical to management of accidental and intentional pollution events is the assessment of the risk, an understanding of the hazards and lessons learned from events which may lead to preventative management and control strategies. Public health protection will ultimately be improved by the ability to develop management frameworks which are flexible and adaptable to the specific region, country or watershed problems and concerns and allow for prioritization in the decision making. The integration of scientific information regarding the types of hazards the environmental fate of the chemical/biological, exposure pathways and human and ecosystem impacts may be implemented from both a qualitative or descriptive approach or using a more classical quantitative risk assessment paradigm. Thus the frameworks for assessing the risk and managing the risk may be seen as preventive, early warning and responsive.
Management and Information Technology after Digital Transformation
With the widespread transformation of information into digital form throughout society – firms and organisations are embracing this development to adopt multiple types of IT to increase internal efficiency and to achieve external visibility and effectiveness – we have now reached a position where there is data in abundance and the challenge is to manage and make use of it fully. This book addresses this new managerial situation, the post-digitalisation era, and offers novel perspectives on managing the digital landscape.
Machine learning for brain disorders
Organized into five parts. Part One presents the fundamentals of ML. Part Two looks at the main types of data used to characterize brain disorders, including clinical assessments, neuroimaging, electro- and magnetoencephalography, genetics and omics data, electronic health records, mobile devices, connected objects and sensors. Part Three covers the core methodologies of ML in brain disorders and the latest techniques used to study them. Part Four is dedicated to validation and datasets, and Part Five discusses applications of ML to various neurological and psychiatric disorders.
Machine Learning Applications in Civil Engineering
Discusses machine learning and deep learning models for different civil engineering applications. These models work for stochastic methods wherein internal processing is done using randomized prototypes. The book explains various machine learning model designs that will assist researchers to design multi domain systems with maximum efficiency. It introduces Machine Learning and its applications to different Civil Engineering tasks, including Basic Machine Learning Models for data pre-processing, models for data representation, classification models for Civil Engineering Applications, Bioinspired Computing models for Civil Engineering, and their case studies.
Low-Power High-Level Synthesis for Nanoscale CMOS Circuits
Low-Power High-Level Synthesis for Nanoscale CMOS Circuits addresses the need for analysis, characterization, estimation, and optimization of the various forms of power dissipation in the presence of process variations of nano-CMOS technologies. The authors show very large-scale integration (VLSI) researchers and engineers how to minimize the different types of power consumption of digital circuits.
Logos of phenomenology and phenomenology of the logos ; Book Two : The Human Condition in-the-Unity-of-Everything-there-is-alive Individuation, Self, Person, Self-determination, Freedom, Necessity
The Human Condition-in-the-unity-of-everything-there-is-alive, under whose aegis the present selection of essays falls, offers the urgently needed new approach to reinvestigating humanness. While recent advances in the neurosciences, genetics and bio-engineering challenge the traditional abstract conception of "human nature", indicating its transformability, thus putting in question the main tenets of traditional philosophical anthropology, in the new perspective of the Human Creative Condition the human individual is seen in its emergence and unfolding within the dynamic networks of the logos of life, and within the evolution of living types.
Logical approaches to computational barriers ; 2nd Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings
The sources of new ideas and methods include practical developments in areas such as neural networks, quantum computation, natural computation, molecular computation, and computational learning. Applications are everywhere, especially, in algebra, analysis and geometry, or data types and programming. This volume, Logical Approaches to Computational Barriers, is the proce- ings of the second in a series of conferences of CiE that was held at the Depa- ment of Computer Science, Swansea University, 30 June - 5 July, 2006.
LMI Approach to Analysis and Control of Takagi-Sugeno Fuzzy Systems with Time Delay
A fuzzy system is, in a very broad sense, any fuzzy logic-based system where fuzzy logic can be used either asthebasisfor the representation of different forms of system knowledge or the model for the interactions and relationships among the system variables. Fuzzy systems have proven to be an important tool for modeling complex systems for which, due to complexity or imprecision, classical tools are unsuccessful. There have been diverse fields of applications of fuzzy technology from medicine to management, from engineering to behavioral science, from vehicle control to computational linguistics, and so on. Fuzzy modeling is a conjunction to understand the s- tem’s behavior and build useful mathematical models. Different types of fuzzy models have been proposed in the literature, among which the Takagi-Sugeno (T-S) fuzzy model is a rule-based one suitable for the accurate approximation and identi?cation of a wide class of nonlinear systems.
Liposomes as Drug Carriers
Patients have recently suffered from the side effects of a large number of drugs and from the weak pharmacological effect, due to the biokinetics and the difficulty of delivering the drug to the targeted cells, which negatively affected the therapeutic efficacy, creating an opportunity to discover nanometric carriers to load the active drug substances, so we covered in this research the most famous and widely used nanocarriers which are liposomes. We touched in some detail its composition, types, the relationship of structure to influence, methods of preparation, its delivery mechanism for the drug, and at the end of the research, we attached various applications in the field of therapeutic diagnostics and its role in cosmetics, cancers and many other fields.
