Teaching content and measuring content are frequently considered separate entities when designing teaching instruction. This can create a disconnect between how students are taught and how well they succeed when it comes time for assessment. To heal this rift, the theory of meaningful learning is a potential solution for designing effective teaching-learning and assessment materials. Design and Measurement Strategies for Meaningful Learning considers the best practices, challenges, and opportunities of instructional design as well as the theory and impact of meaningful learning. It provides educators with an essential text instructing them on how to successfully design and measure the content they teach. Covering a wide range of topics such as blended learning, online interaction, and learning assessment, this reference work is ideal for teachers, instructional designers, curriculum developers, policymakers, administrators, academicians, researchers, practitioners, and students.

This edited volume focuses on the host-guest chemistry of organic molecules and inorganic systems during synthesis (structure-direction). Organic molecules have been used for many years in the synthesis of zeolitic nanoporous frameworks. The addition of these organic molecules to the zeolite synthesis mixtures provokes a particular ordering of the inorganic units around them that directs the crystallization pathway towards a particular framework type; hence they are called structure-directing agents. Their use has allowed the discovery of an extremely large number of new zeolite frameworks and compositions. This volume covers the main aspects of the use of organic molecules as structure-directing agents for the synthesis of zeolites, including first an introduction of the main concepts, then two chapters covering state-of-the-art techniques currently used to understand the structure-directing phenomenon (location of molecules by XRD and molecular modeling techniques). The most recent trends in the types of organic molecules used as structure-directing agents are also presented, including the use of metal-complexes, the use of non-ammonium-based molecules (mainly phosphorus-based compounds) and the role of supramolecular chemistry in designing new large organic structure-directing agents produced by self-aggregation. In addition the volume explores the latest research attempting to transfer the asymmetric nature of organic chiral molecules used as structure-directing agents to the zeolite lattice to produce chiral enantioselective frameworks, one of the biggest challenges today in materials chemistry. This volume has interdisciplinary appeal and will engage scholars from the zeolite community with a general interest in microporous materials, which involves not only zeolite scientists, but also researchers working on metal-organic framework materials. The concepts covered will also be of interest for researchers working on the application of materials after encapsulation of molecules of interest in post-synthetic treatments. Further the work explores the main aspects of host-guest chemistry in hybrid organo-inorganic templated materials, which covers all types of materials where organic molecules are used as templates and are confined within framework-structured inorganic materials (intercalation compounds). Therefore the volume is also relevant to the wider materials chemistry community.

The development of embedded systems offers a higher degree of abstraction, crucial to tackling the growing complexity and usage of model-driven approaches. ""Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation"" provides an overview on innovative behavior models currently used for developing embedded systems, accentuating on graphical and visual notations. This dynamic compilation presents an authoritative reference collection to the most significant models of computation currently in use for embedded systems design.

This introduction to cryptography employs a programming-oriented approach to study the most important cryptographic schemes in current use and the main cryptanalytic attacks against them. Discussion of the theoretical aspects, emphasizing precise security definitions based on methodological tools such as complexity and randomness, and of the mathematical aspects, with emphasis on number-theoretic algorithms and their applications to cryptography and cryptanalysis, is integrated with the programming approach, thus providing implementations of the algorithms and schemes as well as examples of realistic size.

A distinctive feature of the author's approach is the use of Maple as a programming environment in which not just the cryptographic primitives but also the most important cryptographic schemes are implemented following the recommendations of standards bodies such as NIST, with many of the known cryptanalytic attacks implemented as well. The purpose of the Maple implementations is to let the reader experiment and learn, and for this reason the author includes numerous examples. The book discusses important recent subjects such as homomorphic encryption, identity-based cryptography and elliptic curve cryptography. The algorithms and schemes which are treated in detail and implemented in Maple include AES and modes of operation, CMAC, GCM/GMAC, SHA-256, HMAC, RSA, Rabin, Elgamal, Paillier, Cocks IBE, DSA and ECDSA. In addition, some recently introduced schemes enjoying strong security properties, such as RSA-OAEP, Rabin-SAEP, Cramer--Shoup, and PSS, are also discussed and implemented. On the cryptanalysis side, Maple implementations and examples are used to discuss many important algorithms, including birthday and man-in-the-middle attacks, integer factorization algorithms such as Pollard's rho and the quadratic sieve, and discrete log algorithms such as baby-step giant-step, Pollard's rho, Pohlig--Hellman and the index calculus method.

This textbook is suitable for advanced undergraduate and graduate students of computer science, engineering and mathematics, satisfying the requirements of various types of courses: a basic introductory course; a theoretically oriented course whose focus is on the precise definition of security concepts and on cryptographic schemes with reductionist security proofs; a practice-oriented course requiring little mathematical background and with an emphasis on applications; or a mathematically advanced course addressed to students with a stronger mathematical background. The main prerequisite is a basic knowledge of linear algebra and elementary calculus, and while some knowledge of probability and abstract algebra would be helpful, it is not essential because the book includes the necessary background from these subjects and, furthermore, explores the number-theoretic material in detail. The book is also a comprehensive reference and is suitable for self-study by practitioners and programmers."

Hardware Design and Petri Nets presents a summary of the state of the art in the applications of Petri nets to designing digital systems and circuits. The area of hardware design has traditionally been a fertile field for research in concurrency and Petri nets. Many new ideas about modelling and analysis of concurrent systems, and Petri nets in particular, originated in theory of asynchronous digital circuits. Similarly, the theory and practice of digital circuit design have always recognized Petri nets as a powerful and easy-to-understand modelling tool. The ever-growing demand in the electronic industry for design automation to build various types of computer-based systems creates many opportunities for Petri nets to establish their role of a formal backbone in future tools for constructing systems that are increasingly becoming distributed, concurrent and asynchronous. Petri nets have already proved very effective in supporting algorithms for solving key problems in synthesis of hardware control circuits. However, since the front end to any realistic design flow in the future is likely to rely on more pragmatic Hardware Description Languages (HDLs), such as VHDL and Verilog, it is crucial that Petri nets are well interfaced to such languages. Hardware Design and Petri Nets is divided into five parts, which cover aspects of behavioral modelling, analysis and verification, synthesis from Petri nets and STGs, design environments based on high-level Petri nets and HDLs, and finally performance analysis using Petri nets. Hardware Design and Petri Nets serves as an excellent reference source and may be used as a text for advanced courses on the subject.

Prepare future managers with an understanding of HR skills. Managing Human Resources gives future managers a solid business understanding of human resource management skills. The approach used in this text makes human resources relevant to anyone who has to deal with HR issues in the workplace, even those who do not hold the title of manager. The 8th Edition is updated to include new introductory vignettes, new case studies, and a focus on emerging trends in HR.

This festschrift commemorates the legacy of UK-based Portuguese sociologist Herminio Martins (1934-2015). It introduces Martins' wide-ranging contributions to the social sciences, encompassing seminal works in the fields of philosophy and social theory, historical and political sociology, studies of science and technology, and Luso-Brazilian studies, among others. The book features an in-depth interview with Martins, short memoirs, and twelve chapters addressing topics that were central to his intellectual and political interests. Among those that stand out are his critique of Thomas Kuhn's theory of scientific revolutions, his work on the significance of time in social theory and the interweaving of techno-scientific developments and socio-cultural transformations, including the impact of communication and digital technologies, and of market-led eugenics. Other themes covered are Martins' work on patrimonialism and social development in Portugal and Brazil, and his analysis of the state of the social sciences in Portugal, which reflects his highly critical appraisal of the ongoing marketization andneoliberalization of academic life and institutions worldwide.

* The first book to be devoted exclusively to understanding and mastering this challenging area of Portuguese grammar. * Ideal for Intermediate to Advanced learners of European or Brazilian Portuguese who wish to master the use of the subjunctive. * Clearly structured to guide students through the six subjunctive modes through clear and accurate explanations with a range of exercises to test and consolidate learning

This book offers a timely and comprehensive snapshot of research and developments in the fields of dynamic systems and control engineering. Covering a wide range of theoretical and practical issues, the contributions describes a number of different control approaches, such as PID control, adaptive control, nonlinear systems and control, intelligent monitoring and control based on fuzzy and neural systems, robust control systems, and real time control, among others. Sensors and actuators, measurement systems, renewable energy systems, aeronautic and aerospace systems as well as industrial control and automation, are also comprehensively covered. Based on the proceedings of the 15th APCA International Conference on Automatic Control and Soft Computing, held on July 6-8, 2022, in Caparica, Portugal, the book offers a timely and thoroughly survey of the latest research in the fields of dynamic systems and automatic control engineering, and a source of inspiration for researchers and professionals worldwide.

Public Economics: A Concise Introduction provides a concise and non-technical overview of the role of government in the economy. Using the questions 'why?', 'what for?' and 'how?', the text initially surveys the place of the public sector in a market economy. It then considers the possible reasons which could justify government involvement. Next, the book examines the aims of state economic activity, and the instruments which a government has at its disposal. Lastly, the final chapter provides an illuminating tour of economic history and history of economic thought in relation to government economic activity. The book offers an international focus throughout, with examples taken from all over the globe. Readers are supported with a range of pedagogical features, including example boxes, chapter objectives and summaries, and end-of-chapter multiple choice and reflection questions. Public Economics: A Concise Introduction will be a valuable text for students on courses in public economics, welfare economics, public finance, public policy and related areas.

Public Economics: A Concise Introduction provides a concise and non-technical overview of the role of government in the economy. Using the questions 'why?', 'what for?' and 'how?', the text initially surveys the place of the public sector in a market economy. It then considers the possible reasons which could justify government involvement. Next, the book examines the aims of state economic activity, and the instruments which a government has at its disposal. Lastly, the final chapter provides an illuminating tour of economic history and history of economic thought in relation to government economic activity. The book offers an international focus throughout, with examples taken from all over the globe. Readers are supported with a range of pedagogical features, including example boxes, chapter objectives and summaries, and end-of-chapter multiple choice and reflection questions. Public Economics: A Concise Introduction will be a valuable text for students on courses in public economics, welfare economics, public finance, public policy and related areas.

* The first book to be devoted exclusively to understanding and mastering this challenging area of Portuguese grammar. * Ideal for Intermediate to Advanced learners of European or Brazilian Portuguese who wish to master the use of the subjunctive. * Clearly structured to guide students through the six subjunctive modes through clear and accurate explanations with a range of exercises to test and consolidate learning

Marine environment can be affected by several pollutants such as the presence of elements and their chemical species, pharmaceuticals, nanoparticles and other emerging contaminants. Environmental monitoring can be assessed by genomics, proteomics (i.e. redox proteomics), chemical speciation analysis and metallomics, metabolomics as well as other advanced strategies. The present book is a useful methodological tool for researchers and specialists in the field of analytical chemistry, environmental sciences, biochemistry, genomics and toxicology. The book includes for the first time the methodological aspects and applications related to chemical speciation and -omics strategies applied to marine environment.

This comprehensive, long-needed reference provides the thorough understanding required tomodify and manipulate rigid PVC's thermal/shear sensitivity and rheological properties, helpingyou utilize rigid PVC most effectively in manufacturing applications as diverse as pipes,house siding, bottles , window frames, and packaging films.With complete, up-to-the-minute coverage in one convenient source, Engineering with RigidPVC encompasses rheological principles, resin properties, and additive modification, as wellas polymer preparation, melt processing, and forming techniques ... major conversion operationsand their manufacturing applications-including actual commercial formulations andprocesses .. . quality control procedures necessary to monitor compounding processes ...aspects of processability critical for product development and improvement .. . and muchmore.International in scope, this time- and money-saver is an eseential daily resource for all professionalsinvolved in Engineering with Rigid PVC, including plastics engineers, polymer chemists,process engineers, and plastics processors and technicians. Furthermore, the volume isideal for training programs and professional seminars, and is an outstanding supplement forstudents in polymer chemistry , materials science , and plastics engineering.

This festschrift commemorates the legacy of UK-based Portuguese sociologist Herminio Martins (1934-2015). It introduces Martins' wide-ranging contributions to the social sciences, encompassing seminal works in the fields of philosophy and social theory, historical and political sociology, studies of science and technology, and Luso-Brazilian studies, among others. The book features an in-depth interview with Martins, short memoirs, and twelve chapters addressing topics that were central to his intellectual and political interests. Among those that stand out are his critique of Thomas Kuhn's theory of scientific revolutions, his work on the significance of time in social theory and the interweaving of techno-scientific developments and socio-cultural transformations, including the impact of communication and digital technologies, and of market-led eugenics. Other themes covered are Martins' work on patrimonialism and social development in Portugal and Brazil, and his analysis of the state of the social sciences in Portugal, which reflects his highly critical appraisal of the ongoing marketization andneoliberalization of academic life and institutions worldwide.

This introduction to cryptography employs a programming-oriented approach to study the most important cryptographic schemes in current use and the main cryptanalytic attacks against them. Discussion of the theoretical aspects, emphasizing precise security definitions based on methodological tools such as complexity and randomness, and of the mathematical aspects, with emphasis on number-theoretic algorithms and their applications to cryptography and cryptanalysis, is integrated with the programming approach, thus providing implementations of the algorithms and schemes as well as examples of realistic size. A distinctive feature of the author's approach is the use of Maple as a programming environment in which not just the cryptographic primitives but also the most important cryptographic schemes are implemented following the recommendations of standards bodies such as NIST, with many of the known cryptanalytic attacks implemented as well. The purpose of the Maple implementations is to let the reader experiment and learn, and for this reason the author includes numerous examples. The book discusses important recent subjects such as homomorphic encryption, identity-based cryptography and elliptic curve cryptography. The algorithms and schemes which are treated in detail and implemented in Maple include AES and modes of operation, CMAC, GCM/GMAC, SHA-256, HMAC, RSA, Rabin, Elgamal, Paillier, Cocks IBE, DSA and ECDSA. In addition, some recently introduced schemes enjoying strong security properties, such as RSA-OAEP, Rabin-SAEP, Cramer--Shoup, and PSS, are also discussed and implemented. On the cryptanalysis side, Maple implementations and examples are used to discuss many important algorithms, including birthday and man-in-the-middle attacks, integer factorization algorithms such as Pollard's rho and the quadratic sieve, and discrete log algorithms such as baby-step giant-step, Pollard's rho, Pohlig--Hellman and the index calculus method. This textbook is suitable for advanced undergraduate and graduate students of computer science, engineering and mathematics, satisfying the requirements of various types of courses: a basic introductory course; a theoretically oriented course whose focus is on the precise definition of security concepts and on cryptographic schemes with reductionist security proofs; a practice-oriented course requiring little mathematical background and with an emphasis on applications; or a mathematically advanced course addressed to students with a stronger mathematical background. The main prerequisite is a basic knowledge of linear algebra and elementary calculus, and while some knowledge of probability and abstract algebra would be helpful, it is not essential because the book includes the necessary background from these subjects and, furthermore, explores the number-theoretic material in detail. The book is also a comprehensive reference and is suitable for self-study by practitioners and programmers.

In the 1980s, traditional Business Intelligence (BI) systems focused on the delivery of reports that describe the state of business activities in the past, such as for questions like "How did our sales perform during the last quarter?" A decade later, there was a shift to more interactive content that presented how the business was performing at the present time, answering questions like "How are we doing right now?" Today the focus of BI users are looking into the future. "Given what I did before and how I am currently doing this quarter, how will I do next quarter?" Furthermore, fuelled by the demands of Big Data, BI systems are going through a time of incredible change. Predictive analytics, high volume data, unstructured data, social data, mobile, consumable analytics, and data visualization are all examples of demands and capabilities that have become critical within just the past few years, and are growing at an unprecedented pace. This book introduces research problems and solutions on various aspects central to next-generation BI systems. It begins with a chapter on an industry perspective on how BI has evolved, and discusses how game-changing trends have drastically reshaped the landscape of BI. One of the game changers is the shift toward the consumerization of BI tools. As a result, for BI tools to be successfully used by business users (rather than IT departments), the tools need a business model, rather than a data model. One chapter of the book surveys four different types of business modeling. However, even with the existence of a business model for users to express queries, the data that can meet the needs are still captured within a data model. The next chapter on vivification addresses the problem of closing the gap, which is often significant, between the business and the data models. Moreover, Big Data forces BI systems to integrate and consolidate multiple, and often wildly different, data sources. One chapter gives an overview of several integration architectures for dealing with the challenges that need to be overcome. While the book so far focuses on the usual structured relational data, the remaining chapters turn to unstructured data, an ever-increasing and important component of Big Data. One chapter on information extraction describes methods for dealing with the extraction of relations from free text and the web. Finally, BI users need tools to visualize and interpret new and complex types of information in a way that is compelling, intuitive, but accurate. The last chapter gives an overview of information visualization for decision support and text.

This book constitutes the refereed proceedings of the 17th Iberoamerican Congress on Pattern Recognition, CIARP 2012, held in Buenos Aires, Argentina, in September 2012. The 109 papers presented, among them two tutorials and four keynotes, were carefully reviewed and selected from various submissions. The papers are organized in topical sections on face and iris: detection and recognition; clustering; fuzzy methods; human actions and gestures; graphs; image processing and analysis; shape and texture; learning, mining and neural networks; medical images; robotics, stereo vision and real time; remote sensing; signal processing; speech and handwriting analysis; statistical pattern recognition; theoretical pattern recognition; and video analysis.

Hardware Design and Petri Nets presents a summary of the state of the art in the applications of Petri nets to designing digital systems and circuits. The area of hardware design has traditionally been a fertile field for research in concurrency and Petri nets. Many new ideas about modelling and analysis of concurrent systems, and Petri nets in particular, originated in theory of asynchronous digital circuits. Similarly, the theory and practice of digital circuit design have always recognized Petri nets as a powerful and easy-to-understand modelling tool. The ever-growing demand in the electronic industry for design automation to build various types of computer-based systems creates many opportunities for Petri nets to establish their role of a formal backbone in future tools for constructing systems that are increasingly becoming distributed, concurrent and asynchronous. Petri nets have already proved very effective in supporting algorithms for solving key problems in synthesis of hardware control circuits. However, since the front end to any realistic design flow in the future is likely to rely on more pragmatic Hardware Description Languages (HDLs), such as VHDL and Verilog, it is crucial that Petri nets are well interfaced to such languages. Hardware Design and Petri Nets is divided into five parts, which cover aspects of behavioral modelling, analysis and verification, synthesis from Petri nets and STGs, design environments based on high-level Petri nets and HDLs, and finally performance analysis using Petri nets. Hardware Design and Petri Nets serves as an excellent reference source and may be used as a text for advanced courses on the subject.

Compensation is a systematic approach to providing monetary value and other benefits to employees in exchange for their work and service. But pay and conditions becomes a more complicated issue for multinational companies which operate across different locations and cultures, and who employ an increasingly diverse range of personnel. This unique new text gives in-depth analysis of the key themes and emerging topics faced by global enterprises when dealing with compensation issues. The first section, 'Foundation Concepts', looks at the design of compensation packages for a number of different employee groups; from supply chain management to research and development, as well as ethical considerations when dealing with a global context, and the concept of performance related pay. The second section, 'Global Applications', looks at current debates in the field, including the influence of national cultures on compensation schemes, discrepancies in CEO pay, and contrasts in wages between industry types. Part of Routledge's Global HRM, this is is an invaluable text for any student of HRM, Business and Management, or any practitioner working in this area.

This book constitutes the proceedings of the 44th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2023, which took place in Lisbon, Portugal, in June 2023. The 21 full papers included in this book were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: Process mining; semantics; tools; verification; timed models; model transformation. The book also includes two invited talks in full paper length. 

Marine environment can be affected by several pollutants such as the presence of elements and their chemical species, pharmaceuticals, nanoparticles and other emerging contaminants. Environmental monitoring can be assessed by genomics, proteomics (i.e. redox proteomics), chemical speciation analysis and metallomics, metabolomics as well as other advanced strategies. The present book is a useful methodological tool for researchers and specialists in the field of analytical chemistry, environmental sciences, biochemistry, genomics and toxicology. The book includes for the first time the methodological aspects and applications related to chemical speciation and -omics strategies applied to marine environment.