Log in

Relevant bibliographies by topics / System-level models / Journal articles

To see the other types of publications on this topic, follow the link: System-level models.

Journal articles on the topic 'System-level models'

Author: Grafiati

Published: 4 June 2021

Last updated: 8 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'System-level models.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Patel, Hiren D., and Sandeep K. Shukla. "On Cosimulating Multiple Abstraction-Level System-Level Models." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 27, no. 2 (2008): 394–98. http://dx.doi.org/10.1109/tcad.2007.913392.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Liu, Lingyi, and Shobha Vasudevan. "Automatic Generation of System Level Assertions from Transaction Level Models." Journal of Electronic Testing 29, no. 5 (2013): 669–84. http://dx.doi.org/10.1007/s10836-013-5403-y.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Katrašnik, Tomaž, Roman Heinzle, and Johann C. Wurzenberger. "Tailored Cylinder Models for System Level Engine Modelling." IFAC Proceedings Volumes 45, no. 30 (2012): 162–69. http://dx.doi.org/10.3182/20121023-3-fr-4025.00011.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Pelc, A. "Undirected graph models for system-level fault diagnosis." IEEE Transactions on Computers 40, no. 11 (1991): 1271–76. http://dx.doi.org/10.1109/12.102832.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Kreutzer, S. E., and S. L. Hakimi. "System-level diagnosis: Analysis of two new models." Information Sciences 40, no. 2 (1986): 117–30. http://dx.doi.org/10.1016/0020-0255(86)90002-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Walker, Robert J., Gail C. Murphy, Bjorn Freeman-Benson, Darin Wright, Darin Swanson, and Jeremy Isaak. "Visualizing dynamic software system information through high-level models." ACM SIGPLAN Notices 33, no. 10 (1998): 271–83. http://dx.doi.org/10.1145/286942.286966.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Urdahl, Joakim, Dominik Stoffel, and Wolfgang Kunz. "Path Predicate Abstraction for Sound System-Level Models of RT-Level Circuit Designs." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 33, no. 2 (2014): 291–304. http://dx.doi.org/10.1109/tcad.2013.2285276.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Sharma, Tarun Kumar, and Millie Pant. "Redundancy Level Optimization in Modular Software System Models using ABC." International Journal of Intelligent Systems and Applications 6, no. 4 (2014): 40–48. http://dx.doi.org/10.5815/ijisa.2014.04.04.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Benini, L., G. Castelli, A. Macii, E. Macii, M. Poncino, and R. Scarsi. "Discrete-time battery models for system-level low-power design." IEEE Transactions on Very Large Scale Integration (VLSI) Systems 9, no. 5 (2001): 630–40. http://dx.doi.org/10.1109/92.953497.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Ganger, G. R., and Y. N. Patt. "Using system-level models to evaluate I/O subsystem designs." IEEE Transactions on Computers 47, no. 6 (1998): 667–78. http://dx.doi.org/10.1109/12.689646.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Klus, Roman, Lucie Klus, Dmitrii Solomitckii, Jukka Talvitie, and Mikko Valkama. "Deep Learning-Based Cell-Level and Beam-Level Mobility Management System." Sensors 20, no. 24 (2020): 7124. http://dx.doi.org/10.3390/s20247124.

Full text

Abstract:

The deployment with beamforming-capable base stations in 5G New Radio (NR) requires an efficient mobility management system to reliably operate with minimum effort and interruption. In this work, we propose two artificial neural network models to optimize the cell-level and beam-level mobility management. Both models consist of convolutional, as well as dense, layer blocks. Based on current and past received power measurements, as well as positioning information, they choose the optimum serving cell and serving beam, respectively. The obtained results show that the proposed cell-level mobility

APA, Harvard, Vancouver, ISO, and other styles

12

Larour, Eric, Lambert Caron, Mathieu Morlighem, et al. "ISSM-SLPS: geodetically compliant Sea-Level Projection System for the Ice-sheet and Sea-level System Model v4.17." Geoscientific Model Development 13, no. 10 (2020): 4925–41. http://dx.doi.org/10.5194/gmd-13-4925-2020.

Full text

Abstract:

Abstract. Understanding future impacts of sea-level rise at the local level is important for mitigating its effects. In particular, quantifying the range of sea-level rise outcomes in a probabilistic way enables coastal planners to better adapt strategies, depending on cost, timing and risk tolerance. For a time horizon of 100 years, frameworks have been developed that provide such projections by relying on sea-level fingerprints where contributions from different processes are sampled at each individual time step and summed up to create probability distributions of sea-level rise for each des

APA, Harvard, Vancouver, ISO, and other styles

13

Balkenius, Christian, Birger Johansson, and Trond A. Tjøstheim. "Ikaros: A framework for controlling robots with system-level brain models." International Journal of Advanced Robotic Systems 17, no. 3 (2020): 172988142092500. http://dx.doi.org/10.1177/1729881420925002.

Full text

Abstract:

Ikaros is an open framework for system-level brain modeling and real-time robot control. Version 2 of the system includes a range of computational components that implements various algorithms and methods ranging from models of neural circuits to control systems and hardware interfaces for robot. Ikaros supports the design and implementation of large-scale computation models using a flow programming paradigm. Version 2 includes a number of new features that support complex networks of hierarchically arranged components as well as a web-based interactive editor. More than 100 persons have contr

APA, Harvard, Vancouver, ISO, and other styles

14

Dennis, John M., Jim Edwards, Ray Loy, et al. "An application-level parallel I/O library for Earth system models." International Journal of High Performance Computing Applications 26, no. 1 (2011): 43–53. http://dx.doi.org/10.1177/1094342011428143.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Peralta, Jaime, Hani Saad, Sébastien Dennetiere, Jean Mahseredjian, and Samuel Nguefeu. "Detailed and Averaged Models for a 401-Level MMC–HVDC System." IEEE Transactions on Power Delivery 27, no. 3 (2012): 1501–8. http://dx.doi.org/10.1109/tpwrd.2012.2188911.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Pimentel, Andy D., Mark Thompson, Simon Polstra, and Cagkan Erbas. "Calibration of Abstract Performance Models for System-Level Design Space Exploration." Journal of Signal Processing Systems 50, no. 2 (2007): 99–114. http://dx.doi.org/10.1007/s11265-007-0085-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Ali, Zoraze, Sandra Lagen, Lorenza Giupponi, and Richard Rouil. "3GPP NR V2X Mode 2: Overview, Models and System-Level Evaluation." IEEE Access 9 (2021): 89554–79. http://dx.doi.org/10.1109/access.2021.3090855.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Martin, Jay D., and Timothy W. Simpson. "A Methodology to Manage System-level Uncertainty During Conceptual Design." Journal of Mechanical Design 128, no. 4 (2006): 959–68. http://dx.doi.org/10.1115/1.2204975.

Full text

Abstract:

Current design decisions must be made while considering uncertainty in both models of the design and inputs to the design. In most cases, high fidelity models are used with the assumption that the resulting model uncertainties are insignificant to the decision making process. This paper presents a methodology for managing uncertainty during system-level conceptual design of complex multidisciplinary systems. This methodology is based upon quantifying the information available in a set of observations of computationally expensive subsystem models with more computationally efficient kriging mode

APA, Harvard, Vancouver, ISO, and other styles

19

Brkic, Miodrag, Djordje Obradovic, Zorica Dudarin, Barta Károly, and Miloš B. Živanov. "Measurement and Monitoring System for Level of Groundwater." Key Engineering Materials 543 (March 2013): 243–46. http://dx.doi.org/10.4028/www.scientific.net/kem.543.243.

Full text

Abstract:

In this paper, we present a system for measuring and monitoring of groundwater level. Level of groundwater is needed to create hydrodynamic models of inland excess water, which causes significant environmental and economic problem worldwide, because large parts of the flat terrain can be covered by inland excess water. On areas of interest, continuous measurement of groundwater level on several measurement points over long periods of time (several years) is needed as input data for hydrodynamic models. Measurements of groundwater level are made by acoustic system, which measure time of travel

APA, Harvard, Vancouver, ISO, and other styles

20

Prah, Ivo, Ferdinand Trenc, and Tomaž Katrašnik. "Innovative Calibration Method for System Level Simulation Models of Internal Combustion Engines." Energies 9, no. 9 (2016): 708. http://dx.doi.org/10.3390/en9090708.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

BENNINI, F., J. MEHNER, and W. DÖTZEL. "SYSTEM LEVEL SIMULATIONS OF MEMS BASED ON REDUCED ORDER FINITE ELEMENT MODELS." International Journal of Computational Engineering Science 04, no. 02 (2003): 385–88. http://dx.doi.org/10.1142/s1465876303001332.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Tews, Hendrik, Marcus Völp, and Tjark Weber. "Formal Memory Models for the Verification of Low-Level Operating-System Code." Journal of Automated Reasoning 42, no. 2-4 (2009): 189–227. http://dx.doi.org/10.1007/s10817-009-9122-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Run-Peng, Qiao, He Jun-Neng, Liang Qian-Chao, Yang Fan, and Fu Da-Wang. "Comparative analysis of SOFC-MGT top-level and new bottom-level system performance." E3S Web of Conferences 271 (2021): 04013. http://dx.doi.org/10.1051/e3sconf/202127104013.

Full text

Abstract:

In order to make the SOFC-MGT system more widely used, the mathematical simulation models of the SOFC-MGT top-level circulatory system and the new bottom circulatory system were first established, and then the performance of the two systems was analyzed and compared using Matlab/Simulink simulation software. The research results show that the output performance of the SOFC-MGT top-level circulation system is due to the new bottom-level circulation system, and the stack output performance of the two systems is not much different.

APA, Harvard, Vancouver, ISO, and other styles

24

Li, Fang, Bin Hu, and Gang Liu. "Modeling and Simulation of Ship Intermediate-Level Support System Based on HLA." Advanced Materials Research 952 (May 2014): 253–56. http://dx.doi.org/10.4028/www.scientific.net/amr.952.253.

Full text

Abstract:

Ship intermediate-level support system is complex system. The modeling and simulation of the system are difficult. To solve this problem, we apply both UML and HLA for modeling and simulation of ship intermediate-level support system. First, UML is used to model the use case model and interaction model. On the basis of the models above, HLA is used to model object models. Finally, according to the simulation models above, simulation software is developed and simulation case is analyzed, which shows the simulation models can be used to evaluate and optimize ship intermediate-level support syste

APA, Harvard, Vancouver, ISO, and other styles

25

Patel, H. D., and S. K. Shukla. "Towards a heterogeneous simulation kernel for system-level models: a SystemC kernel for synchronous data flow models." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 24, no. 8 (2005): 1261–71. http://dx.doi.org/10.1109/tcad.2005.850819.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Sun, Guanyi, Shengnan Xu, Xu Wang, et al. "A High-Throughput, High-Accuracy System-Level Simulation Framework for System on Chips." VLSI Design 2011 (September 15, 2011): 1–17. http://dx.doi.org/10.1155/2011/726014.

Full text

Abstract:

Today's System-on-Chips (SoCs) design is extremely challenging because it involves complicated design tradeoffs and heterogeneous design expertise. To explore the large solution space, system architects have to rely on system-level simulators to identify an optimized SoC architecture. In this paper, we propose a system-level simulation framework, System Performance Simulation Implementation Mechanism, or SPSIM. Based on SystemC TLM2.0, the framework consists of an executable SoC model, a simulation tool chain, and a modeling methodology. Compared with the large body of existing research in thi

APA, Harvard, Vancouver, ISO, and other styles

27

Ouyang, Huei-Tau. "Characteristics of adaptive network-based fuzzy inference system for typhoon inundation level forecast." Hydrology Research 49, no. 4 (2017): 1056–71. http://dx.doi.org/10.2166/nh.2017.009.

Full text

Abstract:

Abstract Heavy rainfall brought in by a typhoon often causes severe inundation in a low-lying area. Due to budget constraints, inundation level monitoring programs often cease to continue after the project ends. In such cases, forecast models capable of predicting inundation levels solely based on rainfall data to provide supportive information for responding actions during typhoons are urged. This paper aims to explore two types of typhoon inundation level forecast models based on adaptive network-based fuzzy inference system (ANFIS): one employing only rainfall data as inputs (ANFIS-R) to co

APA, Harvard, Vancouver, ISO, and other styles

28

Lange, Holger, and Andreas Koch. "Architectures and Execution Models for Hardware/Software Compilation and Their System-Level Realization." IEEE Transactions on Computers 59, no. 10 (2010): 1363–77. http://dx.doi.org/10.1109/tc.2009.180.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Pandey, Vinay Kumar, Indrani Kar, and Chitralekha Mahanta. "Control of twin-rotor MIMO system using multiple models with second level adaptation." IFAC-PapersOnLine 49, no. 1 (2016): 676–81. http://dx.doi.org/10.1016/j.ifacol.2016.03.134.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Lin, Yiqiu, and W. Geoffrey Cobourn. "Fuzzy system models combined with nonlinear regression for daily ground-level ozone predictions." Atmospheric Environment 41, no. 16 (2007): 3502–13. http://dx.doi.org/10.1016/j.atmosenv.2006.11.060.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Schütz, Arwed, Michael Olbrich, Siyang Hu, Christoph Ament, and Tamara Bechtold. "Parametric system-level models for position-control of novel electromagnetic free flight microactuator." Microelectronics Reliability 119 (April 2021): 114062. http://dx.doi.org/10.1016/j.microrel.2021.114062.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Seok, Moon-Gi, Hae-Sang Song, and Tag-Gon Kim. "Effectiveness Analysis of Chemical Warfare System through Interoperation between Engineering Level and Engagement Level Models : Methodology and Environment." Journal of the Korea Institute of Military Science and Technology 17, no. 1 (2014): 71–81. http://dx.doi.org/10.9766/kimst.2014.17.1.071.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Kozlowski, Wojciech E., Henryk Krawczyk, and Tadeusz Bartkowski. "System diagnosability in some restricted hybrid fault situations. Comparative studies on different system-level fault diagnosis models." Microprocessing and Microprogramming 21, no. 1-5 (1987): 497–504. http://dx.doi.org/10.1016/0165-6074(87)90083-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Igaki, Nobuko, Ushio Sumita, and Masashi Kowada. "Analysis of Markov renewal shock models." Journal of Applied Probability 32, no. 3 (1995): 821–31. http://dx.doi.org/10.2307/3215132.

Full text

Abstract:

A trivariate stochastic process is considered, describing a sequence of random shocks {Xn} at random intervals {Yn} with random system state {Jn}. The triviariate stochastic process satisfies a Markov renewal property in that the magnitude of shocks and the shock intervals are correlated pairwise and the corresponding joint distributions are affected by transitions of the system state which occur after each shock according to a Markov chain. Of interest is a system lifetime terminated whenever a shock magnitude exceeds a prespecified level z. The distribution of system lifetime, its moments an

APA, Harvard, Vancouver, ISO, and other styles

35

Igaki, Nobuko, Ushio Sumita, and Masashi Kowada. "Analysis of Markov renewal shock models." Journal of Applied Probability 32, no. 03 (1995): 821–31. http://dx.doi.org/10.1017/s0021900200103237.

Full text

Abstract:

A trivariate stochastic process is considered, describing a sequence of random shocks {Xn } at random intervals {Y n} with random system state {Jn }. The triviariate stochastic process satisfies a Markov renewal property in that the magnitude of shocks and the shock intervals are correlated pairwise and the corresponding joint distributions are affected by transitions of the system state which occur after each shock according to a Markov chain. Of interest is a system lifetime terminated whenever a shock magnitude exceeds a prespecified level z. The distribution of system lifetime, its moments

APA, Harvard, Vancouver, ISO, and other styles

36

Gray, Wayne D., and Christopher W. Myers. "From Models to Methods to Models: Tools and Techniques for Using, Developing, and Analyzing Cognitive Human Performance Models." Proceedings of the Human Factors and Ergonomics Society Annual Meeting 49, no. 12 (2005): 1139. http://dx.doi.org/10.1177/154193120504901208.

Full text

Abstract:

Four modelers present tools based on or for cognitive human performance modeling. Myers introduces a new statistical technique for testing the similarity of sequential behavior across conditions. This technique promises to solve what Anderson (2002) regarded as the non-determinism problem of modeling behavior at the 100–ms level of analysis. John presents a programming-by-demonstration system that creates keystroke level GOMS models in ACT-R. Her approach enables those not trained in cognitive science to build predictive models of human performance. Salvucci's work expands on John's system by

APA, Harvard, Vancouver, ISO, and other styles

37

Frivaldsky, Michal, Jan Morgos, Michal Prazenica, and Kristian Takacs. "System Level Simulation of Microgrid Power Electronic Systems." Electronics 10, no. 6 (2021): 644. http://dx.doi.org/10.3390/electronics10060644.

Full text

Abstract:

In this paper, we describe a procedure for designing an accurate simulation model using a price-wised linear approach referred to as the power semiconductor converters of a DC microgrid concept. Initially, the selection of topologies of individual power stage blocs are identified. Due to the requirements for verifying the accuracy of the simulation model, physical samples of power converters are realized with a power ratio of 1:10. The focus was on optimization of operational parameters such as real-time behavior (variable waveforms within a time domain), efficiency, and the voltage/current ri

APA, Harvard, Vancouver, ISO, and other styles

38

Lambert, Adrien, Ahsan Mian, Justin Hogan, Todd Kaiser, and Brock LaMeres. "Finite Element Analysis of System-Level Electronic Packages for Space Applications." Journal of Computational Engineering 2015 (March 24, 2015): 1–9. http://dx.doi.org/10.1155/2015/428073.

Full text

Abstract:

Thermal analysis was required in order to aid in the design and testing of a radiation tolerant computing (RTC) system using a radiation sensor. During development of the system, different test beds were employed in order to characterize the radiation sensor and its supporting electronic systems. The most common preliminary tests are high altitude balloon tests which allow the sensor to experience cosmic radiation at high altitudes, consistent with space flight operations. In this study, finite element analysis (FEA) was used to evaluate primary system architecture, system support structures,

APA, Harvard, Vancouver, ISO, and other styles

39

Zhao, Guo Sheng, Jian Wang, Lin Li, and Nan Zhang. "Study on Four-Level Emergency Rejuvenation for Survivable System." Applied Mechanics and Materials 373-375 (August 2013): 1830–33. http://dx.doi.org/10.4028/www.scientific.net/amm.373-375.1830.

Full text

Abstract:

A method of four-level emergency rejuvenation for survivable system was proposed. Firstly, failure models of survivable system were formally described based on stochastic Petri nets, in which a number of measurable index parameters for rejuvenation were also given out. And then a four-level recursive emergency rejuvenation strategy was presented based on system-level, service-level, process-level and thread-level, the computing process of rejuvenation priority is also defined and the chain of rejuvenation is obtained. Eventually, the implementation process of four-level autonomous emergency re

APA, Harvard, Vancouver, ISO, and other styles

40

JODEJKO, ANNA. "MODEL OF SYSTEM AVAILABILITY CAUSED BY SPARE PARTS INVENTORY LEVEL." International Journal of Reliability, Quality and Safety Engineering 13, no. 01 (2006): 37–45. http://dx.doi.org/10.1142/s0218539306002082.

Full text

Abstract:

There are many models and methods that enable estimation system availability when set size of spares inventory is accessible. Correct determining of standby of a system should consider also the lack of inventory delivery precision effect. The paper presents model of inventory critical level of spare element impact on technical system availability when delivery moment is assumed to be a random. Presented approach allows to calculate the probability of the system down time and probability of its availability-based consequences.

APA, Harvard, Vancouver, ISO, and other styles

41

Lesik, I. A., A. G. Perevozchikov, and V. Y. Reshetov. "Multi-level defense system models: overcoming by means of attacks with several phase constraints." Moscow University Computational Mathematics and Cybernetics 41, no. 1 (2017): 25–31. http://dx.doi.org/10.3103/s0278641917010058.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Boland, J., and M. Dik. "The level of complexity needed for weather data in models of solar system performance." Fuel and Energy Abstracts 43, no. 4 (2002): 270. http://dx.doi.org/10.1016/s0140-6701(02)86366-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Boland, John, and Marjolijn Dik. "The level of complexity needed for weather data in models of solar system performance." Solar Energy 71, no. 3 (2001): 187–98. http://dx.doi.org/10.1016/s0038-092x(01)00040-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

SERGI, ALESSANDRO, and KONSTANTIN G. ZLOSHCHASTIEV. "NON-HERMITIAN QUANTUM DYNAMICS OF A TWO-LEVEL SYSTEM AND MODELS OF DISSIPATIVE ENVIRONMENTS." International Journal of Modern Physics B 27, no. 27 (2013): 1350163. http://dx.doi.org/10.1142/s0217979213501634.

Full text

Abstract:

We consider a non-Hermitian Hamiltonian in order to effectively describe a two-level system (TLS) coupled to a generic dissipative environment. The total Hamiltonian of the model is obtained by adding a general anti-Hermitian part, depending on four parameters, to the Hermitian Hamiltonian of a tunneling TLS. The time evolution is formulated and derived in terms of the normalized density operator of the model, different types of decays are revealed and analyzed. In particular, the population difference and coherence are defined and calculated analytically. We have been able to mimic various ph

APA, Harvard, Vancouver, ISO, and other styles

45

Pope, Sharon H., Eitan Fibach, Jun Sun, Kyung Chin, and Griffin P. Rodgers. "Two-phase liquid culture system models normal human adult erythropoiesis at the molecular level." European Journal of Haematology 64, no. 5 (2000): 292–303. http://dx.doi.org/10.1034/j.1600-0609.2000.90032.x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Prodanov, Plamen, Andrzej Drygajlo, Jonas Richiardi, and Anil Alexander. "Low-level grounding in a multimodal mobile service robot conversational system using graphical models." Intelligent Service Robotics 1, no. 1 (2007): 3–26. http://dx.doi.org/10.1007/s11370-006-0001-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Parragh, Stephanie, Bernhard Hametner, and Siegfried Wassertheurer. "Influence of an Asymptotic Pressure Level on the Windkessel Models of the Arterial System." IFAC-PapersOnLine 48, no. 1 (2015): 17–22. http://dx.doi.org/10.1016/j.ifacol.2015.05.125.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Poncelet, Kris, Erik Delarue, Daan Six, Jan Duerinck, and William D’haeseleer. "Impact of the level of temporal and operational detail in energy-system planning models." Applied Energy 162 (January 2016): 631–43. http://dx.doi.org/10.1016/j.apenergy.2015.10.100.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

BERARDI, STEFANO, та CHANTAL BERLINE. "βη-complete models for System F". Mathematical Structures in Computer Science 12, № 6 (2002): 823–74. http://dx.doi.org/10.1017/s0960129502003778.

Full text

Abstract:

We show that Friedman's proof of the existence of non-trivial βη-complete models of λ→ can be extended to system F. We isolate a set of conditions that are sufficient to ensure βη-completeness for a model of F (and α-completeness at the level of types), and we discuss which class of models we get. In particular, the model introduced in Barbanera and Berardi (1997), having as polymorphic maps exactly all possible Scott continuous maps, is βη-complete, and is hence the first known complete non-syntactic model of F. In order to have a suitable framework in which to express the conditions and deve

APA, Harvard, Vancouver, ISO, and other styles

50

Bril, M. S., and I. V. Pyvavar. "Technologies for Researching the Level of Economic Sustainability of Regional System." Business Inform 2, no. 517 (2021): 119–30. http://dx.doi.org/10.32983/2222-4459-2021-2-119-130.

Full text

Abstract:

The article contains the results of theoretical and practical aspects of researching the level of economic sustainability of regional systems. The conception of modeling the sustainability of the economic system of regional system is proposed, an aggregate of models for determining the level of the economic sustainability of region is formed. The research is aimed at improving the instrumentarium of systemic assessment and forecasting of economic sustainability of regional systems in strategic, tactical and operational directions, allowing to increase the efficiency of the State regulation in

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!