- Table View
- List View
Approaches to Legal Ontologies: Theories, Domains, Methodologies (Law, Governance and Technology Series #1)
by Giovanni Sartor Mariangela Biasiotti Meritxell Fernández-Barrera Pompeu CasanovasThe book provides the reader with a unique source regarding the current theoretical landscape in legal ontology engineering as well as on foreseeable future trends for the definition of conceptual structures to enhance the automatic processing and retrieval of legal information in the Semantic Web framework. It will thus interest researchers in the domains of the SW, legal informatics, Artificial Intelligence and law, legal theory and legal philosophy, as well as developers of e-government applications based on the intelligent management of legal or public information to provide both back-office and front-office support.
Approaches to Legal Rationality (Logic, Epistemology, and the Unity of Science #20)
by Dov M. Gabbay Patrice Canivez Shahid Rahman Alexandre ThiercelinLegal theory, political sciences, sociology, philosophy, logic, artificial intelligence: there are many approaches to legal argumentation. Each of them provides specific insights into highly complex phenomena. Different disciplines, but also different traditions in disciplines (e.g. analytical and continental traditions in philosophy) find here a rare occasion to meet. The present book contains contributions, both historical and thematic, from leading researchers in several of the most important approaches to legal rationality. One of the main issues is the relation between logic and law: the way logic is actually used in law, but also the way logic can make law explicit. An outstanding group of philosophers, logicians and jurists try to meet this issue. The book is more than a collection of papers. However different their respective conceptual tools may be, the authors share a common conception: legal argumentation is a specific argumentation context.
Approaches, Opportunities, and Challenges for Eco-design 4.0: A Concise Guide for Practitioners and Students
by Samira KeivanpourThis book addresses the implications of the Industry 4.0 paradigm in design for the environment. We examine the opportunities for, and challenges of, the implications of cyber-physical systems, big data analytics, Internet of things, additive manufacturing, and simulation in a range of areas in an eco-design context. These include selecting low impact materials, choosing manufacturing processes with environmental considerations, end of life strategies, applying design approaches for disassembly, integrating economic and social components into environmental studies, and stakeholder’s involvement. This volume takes a step toward this journey to explore how the three pillars of technology, sustainability, and evolving consumers could shape the future of the product’s design.
Appropriate, Negotiate, Challenge: Activist Imaginaries and the Politics of Digital Technologies
by Dr. Elisabetta FerrariActivists use digital technologies to communicate, coordinate, and organize for social change. But these big corporate digital platforms are also used to spread disinformation, racism, and abuse. Appropriate, Negotiate, Challenge investigates the relationship between activism and technology, focusing on how activists think and talk about technology’s role in social change and what this tells us about the politics of digital technologies. Researching movements in Italy, Hungary, and the United States, Elisabetta Ferrari examines how leftist activists construct technological imaginaries that appropriate, negotiate, and challenge Silicon Valley’s vision of technology. She argues that these imaginaries reflect and shape the politics of social movements: they matter for how activists think about their political possibilities. Ultimately, Ferrari centers the political and imaginative work that activists need to perform in order to navigate the politics of mainstream digital technologies.
Appropriately Indian: Gender and Culture in a New Transnational Class
by Smitha RadhakrishnanAppropriately Indian is an ethnographic analysis of the class of information technology professionals at the symbolic helm of globalizing India. Comprising a small but prestigious segment of India's labor force, these transnational knowledge workers dominate the country's economic and cultural scene, as do their notions of what it means to be Indian. Drawing on the stories of Indian professionals in Mumbai, Bangalore, Silicon Valley, and South Africa, Smitha Radhakrishnan explains how these high-tech workers create a "global Indianness" by transforming the diversity of Indian cultural practices into a generic, mobile set of "Indian" norms. Female information technology professionals are particularly influential. By reconfiguring notions of respectable femininity and the "good" Indian family, they are reshaping ideas about what it means to be Indian. Radhakrishnan explains how this transnational class creates an Indian culture that is self-consciously distinct from Western culture, yet compatible with Western cosmopolitan lifestyles. She describes the material and symbolic privileges that accrue to India's high-tech workers, who often claim ordinary middle-class backgrounds, but are overwhelmingly urban and upper caste. They are also distinctly apolitical and individualistic. Members of this elite class practice a decontextualized version of Hinduism, and they absorb the ideas and values that circulate through both Indian and non-Indian multinational corporations. Ultimately, though, global Indianness is rooted and configured in the gendered sphere of home and family.
Approximate Arithmetic Circuit Architectures for FPGA-based Systems
by Akash Kumar Salim UllahThis book presents various novel architectures for FPGA-optimized accurate and approximate operators, their detailed accuracy and performance analysis, various techniques to model the behavior of approximate operators, and thorough application-level analysis to evaluate the impact of approximations on the final output quality and performance metrics. As multiplication is one of the most commonly used and computationally expensive operations in various error-resilient applications such as digital signal and image processing and machine learning algorithms, this book particularly focuses on this operation. The book starts by elaborating on the various sources of error resilience and opportunities available for approximations on various layers of the computation stack. It then provides a detailed description of the state-of-the-art approximate computing-related works and highlights their limitations.
Approximate Circuits: Methodologies and CAD
by Muhammad Shafique Sherief RedaThis book provides readers with a comprehensive, state-of-the-art overview of approximate computing, enabling the design trade-off of accuracy for achieving better power/performance efficiencies, through the simplification of underlying computing resources. The authors describe in detail various efforts to generate approximate hardware systems, while still providing an overview of support techniques at other computing layers. The book is organized by techniques for various hardware components, from basic building blocks to general circuits and systems.
Approximate Iterative Algorithms
by Anthony Louis AlmudevarIterative algorithms often rely on approximate evaluation techniques, which may include statistical estimation, computer simulation or functional approximation. This volume presents methods for the study of approximate iterative algorithms, providing tools for the derivation of error bounds and convergence rates, and for the optimal design of such
Approximation Methods for Polynomial Optimization: Models, Algorithms, and Applications (SpringerBriefs in Optimization)
by Zhening Li Simai He Shuzhong ZhangPolynomial optimization have been a hot research topic for the past few years and its applications range from Operations Research, biomedical engineering, investment science, to quantum mechanics, linear algebra, and signal processing, among many others. In this brief the authors discuss some important subclasses of polynomial optimization models arising from various applications, with a focus on approximations algorithms with guaranteed worst case performance analysis. The brief presents a clear view of the basic ideas underlying the design of such algorithms and the benefits are highlighted by illustrative examples showing the possible applications. This timely treatise will appeal to researchers and graduate students in the fields of optimization, computational mathematics, Operations Research, industrial engineering, and computer science.
Approximation and Online Algorithms: 14th International Workshop, WAOA 2016, Aarhus, Denmark, August 25–26, 2016, Revised Selected Papers (Lecture Notes in Computer Science #10138)
by Klaus Jansen Monaldo MastrolilliThis book constitutes the thoroughly refereed post workshop proceedings of the 8th International Workshop on Approximation and Online Algorithms, WAOA 2010, held in Liverpool, UK, in September 2010 as part of the ALGO 2010 conference event. The 23 revised full papers presented were carefully reviewed and selected from 58 submissions. The workshop covered areas such as algorithmic game theory, approximation classes, coloring and partitioning, competitive analysis, computational finance, cuts and connectivity, geometric problems, inapproximability results, echanism design, network design, packing and covering, paradigms for design and analysis of approximation and online algorithms, parameterized complexity, randomization techniques, real-world applications, and scheduling problems.
Approximation and Online Algorithms: 15th International Workshop, WAOA 2017, Vienna, Austria, September 7–8, 2017, Revised Selected Papers (Lecture Notes in Computer Science #10787)
by Rudolf Fleischer Roberto Solis-ObaThis book constitutes the thoroughly refereed workshop post-proceedings of the 15th International Workshop on Approximation and Online Algorithms, WAOA 2017, held in Vienna, Austria, in September 2017 as part of ALGO 2017.The 23 revised full papers presented in this book were carefully reviewed and selected from 50 submissions. Topics of interest for WAOA 2017 were: graph algorithms; inapproximability results; network design; packing and covering; paradigms for the design and analysis of approximation and online algorithms; parameterized complexity; scheduling problems; algorithmic game theory; coloring and partitioning; competitive analysis; computational advertising; computational finance; cuts and connectivity; geometric problems; mechanism design; resource augmentation; and real-world applications.
Approximation and Online Algorithms: 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers (Lecture Notes in Computer Science #11312)
by Leah Epstein Thomas ErlebachThis book constitutes the thoroughly refereed workshop post-proceedings of the 16th International Workshop on Approximation and Online Algorithms, WAOA 2018, held in Helsinki, Finland, in August 2018 as part of ALGO 2018. The 19 revised full papers presented together with one invited paper in this book were carefully reviewed and selected from 44 submissions. Topics of interest for WAOA 2016 were: graph algorithms; inapproximability results; network design; packing and covering; paradigms for the design and analysis of approximation and online algorithms; parameterized complexity; scheduling problems; algorithmic game theory; algorithmic trading; coloring and partitioning; competitive analysis; computational advertising; computational finance; cuts and connectivity; geometric problems; mechanism design; resource augmentation; and real-world applications.
Approximation and Online Algorithms: 17th International Workshop, WAOA 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers (Lecture Notes in Computer Science #11926)
by Evripidis Bampis Nicole MegowThis book constitutes the thoroughly refereed workshop post-proceedings of the 17th International Workshop on Approximation and Online Algorithms, WAOA 2019, held in Munich, Germany, in September 2019 as part of ALGO 2019.The 16 revised full papers presented together with one invited paper in this book were carefully reviewed and selected from 38 submissions. Topics of interest for WAOA 2018 were: graph algorithms; inapproximability results; network design; packing and covering; paradigms for the design and analysis of approximation and online algorithms; parameterized complexity; scheduling problems; algorithmic game theory; algorithmic trading; coloring and partitioning; competitive analysis; computational advertising; computational finance; cuts and connectivity; geometric problems; mechanism design; resource augmentation; and real-world applications.
Approximation and Online Algorithms: 18th International Workshop, WAOA 2020, Virtual Event, September 9–10, 2020, Revised Selected Papers (Lecture Notes in Computer Science #12806)
by Christos Kaklamanis Asaf LevinThis book constitutes the thoroughly refereed workshop post-proceedings of the 18th International Workshop on Approximation and Online Algorithms, WAOA 2019, held virtually in September 2020 as part of ALGO 2020.The 15 revised full papers presented this book were carefully reviewed and selected from 40 submissions. Topics of interest for WAOA 2018 were graph algorithms, inapproximability results, network design, packing and covering, paradigms for the design and analysis of approximation and online algorithms, parameterized complexity, scheduling problems, algorithmic game theory, algorithmic trading, coloring and partitioning, competitive analysis, computational advertising, computational -finance, cuts and connectivity, geometric problems, mechanism design, resource augmentation, real-world applications.Chapter "Explorable Uncertainty in Scheduling with Non-Uniform Testing Times" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Approximation and Online Algorithms: 21st International Workshop, WAOA 2023, Amsterdam, The Netherlands, September 7–8, 2023, Proceedings (Lecture Notes in Computer Science #14297)
by Andreas Wiese Jarosław ByrkaThis book constitutes the refereed proceedings of the 21st International Workshop on Approximation and Online Algorithms, WAOA 2023, held in Amsterdam, The Netherlands, during September 7–8, 2023The 16 full papers included in this book are carefully reviewed and selected from 43 submissions. The topics of WAOA 2023 were algorithmic game theory, algorithmic trading, coloring and partitioning, competitive analysis, computational advertising, computational finance, cuts and connectivity, FPT-approximation algorithms, geometric problems, graph algorithms, inapproximability results, mechanism design, network design, packing and covering, paradigms for the design and analysis of approximation and online algorithms, resource augmentation, and scheduling problems
Approximation and Online Algorithms: 22nd International Workshop, WAOA 2024, Egham, UK, September 5–6, 2024, Proceedings (Lecture Notes in Computer Science #15269)
by Marcin Bieńkowski Matthias EnglertThis book constitutes the refereed proceedings of the 22nd International Workshop on Approximation and Online Algorithms, WAOA 2024, held in Egham, UK, during September 5–6, 2024. The 15 full papers included in this book were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: algorithmic game theory, algorithmic trading, coloring and partitioning, competitive analysis, computational advertising, computational finance, cuts and connectivity, FPT approximation algorithms, geometric problems, graph algorithms, inapproximability results, mechanism design, network design, packing and covering, paradigms for designing and analyzing approximation and online algorithms, resource augmentation, and scheduling problems.
Approximation and Online Algorithms: 4th International Workshop, Waoa 2006, Zurich, Switzerland, September 14-15, 2006, Revised Papers (Lecture Notes In Computer Science Ser. #4368)
by Christos Kaklamanis Asaf LevinThis book constitutes the thoroughly refereed workshop post-proceedings of the 18th International Workshop on Approximation and Online Algorithms, WAOA 2019, held virtually in September 2020 as part of ALGO 2020. <P><P> The 15 revised full papers presented this book were carefully reviewed and selected from 40 submissions. Topics of interest for WAOA 2018 were graph algorithms, inapproximability results, network design, packing and covering, paradigms for the design and analysis of approximation and online algorithms, parameterized complexity, scheduling problems, algorithmic game theory, algorithmic trading, coloring and partitioning, competitive analysis, computational advertising, computational -finance, cuts and connectivity, geometric problems, mechanism design, resource augmentation, real-world applications. Chapter "Explorable Uncertainty in Scheduling with Non-Uniform Testing Times" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Approximation and Optimization: Algorithms, Complexity and Applications (Springer Optimization and Its Applications #145)
by Panos M. Pardalos Ioannis C. DemetriouThis book focuses on the development of approximation-related algorithms and their relevant applications. Individual contributions are written by leading experts and reflect emerging directions and connections in data approximation and optimization. Chapters discuss state of the art topics with highly relevant applications throughout science, engineering, technology and social sciences. Academics, researchers, data science practitioners, business analysts, social sciences investigators and graduate students will find the number of illustrations, applications, and examples provided useful. This volume is based on the conference Approximation and Optimization: Algorithms, Complexity, and Applications, which was held in the National and Kapodistrian University of Athens, Greece, June 29–30, 2017. The mix of survey and research content includes topics in approximations to discrete noisy data; binary sequences; design of networks and energy systems; fuzzy control; large scale optimization; noisy data; data-dependent approximation; networked control systems; machine learning ; optimal design; no free lunch theorem; non-linearly constrained optimization; spectroscopy.
Approximation of Euclidean Metric by Digital Distances
by Jayanta MukhopadhyayThis book discusses different types of distance functions defined in an n-D integral space for their usefulness in approximating the Euclidean metric. It discusses the properties of these distance functions and presents various kinds of error analysis in approximating Euclidean metrics. It also presents a historical perspective on efforts and motivation for approximating Euclidean metrics by digital distances from the mid-sixties of the previous century. The book also contains an in-depth presentation of recent progress, and new research problems in this area.
Apps and Services with .NET 7: Build practical projects with Blazor, .NET MAUI, gRPC, GraphQL, and other enterprise technologies
by Mark J. PriceBestselling author Mark Price is back to guide you through the coolest and most common technologies a .NET developer should know: Blazor, .NET MAUI, gRPC, GraphQL, SQL Server, Cosmos DB, OData, SignalR, Azure Functions, and more!Purchase of the print or Kindle book includes a free eBook in PDF format.Key FeaturesBuild services using a variety of technologies including Web API, OData, gRPC, GraphQL, SignalR, and Azure FunctionsLearn how to use specialized libraries to improve all aspects of your applications, including performance and localizationLeverage .NET MAUI to develop cross-platform desktop and mobile apps with easeBook DescriptionApps and Services with .NET 7 is for .NET 6 and .NET 7 developers who want to kick their C# and .NET understanding up a gear by learning the practical skills and knowledge they need to build real-world applications and services. It covers specialized libraries that will help you monitor and improve performance, secure your data and applications, and internationalize your code and apps.With chapters that put a variety of technologies into practice, including Web API, OData, gRPC, GraphQL, SignalR, and Azure Functions, this book will give you a broader scope of knowledge than other books that often focus on only a handful of .NET technologies. It covers the latest developments, libraries, and technologies that will help keep you up to date.You'll also leverage .NET MAUI to develop mobile apps for iOS and Android as well as desktop apps for Windows and macOS.What you will learnLearn how to build more efficient, secure, and scalable apps and servicesLeverage specialized .NET libraries to improve your applicationsImplement popular third-party libraries like Serilog and FluentValidationBuild cross-platform apps with .NET MAUI and integrate with native mobile featuresGet familiar with a variety of technologies for implementing services like gRPC and GraphQLExplore Blazor WebAssembly and use open-source Blazor component librariesStore and manage data locally and in the cloud with SQL Server and Cosmos DBWho this book is forThis book is for .NET developers interested in exploring more specialized libraries and implementation fundamentals behind building services and apps.You'll need to know your way around .NET and C# quite well before you can dive in, so if you want to work your way up to this book, pick up Mark's other .NET book, C# 11 and .NET 7 – Modern Cross-Platform Development Fundamentals, first.
Apps and Services with .NET 8: Build practical projects with Blazor, .NET MAUI, gRPC, GraphQL, and other enterprise technologies
by Mark J. PriceBestselling author Mark Price is back to guide you through the latest and most common technologies a .NET developer should know: Blazor Full Stack, ASP.NET Core MVC, ASP.NET Core Minimal APIs, .NET MAUI, gRPC, GraphQL, SQL Server, Cosmos DB, SignalR, Azure Functions, and more! Purchase of the print or Kindle book includes a free eBook in PDF format.Key FeaturesUse specialized libraries to improve all aspects of your apps, including performance, security, and localizationHarness the full potential of .NET using cloud-native data stores like Cosmos DB, and unlock scalability, performance, and resilience in your service implementationsUnleash the capabilities of Blazor Full Stack and.NET MAUI to develop stunning, truly cross-platform apps for web and mobileBook DescriptionElevate your practical C# and .NET skills to the next level with this new edition of Apps and Services with .NET 8. With chapters that put a variety of technologies into practice, including Web API, gRPC, GraphQL, and SignalR, this book will give you a broader scope of knowledge than other books that often focus on only a handful of .NET technologies. You’ll dive into the new unified model for Blazor Full Stack and leverage .NET MAUI to develop mobile and desktop apps. This new edition introduces the latest enhancements, including the seamless implementation of web services with ADO.NET SqlClient's native Ahead-of-Time (AOT) support. Popular library coverage now includes Humanizer and Noda Time. There’s also a brand-new chapter that delves into service architecture, caching, queuing, and robust background services. By the end of this book, you’ll have a wide range of best practices and deep insights under your belt to help you build rich apps and efficient services.What you will learnFamiliarize yourself with a variety of technologies to implement services, such as gRPC and GraphQLStore and manage data locally and cloud-natively with SQL Server and Cosmos DBUse ADO.NET SqlClient to implement web services with native AOT publish supportLeverage Dapper for improved performance over EF CoreImplement popular third-party libraries such as Serilog, FluentValidation, Humanizer, and Noda TimeExplore the new unified hosting model of Blazor Full StackWho this book is forThis book is for .NET developers interested in exploring more specialized libraries and implementation fundamentals behind building services and apps. You’ll need to know your way around .NET and C# quite well before you can dive in, so if you want to work your way up to this book, you can pick up Mark’s other .NET book, C# 12 and .NET 8 – Modern Cross-Platform Development Fundamentals, first.
Aprenda programar códigos como um Profissional: Criar jogos, Aplicativos & Programas
by Zach ZinfadelAprenda programar códigos como um Profissional: Criar jogos, Aplicativos & Programas por Zach Zinfadel Com este livro você não aprende só programação, mas também aborda tópicos que as aulas e outros livros não ensinam. Fornece também instruções específicas e fáceis de seguir, passos de como criar códigos de forma correta. Itens inclusos: - Tutoriais de programação em HTML e JavaScript. - Introdução à programação e códigos. - O que são variáveis e como usá-las. - Tudo sobre arrays e declarações lógicas. - Tudo sobre funções e como elas funcionam. - Como criar seu primeiro programa. >>> Clique acima para comprar instantaneamente! Gênero: COMPUTADORES / Programação / Geral Gênero Secundário: COMPUTADORES / Programação Web / Web Língua: Português BR
Aptana RadRails: An IDE for Rails Development
by Javier RamirezThis book is for Ruby on Rails developers who want to make the most of the framework by using an Integrated Development Environment. Even though the book explains everything you need to follow the contents, the focus is on how to use the tool and not on the Rails framework itself, so previous working knowledge of Rails is highly advisable. Previous knowledge of Eclipse is not necessary.
Aptana Studio Beginner's Guide
by Thomas DeulingAccompanied by the plenty of example code and step-by-step instructions, this book will escalate you from a novice to an expert in no time. This book is for anyone who is looking for an IDE for effectively developing web applications. You will find this book interesting if you are working with common web technologies such as HTML5, JavaScript, or PHP. This book assumes no prior knowledge of Aptana Studio 3 or the named web technologies.
Arabic Glitch: Technoculture, Data Bodies, and Archives
by Laila Shereen SakrArabic Glitch explores an alternative origin story of twenty-first century technological innovation in digital politics—one centered on the Middle East and the 2011 Arab uprisings. Developed from an archive of social media data collected over the decades following the 2003 U.S. invasion of Iraq, this book interrogates how the logic of programming technology influences and shapes social movements. Engaging revolutionary politics, Arab media, and digital practice in form, method, and content, Laila Shereen Sakr formulates a media theory that advances the concept of the glitch as a disruptive media affordance. She employs data analytics to analyze tweets, posts, and blogs to describe the political culture of social media, and performs the results under the guise of the Arabic-speaking cyborg VJ Um Amel. Playing with multiple voices that span across the virtual and the real, Sakr argues that there is no longer a divide between the virtual and embodied: both bodies and data are physically, socially, and energetically actual. Are we cyborgs or citizens—or both? This book teaches us how a region under transformation became a vanguard for new thinking about digital systems: the records they keep, the lives they impact, and how to create change from within.