Log in

Relevant bibliographies by topics / Mobile Nets / Journal articles

To see the other types of publications on this topic, follow the link: Mobile Nets.

Journal articles on the topic 'Mobile Nets'

Author: Grafiati

Published: 5 June 2025

Last updated: 1 August 2025

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 'Mobile Nets.'

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

ASPERTI, A., and N. BUSI. "Mobile Petri nets." Mathematical Structures in Computer Science 19, no. 6 (2009): 1265–78. http://dx.doi.org/10.1017/s0960129509990193.

Full text

Abstract:

We add mobility to Place-Transition Petri nets: tokens are names for places, and an input token of a transition can be used in its postset to specify a destination. Mobile Petri nets are then further extended to dynamic nets by adding the possibility of creating new nets during the firing of a transition. In this way, starting from Petri nets, we define a simple hierarchy of nets with increasing degrees of dynamicity. For each class in this hierarchy, we provide its encoding in the former class.Our work was largely inspired by the join-calculus of Fournet and Gonthier, which turns out to be a

APA, Harvard, Vancouver, ISO, and other styles

2

Fűr, Attila. "Extended knowledge attributed Petri Nets." International Journal of Modeling, Simulation, and Scientific Computing 05, no. 02 (2014): 1350028. http://dx.doi.org/10.1142/s1793962313500281.

Full text

Abstract:

Choosing the best way for describing physical reality has always been standing in focus of research. Several methodologies have been developed based on classical mathematics, or statistics and also new disciplines — such as soft-computing techniques — appeared. Petri Nets as one of the most naturalistic modeling methodologies are well suited to describe complex process in general. However in some fields of modeling the describing power of basic Petri Nets proved not to be robust enough, therefore several extensions were made to the original concept. Colored tokens (Colored Petri Nets), stochas

APA, Harvard, Vancouver, ISO, and other styles

3

Hoffmann, Kathrin, Till Mossakowski, and Francesco Parisi-Presicce. "Higher-Order Nets for Mobile Policies." Electronic Notes in Theoretical Computer Science 127, no. 2 (2005): 87–105. http://dx.doi.org/10.1016/j.entcs.2005.02.007.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Heikkinen, Marko T., Tuija Mainela, Johanna Still, and Jaana Tähtinen. "Roles for managing in mobile service development nets." Industrial Marketing Management 36, no. 7 (2007): 909–25. http://dx.doi.org/10.1016/j.indmarman.2007.05.014.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Lepley, Michel, Pierre Defos Du Rau, Mickaël Veillé, Olivier Pineau, and Jean Yves Mondain Monval. "Capturing Jack SnipeLymnocryptes minimuswith mobile horizontally held nets." Ringing & Migration 22, no. 3 (2005): 167–70. http://dx.doi.org/10.1080/03078698.2005.9674327.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Rosa-Velardo, Fernando, David de Frutos-Escrig, and Olga Marroquín-Alonso. "On the Expressiveness of Mobile Synchronizing Petri Nets." Electronic Notes in Theoretical Computer Science 180, no. 1 (2007): 77–94. http://dx.doi.org/10.1016/j.entcs.2005.05.048.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Rosa-Velardo, Fernando. "Coding Mobile Synchronizing Petri Nets into Rewriting Logic." Electronic Notes in Theoretical Computer Science 174, no. 1 (2007): 83–98. http://dx.doi.org/10.1016/j.entcs.2006.10.021.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Velazquez, Julian, Ruben Machucho, Jose F. Lopez, Hiram Herrera, and Jorge-Arturo Hernandez-Almazan. "Modeling Mobile Applications for Proximity-Based Promotion Delivery to Shopping Centers Using Petri Nets." Computers 14, no. 2 (2025): 50. https://doi.org/10.3390/computers14020050.

Full text

Abstract:

This article presents the design and implementation of an API that delivers real-time promotional notifications to mobile devices based on their proximity to shopping centers, calculated using the Haversine formula. Developed in Laravel, the API determines whether a mobile device is within a 600 m radius of any registered shopping center, such as Soriana, GranD, and HEB, and sends the relevant promotional information. The system uses Petri nets to model asynchronous behavior, enabling efficient concurrency management between the mobile application and the API. This structure ensures optimized

APA, Harvard, Vancouver, ISO, and other styles

9

Li, Pengyu, Yingji Shi, Yanxia Xing, et al. "Intra-Cluster Federated Learning-Based Model Transfer Framework for Traffic Prediction in Core Network." Electronics 11, no. 22 (2022): 3793. http://dx.doi.org/10.3390/electronics11223793.

Full text

Abstract:

Accurate prediction of cellular traffic will contribute to efficient operations and management of mobile network. With deep learning, many studies have achieved exact cellular traffic prediction. However, the reality is that quite a few subnets in the core network do not have sufficient computing power to train their deep learning model, which we call subnets (LCP-Nets) with limited computing power. In order to improve the traffic prediction efficiency of LCP-Nets with the help of deep learning and the subnets (ACP-Nets) with abundant computing power under the requirement of privacy protection

APA, Harvard, Vancouver, ISO, and other styles

10

Aman, Bogdan, and Gabriel Ciobanu. "Properties of enhanced mobile membranes via coloured Petri nets." Information Processing Letters 112, no. 6 (2012): 243–48. http://dx.doi.org/10.1016/j.ipl.2011.12.003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

HERRERO, JUAN CARLOS. "CDMA & TDMA BASED NEURAL NETS." International Journal of Neural Systems 11, no. 03 (2001): 237–46. http://dx.doi.org/10.1142/s0129065701000679.

Full text

Abstract:

CDMA and TDMA telecommunication techniques were established long time ago, but they have acquired a renewed presence due to the rapidly increasing mobile phones demand. In this paper, we are going to see they are suitable for neural nets, if we leave the concept "connection" between processing units and we adopt the concept "messages" exchanged between them. This may open the door to neural nets with a higher number of processing units and flexible configuration.

APA, Harvard, Vancouver, ISO, and other styles

12

Vecchi, MB, and MAS Alves. "Bird assemblage mist-netted in an Atlantic Forest area: a comparison between vertically-mobile and ground-level nets." Brazilian Journal of Biology 75, no. 3 (2015): 742–51. http://dx.doi.org/10.1590/1519-6984.00914.

Full text

Abstract:

AbstractMist nets may be opened at different heights in the forest, but they are seldom used over 3 m above the ground. We used two different methods to compare species richness, composition, and relative abundance and trophic structure of the bird assemblage at Ilha Grande (with a 290 birds standardization): conventional ground-level nets (0-2.4 m height range) and elevated nets (0-17 m) with an adjustable-height system (modified from Humphrey et al., 1968) that we call vertically-mobile nets. There were significant differences in capture frequencies between methods for about 20% of the speci

APA, Harvard, Vancouver, ISO, and other styles

13

Canavati, Sara E., Gerard C. Kelly, Thuan Huu Vo, et al. "Mosquito Net Ownership, Utilization, and Preferences among Mobile and Migrant Populations Sleeping in Forests and Farms in Central Vietnam: A Cross-Sectional Study." American Journal of Tropical Medicine and Hygiene 104, no. 5 (2021): 1917–24. http://dx.doi.org/10.4269/ajtmh.20-0711.

Full text

Abstract:

ABSTRACTStrengthening vector control measures among mobile and migrant populations (MMPs) is crucial to malaria elimination, particularly in areas with multidrug-resistant malaria. Although a global priority, providing access and ensuring high coverage of available tools such as long-lasting insecticidal nets (LLINs) among these vulnerable groups remains a significant challenge. We assessed mosquito net ownership, utilization, and preference among individuals who slept in a forest and/or on a farm against those residing only in village “home” settings in a priority malaria elimination area of

APA, Harvard, Vancouver, ISO, and other styles

14

DING, JUNHUA, and XUDONG HE. "FORMAL SPECIFICATION AND ANALYSIS OF AN AGENT-BASED MEDICAL IMAGE PROCESSING SYSTEM." International Journal of Software Engineering and Knowledge Engineering 20, no. 03 (2010): 311–45. http://dx.doi.org/10.1142/s021819401000475x.

Full text

Abstract:

A mobile agent system is a special distributed system with moving programs in networks. Mobile agent systems provide a powerful and flexible paradigm for building high performance distributed systems. Due to dynamic configuration property, assuring quality of a mobile agent system is a challenge work. Formal specification and analysis of a mobile agent system provides one of the best approaches to ensure the correctness of a system design. However, it is difficult to find a formal specification tool for modeling a mobile agent system with an easy to understand and concise model. In addition, i

APA, Harvard, Vancouver, ISO, and other styles

15

Weng, Yi Shun, and Yi Sheng Huang. "Channel Assignment Strategies for Mobile Networks Using Fuzzy Petri Nets." Key Engineering Materials 467-469 (February 2011): 1662–67. http://dx.doi.org/10.4028/www.scientific.net/kem.467-469.1662.

Full text

Abstract:

In mobile cellular networks, the mobile devices need to handoff to different base stations based on certain criteria. And also fuzzy Petri nets can support an effective rule to deduce the inexact information. Based on the reasons, this paper focuses on the use of fuzzy Petri nets to model the handoff region for obtaining optimal channel assignment schemes. In this paper, a fuzzy logic based scheme for selection of base station is presented. The scheme considers two cover regions, namely, dual-BSs fuzzy assignment handoff and triple-BSs fuzzy assignment handoff of each base station to arrive at

APA, Harvard, Vancouver, ISO, and other styles

16

Mustika Martin, Maria Adventia Debi, Stefani Miranda, and Aminuddin Harahap. "role of the Neonatal Emergency Transportation Service (NETS) ambulance at dr. Ramelan Central Naval Hospital in reducing neonatal mortality rates in Surabaya." Surabaya Medical Journal 2, no. 2 (2024): 19–26. https://doi.org/10.59747/smjidisurabaya.v2i2.90.

Full text

Abstract:

Background: Limited access to health services is one of the factors that increases the risk of neonatal death. Previous studies identified inadequate transportation as a problem in the neonatal referral system in Indonesia. The Neonatal Emergency Transportation Service (NETS) was established to address this problem. NETS is equipped with an incubator, transport ventilator, and mobile vital sign monitor. Newborns transported via NETS are accompanied by a doctor and trained nurses. Objective: This study aims to compare the survival rates of newborns referred with and without using the NETS ambul

APA, Harvard, Vancouver, ISO, and other styles

17

de Araújo Lima, Emerson Ferreira, Jorge César Abrantes de Figueiredo, and Dalton Dario Serey Guerrero. "Using Coloured Petri Nets to Compare Mobile Agent Design Patterns." Electronic Notes in Theoretical Computer Science 95 (May 2004): 287–305. http://dx.doi.org/10.1016/j.entcs.2004.04.017.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Amorim, Paulo Sérgio, Mariana Fonseca Rossi, and André de Camargo Guaraldo. "Rise-Up mist-netting (RUM): a mobile protocol for trapping wary territorial birds." Papéis Avulsos de Zoologia 61 (January 29, 2021): e20216110. http://dx.doi.org/10.11606/1807-0205/2021.61.10.

Full text

Abstract:

Many bird species avoid traditional traps such as mist nets, thus alternative trapping methods are often needed. The Rufous Hornero (Furnariidae: Furnarius rufus) is one such species that was captured so far using conventional mist netting in rural areas or using nest-targeted traps, which risk nest damage and abandonment. Here we describe the novel rise-up mist-netting (RUM) protocol and its catchability for the wary and territorial Rufous Hornero in an urban area. The RUM trap allowed us quickly capturing 40 Rufous Hornero individuals even in paved parking lots and streets during the bird’s

APA, Harvard, Vancouver, ISO, and other styles

19

Chen, Jie-Hao, Zi-Qian Zhao, Ji-Yun Shi, and Chong Zhao. "A New Approach for Mobile Advertising Click-Through Rate Estimation Based on Deep Belief Nets." Computational Intelligence and Neuroscience 2017 (2017): 1–8. http://dx.doi.org/10.1155/2017/7259762.

Full text

Abstract:

In recent years, with the rapid development of mobile Internet and its business applications, mobile advertising Click-Through Rate (CTR) estimation has become a hot research direction in the field of computational advertising, which is used to achieve accurate advertisement delivery for the best benefits in the three-side game between media, advertisers, and audiences. Current research on the estimation of CTR mainly uses the methods and models of machine learning, such as linear model or recommendation algorithms. However, most of these methods are insufficient to extract the data features a

APA, Harvard, Vancouver, ISO, and other styles

20

Wang, Su Zhen, and Zhi Juan Du. "Mobile Cloud Computing: Architecture and Security." Applied Mechanics and Materials 321-324 (June 2013): 2274–81. http://dx.doi.org/10.4028/www.scientific.net/amm.321-324.2274.

Full text

Abstract:

This paper proposed a mobile cloud computing architecture based on mobile Agent paradigm for the problems faced by the mobile cloud computing, for example, application migration on network, network latency and non-persistent connection issues caused by execution on the remote device, cloud-crossed service problems, and security risks and privacy issues. In this architecture, Contract Net Protocol is optimized and used in the synergy among the mobile Agent. Mobile Agent is authenticated by exchanging keys, where the exchange key uses ideas of quantum teleportation based on multiple particle ort

APA, Harvard, Vancouver, ISO, and other styles

21

Kosta, Sokol, Francisco Airton Silva, Patricia Takako Endo, Daniel Carvalho, and Laécio Rodrigues. "Edge servers placement in mobile edge computing using stochastic Petri nets." International Journal of Computational Science and Engineering 23, no. 4 (2020): 352. http://dx.doi.org/10.1504/ijcse.2020.10035558.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Carvalho, Daniel, Laécio Rodrigues, Patricia Takako Endo, Sokol Kosta, and Francisco Airton Silva. "Edge servers placement in mobile edge computing using stochastic Petri nets." International Journal of Computational Science and Engineering 23, no. 4 (2020): 352. http://dx.doi.org/10.1504/ijcse.2020.113181.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Ding, Junhua, Wei Song, and Dongmei Zhang. "MODELING AND ANALYSIS OF MOBILE PUSH NOTIFICATION SERVICES USING PETRI NETS." Services Transactions on Services Computing 2, no. 4 (2014): 52–64. http://dx.doi.org/10.29268/stsc.2014.2.4.4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

XU, HAIPING, ZHIGUO ZHANG, and SOL M. SHATZ. "A SECURITY BASED MODEL FOR MOBILE AGENT SOFTWARE SYSTEMS." International Journal of Software Engineering and Knowledge Engineering 15, no. 04 (2005): 719–46. http://dx.doi.org/10.1142/s0218194005002518.

Full text

Abstract:

Security modeling for agents has been one of the most challenging issues in developing practical mobile agent software systems. In the past, researchers have developed mobile agent systems with emphasis either on protecting mobile agents from malicious hosts or protecting hosts from malicious agents. In this paper, we propose a security based mobile agent system architecture that provides a general solution to protecting both mobile agents and agent hosts in terms of agent communication and agent migration. We present a facilitator agent model that serves as a middleware for secure agent commu

APA, Harvard, Vancouver, ISO, and other styles

25

Bilousova, L., L. Gryzun, and I. Sivochka. "Petri Nets Android application as a mobile aid for students’ mastering modelling." Journal of Physics: Conference Series 1840, no. 1 (2021): 012033. http://dx.doi.org/10.1088/1742-6596/1840/1/012033.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Kahloul, Laid, Allaoua Chaoui, and Karim Djouani. "Modelling and Analysis of Mobile Computing Systems: An Extended Petri Nets Formalism." International Journal of Computers Communications & Control 10, no. 2 (2015): 211. http://dx.doi.org/10.15837/ijccc.2015.2.118.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Bartkevicius, S., O. Fiodorova, A. Knys, et al. "Mobile Robots Navigation Modeling in Known 2d Environment Based on Petri Nets." Intelligent Automation and Soft Computing 24, no. 2 (2018): 241–48. http://dx.doi.org/10.1080/10798587.2016.1264695.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Wang, Shuo, and Jiliang Luo. "Synthesis of mobile robot control system on embedded chips via Petri nets." Journal of the Chinese Institute of Engineers 41, no. 6 (2018): 442–51. http://dx.doi.org/10.1080/02533839.2018.1498022.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Kloul, Leila, Tatiana Prosvirnova, and Antoine Rauzy. "Modeling systems with mobile components: a comparison between AltaRica and PEPA nets." Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability 227, no. 6 (2013): 599–613. http://dx.doi.org/10.1177/1748006x13490497.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Guerrouf, Fayçal, Allaoua Chaoui, and Ali Aldahoud. "A graph transformation approach of mobile activity diagram to nested Petri nets." International Journal of Computer Aided Engineering and Technology 5, no. 1 (2013): 44. http://dx.doi.org/10.1504/ijcaet.2013.050549.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Xu, Jianli, and Juha Kuusela. "Analyzing the execution architecture of mobile phone software with colored Petri nets." International Journal on Software Tools for Technology Transfer (STTT) 2, no. 2 (1998): 133–43. http://dx.doi.org/10.1007/s100090050022.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Rosa-Velardo, Fernando, Olga Marroquín-Alonso, and David de Frutos-Escrig. "Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems." Electronic Notes in Theoretical Computer Science 150, no. 1 (2006): 103–26. http://dx.doi.org/10.1016/j.entcs.2005.12.026.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Guillen-Scholten, Juan, Farhad Arbab, Frank de Boer, and Marcello Bonsangue. "Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets." Electronic Notes in Theoretical Computer Science 154, no. 1 (2006): 121–38. http://dx.doi.org/10.1016/j.entcs.2005.12.036.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Adams, Jared R., David Ray, Renee Willmon, Sonia Pulgar, and Arvind Dasari. "Living With Neuroendocrine Tumors: Assessment of Quality of Life Through a Mobile Application." JCO Clinical Cancer Informatics, no. 3 (December 2019): 1–10. http://dx.doi.org/10.1200/cci.19.00025.

Full text

Abstract:

PURPOSE To understand the quality of life (QoL) for patients with neuroendocrine tumors (NETs) through comparison of QoL questionnaires and symptom tracking as well as journaling via the Carcinoid NETs Health Storylines mobile application (app). PATIENTS AND METHODS This was a 12-week prospective, observational study of US patients with NET who were taking long-acting somatostatin analogs. National Institutes of Health Patient-Reported Outcomes Measurement Information System (PROMIS) and European Organisation for Research and Treatment of Cancer (EORTC) questionnaires were administered three t

APA, Harvard, Vancouver, ISO, and other styles

35

MAHMOUD, QUSAY H., and MOSAAB DAOUD. "AN ANALYTICAL APPROACH TO RELIABILITY ESTIMATION OF MOBILE AGENT-BASED SYSTEMS." Journal of Interconnection Networks 07, no. 02 (2006): 217–33. http://dx.doi.org/10.1142/s0219265906001685.

Full text

Abstract:

Reliability estimation of mobile agent-based systems remains a difficult task due to the characteristics of mobile agents that include distributed and asynchronous execution, autonomy, and mobility. In this paper we present an analytical approach to estimate the reliability of mobile agent-based systems. We define the reliability of a mobile agent in terms of the processor execution time required to perform agent's tasks at each processing node and the transmission or communication time needed to transfer the agent from one processing node to another via a network to complete its mission. The

APA, Harvard, Vancouver, ISO, and other styles

36

Ding, Zhijun, and Ru Yang. "Modeling and Analysis for Mobile Computing Systems Based on Petri Nets: A Survey." IEEE Access 6 (2018): 68038–56. http://dx.doi.org/10.1109/access.2018.2878807.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Da Mota, Francisco A. X., Matheus Xavier Rocha, Joel J. P. C. Rodrigues, Victor Hugo C. De Albuquerque, and Auzuir Ripardo De Alexandria. "Localization and Navigation for Autonomous Mobile Robots Using Petri Nets in Indoor Environments." IEEE Access 6 (2018): 31665–76. http://dx.doi.org/10.1109/access.2018.2846554.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Liu, Zhixin, Dan Li, Lin Wang, and Daoyi Dong. "Synchronization of a Group of Mobile Agents With Variable Speeds Over Proximity Nets." IEEE Transactions on Cybernetics 46, no. 7 (2016): 1579–90. http://dx.doi.org/10.1109/tcyb.2015.2451695.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Naghash Asadi, A., M. Abdollahi Azgomi, and R. Entezari-Maleki. "Evaluation of the functionality of mobile wireless sensor networks using stochastic reward nets." Scientia Iranica 30, no. 1 (2023): 91–103. http://dx.doi.org/10.24200/sci.2022.58441.5732.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Mili, Sami, Rym Ennouri, Manel Fatnassi, Safa Bejaoui, and Dalel Bejaoui. "Fisheries activity in the Bizerta lagoon (South Mediterranean Sea) from the 18th to the 21st century." Journal of Aquaculture & Marine Biology 12, no. 1 (2023): 43–47. http://dx.doi.org/10.15406/jamb.2023.12.00355.

Full text

Abstract:

The Bizerte lagoon is characterized by its biological diversity and its wealth of species with high commercial values such as cuttlefish, seabass, seabream, mussels, prawn, and sole, and its fisheries provide employment for fishermen in the area. Indeed, artisanal fishing in the lagoon has been practiced for decades using traps, nets, and mobile gears such as straight nets and lines. The present paper focuses on the diagnosis of the fisheries’ status in this area. This allows us to reflect on the exploitation of the species caught in the Bizerte lagoon since the18th century. Large-scale hydrau

APA, Harvard, Vancouver, ISO, and other styles

41

Moon, Chang-bae, and Woojin Chung. "Experimental research of the navigation behavior selection of mobile robots using the Generalized Stochastic Petri-Nets." Abstracts of the international conference on advanced mechatronics : toward evolutionary fusion of IT and mechatronics : ICAM 2010.5 (2010): 237–42. http://dx.doi.org/10.1299/jsmeicam.2010.5.237.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Bottoni, Paolo, Fabio De Rosa, Kathrin Hoffmann, and Massimo Mecella. "Applying Algebraic Approaches for Modeling Workflows and their Transformations in Mobile Networks." Mobile Information Systems 2, no. 1 (2006): 51–76. http://dx.doi.org/10.1155/2006/704187.

Full text

Abstract:

In emergency scenarios we can obtain a more effective coordination among team members, each of them equipped with hand-held devices, through the use of workflow management software. Team members constitute a Mobile Ad-hoc NETwork (MANET), whose topology both influences and is influenced by the workflow. In this paper we propose an algebraic approach for modeling workflow progress as well as its modifications as required by topology transformations. The approach is based on Algebraic Higher-Order Nets and sees both workflows and topologies as tokens, allowing their concurrent modification.

APA, Harvard, Vancouver, ISO, and other styles

43

Khushaboo, Gill, and Mangat Veenu. "Effective Deep Learning Based Architecture for Pedestrian Detection from Digital Images." International Journal of Engineering and Advanced Technology (IJEAT) 9, no. 3 (2020): 1498–508. https://doi.org/10.35940/ijeat.B4225.029320.

Full text

Abstract:

This paper is to present an efficient and fast deep learning algorithm based on neural networks for object detection and pedestrian detection. The technique, called MobileNet Single Shot Detector, is an extension to Convolution Neural Networks. This technique is based on depth-wise distinguishable convolutions in order to build a lightweighted deep convolution network. A single filter is applied to each input and outputs are combined by using pointwise convolution. Single Shot Multibox Detector is a feed forward convolution network that is combined with Mobile Nets to give efficient and accura

APA, Harvard, Vancouver, ISO, and other styles

44

Mokdad, Lynda, Mbaye Sene, and Azzedine Boukerche. "Call Admission Control Performance Analysis in Mobile Networks Using Stochastic Well-Formed Petri Nets." IEEE Transactions on Parallel and Distributed Systems 22, no. 8 (2011): 1332–41. http://dx.doi.org/10.1109/tpds.2010.90.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Owler, Brian K., Kathryn A. Browning Carmo, Wendy Bladwell, et al. "Mobile pediatric neurosurgery: rapid response neurosurgery for remote or urgent pediatric patients." Journal of Neurosurgery: Pediatrics 16, no. 3 (2015): 340–45. http://dx.doi.org/10.3171/2015.2.peds14310.

Full text

Abstract:

OBJECT Time-critical neurosurgical conditions require urgent operative treatment to prevent death or neurological deficits. In New South Wales/Australian Capital Territory patients’ distance from neurosurgical care is often great, presenting a challenge in achieving timely care for patients with acute neurosurgical conditions. METHODS A protocol was developed to facilitate consultant neurosurgery locally. Children with acute, time-critical neurosurgical emergencies underwent operations in hospitals that do not normally offer neurosurgery. The authors describe the developed protocol, the outcom

APA, Harvard, Vancouver, ISO, and other styles

46

Bell, James J., David K. A. Barnes, Claire Shaw, Aine Heally, and Aisling Farrell. "Seasonal ‘fall out’ of sessile macro-fauna from submarine cliffs: quantification, causes and implications." Journal of the Marine Biological Association of the United Kingdom 83, no. 6 (2003): 1199–208. http://dx.doi.org/10.1017/s002531540300849x.

Full text

Abstract:

Submarine cliffs are typically crowded with sessile organisms, most of which are ultimately exported downwards. Here we report a 24 month study of benthic fauna dropping from such cliffs at sites of differing cliff angle and flow rates at Lough Hyne Marine Nature Reserve, Co. Cork, Ireland. The magnitude of ‘fall out’ material collected in capture nets was highly seasonal and composed of sessile and mobile elements. Sponges, ascidians, cnidarians, polychaetes, bryozoans and barnacles dominated the sessile forms. The remainder (mobile fauna) were scavengers and predators such as asteroid echino

APA, Harvard, Vancouver, ISO, and other styles

47

He, Zhou, Ruijie Zhang, Ning Ran, and Chan Gu. "Path Planning of Multi-Type Robot Systems with Time Windows Based on Timed Colored Petri Nets." Applied Sciences 12, no. 14 (2022): 6878. http://dx.doi.org/10.3390/app12146878.

Full text

Abstract:

Mobile robots are extensively used to complete repetitive operations in industrial areas such as intelligent transportation, logistics, and manufacturing systems. This paper addresses the path planning problem of multi-type robot systems with time windows based on timed colored Petri nets. The tasks to be completed are divided into three different types: common, exclusive and collaborative. An analytical approach to plan a group of different types of mobile robots is developed to ensure that some specific robots will visit task regions within given time windows. First, a multi-type robot syste

APA, Harvard, Vancouver, ISO, and other styles

48

Vasilyev, G. S., V. T. Eremenko, O. R. Kuzichkin, A. V. Eremenko, D. I. Surzhik, and S. V. Eremenko. "A method for designing the logical structure of a distributed telecommunication environment." Revista de la Universidad del Zulia 11, no. 30 (2020): 200–218. http://dx.doi.org/10.46925//rdluz.30.15.

Full text

Abstract:

The article presents a methodology for the development of information exchange tools based on the apparatus of hierarchical Petri nets, characterized by the possibility of simultaneous events and allows solving the problem of correctness analysis and verification of protocols. Protocol objects and access points are represented on the basis of the Petri nets apparatus: the simplest object of the reception/transmission protocol, the queue object, a single object and a trivial object. It describes the construction of complex structures of objects and operations on them, the management of timeouts

APA, Harvard, Vancouver, ISO, and other styles

49

Minca, Eugenia. "A Theoretical Approach of the Time Cycle Optimisation Based Control of a Mechatronics Line Served by Mobile Robot." Applied Mechanics and Materials 321-324 (June 2013): 1666–69. http://dx.doi.org/10.4028/www.scientific.net/amm.321-324.1666.

Full text

Abstract:

In this paper a theoretical approach of the generalized hybrid model and time cycle optimization of a mechatronics line served by mobile robot with manipulator is presented. Thus, the considered global model is a hybrid one as it is based on the dynamics of discrete and continuous components which interact on a basic level. The generalized Synchronized Hybrid Petri Nets (SHPN) model describes this hybrid system with N degree of repetitive tasks. The advantage of this generalized approach consists in the optimization of the process parameters. Consequently, a time cycle optimization which is ba

APA, Harvard, Vancouver, ISO, and other styles

50

Ngo, Thang Duc, Sara E. Canavati, Dang Viet Dung, et al. "Results from a malaria indicator survey highlight the importance of routine data capture in high-risk forest and farm transmission sites in Vietnam to tailor location-specific malaria elimination interventions." PLOS ONE 16, no. 4 (2021): e0250045. http://dx.doi.org/10.1371/journal.pone.0250045.

Full text

Abstract:

In-line with the World Health Organization’s (WHO) Global Technical Strategy for Malaria (2016–2030), Vietnam is striving to eliminate malaria by 2030. Targeting appropriate interventions in high-risk populations such as forest and forest-fringe communities is a critical component of malaria elimination efforts in Vietnam. In 2016, a household-level malaria indicator survey was conducted in Phu Yen Province, Vietnam with the aim of assessing the knowledge, behaviors and associated risks of malaria infection among priority mobile and migrant populations (MMPs) working and sleeping in forests an

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!