232 research outputs found
Responsabilidade social empresarial como elemento da competitividade: o caso da JPF Empreiteira de Mão-de-Obra
No full textTCC (graduação) - Universidade Federal de Santa Catarina, Centro Sócio Econômico, Curso de Administração.Este trabalho tem como objetivo analisar as pratica de responsabilidade social como elemento de vantagem competitiva através de um estudo na JPF Empreiteira de Mão de Obra, empresa situada em Florianópolis SC. O estudo aborda inicialmente os conceitos de ética empresarial, responsabilidade social e base teórica da influência da responsabilidade social sobre a competitividade. Em seguida são apresentados os procedimentos metodológicos adotados para realização deste estudo. Este trabalho é caracterizado por uma abordagem qualitativa e para atingir seus objetivos utilizou-se as pesquisas exploratória e descritiva, além de pesquisa bibliográfica e estudo de caso. A coleta de dados foi realizada através do método de entrevista não estruturada do tipo focalizada para os dados primários e pesquisa documental em documentos e relatórios da empresa para dados secundários trabalho é concluído apresentando as vantagens competitivas, geradas a partir da adoção de um comportamento socialmente responsável, nas relações com os principais grupos de stakeholders: Clientes, Fornecedores, Colaboradores e Concorrentes. Por fim o presente trabalho ainda mostra a possibilidade de a empresa promover o desenvolvimento social, sem fugir de seu principal objetivo, gerar lucro
Verification of ORM-based Controllers by Summary Inference
No full textSubmission data for ICSE 2022 Verification of ORM-based Controllers by Summary Inference.
The folder structure in this repository is as follows.
ControllerVerificationData contains results corresponding to Section 5.2 of
the paper. The folder hierarchy within this is:
benchmark name ->
Controller class name ->
"Alloy" ->
a .als file (i.e., Alloy model/summary generated by our tool)
corresponding to each controller method, with assertions added
manually in all cases were they were expressible.
"Output" -> outputs from Alloy for the assertions.
multipage-data contains results corresponding to Section 5.3 of the paper.
"properties" ->
each .txt file contains a property (basically, a \psi as in Section
3.1 in the paper), written by us, in Alloy form. (For "Unexpressed"
properties, we wrote a dummy property.)
"toCheck" ->
a property number ->
Generated Alloy files for this property (one Alloy file for Property
(A) and one each for Property (I), see Section 3.1 in the paper)
A .txt file for each Alloy file, containing Alloy checker's output.
"summary.txt" contains a summary of all the information above
Mutation-Analysis contains results corresponding to Section 5.5 of the
paper.
Each leaf level folder under this contains:
Alloy file generated for a mutated version of the benchmark, with
assertions added manually.
The description of the mutation (in the .desc file)
A .out file containing output from the Alloy checker for the assertions
in the .als file.
JPF contains results corresponding to Section 5.6 of the paper.
Each leaf-level folder contains results pertaining to one of the 16
assertions. The .java file contains a driver that initializes the tables,
calls the controller, and checks the assertion. The .jpf file is required
by JPF, and the .out file shows the JPF output.
We will positively consider taking steps to make our tool open-source in
the near future. As of today there are some licensing issues due to our
dependence on DBridge source
Presenting results of software model checker via debugging interface
No full textTitle: 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 interfac
Presenting results of software model checker via debugging interface
No full textTitle: 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 interfac
Philosophy in a meaningless life: a system of nihilism, consciousness and reality
No full textThis book combines an account of the autonomy of philosophy with a new theory of consciousness. The account of philosophy is rooted in the question of the meaning of life. This question, it is argued, is neither obscure nor obsolete, but rather reflects an ancient and natural concern to which all other traditional philosophical problems can be squarely related; allowing them to be reconnected with natural sources of interest, and providing a diagnosis of the typical lines of opposition to be found across philosophy’s debates. The question of the meaning of life is answered with nihilism: reality is meaningless. But finding nothing pernicious in this, the author rejects the various strategies devised in the 20th century for evading or coping with nihilism. Nihilism would be false if there were a transcendent context of meaning. But in correctly retreating from this prospect, it is claimed, philosophy erroneously retreated from the concept of transcendence itself. For only in terms of this concept can the contemporary problem of consciousness be solved, thereby avoiding an untenable revisionism: either of our conception of consciousness or the physical world. In terms of the transcendence of consciousness (which has no scientific implications), the author explains how the ‘block universe’ account of time suggested by contemporary physics can be reconciled with a temporal present, and why commitment to universals seems irrevocable. The book concludes that philosophy’s cultural role is to maintain a rational discussion about transcendence, and that through greater self-awareness, it can regain its influence
Penerapan Strategi Prediction Guide Terhadap Hasil Belajar IPA Fisika Pada Peserta Didik Kelas VIII SMP Negeri 13 Makassar
No full textJenis penelitian ini adalah Pra-Eksperimen yang dilaksanakan di SMP Negeri 13 Makassar, penelitian ini bertujuan untuk meningkatkan hasil belajar IPA Fisika melalui strategi pembelajaran Prediction Guide. Subjek penelitian ini adalah pesertadidik kelas VIII SMP Negeri 13 Makassar sebanyak 32 pesertadidik. Pengambilan data dilakukan dengan menggunakan tes awal dan tes akhir, lembar observasi, instrumen penelitian dibuat oleh penulis. Data yang dikumpul dianalisis dengan menggunakan teknik analisis statistik deskriptif. Hasil penelitian menunjukkan bahwa skor rata-rata pesertadidik pada pre-tes sebesar 10,97% dan berada pada kategori rendah, dengan standar deviasi 2,87 sedangkan pada posttes diperoleh skor rata-rata sebesar 16,96% berada pada kategori tinggi dengan standar deviasi 2,55. Hal ini menunjukkan bahwa telah tercapai hasil belajar pesertadidik berdasarkan Kriteria Ketuntasan Minimal (KKM) yang ditetapkan sekolah yaitu 75,00, di mana pada pre-tes dari 32 pesertadidik terdapat 16 pesertadidik atau 64% yang tuntas belajarnya dan terdapat 9 pesertadidik atau 36% yang tidak tuntas belajarnya. Sedangkan pada posttes dari 25 pesertadidik terdapat 19 orang atau 76% yang tuntas belajarnya dan terdapat 6 pesertadidik atau 24% yang tidak tuntas belajarnya. Dari hasil penelitian ini dapat disimpulkan bahwa dengan diterapkannya pembelajaran dengan strategi pembelajaran Prediction Guide pada pesertadidik kelas VIII SMP Negeri 13 Makassar, maka hasil belajar IPA Fisika dapat meningkat.Kata kunci: Prediction Guide, Hasil Belajar IPA, Peserta DidikThis research is a Pre-Experiments were carried out in SMP Negeri 13 Makassar, this study aims to improve learning outcomes Physical science through learning strategies Prediction Guide. The subjects were pesertadidik class VIII SMPN 13 Makassar much as 32 pesertadidik. Data were collected using the initial test and final test, observation sheets, research instruments created by the author. The data collected were analyzed using descriptive statistical analysis techniques. The results showed that the average score pesertadidik on a pre-test of 10.97% and are in the low category, with a standard deviation of 2.87, while the posttes obtained an average score of 16.96% at high category with a standard deviation 2.55. This shows that learning outcomes have been achieved pesertadidik based Complete Minimal Criteria (KKM) established in schools, 75.00, where the pre-test of 32 pesertadidik pesertadidik there are 16 or 64% who completed his study and there are 9 pesertadidik or 36% were not complete her studies. While on posttes of 25 pesertadidik there are 19 people or 76% who completed his study and there are 6 pesertadidik or 24% who did not complete her studies. From these results it can be concluded that with the implementation of learning with learning strategies Prediction Guide on pesertadidik class VIII SMPN 13 Makassar, the result of Physics Science learning can be improved.Key Words: Prediction Guide, Science Learning Outcomes, Student
MENINGKATKAN HASIL BELAJAR FISIKA MELALUI MODEL PEMBELAJARAN KOOPERATIF TIPE STAD (STUDENT TEAMS ACHIEVEMENT DIVISIONS)
No full textJenis penelitian ini adalah penelitian tindakan kelas (Classroom Action Research) yang dilaksanakan selama dua siklus, penelitian ini bertujuan untuk meningkatkan hasil belajar fisika melalui model pembelajaran Kooperatif Tipe STAD (Student Teams Achievement Divisions). Subjek penelitian ini adalah siswa kelas VIII.c SMP Negeri 3 Marbo kabupaten Takalar sebanyak 32 orang siswa yang terdiri dari 18 perempuan dan 14 laki-laki. Pengambilan data dilakukan dengan menggunakan tes siklus I dan siklus II, lembar observasi, instrument penelitian dibuat oleh penulis. Data yang dikumpul dianalisis dengan menggunakan teknik analisis statistik deskriptif. Hasil penelitian menunjukkan bahwa skor rata-rata siswa pada siklus I sebesar 63,68 dan berada pada kategori tinggi, dengan standar deviasi 17,09 sedangkan pada siklus II diperoleh skor rata-rata sebesar 73,37 berada pada kategori tinggi dengan standar deviasi 11,49. Hal ini menunjukkan bahwa telah tercapai hasil belajar siswa berdasarkan Kriteria Ketuntasan Minimal (KKM) yang ditetapkan sekolah yaitu 65,00, dimana pada siklus I dari 32 orang siswa terdapat 18 orang atau 56,25% yang tuntas belajarnya dan terdapat 14 orang siswa atau43,75% yang tidak tuntas belajarnya. Sedangkan pada siklus II dari 32 siswa terdapat 30 orang atau 93,75% yang tuntas belajarnya dan terdapat 2 orang atau 6,25% yang tidak tuntas belajarnya. Dari hasil penelitian ini dapat disimpulkan bahwa dengan diterapkannya pembelajaran dengan model pembelajaran Kooperatif Tipe STAD (Student Teams Achievement Divisions) pada siswa kelas VIII.C SMP Negeri 3 Marbo kabupaten Takalar, maka hasil belajar Fisika siswa dapat meningkat.Kata Kunci: Kooperatif Tipe STAD,Hasil Belajar FisikaThis research is a classroom action research (Classroom Action Research) carried out during two cycles, this study aims to improve the learning outcomes of physics through cooperative learning model type STAD (Student Teams Achievement Divisions). The research subjects were students of SMP Negeri 3 Marbo VIII.c district students Takalar 32 people consisting of 18 women and 14 men. Data collection was performed using a test cycle I and cycle II, observation sheets, research instrument made by the author. The data collected were analyzed using descriptive statistical analysis techniques. The results showed that the average scores of students in the first cycle of 63.68 and at the high category, with a standard deviation of 17.09, while in the second cycle obtained an average score of 73.37 at the high category with a standard deviation of 11, 49. This suggests that student learning outcomes have been achieved by a minimum completeness criteria (KKM) is 65.00 school set, where the first cycle of 32 students, there are 18 people or 56.25% who completed the study and there were 14 students atau43, 75% who did not complete her studies. While in the second cycle of 32 students there are 30 people or 93.75% were complete learning and there are 2 people or 6.25% of incomplete learning. From these results it can be concluded that with the implementation of cooperative learning with the learning model Type STAD (Student Teams Achievement Divisions) on VIII.C grade students of SMP Negeri 3 Marbo Takalar district, the student's learning outcomes can be improved.Keywords: Type STAD cooperative, Physics Learning Outcome
The polish comic book market between years 1989 and 2010
No full textTematem artykułu jest polski rynek komiksowy w latach 1989-2010. Autor starał się zarówno określić jego rozmiar, jak i przedstawić dynamikę rozwoju poszczególnych segmentów. Kluczowym wątkiem artykułu jest omówienie działalności komiksowych wydawców (np. Egmont Polska, Kultura Gniewu, Mandragora, JPF) oraz prezentacja najważniejszych tytułów, które ukazały się ich nakładem. W pracy uwzględniono prawie wszystkie przejawy komiksowej działalności wydawniczej, a więc albumy i zeszyty z europejskimi, amerykańskimi i azjatyckimi komiksami, magazyny komiksowe, czasopisma dla dzieci i młodzieży, których główną zawartość stanowią historie obrazkowe. Nie analizowano natomiast pasków komiksowych ukazujących się w gazetach i czasopismach. Wnioski przedstawione w artykule poparte są
danymi liczbowymi. W opracowaniu zawarto także autorską definicję rynku komiksowego.The article discusses the comic book market in Poland in 1989-2010. The author tried to determine both its size and progress dynamics. The key elements of the paper are Polish comic publishers, e.g. Egmont Polska (Egmont Poland), Kultura Gniewu (Wrath's Culture), Mandragora, Japonica Polonica Fantastica, and their most important titles. The article includes almost all forms of comic book publishing, such as European, American and Asian comic albums and books, comic magazines, children magazines, in which cartoons and funnies prevail. The paper do not analyze comic strips published in newspapers. The article is supported by numerical data. The study contains also author's own defi nition of the comic book market
MORBIDADE HOSPITALAR DA HEMOFILIA NO SUS BRASILEIRO: UM ESTUDO RETROSPECTIVO DA ÚLTIMA DÉCADA
No full textObjetivo: Identificar o perfil epidemiológico das hospitalizações que realizaram tratamento de hemofilias no Sistema Único de Saúde (SUS) na última década. Método: Realizou-se um estudo de base populacional, descritivo e de caráter transversal com dados obtidos a partir da plataforma DATASUS do Ministério da Saúde no Sistema de Informações Hospitalares (SIH-SUS), com ênfase na população internada para realizar tratamento de hemofilias, A e B, no Brasil no período de maio de 2014 a maio de 2024. Os dados foram filtrados a partir dos marcadores epidemiológicos: quantidade total de internações hospitalares por ano e região, valor médio da internação por paciente, tempo médio de internação, caráter de atendimento, valor total gasto, número total de óbitos por região e taxa de mortalidade. Como a fonte de dados é de acesso público, a aprovação pelo comitê de ética em pesquisa e humanos foi desnecessária. Resultados: No período analisado, foram registradas um total de 5.882 internações para tratamento de hemofilias com uma média de 588 casos/ano. A partir disso, obteve-se uma oscilação no número de internações, cujo ano de 2017 registrou a maior soma com 655 (11,13%) casos, seguido pelo de 2016 com 634 (10,77%) e 2023 com 611 (10,38%). Até maio de 2024, haviam 219 internações. Regionalmente, 3.077 (52,31%) registros foram no Sudeste, 1.637 (27,83%) no Nordeste, 594 (10,09%) no Sul, 388 (6,6%) no Norte e 186 (3,16%) no Centro-Oeste. O gasto por internação foi totalizado em R 11.578.698,82. Ademais, contabilizou-se um total de 96 óbitos, cuja região Nordeste obteve maior número de óbitos em relação ao valor absoluto de internações, refletindo 47 notificações, seguida pelo Sudeste com 38 e Sul com 7. Não foram registrados óbitos no Norte. A taxa de mortalidade geral foi de 1,63%. Discussão: As internações oscilaram entre períodos de aumento e declínio. Todavia, ao analisar o total de hospitalizações de 2014, 424 registros, e 2023, 611, nota-se aumento. As disparidades regionais são notórias, em vista a prevalência de casos na região Sudeste, a mais populosa do país, enquanto o maior número de óbitos foi registrado no Nordeste. Quanto ao número de óbitos, não houve um aumento ou decréscimo lineares, mas uma oscilação anual no período observado. Outrossim, o caráter urgente de internações evidencia uma necessidade de maior atenção a estes pacientes. Em relação aos gastos públicos, percebe-se alta demanda de custos ao sistema de saúde. Conclusão: Os pacientes com hemofilia carecem de acompanhamento clínico com equipe de médicos hematologistas, sobretudo, nos Centros de Tratamento de Hemofilia. Conhecer a realidade do SUS é fundamental para propiciar atendimento homogêneo aos pacientes, considerando as diferentes características, permitindo avaliar não só complicações da doença, delinear melhores planos terapêuticos. Ainda que demande altos custos, é importante que esses pacientes recebam atenção multidisciplinar e sejam referenciados para serviços que ofertem está modalidade, buscando o atendimento integral com o fito de minorar o desfecho clínico das sequelas e multimorbidades, proporcionando maior qualidade de vida a eles
Resilience Engineering
No full textThe increasing complexity of our world makes the occurrence of disruptive events with unforeseeable consequences more likely. The future is characterised by uncertainty; therefore, societies and their critical infrastructures need resilience, understood as generic adaptability thanks to flexibility and loose resources. In this book, the author argues that resilience can be normatively desirable if it is used to combine individual freedom and security. Using this as his premise, he develops a new concept of resilience for civil security research and shows how the engineering sciences can implement it through system principles such as diversity, modularity, decentralisation and redundancy.PublishedDie zunehmende Komplexität unserer Welt macht das Auftreten disruptiver Ereignisse mit unvorhersehbaren Folgen wahrscheinlicher. Die Zukunft ist durch Unsicherheit gekennzeichnet. Deshalb brauchen Gesellschaften und ihre kritische Infrastrukturen Resilienz, verstanden als generische Anpassungsfähigkeit dank Flexibilität und loser Ressourcen. Der Autor argumentiert in diesem Buch, dass Resilienz durch das Zusammendenken von individueller Freiheit und Sicherheit normativ wünschenswert sein kann. Davon ausgehend entwickelt er ein neues Resilienz-Konzept für die zivile Sicherheitsforschung und zeigt, wie die Ingenieurwissenschaften dieses durch Systemprinzipien wie Diversität, Modularität, Dezentralität und Redundanz umsetzen können
- …
