Увійти

Готові списки джерел за темами / Concurrent Component-Based Systems / Статті в журналах

Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Concurrent Component-Based Systems.

Статті в журналах з теми "Concurrent Component-Based Systems"

Автор: Grafiati

Опубліковано: 14 грудня 2024

Оновлено: 31 липня 2025

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся з топ-50 статей у журналах для дослідження на тему "Concurrent Component-Based Systems".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.

1

Cleaveland, Rance. "Specification formalisms for component-based concurrent systems." ACM SIGSOFT Software Engineering Notes 25, no. 1 (2000): 42–43. http://dx.doi.org/10.1145/340855.340876.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

2

Kapová, Lucia, and Steffen Becker. "Systematic Refinement of Performance Models for Concurrent Component-based Systems." Electronic Notes in Theoretical Computer Science 264, no. 1 (2010): 73–90. http://dx.doi.org/10.1016/j.entcs.2010.07.006.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

3

Li, Yi, Weidi Sun, and Meng Sun. "Mediator: A component-based modeling language for concurrent and distributed systems." Science of Computer Programming 192 (June 2020): 102438. http://dx.doi.org/10.1016/j.scico.2020.102438.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

4

Ali, Awad, Mohammed Bakri Bashir, Alzubair Hassan, et al. "Design-Time Reliability Prediction Model for Component-Based Software Systems." Sensors 22, no. 7 (2022): 2812. http://dx.doi.org/10.3390/s22072812.

Повний текст джерела

Анотація:

Software reliability is prioritised as the most critical quality attribute. Reliability prediction models participate in the prevention of software failures which can cause vital events and disastrous consequences in safety-critical applications or even in businesses. Predicting reliability during design allows software developers to avoid potential design problems, which can otherwise result in reconstructing an entire system when discovered at later stages of the software development life-cycle. Several reliability models have been built to predict reliability during software development. Ho

Стилі APA, Harvard, Vancouver, ISO та ін.

5

Bajunaid, Noor, and Daniel A. Menascé. "Efficient modeling and optimizing of checkpointing in concurrent component-based software systems." Journal of Systems and Software 139 (May 2018): 1–13. http://dx.doi.org/10.1016/j.jss.2018.01.032.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

6

Sirjani, Marjan, Boer Frank De, and Ali Movaghar. "Modular Verification of a Component-Based Actor Language." JUCS - Journal of Universal Computer Science 11, no. (10) (2005): 1695–717. https://doi.org/10.3217/jucs-011-10-1695.

Повний текст джерела

Анотація:

Rebeca is an actorbased language for modeling concurrent and distributed systems as a set of reactive objects which communicate via asynchronous message passing. Rebeca is extended to support synchronous communication, and at the same time components are introduced to encapsulate the tightly coupled reactive objects which may communicate by synchronous messages. This provide us a language for modeling globally asynchronous and locally synchronous systems. Components interact only by asynchronous messages. This feature and also the event-driven nature of the computation are exploited to introd

Стилі APA, Harvard, Vancouver, ISO та ін.

7

Pham, Thanh-Trung, Xavier Défago, and Quyet-Thang Huynh. "Reliability prediction for component-based software systems: Dealing with concurrent and propagating errors." Science of Computer Programming 97 (January 2015): 426–57. http://dx.doi.org/10.1016/j.scico.2014.03.016.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

8

Autili, Marco, Leonardo Mostarda, Alfredo Navarra, and Massimo Tivoli. "Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems." Journal of Systems and Software 81, no. 12 (2008): 2210–36. http://dx.doi.org/10.1016/j.jss.2008.04.006.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

9

Aoumeur, Nasreddine, and Gunter Saake. "Dynamically evolving concurrent information systems specification and validation: a component-based Petri nets proposal." Data & Knowledge Engineering 50, no. 2 (2004): 117–73. http://dx.doi.org/10.1016/j.datak.2003.10.005.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

10

Chen, Bin, Jie Hu, Jin Qi, and Weixing Chen. "Concurrent multi-process graph-based design component synthesis: Framework and algorithm." Engineering Applications of Artificial Intelligence 97 (January 2021): 104051. http://dx.doi.org/10.1016/j.engappai.2020.104051.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

11

Pujari, Niharika, Abhishek Ray, and Jagannath Singh. "An efficient and precise dynamic slicing for concurrent component-oriented programs." International Journal of Knowledge-based and Intelligent Engineering Systems 25, no. 4 (2022): 449–64. http://dx.doi.org/10.3233/kes-210088.

Повний текст джерела

Анотація:

A dynamic slicing algorithm is proposed in this paper along with its implementation which is dynamic for concurrent Component-oriented programs carrying multiple threads. As a part of representing the concurrent COP (CCOP) effectively, an intermediate graph is developed called Concurrent Component Dependency Graph (CCmDG). The system dependence graph (SDG) for individual components and interfaces are integrated to represent the above intermediate graph. It also consists of some new dependence edges which have been triggered for connecting the individual dependence graph of each component with

Стилі APA, Harvard, Vancouver, ISO та ін.

12

Bertoni, Alessandro, and Marco Bertoni. "Supporting Early Stage Set-Based Concurrent Engineering with Value Driven Design." Proceedings of the Design Society: International Conference on Engineering Design 1, no. 1 (2019): 2367–76. http://dx.doi.org/10.1017/dsi.2019.243.

Повний текст джерела

Анотація:

AbstractSet-Based Concurrent Engineering is commonly adopted to drive the development of complex products and systems. However, its application requires design information about a future product that is often not mature enough in the early design stages, and that it is not encompassing a service and lifecycle- oriented perspective. There is a need for manufacturers to understand, since the early design stages, how customer value is created along the lifecycle of a product from a hardware and service perspective, and how to use such information to screen radically new technologies, trade-off pr

Стилі APA, Harvard, Vancouver, ISO та ін.

13

Sirjani, Marjan, Ali Movaghar, Amin Shali, and Frank S. de Boer. "Modeling and Verification of Reactive Systems using Rebeca." Fundamenta Informaticae 63, no. 4 (2004): 385–410. https://doi.org/10.3233/fun-2004-63405.

Повний текст джерела

Анотація:

Actor-based modeling has been successfully applied to the representation of concurrent and distributed systems. Besides having an appropriate and efficient way for modeling these systems, one needs a formal verification approach for ensuring their correctness. In this paper, we develop an actor-based model for describing such systems, use temporal logic to specify properties of the model, and apply different abstraction and verification methods for verifying that the model meets its specification. We use a compositional verification approach for verifying safety properties of these models. For

Стилі APA, Harvard, Vancouver, ISO та ін.

14

Rahimi, Shahram, Rishath A. S. Rias, and Elham S. Khorasani. "An Open-Bisimilarity Based Automated Verification Tool for -Calculus Family of Process Calculi." International Journal of Software Science and Computational Intelligence 4, no. 1 (2012): 55–83. http://dx.doi.org/10.4018/jssci.2012010103.

Повний текст джерела

Анотація:

The complexity of designing concurrent and highly-evolving interactive systems has grown to a point where system verification has become a hurdle. Fortunately, formal verification methods have arrived at the right time. They detect errors, inconsistencies and incompleteness at early development stages of a system formally modeled using a formal specification language. -calculus (Milner, 1999) is one such formal language which provides strong mathematical base that can be used for verifying system specifications. But manually verifying the specifications of concurrent systems is a very tedious

Стилі APA, Harvard, Vancouver, ISO та ін.

15

Chen, Ye, and Zhelong Wang. "A hierarchical method for human concurrent activity recognition using miniature inertial sensors." Sensor Review 37, no. 1 (2017): 101–9. http://dx.doi.org/10.1108/sr-05-2016-0085.

Повний текст джерела

Анотація:

Purpose Existing studies on human activity recognition using inertial sensors mainly discuss single activities. However, human activities are rather concurrent. A person could be walking while brushing their teeth or lying while making a call. The purpose of this paper is to explore an effective way to recognize concurrent activities. Design/methodology/approach Concurrent activities usually involve behaviors from different parts of the body, which are mainly dominated by the lower limbs and upper body. For this reason, a hierarchical method based on artificial neural networks (ANNs) is propos

Стилі APA, Harvard, Vancouver, ISO та ін.

16

Lowe, Gavin. "Parameterized verification of systems with component identities, using view abstraction." International Journal on Software Tools for Technology Transfer 24, no. 2 (2022): 287–324. http://dx.doi.org/10.1007/s10009-022-00648-0.

Повний текст джерела

Анотація:

AbstractThe parameterized verification problem seeks to verify all members of some collection of systems. We consider the parameterized verification problem applied to systems that are composed of an arbitrary number of component processes, together with some fixed processes. The components are taken from one or more families, each family representing one role in the system; all components within a family are symmetric to one another. Processes communicate via synchronous message passing. In particular, each component process has an identity, which may be included in messages, and passed to th

Стилі APA, Harvard, Vancouver, ISO та ін.

17

Dong, Shengli, Xinghan Xu, Yuhang Chen, Yifang Zhang, and Shengzheng Wang. "Double-Layer Distributed and Integrated Fault Detection Strategy for Non-Gaussian Dynamic Industrial Systems." Entropy 26, no. 10 (2024): 815. http://dx.doi.org/10.3390/e26100815.

Повний текст джерела

Анотація:

Currently, with the increasing scale of industrial systems, multisensor monitoring data exhibit large-scale dynamic Gaussian and non-Gaussian concurrent complex characteristics. However, the traditional principal component analysis method is based on Gaussian distribution and uncorrelated assumptions, which are greatly limited in practice. Therefore, developing a new fault detection method for large-scale Gaussian and non-Gaussian concurrent dynamic systems is one of the urgent challenges to be addressed. To this end, a double-layer distributed and integrated data-driven strategy based on Lapl

Стилі APA, Harvard, Vancouver, ISO та ін.

18

Xu, Mingdi, Zhaoyang Jin, Shengjie Ye, and Haipeng Fan. "Characteristic Canonical Analysis-Based Attack Detection of Industrial Control Systems in the Geological Drilling Process." Processes 12, no. 9 (2024): 2053. http://dx.doi.org/10.3390/pr12092053.

Повний текст джерела

Анотація:

Modern industrial control systems (ICSs), which consist of sensor nodes, actuators, and buses, contribute significantly to the enhancement of production efficiency. Massive node arrangements, security vulnerabilities, and complex operating status characterize ICSs, which lead to a threat to the industrial processes’ stability. In this work, a condition-monitoring method for ICSs based on canonical variate analysis with probabilistic principal component analysis is proposed. This method considers the essential information of the operating data. Firstly, the one-way analysis of variance method i

Стилі APA, Harvard, Vancouver, ISO та ін.

19

Sanan, David, Yongwang Zhao, Shang-Wei Lin, and Liu Yang. "CSim 2." ACM Transactions on Programming Languages and Systems 43, no. 1 (2021): 1–46. http://dx.doi.org/10.1145/3436808.

Повний текст джерела

Анотація:

To make feasible and scalable the verification of large and complex concurrent systems, it is necessary the use of compositional techniques even at the highest abstraction layers. When focusing on the lowest software abstraction layers, such as the implementation or the machine code, the high level of detail of those layers makes the direct verification of properties very difficult and expensive. It is therefore essential to use techniques allowing to simplify the verification on these layers. One technique to tackle this challenge is top-down verification where by means of simulation properti

Стилі APA, Harvard, Vancouver, ISO та ін.

20

Ahzaliza, Dian, Hasan Maksum, Wakhinuddin Wakhinuddin, and Eko Indrawan. "Evaluation of Learning Program Subjects for Building Utility Systems Based on Facilities and Infrastructure Standards Using the CIPPO Model at SMK Negeri 2 Banda Aceh." Jurnal Pendidikan Teknologi Kejuruan 5, no. 1 (2022): 1–7. http://dx.doi.org/10.24036/jptk.v5i1.24723.

Повний текст джерела

Анотація:

Based on interviews at SMK Negeri 2 Banda Aceh in 2021, obtained from 25 students, 4 people did not pass the skills test in the subject of building utility systems, with an average knowledge score of 79.2 and an average skill score of 78.4 One of the factors is the inadequate infrastructure in carrying out the learning process, especially practicum learning. The purpose of the study was to evaluate the learning process of building utility system subjects in the Construction and Property Engineering Expertise Program using the CIPPO model at SMK Negeri 2 Banda Aceh City. This research is an eva

Стилі APA, Harvard, Vancouver, ISO та ін.

21

San, Khin Thida, Sun Ju Mun, Yeong Hun Choe, and Yoon Seok Chang. "UAV Delivery Monitoring System." MATEC Web of Conferences 151 (2018): 04011. http://dx.doi.org/10.1051/matecconf/201815104011.

Повний текст джерела

Анотація:

UAV-based delivery systems are increasingly being used in the logistics field, particularly to achieve faster last-mile delivery. This study develops a UAV delivery system that manages delivery order assignments, autonomous flight operation, real time control for UAV flights, and delivery status tracking. To manage the delivery item assignments, we apply the concurrent scheduler approach with a genetic algorithm. The present paper describes real time flight data based on a micro air vehicle communication protocol (MAVLink). It also presents the detailed hardware components used for the field t

Стилі APA, Harvard, Vancouver, ISO та ін.

22

VERLINDEN, NICO, and DIRK JANSSENS. "Algebraic properties of processes for Local Action Systems." Mathematical Structures in Computer Science 12, no. 4 (2002): 423–48. http://dx.doi.org/10.1017/s096012950100353x.

Повний текст джерела

Анотація:

Graph rewriting has been used extensively to model the behaviour of concurrent systems and to provide a formal semantics for them. In this paper, we investigate processes for Local Action Systems (LAS); LAS generalize several types of graph rewriting based on node replacement and embedding. An important difference between processes for Local Action Systems and the process notions that have been introduced for other systems, for example, Petri nets, is the presence of a component describing the embedding mechanism. The aim of the paper is to develop a methodology for dealing with this embedding

Стилі APA, Harvard, Vancouver, ISO та ін.

23

CAO, JIAN, and SHENSHENG ZHANG. "AN INTEGRATED MULTI-AGENT CSCW SYSTEM FOR CONCURRENT PRODUCT DEVELOPMENT." International Journal of Information Technology & Decision Making 01, no. 03 (2002): 423–40. http://dx.doi.org/10.1142/s0219622002000270.

Повний текст джерела

Анотація:

Product development capability is more and more important for an enterprise in a knowledge-based economic era. In the philosophy of concurrent engineering, product development should be carried out in a concurrent way. Computer support is necessary for Concurrent Product Development (CPD). As an excellent tool to meet complex needs, CSCW has been used in CPD. But nearly all CSCW systems that have been developed so far concentrate on a more or less narrow sub-field of cooperative work. Thus, the need of integrated CSCW applications are apparent. The agent is a suitable programming paradigm that

Стилі APA, Harvard, Vancouver, ISO та ін.

24

Uzunidis, Dimitris, Fotini Apostolopoulou, Gerasimos Pagiatakis, and Alexandros Stavdas. "Analysis of Available Components and Performance Estimation of Optical Multi-Band Systems." Eng 2, no. 4 (2021): 531–43. http://dx.doi.org/10.3390/eng2040034.

Повний текст джерела

Анотація:

Optical multi-band (OMB) systems exploit the low-loss spectrum of the single mode fiber (SMF) and are key enablers to increase the transportation capacity and node connectivity of already deployed systems. The realization of OMB systems is mainly based on the technological advances on the component and system level, and for this purpose, a broad gamut of various structural elements, such as transceivers, amplifiers, filters, etc. have been commercialized already or are close to commercialization. This wide range of options, which aid in unlocking the concurrent transmission in all amplificatio

Стилі APA, Harvard, Vancouver, ISO та ін.

25

Otal, Antonio, Francisco Celada, Jose Chimeno, et al. "Review on Treatment Planning Systems for Cervix Brachytherapy (Interventional Radiotherapy): Some Desirable and Convenient Practical Aspects to Be Implemented from Radiation Oncologist and Medical Physics Perspectives." Cancers 14, no. 14 (2022): 3467. http://dx.doi.org/10.3390/cancers14143467.

Повний текст джерела

Анотація:

Intracavitary brachytherapy (BT, Interventional Radiotherapy, IRT), plays an essential role in the curative intent of locally advanced cervical cancer, for which the conventional approach involves external beam radiotherapy with concurrent chemotherapy followed by BT. This work aims to review the different methodologies used by commercially available treatment planning systems (TPSs) in exclusive magnetic resonance imaging-based (MRI) cervix BT with interstitial component treatments. Practical aspects and improvements to be implemented into the TPSs are discussed. This review is based on the c

Стилі APA, Harvard, Vancouver, ISO та ін.

26

Fernando, GVC, and Teguh Kristian Perdamaian. "Integrating palliative care into primary healthcare systems: Advocacy efforts, milestones and challenges in Asia." Malaysian Family Physician 19 (October 23, 2024): 61. https://doi.org/10.51866/cm0007.

Повний текст джерела

Анотація:

Palliative care is a vital component of primary healthcare systems, especially in Asia, where the ageing population is expected to increase significantly in the coming years. Integrating palliative care into primary healthcare systems is a crucial strategy for achieving universal access to palliative care. It is necessary to take concurrent actions to achieve this integration, including integrating palliative care into public health policies, educating primary healthcare workers, establishing appropriate service structures and ensuring the availability of controlled medications. Healthcare pro

Стилі APA, Harvard, Vancouver, ISO та ін.

27

Parrot, Olivier, Claude De Paoli, Alain Rouge, and Catherine Dutey. "4.3.2 Assessing the relevance of systems engineering for electrical commercial product development." INCOSE International Symposium 10, no. 1 (2000): 328–35. http://dx.doi.org/10.1002/j.2334-5837.2000.tb00394.x.

Повний текст джерела

Анотація:

AbstractTraditionally, MGE UPS Systems, like most commercial product suppliers, was used to rely on stamped‐commercial product development practices to manage time‐to‐market. But practices like concurrent engineering, project‐based and steering committee‐driven organization, system life‐cycle, are not anymore sufficient to answer always growing global market constraints. New practices as well as the solving of concurrent engineering side effects are becoming unavoidable.This concerns in particular the introduction of global systems optimization Vs. Component optimization, which traditionally d

Стилі APA, Harvard, Vancouver, ISO та ін.

28

Fernandes Costa, Tássio, Álvaro Sobrinho, Lenardo Chaves e Silva, Leandro Dias da Silva, and Angelo Perkusich. "Coloured Petri Nets-Based Modeling and Validation of Insulin Infusion Pump Systems." Applied Sciences 12, no. 3 (2022): 1475. http://dx.doi.org/10.3390/app12031475.

Повний текст джерела

Анотація:

Safety and effectiveness are crucial quality attributes for insulin infusion pump systems. Therefore, regulatory agencies require the quality evaluation and approval of such systems before the market to decrease the risk of harm, motivating the usage of a formal Model-Based Approach (MBA) to improve quality. Nevertheless, using a formal MBA increases costs and development time because it requires expert knowledge and thorough analyses of behaviors. We aim to assist the quality evaluation of such systems in a cost-effective and time-efficient manner, providing re-usable project artifacts by app

Стилі APA, Harvard, Vancouver, ISO та ін.

29

Olzak, L. A., J. P. Thomas, and T. D. Wickens. "Simultaneously Judging Contrast in Different Orientation and Frequency Bands." Perception 25, no. 1_suppl (1996): 116. http://dx.doi.org/10.1068/v96l0604.

Повний текст джерела

Анотація:

Previous discrimination experiments suggest that suprathreshold contrast signals carried by orthogonally oriented gratings are combined when component frequencies are similar, but contrast signals are not combined across frequency bands regardless of orientation. We investigated neural and attentional processes underlying these findings in a concurrent-response paradigm. Test stimuli were composed of two superimposed sinusoidal gratings. In one condition, two 3 cycles deg−1 gratings were superimposed at orthogonal orientations to form plaids. In the other condition, the component gratings were

Стилі APA, Harvard, Vancouver, ISO та ін.

30

Brugali, Davide, and Nico Hochgeschwender. "Software Product Line Engineering for Robotic Perception Systems." International Journal of Semantic Computing 12, no. 01 (2018): 89–107. http://dx.doi.org/10.1142/s1793351x18400056.

Повний текст джерела

Анотація:

Control systems for autonomous robots are concurrent, distributed, embedded, real-time and data intensive software systems. A real-world robot control system is composed of tens of software components. For each component providing robotic functionality, tens of different implementations may be available. The difficult challenge in robotic system engineering consists in selecting a coherent set of components, which provide the functionality required by the application requirements, taking into account their mutual dependencies. This challenge is exacerbated by the fact that robotics system inte

Стилі APA, Harvard, Vancouver, ISO та ін.

31

Wijeratne, Tissa, and Sheila G. Crewther. "A Systems Neuroscience Approach to Diagnosis and Rehabilitation of Post COVID Neurological Syndrome Based on the Systems Neuroscience Test Battery (SNTB) Study Protocol." NeuroRehabilitation: An International, Interdisciplinary Journal 56, no. 1 (2025): 37–47. https://doi.org/10.1177/10538135241296773.

Повний текст джерела

Анотація:

The proposed study reports the design and development of a rapid screening tool, the Systems Neuroscience Test Battery (SNTB), for diagnosing and evaluating the neurological manifestations of Post-COVID-19 Neurological Syndrome (PCNS) within the broader context of Post-Acute Sequelae to COVID-19 (PASC). The SNTB is designed to incorporate a behaviorally relevant Telehealth component that enhances consumer confidence in symptom discrimination, management of PCNS, and guides rehabilitation programs while allowing for continuous evaluation of intervention effectiveness. The study employs a longit

Стилі APA, Harvard, Vancouver, ISO та ін.

32

Borja, V., R. Bell, and J. A. Harding. "Assisting design for manufacture using the data model driven approach." Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture 215, no. 12 (2001): 1757–71. http://dx.doi.org/10.1177/095440540121501209.

Повний текст джерела

Анотація:

The data model driven approach argues that computer aided engineering systems should be based on information data models in order to properly support the concurrent design of products. These models are the foundation for database representations of products and factories, and enable information sharing across unlinked software applications that address different stages of the product life cycle. This paper presents a product data model capable of capturing product life cycle information, and in particular its utilization for representing manufacturing information is described. A manufacturing

Стилі APA, Harvard, Vancouver, ISO та ін.

33

Ginting, Mimaika Luluina, Chek Hooi Wong, Zoe Zon Be Lim, et al. "A Patient-Centred Medical Home Care Model for Community-Dwelling Older Adults in Singapore: A Mixed-Method Study on Patient’s Care Experience." International Journal of Environmental Research and Public Health 19, no. 8 (2022): 4778. http://dx.doi.org/10.3390/ijerph19084778.

Повний текст джерела

Анотація:

Patient-Centred Medical Home (PCMH) is a strategy to enhance patient-centredness to improve care experience. We aimed to understand patient experience of an integrated PCMH model for complex community-dwelling older adults in Singapore. We used a mixed-method design with a prospective single-group pre-post quantitative component and a concurrent qualitative component. Participants were administered the validated Consumer Assessment of Health Providers and Systems Clinician & Group Survey (CG-CAHPS) at baseline (N = 184) and 6-month (N = 166) post-enrolment. We conducted focus group discuss

Стилі APA, Harvard, Vancouver, ISO та ін.

34

Trad, Antoine. "A Relational DataBase based Enterprise Transformation Projects." International Journal of Mathematics and Computers in Simulation 17 (June 14, 2023): 1–11. http://dx.doi.org/10.46300/9102.2023.17.1.

Повний текст джерела

Анотація:

Enterprise Transformation Projects (ETP) are important for ensuring long-term business sustainability and operational excellence, but these projects are complex to finalize and have a high failure rate. Transformation complexities are related to various concurrent factors like the use of sets of uncoherent commercial tools/products, simplistic gap estimations, status evaluations, needed cross-functional skills, and many others. Therefore, there is a need to implement an In-House Implemented (IHI) methodology and framework to support ETPs. But such IHI solutions take a long time to be implement

Стилі APA, Harvard, Vancouver, ISO та ін.

35

Hartle, Larissa, Liana Mendes-Santos, Eduarda Barbosa, Giulia Balboni, and Helenice Charchat-Fichman. "Evidence of the validity of a novel version of the computerized cognitive screening battery CompCog." Dementia & Neuropsychologia 15, no. 4 (2021): 485–96. http://dx.doi.org/10.1590/1980-57642021dn15-040010.

Повний текст джерела

Анотація:

ABSTRACT Although the availability of the computer-based assessment has increased over the years, neuropsychology has not carried out a significant paradigm shift since the personal computer’s popularization in the 1980s. To keep up with the technological advances of healthcare and neuroscience in general, more efforts must be made in the field of clinical neuropsychology to develop and validate new and more technology-based instruments, especially considering new variables and paradigms when compared to paper and pencil tests. Objective: This study’s objective was to produce concurrent validi

Стилі APA, Harvard, Vancouver, ISO та ін.

36

Schultz, Emily B., J. Clint Iles, Thomas G. Matney, et al. "Stand-Level Growth and Yield Component Models for Red Oak–Sweetgum Forests on Mid-South Minor Stream Bottoms." Southern Journal of Applied Forestry 34, no. 4 (2010): 161–75. http://dx.doi.org/10.1093/sjaf/34.4.161.

Повний текст джерела

Анотація:

Abstract Greater emphasis is being placed on Southern bottomland hardwood management, but relatively few growth and yield prediction systems exist that are based on sufficient measurements. We present the aggregate stand-level expected yield and structural component equations for a red oak (Quercus sectionLobatae)-sweetgum (Liquidambar styraciflua L.) growth and yield model. Measurements from 638 stand-level observations on 258 distinct permanent growth and yield plots collected in 1981, 1988, 1994, and 2006 in minor stream bottoms in Mississippi and Alabama provided data for model development

Стилі APA, Harvard, Vancouver, ISO та ін.

37

Ibrahim, Fausat Motunrayo, Benson Osikabor, Bolanle Tawakalitu Olatunji, Grace Oluwatobi Ogunwale, and Olawale Julius Aluko. "Forest in the Context of Social Change: Traditional Orientation and Forest Mystification in a Nigerian Forest-Reserve Setting." Changing Societies & Personalities 5, no. 3 (2021): 496. http://dx.doi.org/10.15826/csp.2021.5.3.147.

Повний текст джерела

Анотація:

This article exposits the mystification of forests among people residing in proximity to a forest reserve in southwestern Nigeria. The theory of material engagement and the ecology of human development support the position that the forest is a classical motivator of traditional culture. Still, socio-cultural change is prevalent. As an element of this change, forest-based social cognition warrants systematic examination in the interest of environmental sustainability. This is because the concurrent conveyance of sustainability-promoting immaterial culture across generations is a component of th

Стилі APA, Harvard, Vancouver, ISO та ін.

38

Maugeri, Giosue', Simone Arrigoni, Alessandro Lavelli, et al. "Enhancing fault diagnosis in photovoltaic plants: managing the simultaneity of faulty bypass diodes, series resistance increases, and partial shading effects." EPJ Photovoltaics 16 (2025): 14. https://doi.org/10.1051/epjpv/2025001.

Повний текст джерела

Анотація:

Modern photovoltaic (PV) monitoring systems can collect high-quality data; however, existing analysis tools need to evolve not only to identify yield issues but also to discern the nature of faults and degradation factors contributing to yield loss. Current AI-based Operation & Maintenance (O&M) tools primarily focus on detecting single faults, with their accuracy in fault recognizing, significantly diminishing in the presence of multiple concurrent issues. Consequently, diagnostics become unreliable when faults occur alongside other component failures or overlap with environmental eff

Стилі APA, Harvard, Vancouver, ISO та ін.

39

Юсим, Vyacheslav Yusim, Свирчевский, and Vadim Svirchevskiy. "The Relationship of Economy and Industry Development Macroconstants." Economics 5, no. 2 (2017): 29–38. http://dx.doi.org/10.12737/25147.

Повний текст джерела

Анотація:

The article substantiates benchmarks of reindustrialization economy, Russia. While reindustrialization is understood as a technology base, capable of concurrent development of industry and the economy as a whole. The authors examine the global trend of decline in the share of industry in the gross product of the developed countries and the aim is to find indicators of development communication industry with the development of the economy as a whole. Based on the analysis of statistical information of development indicators large technologically developed countries it is demonstrated that long-

Стилі APA, Harvard, Vancouver, ISO та ін.

40

HAIDER, NEENA B., PAUL DEMARCO, ARNE M. NYSTUEN, et al. "The transcription factorNr2e3functions in retinal progenitors to suppress cone cell generation." Visual Neuroscience 23, no. 6 (2006): 917–29. http://dx.doi.org/10.1017/s095252380623027x.

Повний текст джерела

Анотація:

The transcription factorNr2e3is an essential component for development and specification of rod and cone photoreceptors; however, the mechanism through which it acts is not well understood. In this study, we useNr2e3rd7/rd7mice that harbor a mutation inNr2e3, to serve as a model for the human retinal disease Enhanced S Cone Syndrome. Our studies reveal that NR2E3 is expressed in late retinal progenitors and differentiating photoreceptors of the developing retina and localized to the cell bodies of mature rods and cones. In particular, we demonstrate that the abnormal increase in cone photorece

Стилі APA, Harvard, Vancouver, ISO та ін.

41

Qin, Zhenyu, Junqiang Lu, Baiyong Men, Shijie Wei, and Jiakang Pan. "Design of a Multi-Node Data Acquisition System for Logging-While-Drilling Acoustic Logging Instruments Based on FPGA." Sensors 25, no. 3 (2025): 808. https://doi.org/10.3390/s25030808.

Повний текст джерела

Анотація:

The logging-while-drilling (LWD) acoustic logging instrument is pivotal in unconventional oil and gas exploration, and in providing real-time assessments of subsurface formations. The acquisition system, a core component of the LWD acoustic logging suite, is tasked with capturing, transmitting, and processing acoustic signals from the formation, which directly affects the accuracy and timeliness of the logging data. Recognizing the constraints of current LWD acquisition systems, including limited data collection capabilities and inadequate precision, this study introduces an FPGA-based multi-n

Стилі APA, Harvard, Vancouver, ISO та ін.

42

KOUZAPAS, DIMITRIOS, NOBUKO YOSHIDA, RAYMOND HU, and KOHEI HONDA. "On asynchronous eventful session semantics." Mathematical Structures in Computer Science 26, no. 2 (2014): 303–64. http://dx.doi.org/10.1017/s096012951400019x.

Повний текст джерела

Анотація:

Event-driven programming is one of the major paradigms in concurrent and communication-based programming, where events are typically detected as the arrival of messages on asynchronous channels. Unfortunately, the flexibility and performance of traditional event-driven programming come at the cost of more complex programs: low-level APIs and the obfuscation of event-driven control flow make programs difficult to read, write and verify.This paper introduces a π-calculus with session types that modelsevent-driven session programming(called ESP) and studies its behavioural theory. The main charac

Стилі APA, Harvard, Vancouver, ISO та ін.

43

Shah, Ismail, Hasnain Iftikhar, Sajid Ali, and Depeng Wang. "Short-Term Electricity Demand Forecasting Using ComponentsEstimation Technique." Energies 12, no. 13 (2019): 2532. http://dx.doi.org/10.3390/en12132532.

Повний текст джерела

Анотація:

Currently, in most countries, the electricity sector is liberalized, and electricity is traded in deregulated electricity markets. In these markets, electricity demand is determined the day before the physical delivery through (semi-)hourly concurrent auctions. Hence, accurate forecasts are essential for efficient and effective management of power systems. The electricity demand and prices, however, exhibit specific features, including non-constant mean and variance, calendar effects, multiple periodicities, high volatility, jumps, and so on, which complicate the forecasting problem. In this w

Стилі APA, Harvard, Vancouver, ISO та ін.

44

Garcia Figueiredo-Pinto, Danilo, Ip-Shing Fan, and Fernando Teixeira Mendes Abrahão. "Operational Availability Optimization Model Based on the Integration of Predictive and Scheduled Maintenance." PHM Society European Conference 6, no. 1 (2021): 11. http://dx.doi.org/10.36001/phme.2021.v6i1.2816.

Повний текст джерела

Анотація:

Health monitoring technologies and data analytics are increasingly widespread in the aviation industry following the growth in the capacity and speed of abundant and accurate data generation and transmission from the aircraft systems. These advances are fueling a change process in aircraft maintenance strategy towards a more proactive, precise, and effective approach consolidated in the concepts of Integrated Vehicle Health Monitoring (IVHM) and Prognostics and Health Management (PHM). Following that, several model-based and data-driven prognostics methods for Remaining Useful Life (RUL) estim

Стилі APA, Harvard, Vancouver, ISO та ін.

45

Bache, Martin R., Christopher D. Newton, John Paul Jones, et al. "Advances in Damage Monitoring Techniques for the Detection of Failure in SiCf/SiC Ceramic Matrix Composites." Ceramics 2, no. 2 (2019): 347–71. http://dx.doi.org/10.3390/ceramics2020028.

Повний текст джерела

Анотація:

From a disruptive perspective, silicon carbide (SiC)-based ceramic matrix composites (CMCs) provide a considerable temperature and weight advantage over existing material systems and are increasingly finding application in aerospace, power generation and high-end automotive industries. The complex structural architecture and inherent processing artefacts within CMCs combine to induce inhomogeneous deformation and damage prior to ultimate failure. Sophisticated mechanical characterisation is vital in support of a fundamental understanding of deformation in CMCs. On the component scale, “damage

Стилі APA, Harvard, Vancouver, ISO та ін.

46

KRYSOVATYY, Ihor. "ORGANIZATIONAL AND SPATIAL FEATURES OF INNOVATION MANAGEMENT IN SMART CITIES DEVELOPMENT." "EСONOMY. FINANСES. MANAGEMENT: Topical issues of science and practical activity", no. 4 (70) (December 24, 2024): 133–43. https://doi.org/10.37128/2411-4413-2024-4-9.

Повний текст джерела

Анотація:

Organizational and spatial features of managing the innovative development of smart cities are a key aspect of their successful transformation. The article examines the organisational and spatial characteristics of innovation management in smart city development. It identifies the role of the cities as centres of innovative development that accumulate intellectual and financial resources, thus facilitating technological and social progress. The research emphasises the challenges of urbanisation that necessitate new development models integrating economic, social, and spatial aspects. The conce

Стилі APA, Harvard, Vancouver, ISO та ін.

47

Lee, Hae-Jun. "Dynamic Context Awareness of Universal Middleware based for IoT SNMP Service Platform." Tehnički glasnik 17, no. 2 (2023): 185–91. http://dx.doi.org/10.31803/tg-20221221115431.

Повний текст джерела

Анотація:

This study focused on the Universal Middleware design for the IoT (Internet of Things) service gateway for the implementation module of the convergence platform. Recently, IoT service gateway including convergence platform could be supported on dynamic module system that is required mounting and recognized intelligent status with the remote network protocol. These awareness concepts support the dynamic environment of the cross-platform distributed computing technology is supported by these idea as a Universal Middleware for network substitution. Distribution system commonly used in recent embe

Стилі APA, Harvard, Vancouver, ISO та ін.

48

Reiser, Jakob, Zhennan Lai, Xian-Yang Zhang, and Roscoe O. Brady. "Development of Multigene and Regulated Lentivirus Vectors." Journal of Virology 74, no. 22 (2000): 10589–99. http://dx.doi.org/10.1128/jvi.74.22.10589-10599.2000.

Повний текст джерела

Анотація:

ABSTRACT Previously we described safe and efficient three-component human immunodeficiency virus type 1 (HIV-1)-based gene transfer systems for delivery of genes into nondividing cells (H. Mochizuki, J. P. Schwartz, K. Tanaka, R. O. Brady, and J. Reiser, J. Virol. 72:8873–8883, 1998). To apply such vectors in anti-HIV gene therapy strategies and to express multiple proteins in single target cells, we have engineered HIV-1 vectors for the concurrent expression of multiple transgenes. Single-gene vectors, bicistronic vectors, and multigene vectors expressing up to three exogenous genes under the

Стилі APA, Harvard, Vancouver, ISO та ін.

49

Olzak, Lynn A., and Thomas D. Wickens. "Discrimination of Complex Patterns: Orientation Information is Integrated across Spatial Scale; Spatial-Frequency and Contrast Information are Not." Perception 26, no. 9 (1997): 1101–20. http://dx.doi.org/10.1068/p261101.

Повний текст джерела

Анотація:

Real-world objects are complex, containing information at multiple orientations and spatial scales. It is well established that at initial cortical stages of processing, local information about an image is separately represented at multiple spatial scales. However, it is not yet established how these early representations are later integrated across scale to signal useful information about complex stimulus features, such as edges and textures. In the studies reported here, we investigate the scale-integration processes involved in distinguishing among complex patterns. We use a concurrent-resp

Стилі APA, Harvard, Vancouver, ISO та ін.

50

Defer, E., J. P. Pinty, S. Coquillat, et al. "An overview of the lightning and atmospheric electricity observations collected in Southern France during the HYdrological cycle in Mediterranean EXperiment (HyMeX), Special Observation Period 1." Atmospheric Measurement Techniques Discussions 7, no. 8 (2014): 8013–65. http://dx.doi.org/10.5194/amtd-7-8013-2014.

Повний текст джерела

Анотація:

Abstract. The PEACH (Projet en Electricité Atmosphérique pour la Campagne HyMeX – the Atmospheric Electricity Project of HyMeX Program) project is the Atmospheric Electricity component of the HyMeX (Hydrology cycle in the Mediterranean Experiment) experiment and is dedicated to the observation of both lightning activity and electrical state of continental and maritime thunderstorms in the area of the Mediterranean Sea. During the HyMeX SOP1 (Special Observation Period; 5 September–6 November 2012), four European Operational Lightning Locating Systems (OLLSs) (ATDNET, EUCLID, LINET, ZEUS) and t

Стилі APA, Harvard, Vancouver, ISO та ін.

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!