Einloggen

Thematische Bibliographien / Resource bounds analysis / Zeitschriftenartikel

Um die anderen Arten von Veröffentlichungen zu diesem Thema anzuzeigen, folgen Sie diesem Link: Resource bounds analysis.

Zeitschriftenartikel zum Thema „Resource bounds analysis“

Autor: Grafiati

Veröffentlicht am 28. Juni 2021

Zuletzt aktualisiert am 17. Februar 2022

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit Top-50 Zeitschriftenartikel für die Forschung zum Thema "Resource bounds analysis" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Sehen Sie die Zeitschriftenartikel für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.

1

Kahn, David M., and Jan Hoffmann. "Automatic amortized resource analysis with the Quantum physicist’s method." Proceedings of the ACM on Programming Languages 5, ICFP (2021): 1–29. http://dx.doi.org/10.1145/3473581.

Der volle Inhalt der Quelle

Annotation:

We present a novel method for working with the physicist's method of amortized resource analysis, which we call the quantum physicist's method. These principles allow for more precise analyses of resources that are not monotonically consumed, like stack. This method takes its name from its two major features, worldviews and resource tunneling, which behave analogously to quantum superposition and quantum tunneling. We use the quantum physicist's method to extend the Automatic Amortized Resource Analysis (AARA) type system, enabling the derivation of resource bounds based on tree depth. In doin

APA, Harvard, Vancouver, ISO und andere Zitierweisen

2

Navas, Jorge, Mario Méndez-Lojo, and Manuel V. Hermenegildo. "User-Definable Resource Usage Bounds Analysis for Java Bytecode." Electronic Notes in Theoretical Computer Science 253, no. 5 (2009): 65–82. http://dx.doi.org/10.1016/j.entcs.2009.11.015.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

3

SERRANO, A., P. LOPEZ-GARCIA, and M. V. HERMENEGILDO. "Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types." Theory and Practice of Logic Programming 14, no. 4-5 (2014): 739–54. http://dx.doi.org/10.1017/s147106841400057x.

Der volle Inhalt der Quelle

Annotation:

AbstractWe present a novel general resource analysis for logic programs based on sized types. Sized types are representations that incorporate structural (shape) information and allow expressing both lower and upper bounds on the size of a set of terms and their subterms at any position and depth. They also allow relating the sizes of terms and subterms occurring at different argument positions in logic predicates. Using these sized types, the resource analysis can infer both lower and upper bounds on the resources used by all the procedures in a program as functions on input term (and subterm

APA, Harvard, Vancouver, ISO und andere Zitierweisen

4

ALBERT, ELVIRA, MIQUEL BOFILL, CRISTINA BORRALLERAS, ENRIQUE MARTIN-MARTIN, and ALBERT RUBIO. "Resource Analysis driven by (Conditional) Termination Proofs." Theory and Practice of Logic Programming 19, no. 5-6 (2019): 722–39. http://dx.doi.org/10.1017/s1471068419000152.

Der volle Inhalt der Quelle

Annotation:

AbstractWhen programs feature a complex control flow, existing techniques for resource analysis produce cost relation systems (CRS) whose cost functions retain the complex flow of the program and, consequently, might not be solvable into closed-form upper bounds. This paper presents a novel approach to resource analysis that is driven by the result of a termination analysis. The fundamental idea is that the termination proof encapsulates the flows of the program which are relevant for the cost computation so that, by driving the generation of the CRS using the termination proof, we produce a l

APA, Harvard, Vancouver, ISO und andere Zitierweisen

5

Wu, Zeyang, Kameng Nip, and Qie He. "A New Combinatorial Algorithm for Separable Convex Resource Allocation with Nested Bound Constraints." INFORMS Journal on Computing 33, no. 3 (2021): 1197–212. http://dx.doi.org/10.1287/ijoc.2020.1006.

Der volle Inhalt der Quelle

Annotation:

The separable convex resource allocation problem with nested bound constraints aims to allocate B units of resources to n activities to minimize a separable convex cost function, with lower and upper bounds on the total amount of resources that can be consumed by nested subsets of activities. We develop a new combinatorial algorithm to solve this model exactly. Our algorithm is capable of solving instances with millions of activities in several minutes. The running time of our algorithm is at most 73% of the running time of the current best algorithm for benchmark instances with three classes

APA, Harvard, Vancouver, ISO und andere Zitierweisen

6

Stefanov, Stefan M. "Solution of some convex separable resource allocation and production planning problems with bounds on the variables." Journal of Interdisciplinary Mathematics 13, no. 5 (2010): 541–69. http://dx.doi.org/10.1080/09720502.2010.10700719.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

7

Albert, Elvira, Nikolaos Bezirgiannis, Frank de Boer, and Enrique Martin-Martin. "A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell*." Fundamenta Informaticae 177, no. 3-4 (2020): 203–34. http://dx.doi.org/10.3233/fi-2020-1988.

Der volle Inhalt der Quelle

Annotation:

We present a formal translation of a resource-aware extension of the Abstract Behavioral Specification (ABS) language to the functional language Haskell. ABS is an actor-based language tailored to the modeling of distributed systems. It combines asynchronous method calls with a suspend and resume mode of execution of the method invocations. To cater for the resulting cooperative scheduling of the method invocations of an actor, the translation exploits for the compilation of ABS methods Haskell functions with continuations. The main result of this article is a correctness proof of the translat

APA, Harvard, Vancouver, ISO und andere Zitierweisen

8

Yoon, Man-Ki, Chang-Gun Lee, and Junghee Han. "Migrating from Per-Job Analysis to Per-Resource Analysis for Tighter Bounds of End-to-End Response Times." IEEE Transactions on Computers 59, no. 7 (2010): 933–42. http://dx.doi.org/10.1109/tc.2009.174.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

9

Sajid, Mohammad, and Zahid Raza. "An Analytical Model for Resource Characterization and Parameter Estimation for DAG-Based Jobs for Homogeneous Systems." International Journal of Distributed Systems and Technologies 6, no. 1 (2015): 34–52. http://dx.doi.org/10.4018/ijdst.2015010103.

Der volle Inhalt der Quelle

Annotation:

High Performance Computing (HPC) systems demand and consume a significant amount of resources (e.g. server, storage, electrical energy) resulting in high operational costs, reduced reliability, and sometimes leading to waste of scarce natural resources. On one hand, the most important issue for these systems is achieving high performance, while on the other hand, the rapidly increasing resource costs appeal to effectively predict the resource requirements to ensure efficient services in the most optimized manner. The resource requirement prediction for a job thus becomes important for both the

APA, Harvard, Vancouver, ISO und andere Zitierweisen

10

Picano, Benedetta. "End-to-End Delay Bound for VR Services in 6G Terahertz Networks with Heterogeneous Traffic and Different Scheduling Policies." Mathematics 9, no. 14 (2021): 1638. http://dx.doi.org/10.3390/math9141638.

Der volle Inhalt der Quelle

Annotation:

The emerging sixth-generation networks have to provide effective support to a wide plethora of novel disruptive heterogeneous applications. This paper models the probabilistic end-to-end delay bound for the virtual reality services in the presence of heterogeneous traffic flows by resorting to the stochastic network calculus principles and exploiting the martingale envelopes. The paper presents the network performance analysis under the assumption of different scheduling policies, considering both the earliest deadline first and the first-in-first-out queue discipline. Furthermore, differently

APA, Harvard, Vancouver, ISO und andere Zitierweisen

11

Bilò, Vittorio, Michele Flammini, Vasco Gallotti, and Cosimo Vinci. "On Multidimensional Congestion Games." Algorithms 13, no. 10 (2020): 261. http://dx.doi.org/10.3390/a13100261.

Der volle Inhalt der Quelle

Annotation:

We introduce multidimensional congestion games, that is, congestion games whose set of players is partitioned into d+1 clusters C0,C1,…,Cd. Players in C0 have full information about all the other participants in the game, while players in Ci, for any 1≤i≤d, have full information only about the members of C0∪Ci and are unaware of all the others. This model has at least two interesting applications: (i) it is a special case of graphical congestion games induced by an undirected social knowledge graph with independence number equal to d, and (ii) it represents scenarios in which players have a ty

APA, Harvard, Vancouver, ISO und andere Zitierweisen

12

PENG, SHAOLIN, GREGORY PARSONS, and ALEXANDER G. DEAN. "RESOURCE-FOCUSED TOOLCHAIN FOR RAPID PROTOTYPING OF EMBEDDED SYSTEMS." Journal of Circuits, Systems and Computers 21, no. 02 (2012): 1240003. http://dx.doi.org/10.1142/s0218126612400038.

Der volle Inhalt der Quelle

Annotation:

This paper introduces the RaPTEX toolchain and its use for rapid prototyping and evaluation of embedded communication systems. This toolchain is unique for several reasons. First, by using static code analysis techniques, it is able to predict both the typical case and bounds for resource usage, such as computational, memory (both static and dynamic), and energy requirements. Second, it provides a graphical user interface with configurable software building blocks which allows easy creation and customization of protocol stacks. Third, it targets low-cost, low-energy hardware, allowing the crea

APA, Harvard, Vancouver, ISO und andere Zitierweisen

13

Hatton, Erin. "Work beyond the bounds: a boundary analysis of the fragmentation of work." Work, Employment and Society 29, no. 6 (2015): 1007–18. http://dx.doi.org/10.1177/0950017014568141.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

14

Hurtado-Lange, Daniela, and Siva Theja Maguluri. "Transform Methods for Heavy-Traffic Analysis." Stochastic Systems 10, no. 4 (2020): 275–309. http://dx.doi.org/10.1287/stsy.2019.0056.

Der volle Inhalt der Quelle

Annotation:

The drift method was recently developed to study queuing systems in steady state. It was used successfully to obtain bounds on the moments of the scaled queue lengths that are asymptotically tight in heavy traffic and in a wide variety of systems, including generalized switches, input-queued switches, bandwidth-sharing networks, and so on. In this paper, we develop the use of transform techniques for heavy-traffic analysis, with a special focus on the use of moment-generating functions. This approach simplifies the proofs of the drift method and provides a new perspective on the drift method.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

15

LOPEZ-GARCIA, P., L. DARMAWAN, M. KLEMEN, U. LIQAT, F. BUENO, and M. V. HERMENEGILDO. "Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption." Theory and Practice of Logic Programming 18, no. 2 (2018): 167–223. http://dx.doi.org/10.1017/s1471068418000042.

Der volle Inhalt der Quelle

Annotation:

AbstractMany applications require conformance with specifications that constrain the use of resources, such as execution time, energy, bandwidth, etc. We present a configurable framework for static resource usage verification where specifications can include data size-dependent resource usage functions, expressing both lower and upper bounds. Ensuring conformance with respect to such specifications is an undecidable problem. Therefore, to statically check such specifications, our framework infers the same type of resource usage functions, which safely approximate the actual resource usage of t

APA, Harvard, Vancouver, ISO und andere Zitierweisen

16

Coester, Christian, Elias Koutsoupias, and Philip Lazos. "The Infinite Server Problem." ACM Transactions on Algorithms 17, no. 3 (2021): 1–23. http://dx.doi.org/10.1145/3456632.

Der volle Inhalt der Quelle

Annotation:

We study a variant of the k -server problem, the infinite server problem, in which infinitely many servers reside initially at a particular point of the metric space and serve a sequence of requests. In the framework of competitive analysis, we show a surprisingly tight connection between this problem and the resource augmentation version of the k -server problem, also known as the (h,k) -server problem, in which an online algorithm with k servers competes against an offline algorithm with h servers. Specifically, we show that the infinite server problem has bounded competitive ratio if and on

APA, Harvard, Vancouver, ISO und andere Zitierweisen

17

Dowdell, Benjamin L., J. Tim Kwiatkowski, and Kurt J. Marfurt. "Seismic characterization of a Mississippi Lime resource play in Osage County, Oklahoma, USA." Interpretation 1, no. 2 (2013): SB97—SB108. http://dx.doi.org/10.1190/int-2013-0026.1.

Der volle Inhalt der Quelle

Annotation:

With the advent of horizontal drilling and hydraulic fracturing in the Midcontinent, USA, fields once thought to be exhausted are now experiencing renewed exploitation. However, traditional Midcontinent seismic analysis techniques no longer provide satisfactory reservoir characterization for these unconventional plays; new seismic analysis methods are needed to properly characterize these radically innovative play concepts. Time processing and filtering is applied to a raw 3D seismic data set from Osage County, Oklahoma, paying careful attention to velocity analysis, residual statics, and cohe

APA, Harvard, Vancouver, ISO und andere Zitierweisen

18

Mazzella, Matthew J., Dana Boyd Barr, Kurunthachalam Kannan, Chitra Amarasiriwardena, Syam S. Andra, and Chris Gennings. "Evaluating inter-study variability in phthalate and trace element analyses within the Children’s Health Exposure Analysis Resource (CHEAR) using multivariate control charts." Journal of Exposure Science & Environmental Epidemiology 31, no. 2 (2021): 318–27. http://dx.doi.org/10.1038/s41370-021-00293-w.

Der volle Inhalt der Quelle

Annotation:

Abstract Background The Children’s Health Exposure Analysis Resource (CHEAR) program allows researchers to expand their research goals by offering the assessment of environmental exposures in their previously collected biospecimens. Samples are analyzed in one of CHEAR’s network of six laboratory hubs with the ability to assess a wide array of environmental chemicals. The ability to assess inter-study variability is important for researchers who want to combine datasets across studies and laboratories. Objective Herein we establish a process of evaluating inter-study variability for a given an

APA, Harvard, Vancouver, ISO und andere Zitierweisen

19

Yang, Xiuli, Yanhong Huang, Jianqi Shi, and Zongyu Cao. "A Performance Analysis Framework of Time-Triggered Ethernet Using Real-Time Calculus." Electronics 9, no. 7 (2020): 1090. http://dx.doi.org/10.3390/electronics9071090.

Der volle Inhalt der Quelle

Annotation:

With increasing demands of deterministic and real-time communication, network performance analysis is becoming an increasingly important research topic in safety-critical areas, such as aerospace, automotive electronics and so on. Time-triggered Ethernet (TTEthernet) is a novel hybrid network protocol based on the Ethernet standard; it is deterministic, synchronized and congestion-free. TTEthernet with a time-triggered mechanism meets the real-time and reliability requirements of safety-critical applications. Time-triggered (TT) messages perform strict periodic scheduling following the offline

APA, Harvard, Vancouver, ISO und andere Zitierweisen

20

Hurtado-Lange, Daniela, and Siva Theja Maguluri. "Heavy-traffic Analysis of the Generalized Switch under Multidimensional State Space Collapse." ACM SIGMETRICS Performance Evaluation Review 48, no. 3 (2021): 33–34. http://dx.doi.org/10.1145/3453953.3453959.

Der volle Inhalt der Quelle

Annotation:

Stochastic Processing Networks that model wired and wireless networks, and other queueing systems, have been studied in heavytraffic limit under the so-called Complete Resource Pooling (CRP) condition. When the CRP condition is not satisfied, heavy-traffic results are known only in the special case of an input-queued switch and bandwidth-sharing network. In this paper, we consider a very general queueing system called the 'generalized switch' that includes wireless networks under fading, data center networks, input-queued switch, etc. The primary contribution of this paper is to present the ex

APA, Harvard, Vancouver, ISO und andere Zitierweisen

21

Lee, Jong Wook, Sun Dong Chegal, and Seung Oh Lee. "A Review of Tank Model and Its Applicability to Various Korean Catchment Conditions." Water 12, no. 12 (2020): 3588. http://dx.doi.org/10.3390/w12123588.

Der volle Inhalt der Quelle

Annotation:

This paper reviews a conceptual rainfall-runoff model called Tank which has been widely used over the last 20 years in Korea as a part of a water resource modelling framework for assessing and developing long-term water resource polices. In order to examine the uncertainty of model predictions and the sensitivity of model’s parameters, Monte Carlos and Markov chain-based approaches are applied to five catchments of various Korean geographical and climatic conditions where the catchment sizes are ranged from 83 to 4786 km2. In addition, three optimization algorithms—dynamically dimensioned sear

APA, Harvard, Vancouver, ISO und andere Zitierweisen

22

Amjad, Maliha, Omer Chughtai, Muhammad Naeem, and Waleed Ejaz. "SWIPT-Assisted Energy Efficiency Optimization in 5G/B5G Cooperative IoT Network." Energies 14, no. 9 (2021): 2515. http://dx.doi.org/10.3390/en14092515.

Der volle Inhalt der Quelle

Annotation:

Resource use in point-to-point and point-to-multipoint communication emerges with the tremendous growth in wireless communication technologies. One of the technologies is wireless power transfer which may be used to provide sufficient resources for energy-constrained networks. With the implication of cooperative communication in 5G/B5G and the Internet of Things (IoT), simultaneous wireless information and power transfer (SWIPT)-assisted energy efficiency and appropriate resource use become challenging tasks. In this paper, multiple IoT-enabled devices are deployed to cooperate with the source

APA, Harvard, Vancouver, ISO und andere Zitierweisen

23

Dey, Sima Rani, and Mohammad Tareque. "External debt and growth: role of stable macroeconomic policies." Journal of Economics, Finance and Administrative Science 25, no. 50 (2020): 185–204. http://dx.doi.org/10.1108/jefas-05-2019-0069.

Der volle Inhalt der Quelle

Annotation:

Purpose This study aims to examine the impact of external debt on economic growth in Bangladesh within a broader macroeconomic scenario. Design/methodology/approach In the process of doing so, it assesses the empirical cointegration, long-run and short-run dynamics of the concerned variables for the period of 1980–2017 applying the autoregressive distributed lag (ARDL) bounds testing approach to cointegration. First, debt-gross domestic product linkage explores the impact of external debt impact on economic growth using a set of macro and country risk variables, and then this linkage is also a

APA, Harvard, Vancouver, ISO und andere Zitierweisen

24

Lucarelli, Giorgio, Benjamin Moseley, Nguyen Kim Thang, Abhinav Srivastav, and Denis Trystram. "Online Non-preemptive Scheduling on Unrelated Machines with Rejections." ACM Transactions on Parallel Computing 8, no. 2 (2021): 1–22. http://dx.doi.org/10.1145/3460880.

Der volle Inhalt der Quelle

Annotation:

When a computer system schedules jobs there is typically a significant cost associated with preempting a job during execution. This cost can be incurred from the expensive task of saving the memory’s state or from loading data into and out of memory. Thus, it is desirable to schedule jobs non-preemptively to avoid the costs of preemption. There is a need for non-preemptive system schedulers for desktops, servers, and data centers. Despite this need, there is a gap between theory and practice. Indeed, few non-preemptive online schedulers are known to have strong theoretical guarantees. This gap

APA, Harvard, Vancouver, ISO und andere Zitierweisen

25

Kleiber, Pierre, Michael G. Hinton, and Yuji Uozumi. "Stock assessment of blue marlin (Makaira nigricans) in the Pacific using MULTIFAN-CL." Marine and Freshwater Research 54, no. 4 (2003): 349. http://dx.doi.org/10.1071/mf01246.

Der volle Inhalt der Quelle

Annotation:

In the Pacific, blue marlin are an incidental catch of longline fisheries and an important resource for big game recreational fishing. Over the past two decades, blue marlin assessments by different techniques have yielded results ranging from an indication of declining stock to a state of sustained yield at approximately the maximum average level. Longline fishing practices have changed over the years since the 1950s in response to changes in principal target species and to gear developments. Despite increasingly sophisticated attempts to standardize fishing effort with changing fishing pract

APA, Harvard, Vancouver, ISO und andere Zitierweisen

26

Ali, Haris. "Reciprocity or negotiation in the psychological contract: a power perspective." Employee Relations: The International Journal 43, no. 5 (2021): 1250–67. http://dx.doi.org/10.1108/er-09-2019-0367.

Der volle Inhalt der Quelle

Annotation:

PurposeThe psychological contract literature is generally based on the assumption of reciprocity between employee and employer. The emphasis on reciprocity, however, largely downplays the implications of power dynamics in the employment relationship. In order to bridge this gap, the current research investigates psychological contract from the lens of power particularly focusing on reciprocity.Design/methodology/approachIn total, 43 semi-structured interviews are carried out with 37 employees and six managers of three call center companies in Pakistan. The technique of template analysis is use

APA, Harvard, Vancouver, ISO und andere Zitierweisen

27

Hoffmann, Jan, Ankush Das, and Shu-Chun Weng. "Towards automatic resource bound analysis for OCaml." ACM SIGPLAN Notices 52, no. 1 (2017): 359–73. http://dx.doi.org/10.1145/3093333.3009842.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

28

Albinsson, Gunilla, and Kerstin Arnesson. "The managerial position in a Swedish municipal organization: Possibilities and limitations." Economic and Industrial Democracy 39, no. 3 (2016): 500–535. http://dx.doi.org/10.1177/0143831x16639656.

Der volle Inhalt der Quelle

Annotation:

The purpose of this article is to explore how a group of managers construct their reality, more specifically what it means to work as a manager in a municipal organization. The empirical data for the study were obtained from a Swedish medium-sized municipality and the study takes as its research approach grounded theory, as developed by Glaser and Strauss. Consequently, the empirical data formed the basis for the research, which takes a multi-methodical and theory-generating approach. The methods used in the study include the use of a questionnaire study, interviews in focus groups, observatio

APA, Harvard, Vancouver, ISO und andere Zitierweisen

29

Westerberg, I. K., L. Gong, K. J. Beven, et al. "Regional water balance modelling using flow-duration curves with observational uncertainties." Hydrology and Earth System Sciences 18, no. 8 (2014): 2993–3013. http://dx.doi.org/10.5194/hess-18-2993-2014.

Der volle Inhalt der Quelle

Annotation:

Abstract. Robust and reliable water-resource mapping in ungauged basins requires estimation of the uncertainties in the hydrologic model, the regionalisation method, and the observational data. In this study we investigated the use of regionalised flow-duration curves (FDCs) for constraining model predictive uncertainty, while accounting for all these uncertainty sources. A water balance model was applied to 36 basins in Central America using regionally and globally available precipitation, climate and discharge data that were screened for inconsistencies. A rating-curve analysis for 35 Hondur

APA, Harvard, Vancouver, ISO und andere Zitierweisen

30

Giesl, Jürgen, and Jan Hoffmann. "Preface: Special Issue on Automatic Resource Bound Analysis." Journal of Automated Reasoning 59, no. 1 (2016): 1–2. http://dx.doi.org/10.1007/s10817-016-9399-8.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

31

Kien Quang, Huynh, Mai Quoc Gia, Nguyen Hoang An, Vo Thi Thanh Ha, and Tran Van Hieu. "Cloning, expression, and purification of the M cell targeting peptide CPE16 derived from C-terminus of Clostridium perfringens enterotoxin and the binding evaluation with Claudin-r4." Science and Technology Development Journal - Natural Sciences 3, no. 1 (2019): 38–45. http://dx.doi.org/10.32508/stdjns.v3i1.723.

Der volle Inhalt der Quelle

Annotation:

Developing the oral vaccine that stimulates the mucosal immune system in order to prevent the gastro-intestinal infection is an indispensable demand nowadays. Targeting the M cells, which is a sampling antigen cell, is a highly efficient solution to prevent the dispersion of antigens. Many researches demonstrate that C-terminus Clostridium perfringens enterotoxin bounds to the Claudin- 4 receptor on the M cell surface. By using bioinformatics methods, the peptide CPE16 (16 amino acid of C-terminus of Clostridium perfringens enterotoxin) was predicted to have a high affinity to Claudin-4 recept

APA, Harvard, Vancouver, ISO und andere Zitierweisen

32

Legault, Kelly Rankin, Tanya Beck, and Jason Engle. "INFLUENCE OF INLET / SHOAL COMPLEX ON ADJACENT SHORELINES VIA INLET SINK METHOD." Coastal Engineering Proceedings 1, no. 33 (2012): 76. http://dx.doi.org/10.9753/icce.v33.sediment.76.

Der volle Inhalt der Quelle

Annotation:

The region of influence of the inlet on the adjacent shoreline was determined via examination of the inlet’s net sink effect. The net sink effect, or volumetric impact, was computed by adding the volume (or rate) of net sand accumulation within the inlet's channels and shoals with the cumulative volumetric losses on adjacent shorelines to conserve sediment mass after accounting for the volumes either added to adjacent beaches or removed from the ebb shoal by means of nourishment and sediment mining. Volume change of the beaches and ebb shoal complex was computed within a geospatial framework c

APA, Harvard, Vancouver, ISO und andere Zitierweisen

33

Soltani, Ali, Akbar Alam Tabriz, Masoud Sanei, and Ismaeil Najafi Trojeni. "Evaluation of the suggestions system performance using robust DEA model: The case of National Iranian Gas Company." International Journal of Engineering Business Management 9 (January 1, 2017): 184797901769324. http://dx.doi.org/10.1177/1847979017693244.

Der volle Inhalt der Quelle

Annotation:

The suggestions system is a part of total quality management to create individual and group spirit of partnership between staff and increase efficiency in the organization. Also, diagnosis and improvement process is one of the steps of the chain in the processes of suggestions system. In this study, an approach has been proposed to evaluate efficiency of organizations in performing suggestions system with these aims: (1) Reviewing all the elements in the successful implementation of the suggestions system and (2) providing an effective scientific approach to evaluate the organizations on imple

APA, Harvard, Vancouver, ISO und andere Zitierweisen

34

WOODS, JOHN. "COGNITIVE ECONOMICS AND THE LOGIC OF ABDUCTION." Review of Symbolic Logic 5, no. 1 (2012): 148–61. http://dx.doi.org/10.1017/s175502031100027x.

Der volle Inhalt der Quelle

Annotation:

AbstractAn agent-centered, goal-directed, resource-bound logic of human reasoning would do well to note that individual cognitive agency is typified by the comparative scantness of available cognitive resources—information, time, and computational capacity, to name just three. This motivates individual agents to set their cognitive agendas proportionately, that is, in ways that carry some prospect of success with the resources on which they are able to draw. It also puts a premium on cognitive strategies which make economical use of those resources. These latter I callscant-resource adjustment

APA, Harvard, Vancouver, ISO und andere Zitierweisen

35

Shirzadeh Chaleshtarti, A., S. Shadrokh, and Y. Fathi. "Branch and Bound Algorithms for Resource Constrained Project Scheduling Problem Subject to Nonrenewable Resources with Prescheduled Procurement." Mathematical Problems in Engineering 2014 (2014): 1–15. http://dx.doi.org/10.1155/2014/634649.

Der volle Inhalt der Quelle

Annotation:

A lot of projects in real life are subject to some kinds of nonrenewable resources that are not exactly similar to the type defined in the project scheduling literature. The difference stems from the fact that, in those projects, contrary to the common assumption in the project scheduling literature, nonrenewable resources are not available in full amount at the beginning of the project, but they are procured along the project horizon. In this paper, we study this different type of nonrenewable resources. To that end, we extend the resource constrained project scheduling problem (RCPSP) by thi

APA, Harvard, Vancouver, ISO und andere Zitierweisen

36

Amusa, Kafayat, and Mutiu Abimbola Oyinlola. "The effectiveness of government expenditure on economic growth in Botswana." African Journal of Economic and Management Studies 10, no. 3 (2019): 368–84. http://dx.doi.org/10.1108/ajems-03-2018-0081.

Der volle Inhalt der Quelle

Annotation:

Purpose The purpose of this paper is to examine the relationship between government expenditure and economic growth in Botswana over the period 1985‒2016. The study employed the auto-regressive distributed lag (ARDL) bounds testing approach in investigating the nexus. The study makes the argument that the effectiveness of public spending should be assessed not only against the amount of the expenditure but also by the type of the expenditure. The empirical findings showed that aggregate expenditure has a negative short-run and positive long-run effect on economic growth. When expenditure is di

APA, Harvard, Vancouver, ISO und andere Zitierweisen

37

Mehmood, Asif, Shaofeng Jia, Rashid Mahmood, Jiabao Yan, and Moien Ahsan. "Non-Stationary Bayesian Modeling of Annual Maximum Floods in a Changing Environment and Implications for Flood Management in the Kabul River Basin, Pakistan." Water 11, no. 6 (2019): 1246. http://dx.doi.org/10.3390/w11061246.

Der volle Inhalt der Quelle

Annotation:

Recent evidence of regional climate change associated with the intensification of human activities has led hydrologists to study a flood regime in a non-stationarity context. This study utilized a Bayesian framework with informed priors on shape parameter for a generalized extreme value (GEV) model for the estimation of design flood quantiles for “at site analysis” in a changing environment, and discussed its implications for flood management in the Kabul River basin (KRB), Pakistan. Initially, 29 study sites in the KRB were used to evaluate the annual maximum flood regime by applying the Mann

APA, Harvard, Vancouver, ISO und andere Zitierweisen

38

Heinrich, Markus, and David Gross. "Robustness of Magic and Symmetries of the Stabiliser Polytope." Quantum 3 (April 8, 2019): 132. http://dx.doi.org/10.22331/q-2019-04-08-132.

Der volle Inhalt der Quelle

Annotation:

We give a new algorithm for computing therobustness of magic- a measure of the utility of quantum states as a computational resource. Our work is motivated by themagic state modelof fault-tolerant quantum computation. In this model, all unitaries belong to the Clifford group. Non-Clifford operations are effected by injecting non-stabiliser states, which are referred to asmagic statesin this context. Therobustness of magicmeasures the complexity of simulating such a circuit using a classical Monte Carlo algorithm. It is closely related to the degree negativity that slows down Monte Carlo simula

APA, Harvard, Vancouver, ISO und andere Zitierweisen

39

Cranmer, Holly, Tanja Podkonjak, Eugene Benson, Jonathon Dabora, and Graham H. Jackson. "Delivering Systemic Anti-Cancer Treatment Via Another Route of Administration As an Option to Reduce Exposure to COVID-19 in Patients with Multiple Myeloma in the UK." Blood 136, Supplement 1 (2020): 12–13. http://dx.doi.org/10.1182/blood-2020-142338.

Der volle Inhalt der Quelle

Annotation:

Introduction: Severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) is a strain of coronavirus that causes a respiratory illness known as COVID-19. COVID-19 is a pandemic affecting many countries globally.(1) As of 23rd July 2020, there have been 297,146 lab-confirmed cases of COVID-19 in the UK and 45,554 people who tested positive for the virus have died.(2) Patients with multiple myeloma (MM) are at a higher risk of contracting the virus and experiencing more severe outcomes.(3-6) The higher risk is driven by a compromised immune system, the use of immunosuppressive agents and patien

APA, Harvard, Vancouver, ISO und andere Zitierweisen

40

Sinn, Moritz, Florian Zuleger, and Helmut Veith. "Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints." Journal of Automated Reasoning 59, no. 1 (2017): 3–45. http://dx.doi.org/10.1007/s10817-016-9402-4.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

41

Valuev, Andrey. "ON CALCULATION OF LINEAR RESOURCE PLANNING MODELS FOR OPTIMAL PROJECT SCHEDULING." Mathematical Modelling and Analysis 13, no. 2 (2008): 275–88. http://dx.doi.org/10.3846/1392-6292.2008.13.275-288.

Der volle Inhalt der Quelle

Annotation:

Recent author's papers have shown new opportunities resulting from the treatment of resource planning in project scheduling as the optimization problem for a hybrid system. This approach gives the possibility to work out the optimum resource sharing in an iteration process of branch‐and‐bound type. The present paper concentrates on the most standard case of the problem in question for which all the relationships may be represented in the linear form. Two exact finite methods are proposed. The first method is obtained using the piecewise‐linear form of Bellman function, the second evolves from

APA, Harvard, Vancouver, ISO und andere Zitierweisen

42

Chan, Joseph Wun-Tat, Prudence W. H. Wong, and Fencol C. C. Yung. "On Dynamic Bin Packing: An Improved Lower Bound and Resource Augmentation Analysis." Algorithmica 53, no. 2 (2008): 172–206. http://dx.doi.org/10.1007/s00453-008-9185-z.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

43

Bonn, Thomas. "On the political sideline? The institutional isolation of donor organizations in Jordanian hydropolitics." Water Policy 15, no. 5 (2013): 728–37. http://dx.doi.org/10.2166/wp.2013.007.

Der volle Inhalt der Quelle

Annotation:

Fresh water availability is very low in Jordan. Current water usage is unsustainable and structures of water resource governance are inadequate. Drawing on expert interviews and the analysis of media texts, this study shows that patterns and privileges of water consumption sustain specific political and social orders, aggravating Jordan's suboptimal water resource deployment. Many of these long-established modes of water distribution are not commensurate with new resource governance structures fostered by international development cooperation. This puts pressure on Jordan's political elite: th

APA, Harvard, Vancouver, ISO und andere Zitierweisen

44

Schwartz, Laura E., Kathryn H. Howell, Lacy E. Jamison, Kristina M. Decker, and Idia B. Thurston. "Examining Resource-Driven Resilience and Intimate Partner Violence in Women." Partner Abuse 12, no. 2 (2021): 112–29. http://dx.doi.org/10.1891/pa-2020-0017.

Der volle Inhalt der Quelle

Annotation:

Resilience is gaining attention in trauma research, but how it is conceptualized across studies often differs. Further, limited empirical research has been conducted on group-level resilience factors in the context of intimate partner violence (IPV). The current study assessed resilience using two models (i.e., social-ecological and “bounce back”) by investigating how resilience resource variables across the social ecology cluster together and relate to an individual's ability to bounce back after experiencing IPV. Latent profile analysis was used to generate profiles of individual (spirituali

APA, Harvard, Vancouver, ISO und andere Zitierweisen

45

Song, Ting-Ting, Jie Zhang, Su-Juan Qin, Fei Gao, and Qiao-Yan Wen. "Finite-key analysis for quantum key distribution with decoy states." Quantum Information and Computation 11, no. 5&6 (2011): 374–99. http://dx.doi.org/10.26421/qic11.5-6-2.

Der volle Inhalt der Quelle

Annotation:

We analyze the security of finite-resource quantum key distribution with decoy states, and present the security bound for the practical implementations by introducing the deviations of the probability of sending a $k$-photon pulse and the error rate of the quantum state. The bound is simulated under reasonable values of the observed parameters. Compared with the previous works, the security bound is more stringent.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

46

Shirzadeh Chaleshtari, Ali. "Resource Tardiness Weighted Cost Minimization in Project Scheduling." Advances in Operations Research 2017 (2017): 1–11. http://dx.doi.org/10.1155/2017/1308704.

Der volle Inhalt der Quelle

Annotation:

In this paper, we study a project scheduling problem that is called resource constrained project scheduling problem under minimization of total weighted resource tardiness penalty cost (RCPSP-TWRTPC). In this problem, the project is subject to renewable resources, each renewable resource is available for limited time periods during the project life cycle, and keeping the resource for each extra period results in some tardiness penalty cost. We introduce a branch and bound algorithm to solve the problem exactly and use several bounding, fathoming, and dominance rules in our algorithm to shorten

APA, Harvard, Vancouver, ISO und andere Zitierweisen

47

Zhao, Ming. "The Study and Analysis of Resource Distribution on the Basis of Mathematic Programming Model." Applied Mechanics and Materials 687-691 (November 2014): 4963–66. http://dx.doi.org/10.4028/www.scientific.net/amm.687-691.4963.

Der volle Inhalt der Quelle

Annotation:

The rational distribution of financial resource is researched during the course of its raising, allocation and using. The input-occupancy-output programing model is constructed based on input-occupancy-output technique and mathematics programming, and the distribution situation of financing resource is calculated and analyzed such a loan, stock, bound in China 2009.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

48

Ulfseth, Lena A., Staffan Josephsson, and Sissel Alsaker. "Homeward bound." Narrative Inquiry 26, no. 1 (2016): 22–38. http://dx.doi.org/10.1075/ni.26.1.02ulf.

Der volle Inhalt der Quelle

Annotation:

With a focus on enacted narratives, this ethnographic study addresses how people with mental illness communicate returning home after a treatment stay at a psychiatric centre. Data were analysed based on Ricoeur’s theory of narrative and action. Our analysis consisted of three analytic layers: the significant issue of discharge, identifying three stories of how being on the way home is enacted, and a further interpretation and discussion. The narrative analysis shows how significant issues of returning home are enacted among persons in everyday activities at one centre, and how an inherent amb

APA, Harvard, Vancouver, ISO und andere Zitierweisen

49

Pericherla, Suryateja Satya. "Analysis of Host Resources Utilization by OpenStack in Ubuntu Environment." Emerging Science Journal 4, no. 6 (2020): 466–92. http://dx.doi.org/10.28991/esj-2020-01246.

Der volle Inhalt der Quelle

Annotation:

Cloud computing is one of the frontier technologies, which over the last decade has gained a widespread commercial and educational user base. OpenStack is one of the popular open source cloud management platforms for establishing a private or public Infrastructure-as-a-Service (IAAS) cloud. Although OpenStack started with very few core modules, it now houses nearly 38 modules and is quite complex. Such a complex software bundle is bound to have an impact on the underlying hardware utilization of the host system. The objective is to monitor the usage of system resources by OpenStack on commodit

APA, Harvard, Vancouver, ISO und andere Zitierweisen

50

Chen, Xuanjin. "Antecedents of Technological Diversification: A Resource Dependence Logic." Journal of Open Innovation: Technology, Market, and Complexity 5, no. 4 (2019): 80. http://dx.doi.org/10.3390/joitmc5040080.

Der volle Inhalt der Quelle

Annotation:

This paper extends resource dependence logic by investigating the antecedents of technological diversification and further identifies its boundary condition. We argue that this resource dependence logic is bound by state ownership through coalitions with firms, a less discussed component of interdependence. The empirical results, based on a panel data analysis of Chinese listed firms, suggest that environmental dynamism positively relates to technological diversification, while environmental munificence negatively relates to technological diversification. These relationships changed when state

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!