Luís Gomes - Böcker

The Portuguese Subjunctive: A Grammar Workbook is the first book devoted exclusively to understanding and mastering this challenging area of Portuguese grammar. The clear structure guides students through the six subjunctive tenses, providing them with concise and accurate explanations accompanied by a range of exercises to test and consolidate learning. Each chapter is designed to help students progress from simple to more complex use of the language, with instructions initially set in English before moving to Portuguese, and exercises progressing from simple application to more advanced translation and 'compare and contrast' tasks.This grammar workbook is ideal for intermediate to advanced learners of European or Brazilian Portuguese who wish to master the use of the subjunctive. It can be used as a supplementary in-class text as well as a resource for independent study.

The Portuguese Subjunctive: A Grammar Workbook is the first book devoted exclusively to understanding and mastering this challenging area of Portuguese grammar. The clear structure guides students through the six subjunctive tenses, providing them with concise and accurate explanations accompanied by a range of exercises to test and consolidate learning. Each chapter is designed to help students progress from simple to more complex use of the language, with instructions initially set in English before moving to Portuguese, and exercises progressing from simple application to more advanced translation and 'compare and contrast' tasks.This grammar workbook is ideal for intermediate to advanced learners of European or Brazilian Portuguese who wish to master the use of the subjunctive. It can be used as a supplementary in-class text as well as a resource for independent study.

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 as 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. This text is divided into five parts, which cover aspects of behavioural 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. It serves as a reference source and may be used as a text for advanced courses on the subject.

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.

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.

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.

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.

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.