中文
相关论文

相关论文: About inevitability of budgetary code receiving fo…

200 篇论文

Using appropriate notation systems for proofs, cut-reduction can often be rendered feasible on these notations, and explicit bounds can be given. Developing a suitable notation system for Bounded Arithmetic, and applying these bounds, all…

计算机科学中的逻辑 · 计算机科学 2007-12-11 Klaus Aehlig , Arnold Beckmann

Given the complexity of modern software systems, it is of great importance that such systems be able to autonomously modify themselves, i.e., self-adapt, with minimal human supervision. It is critical that this adaptation both results in…

软件工程 · 计算机科学 2022-05-13 Todd Wareham , Ronald de Haan

In this paper we consider a generalization of the well-known budgeted maximum coverage problem. We are given a ground set of elements and a set of bins. The goal is to find a subset of elements along with an associated set of bins, such…

数据结构与算法 · 计算机科学 2018-08-10 Francesco Cellinese , Gianlorenzo D'Angelo , Gianpiero Monaco , Yllka Velaj

Although many investigators affirm a desire to build reasoning systems that behave consistently with the axiomatic basis defined by probability theory and utility theory, limited resources for engineering and computation can make a complete…

人工智能 · 计算机科学 2013-04-11 Eric J. Horvitz

With negative growth in real production in many countries and debt levels which become an increasing burden on developed societies, the calls for a change in economic policy and even the monetary system become louder and increasingly…

综合金融 · 定量金融 2012-06-08 Andreas Hula

A government has to finance a risk for its population. It shares the charges among the population with a fixed scale based on economic criteria. Various organisms have to collect and to redistribute fairly the subsidies. Under these…

综合金融 · 定量金融 2014-01-14 Guy Cirier

Despite the growing importance of the digital sector, research on economic complexity and its implications continues to rely mostly on administrative records, e.g. data on exports, patents, and employment, that have blind spots when it…

综合经济学 · 经济学 2026-01-23 Sándor Juhász , Johannes Wachs , Jermain Kaminski , César A. Hidalgo

While the benefits of common and public goods are shared, they tend to be scarce when contributions are provided voluntarily. Failure to cooperate in the provision or preservation of these goods is fundamental to sustainability challenges,…

综合经济学 · 经济学 2025-08-05 Vítor V. Vasconcelos , Phillip M. Hannam , Simon A. Levin , Jorge M. Pacheco

We consider the problem of governing systemic risk in a banking system model. The banking system model consists in an initial value problem for a system of stochastic differential equations whose dependent variables are the log-monetary…

风险管理 · 定量金融 2018-12-19 Lorella Fatone , Francesca Mariani

Maintaining competitive advantage is significant in this present day of globalization, knowledge management and enormous economic activities. An organization's future developments are influenced by its managements' decisions. Businesses…

其他计算机科学 · 计算机科学 2013-07-31 Quist-Aphetsi Kester , Koumadi , Koudjo M , Nii Narku Quaynor

"Code is law" refers to the idea that, with the advent of digital technology, code has progressively established itself as the predominant way to regulate the behavior of Internet users. Yet, while computer code can enforce rules more…

计算机与社会 · 计算机科学 2018-01-09 Primavera De Filippi , Samer Hassan

Africa is experiencing extensive biodiversity loss due to rapid changes in the environment, where natural resources constitute the main instrument for socioeconomic development and a mainstay source of livelihoods for an increasing…

The challenging task of embedding innovative participatory processes and technologies within local government often falls upon local council officers. Using qualitative data collection and analysis, we investigate the ongoing work of…

计算机与社会 · 计算机科学 2022-09-27 Jonathan Davies , Miguel Arana-Catania , Rob Procter

The recent drastic increase in mobile data traffic has pushed the mobile edge computing systems to the limit of their capacity. A promising solution to this problem is the task migration provided by unmanned aerial vehicles (UAV). Key…

系统与控制 · 电气工程与系统科学 2023-06-22 Khai Doan , Wesley Araujo , Evangelos Kranakis , Ioannis Lambadaris , Yannis Viniotis

The paper develops a general framework for constrained clustering which is based on the close connection of geometric clustering and diagrams. Various new structural and algorithmic results are proved (and known results generalized and…

数据结构与算法 · 计算机科学 2017-04-10 Andreas Brieden , Peter Gritzmann , Fabian Klemm

Budget feasible mechanisms, recently initiated by Singer (FOCS 2010), extend algorithmic mechanism design problems to a realistic setting with a budget constraint. We consider the problem of designing truthful budget feasible mechanisms for…

计算机科学与博弈论 · 计算机科学 2010-07-23 Ning Chen , Nick Gravin , Pinyan Lu

To implement the previously formulated principles of sustainable economic development, all non-negative solutions of the linear system of equations and inequalities, which are satisfied by the vector of real consumption, are completely…

综合经济学 · 经济学 2024-05-17 N. S. Gonchar

Agentic AI systems are increasingly being explored as production infrastructure: they reason over multiple steps, call tools, act through workflows, and adapt through memory and feedback. These systems create governance challenges that are…

人工智能 · 计算机科学 2026-05-29 Muhammad Zia Hydari , Raja Iqbal , Narayan Ramasubbu

We study a class of procurement auctions with a budget constraint, where an auctioneer is interested in buying resources or services from a set of agents. Ideally, the auctioneer would like to select a subset of the resources so as to…

计算机科学与博弈论 · 计算机科学 2017-10-10 Georgios Amanatidis , Georgios Birmpas , Evangelos Markakis

Cloud computing has been shown to be an essential enabling technology for public sector organizations PSOs and offers numerous potential benefits, including reduced information technology infrastructure costs, increased innovation…

计算机与社会 · 计算机科学 2026-01-13 Mark Theby