Littérature scientifique sur le sujet « JPFB »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « JPFB ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "JPFB"
1
Lu, Xinyi, Xingli Wu, Lin Jing, Lingjia Tao, Yingxuan Zhang, Renke Huang, Gong Zhang et Jianlin Ren. « Network Pharmacology Analysis and Experiments Validation of the Inhibitory Effect of JianPi Fu Recipe on Colorectal Cancer LoVo Cells Metastasis and Growth ». Evidence-Based Complementary and Alternative Medicine 2020 (26 juillet 2020) : 1–15. http://dx.doi.org/10.1155/2020/4517483.
Texte intégralRésumé :
Objective. To analyze the active compounds, potential targets, and diseases of JianPi Fu Recipe (JPFR) based on network pharmacology and bioinformatics and verify the potential biological function and mechanism of JPFR in vitro and in vivo. Methods. Network pharmacology databases including TCMSP, TCM-PTD, TCMID, and DrugBank were used to screen the active compounds and potential drug targets of JPFR. Cytoscape 3.7 software was applied to construct the interaction network between active compounds and potential targets. The DAVID online database analysis was performed to investigate the potential effective diseases and involved signaling pathways according to the results of the GO function and KEGG pathways enrichment analysis. To ensure standardization and maintain interbatch reliability of JPFR, High Performance Liquid Chromatography (HPLC) was used to establish a “chemical fingerprint.” For biological function validation, the effect of JPFR on the proliferation and migration of CRC cells in vitro was investigated by CCK-8 and transwell and wound healing assay, and the effect of JPFR on the growth and metastasis of CRC cells in vivo was detected by building a lung metastasis model in nude mice and in vivo imaging. For the potential mechanism validation, the expressions of MALAT1, PTBP-2, and β-catenin in CRC cells and transplanted CRC tumors were detected by real-time PCR, western blot, and immunohistochemical staining analysis. Results. According to the rules of oral bioavailability (OB) > 30% and drug-likeness (DL) > 0.18, 244 effective compounds in JPFR were screened out, as well as the corresponding 132 potential drug targets. By the analysis of DAVID database, all these key targets were associated closely with the cancer diseases such as prostate cancer, colorectal cancer, bladder cancer, small cell lung cancer, pancreatic cancer, and hepatocellular carcinoma. In addition, multiple signaling pathways were closely related to JPFR, including p53, Wnt, PI3K-Akt, IL-17, HIF-1, p38-MAPK, NF-κB, PD-L1 expression and PD-1 checkpoint pathway, VEGF, JAK-STAT, and Hippo. The systematical analysis showed that various active compounds of JPFR were closely connected with Wnt/β-catenin, EGFR, HIF-1, TGFβ/Smads, and IL6-STAT3 signaling pathway, including kaempferol, isorhamnetin, calycosin, quercetin, medicarpin, phaseol, spinasterol, hederagenin, beta-sitosterol, wighteone, luteolin, and isotrifoliol. For in vitro experiments, the migration and growth of human CRC cells were inhibited by the JPFR extract in a dose-dependent way, and the expression of MALAT1, PTBP-2, β-catenin, MMP7, c-Myc, and Cyclin D1 in CRC cells were downregulated by the JPFR extract in a dose-dependent way. For in vivo metastasis experiments, the numbers of lung metastasis were found to be decreased by the JPFR extract in a dose-dependent manner, and the expressions of metastasis-associated genes including MALAT1, PTBP-2, β-catenin, and MMP7 in the lung metastases were downregulated dose dependently by the JPFR extract. For the orthotopic transplanted tumor experiments, the JPFR extract could inhibit the growth of orthotopic transplanted tumors and downregulate the expression of c-Myc and Cyclin D1 in a dose-dependent manner. Moreover, the JPFR extract could prolong the survival time of tumor-bearing mice in a dose-dependent manner. Conclusions. Through effective network pharmacology analysis, we found that JPFR contains many effective compounds which may directly target cancer-associated signaling pathways. The in vitro and in vivo experiments further confirmed that JPFR could inhibit the growth and metastasis of CRC cells by regulating β-catenin signaling-associated genes or proteins.
2
Jalili, V. P. « JPFA on silver track ». Journal of Pierre Fauchard Academy (India Section) 25, no 1 (mars 2011) : 47. http://dx.doi.org/10.1016/s0970-2199(11)50009-8.
Texte intégral
3
Walker, Matt, Parssa Khazra, Anto Nanah Ji, Hongru Wang et Franck van Breugel. « jpf-logic ». ACM SIGSOFT Software Engineering Notes 48, no 1 (10 janvier 2023) : 32–36. http://dx.doi.org/10.1145/3573074.3573083.
Texte intégralRésumé :
We present jpf-logic, an extension of the model checker Java PathFinder (JPF). Our extension jpf-logic provides a framework to check properties expressed in temporal logics such as linear temporal logic (LTL) and computation tree logic (CTL). To support a logic in our framework, we (1) implement a parser for the logic, (2) develop a hierarchy of classes that represent the abstract syntax of the logic and implement a transformation from parse trees of formulas to the corresponding abstract syntax trees, and (3) implement a model checking algorithm that takes as input an abstract syntax tree of a formula and a partial transition system. The latter represents a model of the Java application. All three components have been implemented for CTL. The first two have been implemented for LTL.
4
Kwon, David. « Human Security ». Journal for Peace and Justice Studies 29, no 2 (2019) : 3–24. http://dx.doi.org/10.5840/peacejustice201929214.
Texte intégralRésumé :
There is a growing discussion of the idea of jus post bellum (jpb) and what it means as an addition to just war thinking. This essay connects jpb to the thought of Augustine and Aquinas, so that jpb appears as integral in that tradition. To make this case, I argue that achieving jpb is key to building a just peace, of which the fundamental characteristic must be human security, and thus defines two approaches to the study of human security that emerges from the theological development of jpb ethics: Michael Schuck’s Augustinian and Kenneth Himes’s Thomistic jpb conceptions. I argue that they both emphasize the importance of human security, as shown by their arguments for building humanitarian norms post bellum, but have different aims and jpb moral implications.
5
Anipah, Sri, Asep Suherman et Yudhi Mahmud. « Perbandingan Analisa Usaha Penggemukan Sapi PO yang Diberi Ransum Komersil dan JPFA Dengan Ransum Dedak Padi, Indigofera, sp., dan JPFA pada Kelompok Ternak Tunggal Rasa Desa Majasari Kecamatan Sliyeg Kabupaten Indramayu ». Agri Wiralodra 15, no 1 (7 mai 2023) : 37–48. http://dx.doi.org/10.31943/agriwiralodra.v15i1.62.
Texte intégralRésumé :
Tujuan dari penelitian ini untuk mengetahui rata-rata bobot akhir sapi, penerimaan, keuntungan, efisiensi dan rentabilitas pada usaha penggemukan Sapi Peranakan Ongole yang diberi ransum komersil dan JPFA dengan dedak padi, Indigofera, sp., dan JPFA pada Kelompok Ternak Tunggal Rasa Desa Majasari Kecamatan Sliyeg Kabupaten Indramayu.
Metode penelitian yang digunakan adalah Mix Methode (metode campuran) yaitu metode survey dan metode eksperimen. Penelitian dilakukan selama tiga bulan yaitu mulai dari bulan Mei sampai Agustus 2017 di Desa Majasari Kecamatan Sliyeg Kabupaten Indramayu. Desain penelitian yang digunakan adalah deskriptif kuntitatif. Analisis data yang digunakan adalah analisis data kuantitatif dengan menggunakan analisis usahatani.
Hasil penelitian menunjukan rata-rata bobot akhir sapi pada ransum A (Komersil dan JPFA) adalah 290,83 kg, penerimaan yang diperoleh peternak sebesar Rp. 14.541.666,67., keuntungan yang diperoleh peternak sebesar Rp. 2.765.090,05., Rata-rata R/C pada peternak sebesar 1,24 dan rata-rata rentabilitas peternak sebesar 24%. Sedangkan rata-rata bobot akhir sapi pada ransum B (Dedak padi, Indigofera, sp., dan JPFA) adalah 286,00 kg, penerimaan yang diperoleh peternak sebesar Rp. 14.300.000,00., keuntungan yang diperoleh peternak sebesar Rp. 3.171.602,05., Rata-rata R/C pada peternak sebesar 1,29 dan Rata-rata rentabilitas peternak sebesar 29%.
6
Besseling, Johan, et Cyrille Artho. « Using Theia Trace Viewer to Visualize JPF Traces ». ACM SIGSOFT Software Engineering Notes 48, no 1 (10 janvier 2023) : 22–26. http://dx.doi.org/10.1145/3573074.3573081.
Texte intégralRésumé :
Java Pathfinder (JPF) is currently the most feature-rich platform for an in-depth analysis of programs that run on the Java Virtual Machine (JVM). However, using JPF and interpreting its results is a challenge. Dependencies on specific Java versions inhibit the adoption of JPF, and its textual output makes it hard to understand its analysis results. To this end, we present the Theia Trace Viewer (TTV) for JPF traces, which features a web-based graphical user interface. It does not only make it easier to get an overview of JPF traces, but it can visualize traces without requiring an installation on the client side, thus making JPF more accessible at the technical level as well. We evaluated TTV with several groups of users, showing the potential of our approach.
7
Yi, Pu, Anjiang Wei, Wing Lam, Tao Xie et Darko Marinov. « Finding Polluter Tests Using Java PathFinder ». ACM SIGSOFT Software Engineering Notes 46, no 3 (14 juillet 2021) : 37–41. http://dx.doi.org/10.1145/3468744.3468756.
Texte intégralRésumé :
Tests that modify (i.e., "pollute") the state shared among tests in a test suite are called \polluter tests". Finding these tests is im- portant because they could result in di erent test outcomes based on the order of the tests in the test suite. Prior work has proposed the PolDet technique for nding polluter tests in runs of JUnit tests on a regular Java Virtual Machine (JVM). Given that Java PathFinder (JPF) provides desirable infrastructure support, such as systematically exploring thread schedules, it is a worthwhile attempt to re-implement techniques such as PolDet in JPF. We present a new implementation of PolDet for nding polluter tests in runs of JUnit tests in JPF. We customize the existing state comparison in JPF to support the so-called \common-root iso- morphism" required by PolDet. We find that our implementation is simple, requiring only -200 lines of code, demonstrating that JPF is a sophisticated infrastructure for rapid exploration of re-search ideas on software testing. We evaluate our implementation on 187 test classes from 13 Java projects and nd 26 polluter tests. Our results show that the runtime overhead of PolDet@JPF com- pared to base JPF is relatively low, on average 1.43x. However, our experiments also show some potential challenges with JPF.
8
Kawamura, S. « Briefing outside JPB ». Journal of Photochemistry and Photobiology B : Biology 6, no 4 (août 1990) : 453. http://dx.doi.org/10.1016/1011-1344(90)85120-l.
Texte intégral
9
Spikes, JohnD. « Briefing outside JPB ». Journal of Photochemistry and Photobiology B : Biology 7, no 2-4 (novembre 1990) : 369. http://dx.doi.org/10.1016/1011-1344(90)85172-s.
Texte intégral
10
Hölzle, Erhard. « Briefing outside JPB ». Journal of Photochemistry and Photobiology B : Biology 8, no 2 (janvier 1991) : 227. http://dx.doi.org/10.1016/1011-1344(91)80065-p.
Texte intégralThèses sur le sujet "JPFB"
1
Noonan, Eric S. « Slice—n—Dice Algorithm Implementation in JPF ». BYU ScholarsArchive, 2014. https://scholarsarchive.byu.edu/etd/4147.
Texte intégralRésumé :
This work deals with evaluating the effectiveness of a new verification algorithm called slice--n--dice. In order to evaluate the effectiveness of slice--n--dice, a vector clock POR was implemented to compare it against. The first paper contained in this work was published in ACM SIGSOFT Software Engineering Notes and discusses the implementation of the vector clock POR. The results of this paper show the vector clock POR performing better than the POR in Java Pathfinder by at least a factor of two. The second paper discusses the implementation of slice--n--dice and compares it against other verification techniques. The results show that slice--n--dice performs better than the other verification methods in terms of states explored and runtime when there is no error in the program or little thread interaction is needed in order for the error to manifest.
2
Melo, Rafael de Araújo. « Recursos linguísticos orais no telejornalismo : estratégias de audiência no texto do JPB 1ª edição ». Universidade Federal da Paraíba, 2017. http://tede.biblioteca.ufpb.br:8080/handle/tede/9598.
Texte intégralRésumé :
Submitted by Vasti Diniz (vastijpa@hotmail.com) on 2017-09-20T14:24:43Z
No. of bitstreams: 1
arquivototal.pdf: 1658203 bytes, checksum: c44b0ebc3d2bab82509c5708b45bea4b (MD5)Made available in DSpace on 2017-09-20T14:24:43Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 1658203 bytes, checksum: c44b0ebc3d2bab82509c5708b45bea4b (MD5) Previous issue date: 2017-03-30
This paper discusses the update of the journalistic text Television analyzing oral language resources that are used. It started from the hypothesis that language is used not only to inform, but especially, to seek identification between public and the television news. This results in maintenance and expansion of the audience, a kind of linguistic reading agreement with the public. The objective of the research is to describe how this activity is done in television news in a local program. For this, we analyzed the texts produced in JPB 1st Edition, we analyzed the words, expressions and oral placements, especially, the informal aspect, and analyzed based on theories of communication and language, considering the pragmatic, the language of functionality, according the new precepts of television journalism. We also discuss the performative intentionality of texts and present the guidelines of journalistic writing manuals for TV have been developed more recently. Soul, we want to know how the oral linguistic resources are used as audience strategies in journalistic text JPB 1st Edition. We seek to identify these resources, analyze them and categorize them, and check the effects of possibilities intended by the producer. We follow television news editions and cataloged the colloquial language or proximista records to then analyze them. The research helps to reflect on the changes and language changes and an analysis of the interaction caused from the text of newspapers. Soul, the paper can understand and show why the choice of language primarily through the axis of the audience.
O presente trabalho discute a atualização do texto jornalístico de Televisão analisando os recursos linguísticos orais que são utilizados. Parte-se da hipótese de que a língua é utilizada não somente para informar mas, sobretudo, para buscar identificação do público com o telejornal, uma espécie de contrato de leitura linguístico com o público. Isto resulta em manutenção e ampliação da audiência. O objetivo da pesquisa é descrever como esta atividade é feita no telejornalismo a partir de um programa local. Para isso, analisamos os textos produzidos no JPB 1ª Edição, ressaltamos os termos, expressões e colocações oriundas da oralidade, em particular o aspecto informal, e os analisamos à luz de teorias da comunicação e da linguística, considerando a pragmática, a funcionalidade da língua, que atende aos preceitos novos do telejornalismo. Discutimos também a intencionalidade performativa dos textos e apresentamos as orientações dos manuais de redação jornalística para TV que foram elaborados mais recentemente. Deste modo, queremos saber como os recursos linguísticos orais são utilizados como estratégias de audiência no texto telejornalístico do JPB 1ª Edição. Assim, buscamos identificar estes recursos, analisá-los e categorizá-los, além de verificar as possibilidades de efeitos visados pelo produtor. Acompanhamos as edições do telejornal e catalogamos os registros de linguagem coloquial ou proximista para, em seguida, analisá-los. Como resultado da pesquisa surge uma reflexão sobre as variações e as mudanças linguísticas e uma análise da interação provocada a partir do texto dos jornais. Em suma, o trabalho consegue compreender e mostrar porque a escolha da linguagem passa fundamentalmente pelo eixo da audiência.
3
Melo, Rostand de Albuquerque. « Telejornalismo e Cotidiano : a construção de enquadramentos sobre a vida urbana no JPB 1ª edição ». Universidade Federal da Paraíba, 2010. http://tede.biblioteca.ufpb.br:8080/handle/tede/4495.
Texte intégralRésumé :
Made available in DSpace on 2015-05-07T14:46:47Z (GMT). No. of bitstreams: 1
parte1.pdf: 2187075 bytes, checksum: b523a96e2976438221d433adddcc1943 (MD5)
Previous issue date: 2010-04-16Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Considering the journalism while a way of specific knowledge with an own logic of perception about the everyday life, this dissertation purpose is understand the relationships between the common sense knowledge and the apprehension forms of the social reality adopted in the news production process. For so much, the theoretical perspective of Alfred Schutz's phenomenology is adopted to observe the journalists' behavior in the work place. The objective is to describe and to understand the operation mechanisms of the intrinsic relevance s system to the journalistic field. To understand the constitution of what we can call a journalistic "common sense" and the construction of established visions about the everyday life on the city, is opted for an etno-construcionist approach, based in the notion of social construction of the reality. Addressing the analysis focus to the TV local journalism, the methodological choice is the application of the Etnomethodology. The purpose is to understand as the journalists of TV see (perceive) the urban life and that it sorts out that peculiar framing is reverse-built in a narrative marked by the techniques and procedures of journalistic counting and of the audiovisual language. It was delimited as studies object the routines of production of the television news JPB 1st Edition, exhibited daily by Cabo Branco TV and Paraíba TV, affiliated stations to the Globo Broadcasting Network in the State of Paraíba. A field research was accomplished systematized in two apprenticeships: the participant observation and the application of interviews semi-structured with the responsible journalists by the production and edition of the analyzed television news. The information and obtained inferences were divided in two different perspectives. First the "regularities" of the productive routines and way of work organization will be analyzed, as well as the hierarchical and organizational structure in which the production of the television news is inserted. In a second moment, analytical narratives will be presented on episodes and circumstances observed during the field research. They are peculiar situations that reveal the compound linkage of relationships that settles down in the news production process and how the editorial choices are permeate from subjective and symbolic aspects.
Considerando o jornalismo enquanto um modo de conhecimento específico com uma lógica própria de percepção do cotidiano, esta dissertação busca compreender as relações entre o conhecimento do senso comum e as formas de apreensão da realidade social adotadas no processo de produção de notícias. Para tanto, adota-se a perspectiva teórica da fenomenologia de Alfred Schutz aplicada à observação do comportamento dos jornalistas no ambiente de trabalho: a redação. O objetivo é descrever e compreender os mecanismos de funcionamento do sistema de relevâncias intrínseco ao campo jornalístico. Para compreender a constituição do que podemos chamar de um senso comum da redação e a construção de visões apriorísticas sobre o cotidiano da cidade, optou-se por uma abordagem etno-construcionista, fundamentada na noção de construção social da realidade. Direcionando o foco de análise ao telejornalismo local, propõe-se como escolha metodológica a aplicação da Etnometodologia. O propósito é compreender como os jornalistas de TV vêem (percebem) a vida urbana e de que maneira esse enquadramento peculiar é re-construído em uma narrativa marcada pelas técnicas e procedimentos de apuração jornalística e da linguagem audiovisual. Delimitou-se como objeto de estudo as rotinas de produção do telejornal JPB 1ª Edição, exibido diariamente pela TV Cabo Branco e TV Paraíba, emissoras afiliadas à Rede Globo no Estado da Paraíba. Foi realizada uma pesquisa de campo sistematizada em dois estágios: a observação participante e a aplicação de entrevistas semi-estruturadas com os jornalistas responsáveis pela produção e edição do telejornal analisado. As informações e inferências obtidas foram divididas em duas perspectivas distintas. Primeiro serão analisadas as regularidades das rotinas produtivas e modo de organização de trabalho na redação, bem como a estrutura hierárquica e organizacional no qual a produção do telejornal está inserida. Num segundo momento, serão apresentadas narrativas analíticas sobre episódios e circunstâncias observadas durante a pesquisa de campo. São situações particulares que revelam o complexo encadeamento de relações que se estabelece no processo de produção de notícias, bem como os aspectos subjetivos e simbólicos que permeiam as escolhas editoriais.
4
Souza, Bruna Fernandes de. « Um estudo sobre a busca pelo personagem do telejornal JPB 1ª edição da TV Cabo Branco ». Universidade Federal da Paraíba, 2017. http://tede.biblioteca.ufpb.br:8080/handle/tede/9587.
Texte intégralRésumé :
Submitted by Vasti Diniz (vastijpa@hotmail.com) on 2017-09-20T12:54:30Z
No. of bitstreams: 1
arquivototal.pdf: 2540614 bytes, checksum: be63a9cf1230d85ce8c83ca97d246545 (MD5)Made available in DSpace on 2017-09-20T12:54:30Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 2540614 bytes, checksum: be63a9cf1230d85ce8c83ca97d246545 (MD5) Previous issue date: 2017-04-20
It is usual to watch on the news ordinary people, who are not experts or authorities, providing testimony, telling facts of their lives, talking about different topics. They are the characters that support and humanize the reports. In this study, we try to understand how is the presence of this character in the television news. The object of study is the television news JPB 1st edition, transmitted by Cabo Branco TV, an affiliate of Rede Globo in Paraiba. The research ranges from the search process to find these characters, approaching the journalistic routines of the newsroom, to the inclusion of these individuals in the reports. Other goals we tried to achieve were to identify the tools used to find the characters, understand the interaction of the TV producers with new means to search and contact, especially social networks, and reflect on ways to improve the process of searching and selecting characters. Therefore, we use concepts and theories that deal with issues of humanization of journalism, participation and approach of the public with journalistic practices. It is a qualitative and exploratory research, which included bibliographic research, interviews and questionnaires with journalists of the newsroom, especially producers, as well as analysis of that television news reports. It was also used the participant observation method.
É habitual ver nos telejornais pessoas comuns, que não são especialistas ou autoridades, dando depoimentos, contando fatos de suas vidas, falando sobre os mais diversos temas. Elas são os personagens que embasam e humanizam as matérias. Neste trabalho, procuramos compreender como se dá a presença desse personagem no telejornalismo, tendo como objeto de estudo o telejornal do horário do meio-dia, JPB 1ª edição, da TV Cabo Branco, afiliada da Rede Globo na Paraíba. A pesquisa vai desde os processos de busca para encontrar esses personagens, abordando as rotinas jornalísticas da redação, até a inserção desses indivíduos nas matérias. Outros objetivos que tentamos atingir foram os de identificar as ferramentas usadas para encontrar os personagens, entender a interação dos produtores da redação com as novas formas de busca e contato, principalmente as redes sociais, e refletir sobre meios de aperfeiçoar o processo de procura e escolha de personagens. Para tanto, utilizamos conceitos e teorias que tratam de questões relativas à humanização do jornalismo, participação e aproximação do público com as práticas jornalísticas. Trata-se de uma pesquisa qualitativa e exploratória, na qual realizamos pesquisa bibliográfica, entrevistas e questionários com os jornalistas da redação, principalmente os repórteres produtores, e na qual também foi utilizado o método de observação participante na redação. Além disso, foram feitas análises de matérias desse telejornal com o intuito de perceber as características dos personagens participantes.
5
Souza, Denise Helena Delmiro de. « Tensões midiáticas (ou conflitos de mediação) entre a comunidade e a gestão pública – A agenda do Calendário JPB ». Universidade Estadual da Paraíba, 2016. http://tede.bc.uepb.edu.br/tede/jspui/handle/tede/2622.
Texte intégralRésumé :
Submitted by Jean Medeiros (jeanletras@uepb.edu.br) on 2016-10-13T14:44:32Z
No. of bitstreams: 1
PDF - Denise Helena Delmiro de Souza.pdf: 2401179 bytes, checksum: 4a6d944273e8f164f69b4c9913d2b4b3 (MD5)Approved for entry into archive by Secta BC (secta.csu.bc@uepb.edu.br) on 2016-10-17T13:33:47Z (GMT) No. of bitstreams: 1 PDF - Denise Helena Delmiro de Souza.pdf: 2401179 bytes, checksum: 4a6d944273e8f164f69b4c9913d2b4b3 (MD5)
Made available in DSpace on 2016-10-17T13:33:47Z (GMT). No. of bitstreams: 1 PDF - Denise Helena Delmiro de Souza.pdf: 2401179 bytes, checksum: 4a6d944273e8f164f69b4c9913d2b4b3 (MD5) Previous issue date: 2016-06-09
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES
When the media press public management by determined action, asking, including a period marked to its resolution would be interfering with the autonomy of the proposed planning for a particular territory? The media in disseminating social problems creates conflict between the government agenda and the population? This study presents the research results on the "Calendário JPB" aired on TV newscast JPB - 1st Edition, TV Paraíba, Rede Globo affiliate in Campina Grande-PB. The object of study is presented as a proposal in which the viewer characterizes itself the reports of the issuer of the problems experienced in their community, which in turn would make for and he revindication to public officials. So it is analyzed, generally as Service Journalism can be one of the actors who influence and / or press the state to schedule actions of interest and the contributions of “Calendário JPB" for those involved in the reports communities are the structuring or immediate type, that is, if there was some sort of planning or not. The research is descriptive-analytic nature and is based on literature and field research. We review the television picture productions since 2011 (the year it was started) in 2015 were 37 reports assessed, always being a chosen per month, to give more breadth to research. In the evaluation, at first we describe the kind of social demand, the neighborhood, the result given by journalists (resolved or unresolved) and type, in a second moment we observe that the claimed actions are structuring or immediate. The result of the research points to works that most often proved immediate and leave no significant changes and / or planned for the future of communities. The research also resulted in an inventory of common social demands, which become guidelines for the local media.
Quando a mídia pressiona a gestão pública por determinada ação, cobrando, inclusive, um período marcado para sua resolução, gera conflito entre a agenda governamental e a população? A ação midiática na divulgação de problemas sociais promove algum desenvolvimento para a comunidade envolvida? Este estudo apresenta os resultados de pesquisa sobre as tensões midiáticas ou conflitos de mediação entre comunidade e gestão pública na agenda do quadro “Calendário JPB”, exibido no telejornal JPB – 1ª Edição, da TV Paraíba, afiliada Rede Globo em Campina Grande-PB. O referido objeto de estudo apresenta-se como uma proposta em que o telespectador pauta as reportagens da emissora sobre problemas de infraestrutura urbana ou de serviços públicos prestados de forma precária, situações vividas em sua comunidade, que por sua vez faria para e por ele a reinvindicação aos agentes públicos. Assim, analisa-se, de modo geral, como o Jornalismo de Serviço pode ser um dos atores que influencia e/ou pressiona o Estado a agendar ações de seu interesse e ainda se as obras demandadas no “Calendário JPB” são estruturantes (políticas de planejamento) ou imediatistas (ações paliativas). A pesquisa é de natureza descritiva-analítica e se apoia em pesquisas bibliográficas e de campo. Analisamos as produções do quadro televisivo desde 2011 (ano em que foi iniciado) até 2015: foram 37 reportagens avaliadas, sendo escolhida uma por mês. Na avaliação, em um primeiro momento, descrevemos o tipo de demanda social, o bairro, o resultado dado pelos jornalistas (resolvido ou não resolvido) e a tipologia; em um segundo momento, observamos se as ações reivindicadas e exibidas pelo canal de TV são estruturantes ou imediatistas. O resultado da pesquisa aponta para obras que na maioria das vezes se mostraram imediatistas e que não deixam mudanças significativas e/ou planejadas para o futuro das comunidades.
6
Duarte, Zuila Frutuoso David. « Processos de Reconstrução Identitária do Telejornal Local da Globo em Tempos de Concorrência e Convergência Midiática : modos de dizer, interagir e circular do JPB 1ª edição ». Universidade Federal da Paraíba, 2015. http://tede.biblioteca.ufpb.br:8080/handle/tede/7976.
Texte intégralRésumé :
Submitted by Viviane Lima da Cunha (viviane@biblioteca.ufpb.br) on 2016-03-14T12:17:38Z
No. of bitstreams: 1
arquivototal.pdf: 3587012 bytes, checksum: 60a01c4f97d7f7a2499b985683b26616 (MD5)Made available in DSpace on 2016-03-14T12:17:39Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 3587012 bytes, checksum: 60a01c4f97d7f7a2499b985683b26616 (MD5) Previous issue date: 2015-09-25
This paper aims at analyzing the renovation process of the identity of JPB 1st Edition of Globo TV. Taking into consideration that this local television news reformulates its identification strategies with viewers in order to overcome the unsatisfactory audience ratings. Concerning to understand this problem, we suppose as hypothesis that this news rebuilds its identity or identification modes with viewers / online surfers, particularly with the adoption of two main strategies: Developing ambiguous thematic organization and at the same time favoring numerically police matters in its editions and discursively being constructed as a television news turned to the "provision of services to communities"; mediated a propagation process by the presenter between his/her public and private life by appropriating of social networks as "propagator" spaces TV news identity conformers. Essentially, we work with the concepts of "society in media coverage pathways" with Fausto Neto; news media coverage with Salaverria and Aviles, Verón and Fausto Neto; Technological and cultural convergence with Jenkins and identity with Stuart Hall, Woodward, Silva and Bauman. We adopt the TV news analysis methodology developed by Itânia Gomes and we operate with two methodological concepts "television genre" and "addressing schemes". Assuming the "analytical operators" suggested by the author: mediator; communicative context; thematic organization and pacts on the role of journalism. It is created an operator named "circulation" to observe the processes of interaction between producers and Internet users in institutional profiles and anchor on Instagram and Facebook. In conclusion, JPB 1st Edition reconstructs its own identity with the materialization of a “self-reflective” speech and serious / ethical newscast, which addresses a variety of topics that interests community as a whole and adopts a fluid aesthetic, light, mediated and converging with the Web. It is distinguished from the local competitors, which are defined in the same profile - police newscasts, but JPB 1st Edition presents as a television news which has a "liquid identity", contemporary, constantly changing, adaptable to needs for which may suffer the "society in media coverage routes."
Análise dos processos de reconstrução da identidade do JPB 1ª Edição da Rede Globo de Televisão. Parte-se do pressuposto de que esse telejornal local reformula suas estratégias de identificação com telespectadores de modo a reverter os insatisfatórios índices de audiência. Na empreitada de compreender tal problemática, parte-se da hipótese de que o respectivo noticiário reconstrói sua identidade ou modos de identificação com os telespectadores/internautas, particularmente, com a adoção de duas estratégias centrais: construção de organização temática ambígua, ao tempo que privilegia numericamente os assuntos policiais em suas edições e se constrói discursivamente como um telejornal voltado para a “prestação de serviços às comunidades”; processo de mediação midiatizada do apresentador no entremeio de sua vida pública e privada com apropriação das redes sociais como espaços “circulatórios” conformadores de identidade telejornalística. Essencialmente, trabalha-se com os conceitos de “sociedade em vias de midiatização” com Fausto Neto; midiatização jornalística com Salaverria e Avilés, Verón e Fausto Neto; Convergência tecnológica e cultural com Jenkins e identidade com Stuart Hall, Woodward, Silva e Bauman. Adota-se a Metodologia de Análise de Telejornalismo elaborada por Itânia Gomes e opera-se com dois conceitos metodológicos “gênero televisivo” e “modos de endereçamento”. Consideram-se os “operadores analíticos” propostos pela autora: mediador; contexto comunicativo; organização temática e pactos sobre o papel do jornalismo. Formula-se o operador “circulação” para observação dos processos de interação entre produtores e internautas nos perfis institucionais e do apresentador do telejornal no Instagram e Facebook. Sinteticamente, o JPB 1ª Edição reconstrói sua identidade com a materialização de um discurso “auto-reflexivo” de telejornal sério/ ético, que aborda temáticas diversas de interesse comunitário e adota uma estética fluída, leve, midiatizada e convergente com a Web. Distingue-se dos concorrentes locais, que se definem em um perfil único, de telejornais policiais ao tempo que se “deixa ver” como um jornal televisivo que tem uma “identidade líquida”, contemporânea, em constante transformação, adaptável às necessidades pelas quais passa a” sociedade em vias de midiatização”.
7
Kohan, Tomáš. « User-Defined XML-to-Relational Mapping ». Master's thesis, 2007. http://www.nusl.cz/ntk/nusl-288469.
Texte intégralRésumé :
In the present work we study opportunities of mapping the XML data into relational systems. In the first part we describe basic terminology used in this work and subsequently also basic techniques for mapping XML data into the relational database. In the next part we engaged in theoretical methods like MXM and ShreX, which were proposed on premises of a university or by a research group. In the third part we describe mapping methods, that are used in some commercial systems like Oracle, DB2 and MS SQL. In the whole second half of this work we propose a new mapping method (XRM), which bring in several new features, while the origin positive features are kept. At the end we analyze the prototype implementation of the proposed mapping method.
8
Kohan, Tomáš. « Presenting results of software model checker via debugging interface ». Master's thesis, 2012. http://www.nusl.cz/ntk/nusl-305081.
Texte intégralRésumé :
Title: Presenting results of software model checker via debugging interface Author: Tomáš Kohan Department: Department of Software Engineering Supervisor of the master thesis: RNDr. Ondřej Šerý, Ph.D., Department of Distributed and Dependable Systems Abstract: This thesis is devoted to design and implementation of the new de- bugging interface to the Java PathFinder application. As a suitable interface container was selected the Eclipse development environment. The created inter- face visualizes results of JPF and details of paused JVM state, especially a list of variables and their values. Two subprojects were created, i.e. debug4jpf and JPFDeb.core. The first one is responsible for controlling and communication with the JPF instance. The latter one is an Eclipse plugin and provides user interface which is similar to the interface of standard Java debugger. These two components communicate with each other by using the ad-hoc communication protocol created for this purpose. Keywords: Java, verification, model checker, JPF, debugging interface
9
王克丞. « 嘉南地區地震定位、測站分布與地下構造成像相性之研究PDFs/JPF之應用 ». Thesis, 1995. http://ndltd.ncl.edu.tw/handle/03024567788304457472.
Texte intégralLivres sur le sujet "JPFB"
1
Messner, William C. Autonomous Technologies : Applications That Matter. United States : AUVSI, 2014. http://dx.doi.org/10.4271/jpf-auv-004.
Texte intégral
2
Adachi, Masayuki, et Hiroshi Nakamura. Engine Emissions Measurement Handbook. Warrendale, PA : SAE International, 2013. http://dx.doi.org/10.4271/jpf-hor-002.
Texte intégral
3
Thoppil, Timothy George. Unwinding Electric Motors Strategic Perspectivies and Insights for Automotive Powertrain Applications. Warrendale, PA : SAE International, 2014. http://dx.doi.org/10.4271/jpf-p3-003.
Texte intégral
4
lilley, p. j. New Developments in Anarchist Studies. punctum books, 2015.
Trouver le texte intégralChapitres de livres sur le sujet "JPFB"
1
Artho, Cyrille, Pavel Parízek, Daohan Qu, Varadraj Galgali et Pu Yi. « JPF : From 2003 to 2023 ». Dans Tools and Algorithms for the Construction and Analysis of Systems, 3–22. Cham : Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-57249-4_1.
Texte intégralRésumé :
AbstractWe give an account of JPF’s current architecture as it has evolved over the last 20 years. Key changes include a modular, extensible design, and Java 11 support.Java 11 brought with it fundamental changes in the language and its runtime, in particular, a new modular library system, different compilation of string expressions to bootstrap methods, and changes in many internal interfaces that allow access to the loaded code and the virtual machine state. These changes required numerous adaptations in JPF to ensure a successful compilation and correct behavior under Java 11.
2
Wu, Libin, Yahui Lu, Jing Qi, Shubin Cai, Bo Deng et Zhong Ming. « Bug Analysis of Android Applications Based on JPF ». Dans Lecture Notes in Computer Science, 173–82. Cham : Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-52015-5_18.
Texte intégral
3
Dennis, Louise A., Michael Fisher et Matt Webster. « Using Agent JPF to Build Models for Other Model Checkers ». Dans Lecture Notes in Computer Science, 273–89. Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40624-9_17.
Texte intégral
4
Minh Do, Canh, et Kazuhiro Ogata. « A Divide & ; Conquer Approach to Testing Concurrent Java Programs with JPF and Maude ». Dans Structured Object-Oriented Formal Language and Method, 42–58. Cham : Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-41418-4_4.
Texte intégral
5
« The Jungian Personality Framework (JPF) ». Dans Advances in Educational Marketing, Administration, and Leadership, 60–80. IGI Global, 2023. http://dx.doi.org/10.4018/978-1-6684-6563-9.ch003.
Texte intégralRésumé :
The Jungian personality framework (JPF) was developed by Katherine Briggs and Isabelle Myer Brigg and is based on the pioneering work of the eminent Swiss psychiatrist/psychoanalyst Carl Jung. Jung observed that no matter what the field of human endeavor with which he was familiar—art, history, literature, psychology, etc.--the same basic differences in outlook emerged repeatedly. They represented the fundamental differences between how different people viewed any situation, field of human knowledge, and/or practice.
Actes de conférences sur le sujet "JPFB"
1
Mehlitz, Peter, Oksana Tkachuk et Mateusz Ujma. « JPF-AWT : Model checking GUI applications ». Dans 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, 2011. http://dx.doi.org/10.1109/ase.2011.6100131.
Texte intégral
2
Do, Canh Minh, et Kazuhiro Ogata. « A divide & ; conquer approach to testing concurrent programs with JPF* ». Dans 2020 27th Asia-Pacific Software Engineering Conference (APSEC). IEEE, 2020. http://dx.doi.org/10.1109/apsec51365.2020.00044.
Texte intégral
3
Iqbal, Saeed, Shakir Ullah Shah, Mohammad Nauman et Muhammad Amin. « Extending Java Pathfinder (JPF) with property classes for verification of Android permission extension framework ». Dans 2013 IEEE 3rd International Conference on System Engineering and Technology (ICSET). IEEE, 2013. http://dx.doi.org/10.1109/icsengt.2013.6650135.
Texte intégral