Academic literature on the topic 'NETs'

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic '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.

Journal articles on the topic "NETs"

1

Yang, Min, Lin Zeng, Sheng-zhong Hou, Neng-wen Ke, Bo-le Tian, Xu-bao Liu, Bo Xiang, and Yi Zhang. "Clinical Features and Long-Term Survival of Metastatic Hepatic Neuroendocrine Neoplasms Secondary to Gastroenteropancreatic Site: An Analysis by Applying the Grading Classification." Journal of Oncology 2020 (September 15, 2020): 1–10. http://dx.doi.org/10.1155/2020/6572398.

Full text
Abstract:
Background and Purpose. Neuroendocrine neoplasms occurring in the liver are very rare, in which metastatic hepatic neuroendocrine neoplasms [(MH)-NENs] secondary to gastroenteropancreatic NENs [(GEP)-NENs] account for their majority. The clinical features and long-term survival of (MH)-NENs secondary to (GEP)-NENs were not clear, especially for each grading group of G1 neuroendocrine tumors (NETs), G2 NETs, and G3 NETs and G3 neuroendocrine carcinomas (G3 NECs). Method. Data of patients who were surgically treated and clinicopathologically diagnosed as (MH)-NENs secondary to (GEP)-NENs at West China Hospital of Sichuan University from January 2006 to December 2018 were retrospectively collected and analyzed by the grading classification for (GEP)-NENs. Results. We identified 150 patients with (MH)-NENs secondary to (GEP)-NENs, including 10 patients with G1 NETs, 26 with G2 NETs, 33 with G3 NETs, and 81 with G3 NECs. There were significant differences between patients with G1/G2/G3 NETs and those with G3 NECs, such as age at diagnosis (P=0.041), synchronous liver lesion (P=0.032), incidental diagnosis (P=0.014), tumor largest diameter (P=0.047), vascular invasion (P=0.017), and extrahepatic metastatic disease (P=0.029). The estimated 3-year overall survival for patients with G1 NETs, G2 NETs, G3 NETs, and G3 NECs was 100%, 79.4%, 49.5%, and 20.7%, respectively (P<0.001). The survival of G1 NETs or G2 NETs was significantly better than that of G3 NETs (P=0.013, P=0.037, respectively) and G3 NECs (P=0.001, P<0.001; respectively). Patients with G3 NECs present notably worse survival than those with G3 NETs (P=0.012), while survival comparison between G1 NETs and G2 NETs was not statistically different (P=0.131). The grading classification for (GEP)-NENs was an effective independent predictor of survival for (MH)-NENs secondary to (GEP)-NENs (hazard ratio: 4.234; 95% confidence intervals: 1.984–6.763; P=0.003). Conclusion. Our demonstration revealed that the grading classification for (GEP)-NENs could well stratify (MH)-NENs secondary to (GEP)-NENs into prognostic groups and supported its wide use in clinical practice.
APA, Harvard, Vancouver, ISO, and other styles
2

Ramage, John K., Juan W. Valle, Els J. M. Nieveen van Dijkum, Anders Sundin, Andreas Pascher, Anne Couvelard, and Guenter Kloeppel. "Colorectal Neuroendocrine Neoplasms: Areas of Unmet Need." Neuroendocrinology 108, no. 1 (September 16, 2018): 45–53. http://dx.doi.org/10.1159/000493767.

Full text
Abstract:
The subject of colorectal neuroendocrine neoplasms (NENs), subdivided into well-differentiated NENs, termed neuroendocrine tumours (NETs; grade (G) 1 and 2), and poorly differentiated NENs, termed neuroendocrine carcinomas (NECs; G3) according to the 2010 World Health Organisation (WHO) classification, has arguably not had as much attention or study as NENs occurring in other sites. Colorectal NETs and NECs are however easier to study than many others since they are usually not difficult to remove and are increasingly detected because of intensified colorectal cancer screening and surveillance programmes. Colorectal NETs and NECs show site-specific heterogeneity with variable behaviour and different therapeutic options; these various aspects provide unique challenges. Because of bowel cancer screening programmes, colorectal NENs, like conventional adenocarcinomas, may be diagnosed at a stage that is associated with improved survival. In this article we intend to describe and define areas of unmet needs relating to the epidemiology, classification, pathology, diagnosis and therapy of colorectal NETs (including NETs G3), colorectal NECs, and finally, mixed adeno-neuroendocrine carcinomas (MANECs) by reviewing and discussing the relevant literature.
APA, Harvard, Vancouver, ISO, and other styles
3

Tsang, Erica, Caroline Speers, and Hagen F. Kennecke. "Treatment and outcomes of neuroendocrine malignancies (NEMs) of the rectum." Journal of Clinical Oncology 32, no. 3_suppl (January 20, 2014): 594. http://dx.doi.org/10.1200/jco.2014.32.3_suppl.594.

Full text
Abstract:
594 Background: NEMs of the rectum are rare and standard therapy is not well defined. We sought to characterize the clinicopathologic features, locoregional, and systemic management of a series of rectal NEMs and correlated these with outcomes. Methods: Patients referred to the BC Cancer Agency with rectal NEMs between 2005-2011 were included. Well-differentiated tumors with a Ki67 ≤20% and/or mitotic count ≤ 20 per high power field were classified as neuroendocrine tumors (NETs) while poorly differentiated tumors with higher Ki67 and/or mitotic count were classified as neuroendocrine carcinomas (NECs). Results: Of 28 NEMs, 18 (64%) NETs, and 9 (36%) NECs were identified with a median age of 56 and 59, respectively. Of 15 patients with stage I-III NETs, 13 underwent local excision, 2 had a surgical resection and none received pelvic radiation. Univariate analysis demonstrated an association between tumor size (< 1cm, 1-2 cm, > 2cm) and T stage (χ2 = 10.7, p = 0.03). One of 15 NETs developed distant relapse 8.9 months after surgical resection of a T1bN1 tumor. Of 9 NECs, only 2 presented with stage I-III tumors and were treated with radiation (1) or surgery (1). One patient developed distant relapse 4.8 months after radiation. Among all NEMs, liver was the most common site of metastasis (n = 10) followed by bone (n = 3). Median overall survival was 46.5 and 4.8 months for NETs and NECs (p < 0.01), respectively. Conclusions: Rectal NEMs comprise a rare subgroup of rectal tumors and may be classified as NETs or NECs. NETs generally present with early stage disease and are associated with good outcomes with local excision and without pelvic radiation. Rectal NECs frequently present with advanced disease and are associated with poor outcomes.
APA, Harvard, Vancouver, ISO, and other styles
4

Zhang, Lin, Zhenjian Cai, and Hui Zhu. "Fine-Needle Aspiration Biopsy of Neuroendocrine Neoplasms in the Liver: A 9-Year Retrospective, Single Institutional Study." American Journal of Clinical Pathology 152, Supplement_1 (September 11, 2019): S94. http://dx.doi.org/10.1093/ajcp/aqz118.005.

Full text
Abstract:
Abstract Objectives Neuroendocrine neoplasms (NENs) are divided into two major categories according to the 2018 WHO expert consensus proposal: well-differentiated neuroendocrine tumors (NETs) and poorly differentiated neuroendocrine carcinoma (NECs). Primary liver NENs are very rare and majority of NENs in the liver are metastatic. In this study, we retrospectively reviewed NENs in the liver diagnosed by fine-needle aspiration biopsy (FNAB). Methods We retrospectively reviewed malignant neoplasms diagnosed by imaging-guided liver FNAB performed between 2010 and 2018 in our institution. Patients’ electronic medical records and selective slides were reviewed. Results A total of 624 liver FNAB cases with a diagnosis of positive for malignancy were identified. Among those cases, 56 cases (9%) were NENs. Poorly differentiated NECs constituted 71% (40/56) of cases, and well-differentiated NETs constituted 29% (16/56) of cases. The most common primary sites of poorly differentiated NECs were lung (35%, 13/40), followed by pancreas (20%, 8/40), GI tract (17.5%, 7/40), GU (7.5%, 3/40), breast (5%, 2/40), head and neck (2.5%, 1/40), GYN tract (2.5%, 1/40), and CNS (dedifferentiated glioblastoma, 2.5%, 1/40). The remaining three cases (7.5%, 3/40) were diagnosed as primary liver NECs based on the clinical presentation. All three patients presented with a single large liver mass with no other mass lesions identified in other organ systems. For well-differentiated NETs, majority were from the GI tract (81.3%, 13/16), followed by pancreas (6.25%, 1/16) and lung (6.25%, 1/16). One patient was diagnosed with metastatic NET of unknown primary. Conclusion NENs in liver are predominantly metastatic, and majority of them are high-grade NECs. Most of well-differentiated NETs are metastases from the GI tract, while more than one-third of poorly differentiated NECs are metastases from the lung. Primary liver NENs also occur and all three cases in this study are poorly differentiated NECs.
APA, Harvard, Vancouver, ISO, and other styles
5

La Rosa, Stefano, and Alessandro Vanoli. "Gastric neuroendocrine neoplasms and related precursor lesions." Journal of Clinical Pathology 67, no. 11 (July 22, 2014): 938–48. http://dx.doi.org/10.1136/jclinpath-2014-202515.

Full text
Abstract:
Gastric neuroendocrine neoplasms (NENs) are a heterogeneous group of tumours showing different clinicopathological features and behaviour, implying a wide spectrum of therapeutic options. They are currently classified using the 2010 WHO classification of digestive neuroendocrine neoplasms into G1-neuroendocrine tumours (NETs), G2-NETs, neuroendocrine carcinomas (NECs) and mixed adenoneuroendocrine carcinomas (MANECs). However, most gastric NENs are composed of ECL-cells (ECL-cell NETs) that can be preceded by ECL-cell hyperplastic and dysplastic lesions, whose oncologic potential has not yet been completely elucidated. ECL-cell NETs differ considerably in terms of prognosis depending on the proliferative status and clinicopathological background. The integration of both aspects in the diagnostic pathway may help to better classify tumours in different prognostic categories, especially when diagnosing them in small bioptic specimens. NECs are all poorly differentiated, highly aggressive carcinomas, while MANECs can show different morphological features that are directly associated with different prognoses. Precursor lesions of such carcinomas are not entirely understood. In this review, the clinicopathological features of gastric NENs and related precursor lesions will be described to give the reader a comprehensive overview on this topic.
APA, Harvard, Vancouver, ISO, and other styles
6

Zatelli, Maria Chiara, Elia Guadagno, Erika Messina, Fabio Lo Calzo, Antongiulio Faggiano, Annamaria Colao, and _. _. "Open issues on G3 neuroendocrine neoplasms: back to the future." Endocrine-Related Cancer 25, no. 6 (June 2018): R375—R384. http://dx.doi.org/10.1530/erc-17-0507.

Full text
Abstract:
The recent recognition that grade 3 (G3) neuroendocrine neoplasms (NENs) can be divided into two different categories according to the histopathological differentiation, that is G3 neuroendocrine tumors (NETs) and G3 neuroendocrine carcinomas (NECs) has generated a lot of interest concerning not only the diagnosis, but also the differential management of such new group of NENs. However, several issues need to be fully clarified in order to put G3 NETs and G3 NECs in the right place. The aim of this review is to focus on those issues that are still undetermined starting from the current knowledge, evaluating the available evidence and the possible clinical implications.
APA, Harvard, Vancouver, ISO, and other styles
7

Thuillier, Philippe, Virginia Liberini, Osvaldo Rampado, Elena Gallio, Bruno De Santi, Francesco Ceci, Jasna Metovic, et al. "Diagnostic Value of Conventional PET Parameters and Radiomic Features Extracted from 18F-FDG-PET/CT for Histologic Subtype Classification and Characterization of Lung Neuroendocrine Neoplasms." Biomedicines 9, no. 3 (March 10, 2021): 281. http://dx.doi.org/10.3390/biomedicines9030281.

Full text
Abstract:
Aim: To evaluate if conventional Positron emission tomography (PET) parameters and radiomic features (RFs) extracted by 18F-FDG-PET/CT can differentiate among different histological subtypes of lung neuroendocrine neoplasms (Lu-NENs). Methods: Forty-four naïve-treatment patients on whom 18F-FDG-PET/CT was performed for histologically confirmed Lu-NEN (n = 46) were retrospectively included. Manual segmentation was performed by two operators allowing for extraction of four conventional PET parameters (SUVmax, SUVmean, metabolic tumor volume (MTV), and total lesion glycolysis (TLG)) and 41 RFs. Lu-NENs were classified into two groups: lung neuroendocrine tumors (Lu-NETs) vs. lung neuroendocrine carcinomas (Lu-NECs). Lu-NETs were classified according to histological subtypes (typical (TC)/atypical carcinoid (AC)), Ki67-level, and TNM staging. The least absolute shrink age and selection operator (LASSO) method was used to select the most predictive RFs for classification and Pearson correlation analysis was performed between conventional PET parameters and selected RFs. Results: PET parameters, in particular, SUVmax (area under the curve (AUC) = 0.91; cut-off = 5.16) were higher in Lu-NECs vs. Lu-NETs (p < 0.001). Among RFs, HISTO_Entropy_log10 was the most predictive (AUC = 0.90), but correlated with SUVmax/SUVmean (r = 0.95/r = 0.94, respectively). No statistical differences were found between conventional PET parameters and RFs (p > 0.05) and TC vs. AC classification. Conventional PET parameters were correlated with N+ status in Lu-NETs. Conclusion: In our study, conventional PET parameters were able to distinguish Lu-NECs from Lu-NETs, but not TC from AC. RFs did not provide additional information.
APA, Harvard, Vancouver, ISO, and other styles
8

Klöppel, Günter. "Classification and pathology of gastroenteropancreatic neuroendocrine neoplasms." Endocrine-Related Cancer 18, S1 (October 2011): S1—S16. http://dx.doi.org/10.1530/erc-11-0013.

Full text
Abstract:
Gastroenteropancreatic neuroendocrine neoplasms (GEP-NENs) are composed of cells with a neuroendocrine phenotype. The old and the new WHO classifications distinguish between well-differentiated and poorly differentiated neoplasms. All well-differentiated neoplasms, regardless of whether they behave benignly or develop metastases, will be called neuroendocrine tumours (NETs), and graded G1 (Ki67 <2%) or G2 (Ki67 2–20%). All poorly differentiated neoplasms will be termed neuroendocrine carcinomas (NECs) and graded G3 (Ki67 >20%). To stratify the GEP-NETs and GEP-NECs regarding their prognosis, they are now further classified according to TNM-stage systems that were recently proposed by the European Neuroendocrine Tumour Society (ENETS) and the AJCC/UICC. In the light of these criteria the pathology and biology of the various NETs and NECs of the gastrointestinal tract (including the oesophagus) and the pancreas are reviewed.
APA, Harvard, Vancouver, ISO, and other styles
9

Mandys, Václav, and Tomáš Jirásek. "Spectrum of Gastroenteropancreatic NENs in Routine Histological Examinations of Bioptic and Surgical Specimen: A Study of 161 Cases Collected from 17 Departments of Pathology in the Czech Republic." Gastroenterology Research and Practice 2014 (2014): 1–5. http://dx.doi.org/10.1155/2014/373828.

Full text
Abstract:
Objective.To characterize GEP-NENs in routine biopsies and surgical specimen in the Czech Republic and to evaluate how WHO Classification (2010) is acceptable in diagnostic practice.Methods.Paraffin-embedded blocks and bioptic reports were collected from 17 departments of pathology. Histologic slides were stained with H&E and immunohistologically for CgA, synaptophysin, and Ki-67.Results.Out of 28 gastric NENs, there were 22 NETs, G1, 5 NETs, G2, and 1 NEC. Ten duodenal NENs were NETs, G1. Among 27 NENs of jejunum and ileum, 23 were NETs, G1, 2 NETs, G2, and 1 NEC and 1 mixed adenoneuroendocrine carcinoma (MANEC). Among 42 appendiceal “incidentalomas”, 39 were NETs G1, 2 goblet cell carcinoids, and 1 MANEC. Out of 34 large intestinal NENs, 30 were NETs, G1, 3 NETs, G2, and 1 NEC. One small intestinal and 6 large bowel neoplasms were reclassified as poorly differentiated adenocarcinomas. In 12 pancreatic NENs, there were 7 NETs, G1, 3 NETs, G2, and 2 NECs.Conclusions.Our study demonstrates differences in GEP-NENs frequency in sites of origin in our region, comparing to other countries. Regarding routine bioptic diagnostics, we gave evidence that the WHO 2010 classification of NENs is fully acceptable for exact categorisation of tumours.
APA, Harvard, Vancouver, ISO, and other styles
10

Metovic, Jasna, Marco Barella, Fabrizio Bianchi, Paul Hofman, Veronique Hofman, Myriam Remmelink, Izidor Kern, et al. "Morphologic and molecular classification of lung neuroendocrine neoplasms." Virchows Archiv 478, no. 1 (January 2021): 5–19. http://dx.doi.org/10.1007/s00428-020-03015-z.

Full text
Abstract:
AbstractNeuroendocrine neoplasms (NENs) of the lung encompass neuroendocrine tumors (NETs) composed of typical (TC) and atypical (AC) carcinoids and full-fledged carcinomas (NECs) inclusive of large cell neuroendocrine carcinoma (LCNEC) and small cell carcinoma (SCLC). NETs and NECs are thought to represent distinct and separate lesions with neither molecular overlap nor common developmental continuum. Two perspectives were addressed regarding the morphologic and molecular classification of lung NENs: (i) a supervised approach by browsing the traditional classification, the relevant gene alterations, and their clinical implications; and (ii) an unsupervised approach, by reappraising neoplasms according to risk factors and natural history of disease to construct an interpretation model relied on biological data. We herein emphasize lights and shadows of the current classification of lung NENs and provide an alternative outlook on these tumors focused on what we currently know about the biological determinants and the natural history of disease.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "NETs"

1

Dehaven, Ryan Swords. "Smarter NEAT Nets." DigitalCommons@CalPoly, 2013. https://digitalcommons.calpoly.edu/theses/1024.

Full text
Abstract:
This paper discusses a modification to improve usability and functionality of a ge- netic neural net algorithm called NEAT (NeuroEvolution of Augmenting Topolo- gies). The modification aims to accomplish its goal by automatically changing parameters used by the algorithm with little input from a user. The advan- tage of the modification is to reduce the guesswork needed to setup a successful experiment with NEAT that produces a usable Artificial Intelligence (AI). The modified algorithm is tested against the unmodified NEAT with several different setups and the results are discussed. The algorithm shows strengths in some areas but can increase the runtime of NEAT due to the addition of parameters into the solution search space.
APA, Harvard, Vancouver, ISO, and other styles
2

Bowden, Fred D. J. "The modelling and analysis of command and control decision processes using extended time petri nets." Title page, table of contents and abstract only, 2001. http://web4.library.adelaide.edu.au/theses/09PH/09phb784.pdf.

Full text
Abstract:
Bibliography: leaves 177-191. This thesis uses a new type of extended time Petri net to model and analyse command and control decision processes. A comprehensive review of existing time Petri net structures is given. This concludes with the introduction of time Petri net structure that incorporates the most commonly used time structures. This extended time Petri net structure is then used in the definition of the basic modelling blocks required to model command and control decision processes. This basic modelling block forms the basis of the direct analysis techniques that are introduced in the thesis.
APA, Harvard, Vancouver, ISO, and other styles
3

Alexiev, Vladimir. "Non-deterministic interaction nets." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape7/PQDD_0021/NQ46797.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Jin, Wei. "Petri nets and their applications." Virtual Press, 1991. http://liblink.bsu.edu/uhtbin/catkey/774753.

Full text
Abstract:
Petri nets are named in honor of Dr. Carl A. Petri for his famous Ph.D dissertation of general net theory in 1962. A substantial amount of work utilizing and modifying the Petri nets has been done since then, and they have turned out to be very useful in the study of asynchronous concurrent systems. The liveness and reachability problems are considered to be some of the major problems in Petri net theory.Since the structure of a Petri net can be regarded as sets of places and transitions form a graphical point of view, this thesis is concerned with utilizing the results of graph theory to investigate the liveness in terms of deadlock problems of a special subclass of Petri nets, free-choice Petri nets. As a subclass of Petri nets, the class of free-choice Petri nets possesse relatively strong analysis properties. This is especially true of complete free-choice Petri nets. We show in particular that any system which can be modeled by a general Petri net can also be modeled by a free-choice Petri net.
Department of Computer Science
APA, Harvard, Vancouver, ISO, and other styles
5

Dahlbom, Anders. "Petri nets for situation recognition." Doctoral thesis, Örebro universitet, Akademin för naturvetenskap och teknik, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-13089.

Full text
Abstract:
Situation recognition is a process with the goal of identifying a priori defined situations in a flow of data and information. The purpose is to aid decision makers with focusing on relevant information by filtering out situations of interest. This is an increasingly important and non trivial problem to solve since the amount of information in various decision making situations constantly grow. Situation recognition thus addresses the information gap, i.e. the problem of finding the correct information at the correct time. Interesting situations may also evolve over time and they may consist of multiple participating objects and their actions. This makes the problem even more complex to solve. This thesis explores situation recognition and provides a conceptualization and a definition of the problem, which allow for situations of partial temporal definition to be described. The thesis then focuses on investigating how Petri nets can be used for recognising situations. Existing Petri net based approaches for recognition have some limitations when it comes to fulfilling requirements that can be put on solutions to the situation recognition problem. An extended Petri net based technique that addresses these limitations is therefore introduced. It is shown that this technique can be as efficient as a rule based techniques using the Rete algorithm with extensions for explicitly representing temporal constraints. Such techniques are known to be efficient; hence, the Petri net based technique is efficient too. The thesis also looks at the problem of learning Petri net situation templates using genetic algorithms. Results points towards complex dynamic genome representations as being more suited for learning complex concepts, since these allow for promising solutions to be found more quickly compared with classical bit string based representations. In conclusion, the extended Petri net based technique is argued to offer a viable approach for situation recognition since it: (1) can achieve good recognition performance, (2) is efficient with respect to time, (3) allows for manually constructed situation templates to be improved and (4) can be used with real world data to find real world situations.

Anders Dahlbom is also affiliated to Skövde Artificial Intelligence Lab (SAIL), Information Fusion Research Program, Högskolan i Skövde

APA, Harvard, Vancouver, ISO, and other styles
6

David, Nicolas. "Discrete Parameters in Petri Nets." Thesis, Nantes, 2017. http://www.theses.fr/2017NANT4108/document.

Full text
Abstract:
Afin de permettre une modélisation plus souple des systèmes, nous proposons d’étendre les réseaux de Petri par des paramètres discrets représentant le poids des arcs ou le nombre de jetons présents dans les places. Dans ce modèle, tout problème de décision peut être décliné sous deux versions, une universelle, demandant si la propriété considérée est vraie quelles que soient les valeurs que prennent les paramètres et une existentielle, qui s’interroge sur l’existence d’une valeur pour les paramètres telle que la propriété soit satisfaite. Concernant la couverture, nous montrons que ces deux problèmes sont indécidables dans le cas général. Nous introduisons donc des sous classes syntaxiques basées sur la restriction des paramètres aux places, aux arcs en sortie ou aux arcs en entrée des transitions. Dans ces différents cas, nous montrons que la couverture existentielle et universelle sont décidables et EXPSPACE-complètes. Nous étudions alors le problème de la synthèse de paramètres qui s’intéresse à calculer l’ensemble des valeurs de paramètres telles que la propriété considérée soit vraie. Sur les sous classes introduites, concernant la couverture, nous montrons que les ensembles solutions à la synthèse ont des structures fermée supérieurement (cas des arcs de sortie) et fermée inférieurement (cas des arcs d’entrée). Nous prouvons alors que ces ensembles se calculent par un algorithme de la littérature, proposé par Valk et Jantzen, dont les conditions d’application se réduisent aux problèmes de décision étudiés précédemment. Enfin nous étudions les frontières de décision en nous intéressant aux versions paramétrées de l’accessibilité pour ces sous classes
With the aim of increasing the modelling capability of Petri nets, we suggest that models involve parameters to represent the weights of arcs, or the number of tokens in places. We consider the property of coverability of markings. Two general questions arise, the universal and the existential one: “Is there a parameter value for which the property is satisfied?” and “Does the property hold for all possible values of the parameters”. We show that these issues are undecidable in the general case. Therefore, we also define subclasses of parameterised nets, depending on whether the parameters are used on places, input or output arcs of transitions. For some classes, we prove that universal and existential coverability become decidable, making these classes more usable in practice. To complete this study, we prove that those problems are EXPSPACE-complete. We also address a problem of parameter synthesis, that is computing the set of values for the parameters such that a given marking is coverable in the instantiated net. Restricting parameters to only input weights (preT-PPNs) provides a downward-closed structure to the solution set. We therefore invoke a result for the representation of upward closed set from Valk and Jantzen. The condition to use this procedure is equivalent to decide the universal coverability. We also propose an adaptation of this reasoning to the case of parameters used only as output weights (postT-PPNs). In this case, the condition to use this procedure can be reduced to the decidability of the existential coverability. Finally, we broaden this study by establishing decision frontiers through the study of existential and universal reachability
APA, Harvard, Vancouver, ISO, and other styles
7

Tranquilli, Paolo. "Nets between determinism and nondeterminism." Paris 7, 2009. http://www.theses.fr/2009PA077033.

Full text
Abstract:
Cette thèse de théorie de la démonstration étudie les propriétés de la syntaxe parallèle de la logique linéaire (LL) de Girard, les réseaux de preuve. La première partie présente le terrain commun sur lequel s'appuient les parties suivantes. En particulier, le paradigme des réseaux d'interaction de Lafont est utilisé pour présenter les principaux objets de recherche de la thèse : d'un côté, les réseaux de preuve de Hughes et van Glabbeek pour la logique linéaire multiplicative additive (MAIL) ; de l'autre, les réseaux différentiels d'Ehrhard et Régnier pour la logique linéaire différentielle (DiLL) obtenue en ajoutant des opérateurs différentiels à LL multiplicative exponentielle. Dans la deuxième partie, nous nous concentrons sur MALL, en étudiant ses relations avec la sémantique dénotationnelle des espace hypercohérents d'Ehrhard. Un critère est établi sur les réseaux de preuve de MALL caractérisant ceux interprétés (par la notion d'expérience de Girard) comme des hypercliques, c'est-à-dire des objets des espaces hypercohérents. On montre ensuite la stabilité de ce critère par réduction des coupures. Dans la troisième partie, nous passons à DiLL. Nous prouvons la confluence des réseaux purs de DiLL en utilisant un résultat de développements finis. Ensuite, nous montrons un théorème correspondant à la standardisation de LL (récemment prouvé par Pagani et Tortora de Falco), à partir duquel la normalisation forte du cas simplement typé peut être déduite. Enfin, nous présentons une version du lambda-calcul avec ressources de Boudol, ainsi qu'une traduction de celle-ci dans les réseaux intuitionnistes de DiLL. Cette traduction permet de prouver la confluence de ce calcul
This thesis in proof theory studies the properties of the parallel syntax of Girard's Linear Logic, proof nets. In the first part the common ground on which the later parts stand is presented. In particular Lafont's interaction net paradigm is used to present the main objects of research of the work: on one side Hughes and van Glabbeek's proof nets for multiplicative additive linear logic (MALL), on the other Ehrhard and Regnier's differential nets, the proof nets for differential linear logic (DiLL), obtained by adding differential operators to the ones of multiplicative exponential linear logic. In the second part we concentrate on MALL, studying its relationship with Ehrhard hypercoherent denotational semantics. A criterion is established on MALL nets characterizing those that are interpreted (via Girard's notion of experiment) as states jn this semantics. This criterion is also shown to be stable under cut reduction. In the third part we pass to DiLL. We prove confluence of pure DiLL nets via a result of finite developments. Then we show a theorem corresponding to the standardization one for LL (only recently proved by Pagani and Tortora de Falco), from which strong normalization in the simply typed case can be deduced. Finally a version of Boudol's lambda calculus with resources is introduced together with a translation from it to DiLL intuitionistic nets. This translation permits to prove confluence for such calculus
APA, Harvard, Vancouver, ISO, and other styles
8

Laws, Marguerite Carey. "Joyce's Nets as Semiotic Systems." W&M ScholarWorks, 1991. https://scholarworks.wm.edu/etd/1539625671.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Guerrieri, Giulio. "Differential nets experiments and reduction." Paris 7, 2013. http://www.theses.fr/2013PA077119.

Full text
Abstract:
Sous la direction de M. Tortora de Falco (Université Roma Tre) et M. Ehrhard (Université Paris Diderot - Paris 7), mes recherches de thèse portent principalement sur deux thèmes : 1) la logique linéaire, notamment sa version différentielle, où mes contributions principales sont l'introduction d'une syntaxe non-inductive (c'est-à-dire « plus géométrique ») pour les réseaux de la logique linéaire (différentielle) multiplicative et exponentielle et l'étude du lien entre expériences de la sémantique relationnelle et développement de Taylor d'un réseau de la logique linéaire, ce qui mène a une simplification de la démonstration de l'injectivité de la sémantique relationnelle dans le cas des réseaux acycliques et connexes ; 2) le lambda-calcul par valeur étudié du point de vue de la logique linéaire, où mes principales contributions sont l'étude de la bêta-réduction par valeur (et des certaines machines abstraites qui l'implémentent) et la définition d'une extension de la bêta-réduction par valeur induite par la traduction « ennuyeuse » de Girard des lambda-termes dans les réseaux de la logique linéaire multiplicative et exponentielle
Supervised by Prof. Tortora de Falco (Universita Roma Tre) and Prof. Ehrhard (Université Paris Diderot - Paris 7), my thesis research is focused mainly on two topics: 1) linear logic, especially in its differential version, where my principal contributions are the introduction of a non-inductive (i. E. "more geometric") syntax for multiplicative and exponential (differential) linear logic nets and the study of the relationship between experiments of relational semantics and Taylor expansion of a linear logic net, which leads to simplify the proof of the injectivity of relational semantics for acyclic and connected nets; 2) the call-by-value lambda calculus studied from the point of view of linear logic, where my principal contributions are the study of the call-by-value beta-reduction (and some abstract machines implementing it) and the definition of an extension of the call-by-value beta-reduction which is induced by the "boring" Girard's translation of lambda-terms into multiplicative and exponential linear logic nets
APA, Harvard, Vancouver, ISO, and other styles
10

BARROSO, GIOVANNI CORDEIRO. "A STUDY ON COLORED PETRI NETS AND A PROGRAM TO ANALYZE COLORED PETRI NETS: ANARCO." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 1987. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14192@1.

Full text
Abstract:
A modelagem de sistemas que apresentam subsistemas idênticos, por intermédio de Redes de Petri, conduz à geração de grafos de grandes dimensões com diversos componentes indênticos. As extensões às Redes de Petri que permitem diferenciar estes diversos subsistemas, por intermédio da distinção das fichas nelas contidas, receberam o nome de Redes de Petri Coloridas. Neste trabalho, são apresentados algumas propostas existentes na literatura sobre Redes de Petri Coloridas, bem como é desenvolvido um programa de análise baseado em uma dessas propostas - a de kurt Jensen. O programa analisa as propriedades de uma Rede de Petri Colorida, tais como limitação, vitalidade e capacidade de reinicialização, através do método de enumeração de marcações.
The modeling of sistems which have identical sub-systems, by means of Petri nets, leads to the generation of large scale graphs with identical components. The extensions of Petri nets, which afford the possibility of distinguishing these sub-systems through the distinction of the tokens within the net, are called colored Petri nets. This work presents some colored Petri net proposals existent in literature and an analysis code based on one of these proposals - the Kurt Jensen one. This program analyses through the mark enumeration method, the colored Petri net properties, such as boundedness, liveness and reinicialization.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "NETs"

1

Marinaro, Maria, and Roberto Tagliaferri, eds. Neural Nets. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45808-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Reisig, Wolfgang. Petri Nets. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/978-3-642-69968-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Diaz, Michel, ed. Petri Nets. London, UK: ISTE, 2009. http://dx.doi.org/10.1002/9780470611647.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Rocha, Armando Freitas. Neural Nets. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-55949-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Apolloni, Bruno, Maria Marinaro, and Roberto Tagliaferri, eds. Neural Nets. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/b13826.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Apolloni, Bruno, Maria Marinaro, Giuseppe Nicosia, and Roberto Tagliaferri, eds. Neural Nets. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11731177.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Liu, Guanjun. Petri Nets. Singapore: Springer Nature Singapore, 2022. http://dx.doi.org/10.1007/978-981-19-6309-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Grzegorz, Rozenberg, ed. Petri nets. Amsterdam: North-Holland, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Vandenberg, Maritz. Cable nets. Chichester, West Sussex: Academy Editions, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

K, Voss, Genrich H, Rozenberg Grzegorz, Petri Carl Adam, and Advanced Course on Petri Nets (2nd : 1986 : Bad Honnef, Germany), eds. Concurrency and nets: Advances in Petri nets. Berlin: Springer-Verlag, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "NETs"

1

Kuznetsov, E. N. "Nets." In Underconstrained Structural Systems, 161–90. New York, NY: Springer New York, 1991. http://dx.doi.org/10.1007/978-1-4612-3176-9_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Curien, Pierre-Louis, and Claudia Faggian. "L-Nets, Strategies and Proof-Nets." In Computer Science Logic, 167–83. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11538363_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Capra, Lorenzo, and Michael Köhler-Bußmeier. "Encoding Nets-Within-Nets in Maude." In Lecture Notes in Networks and Systems, 355–72. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-37963-5_25.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Wang, Jiacun. "Petri Nets." In The Kluwer International Series on Discrete Event Dynamic Systems, 9–35. Boston, MA: Springer US, 1998. http://dx.doi.org/10.1007/978-1-4615-5537-7_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Moody, John O., and Panos J. Antsaklis. "Petri Nets." In Supervisory Control of Discrete Event Systems Using Petri Nets, 5–22. Boston, MA: Springer US, 1998. http://dx.doi.org/10.1007/978-1-4615-5711-1_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Buskes, Gerard, and Arnoud van Rooij. "Convergent Nets." In Topological Spaces, 156–70. New York, NY: Springer New York, 1997. http://dx.doi.org/10.1007/978-1-4612-0665-1_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Reisig, Wolfgang. "Relation Nets." In Petri Nets, 124–38. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/978-3-642-69968-9_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Ştefănescu, Gheorghe. "Petri nets." In Network Algebra, 305–19. London: Springer London, 2000. http://dx.doi.org/10.1007/978-1-4471-0479-7_12.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Preckel, Franzis, and Martin Brunner. "Nomological Nets." In Encyclopedia of Personality and Individual Differences, 3246–49. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-319-24612-3_1334.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Gebhardt, Friedrich, Angi Voß, Wolfgang Gräther, and Barbara Schmidt-Belz. "Semantic Nets." In Reasoning with Complex Cases, 83–86. Boston, MA: Springer US, 1997. http://dx.doi.org/10.1007/978-1-4615-6233-7_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "NETs"

1

Abbas, Ali E., Paul M. Goggans, and Chun-Yong Chan. "From Bayes’ Nets to Utility Nets." In BAYESIAN INFERENCE AND MAXIMUM ENTROPY METHODS IN SCIENCE AND ENGINEERING: The 29th International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering. AIP, 2009. http://dx.doi.org/10.1063/1.3275640.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Echelman, Janet, and Ian Keough. "Monumental nets." In ACM SIGGRAPH 2009 Art Gallery. New York, New York, USA: ACM Press, 2009. http://dx.doi.org/10.1145/1667265.1667277.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Lafont, Yves. "Interaction nets." In the 17th ACM SIGPLAN-SIGACT symposium. New York, New York, USA: ACM Press, 1990. http://dx.doi.org/10.1145/96709.96718.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Rhodes, Bradley. "PHISH Nets." In the first international conference. New York, New York, USA: ACM Press, 1997. http://dx.doi.org/10.1145/267658.267776.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Hughes, Dominic J. D. "Unification nets." In LICS '18: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3209108.3209159.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Fredriksson, Olle, and Dan R. Ghica. "Krivine nets." In ICFP'14: ACM SIGPLAN International Conference on Functional Programming. New York, NY, USA: ACM, 2014. http://dx.doi.org/10.1145/2628136.2628152.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Muhammad Anwer, Rao, Fahad Shahbaz Khan, Joost van de Weijer, and Jorma Laaksonen. "TEX-Nets." In ICMR '17: International Conference on Multimedia Retrieval. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3078971.3079001.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Dov, David, Serge Assaad, Shijing Si, Rui Wang, Hongteng Xu, Shahar Ziv Kovalsky, Jonathan Bell, et al. "Affinitention nets." In ACM CHIL '21: ACM Conference on Health, Inference, and Learning. New York, NY, USA: ACM, 2021. http://dx.doi.org/10.1145/3450439.3451856.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Jain, Shruti, Pradeep Naik, and Sunil Bhooshan. "Petri nets." In ICWET '10: International Conference and Workshop on Emerging Trends in Technology. New York, NY, USA: ACM, 2010. http://dx.doi.org/10.1145/1741906.1742168.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Hughes, Dominic, and Willem Heijltjes. "Conflict nets." In LICS '16: 31st Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, USA: ACM, 2016. http://dx.doi.org/10.1145/2933575.2934559.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "NETs"

1

Bengui, Julien, Javier Bianchi, and Louphou Coulibaly. Financial Safety Nets. Cambridge, MA: National Bureau of Economic Research, September 2016. http://dx.doi.org/10.3386/w22594.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Carter, Lynn. Probability driven heuristic nets. Portland State University Library, January 2000. http://dx.doi.org/10.15760/etd.1998.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Prisgrove, L. A., and G. S. Shedler. Symmetric Stochastic Petri Nets. Fort Belvoir, VA: Defense Technical Information Center, March 1985. http://dx.doi.org/10.21236/ada158348.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Iqbal, Saeed, and Graham F. Carey. Neural Nets for Mesh Assessment. Fort Belvoir, VA: Defense Technical Information Center, January 2005. http://dx.doi.org/10.21236/ada437983.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Casasent, David. Neural Nets for Scene Analysis. Fort Belvoir, VA: Defense Technical Information Center, September 1992. http://dx.doi.org/10.21236/ada255976.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Manata, Jack, and George Schlenker. Statistical Decisions Utilizing Neural Nets. Fort Belvoir, VA: Defense Technical Information Center, May 1990. http://dx.doi.org/10.21236/ada224752.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Hertelendi, Marianna, Oulaya Belguenani, Azzeddine Cherfi, Ilya Folitar, Gabor Kollar, and Berna Degirmenci Polack. Protocol for a systematic literature review of efficacy and safety of [177Lu]Lu-DOTA-TATE in adults with inoperable or metastatic somatostatin receptor-positive pheochromocytomas/paragangliomas, bronchial and unknown origin neuroendocrine tumors, and medullary thyroid carcinoma. INPLASY - International Platform of Registered Systematic Review and Meta-analysis Protocols, March 2023. http://dx.doi.org/10.37766/inplasy2023.3.0030.

Full text
Abstract:
Review question / Objective: The aim of this systematic review is to identify and summarize the use of [177Lu]Lu-DOTA-TATE as a treatment for neuroendocrine tumors (NETs) of non-gastroenteropancreatic (GEP) origin to understand evolving clinical practice. Condition being studied: Adults (as defined by the authors) with any of the following inoperable or metastatic SSTR-positive NETs: PPGL, thymic NET, bronchial NET, NET of unknown primary origin, or MTC. Efficacy and safety outcomes were analyzed. Eligibility criteria: Search included studies published up to May 13, 2021. No geographic, language, or age restrictions were applied in the search, but only English-language publications reporting studies in adults were selected for inclusion. Studies that included multiple NET types were only included if the results and baseline characteristics were provided for individual NETs. Studies that included both pediatric and adult patients were retained, if it was possible to extract data for adults only.
APA, Harvard, Vancouver, ISO, and other styles
8

Sharp, David H., John Reinitz, and Eric Mjolsness. Genetic Algorithms for Genetic Neural Nets. Fort Belvoir, VA: Defense Technical Information Center, January 1991. http://dx.doi.org/10.21236/ada256223.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Casasent, David. Optical Neural Nets for Scene Analysis. Fort Belvoir, VA: Defense Technical Information Center, March 1990. http://dx.doi.org/10.21236/ada220657.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Casasent, David. Optical Neural Nets for Scene Analysis. Fort Belvoir, VA: Defense Technical Information Center, November 1990. http://dx.doi.org/10.21236/ada229794.

Full text
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!

To the bibliography