Filters








4,858 Hits in 6.0 sec

Symbiotic 7: Integration of Predator and More [chapter]

Marek Chalupa, Tomáš Jašek, Lukáš Tomovič, Martin Hruška, Veronika Šoková, Paulína Ayaziová, Jan Strejček, Tomáš Vojnar
2020 Lecture Notes in Computer Science  
Then we call Klee to check memory safety of the sliced program. Symbiotic 7 newly integrates Predator [6], a static analyzer specialized on memory safety.  ...  Symbiotic 7 brings improvements in all parts of the tool. In particular, we integrated the advanced shape analysis implemented in Predator to our instrumentation process for memory safety checking.  ...  Source codes of the project and references to all its components can be found at: https://github.com/staticafi/symbiotic Symbiotic 7: Integration of Predator and More  ... 
doi:10.1007/978-3-030-45237-7_31 fatcat:4s5xokzrcjctjcsd4p6jsugptq

Symbiotic 8: Beyond Symbolic Execution [chapter]

Marek Chalupa, Tomáš Jašek, Jakub Novák, Anna Řechtáčková, Veronika Šoková, Jan Strejček
2021 Lecture Notes in Computer Science  
Further, we have tuned the shape analysis toolPredator(integrated already inSymbiotic 7) to perform better onllvmbitcode.  ...  AbstractSymbiotic 8 extends the traditional combination of static analyses, instrumentation, program slicing, and symbolic execution with one substantial novelty, namely a technique mixing symbolic execution  ...  Both, Klee and Slowbeast use Z3 [7] as the SMT solver.  ... 
doi:10.1007/978-3-030-72013-1_31 fatcat:as5duleyqnbyzcgrpnsir4qsue

Symbiotic Associations in Ascidians: Relevance for Functional Innovation and Bioactive Potential

Ana Matos, Agostinho Antunes
2021 Marine Drugs  
predators through production of natural products, chemical signals or competition.  ...  The integration of worldwide studies characterizing ascidians' microbiome composition revealed several functions including UV protection, bioaccumulation of heavy metals and defense against fouling or  ...  We would like to thank all the comments and suggestions provided by the four anonymous reviewers and the Associated Editor, which surely improved the quality of the present work.  ... 
doi:10.3390/md19070370 pmid:34206769 pmcid:PMC8303170 fatcat:lhxga2cvy5fcnkvb2j4d4lovr4

Symbiotic Innovative Relationships of Small and Medium Enterprises

Adeleke.O. Banwo, Jianguo Du, Uchechi Onokala
2015 Journal of Advanced Management Science  
This paper aims to explore the nature of "homegrown" innovation among SMEs arising from their symbiotic relationships with Multinational companies and strategic alliances with Asia.  ...  The paper employed a qualitative approach and attempts to contribute to the literature on innovation in developing countries and provide strategic and practical policy and business recommendations beneficial  ...  in part by the National Natural Science Foundation of China under grants 71171099, 71373818 and 71201071, and by the Research Fund for the Doctoral Program of Higher Education under grant 20123227110011  ... 
doi:10.12720/joams.3.2.128-131 fatcat:zeo5gwfwdzdfvgj4k5wxmdxtwu

New insights into symbiotic associations between ants and bacteria

Caroline Boursaux-Eude, Roy Gross
2000 Research in Microbiology  
The analysis of the parasitic and mutualistic interactions of these organisms will allow interesting insights into the evolution of symbiosis and possibly lead to novel strategies of pest control. © 2000  ...  However, only in the past few years have new insights into the symbiosis of ants and microorganisms been reported.  ...  Sauer and J. Daniels for critical reading of the manuscript.  ... 
doi:10.1016/s0923-2508(00)00221-7 pmid:11037129 fatcat:fzvznskv3reu7oral4poagnjr4

How diseases affect symbiotic communities

Ezio Venturino
2007 Mathematical Biosciences  
Examples of species living in symbiotic communities are well known among biologists.  ...  Parasites of mutualism are also considered e.g. bees and birds which utilize nectar but do not pollinate, [7], ants which do not protect their host plants [18] , interaction between two hummingbird pollinated  ...  Sandro Bertolino, University of Torino, for providing Refs. [8, 22] and to Professor Guido Badino and Dr. Marco Isaia, University of Torino, for a very useful discussion and for providing Refs.  ... 
doi:10.1016/j.mbs.2006.03.007 pmid:16620877 fatcat:xelw6b3dezaitlt7kjho33p7a4

Comparative genomics of Bradyrhizobium japonicum CPAC 15 and Bradyrhizobium diazoefficiens CPAC 7: elite model strains for understanding symbiotic performance with soybean

Arthur Siqueira, Ernesto Ormeño-Orrillo, Rangel Souza, Elisete Rodrigues, Luiz Gonzaga Almeida, Fernando Barcellos, Jesiane Stefânia Batista, Andre Nakatani, Esperanza Martínez-Romero, Ana Tereza Vasconcelos, Mariangela Hungria
2014 BMC Genomics  
In CPAC 7, more genes were related to the metabolism of amino acids and hydrogen uptake, potentially correlated with higher efficiency of nitrogen fixation than seen with CPAC 15.  ...  soils, efficiency of N 2 fixation, nodulation and competitiveness.  ...  Chueire for help in several steps of this work and to Dr. Allan R.J. Eaglesham for English review and suggestions on the manuscript.  ... 
doi:10.1186/1471-2164-15-420 pmid:24888481 pmcid:PMC4070871 fatcat:zsmxhjqsjjde7i46sf7w4i64da

Gene-Swapping Mediates Host Specificity among Symbiotic Bacteria in a Beneficial Symbiosis

Alba A. Chavez-Dozal, Clayton Gorman, C. Phoebe Lostroh, Michele K. Nishiguchi, Christophe Beloin
2014 PLoS ONE  
The competitive ability of these symbiotic loci depended upon the locus tested and the specific squid species in which colonization was measured.  ...  Environmentally acquired beneficial associations are comprised of a wide variety of symbiotic species that vary both genetically and phenotypically, and therefore have differential colonization abilities  ...  Author Contributions  ... 
doi:10.1371/journal.pone.0101691 pmid:25014649 pmcid:PMC4094467 fatcat:4wtyrjyrhzdyda3qwn6vzk55ai

An Analysis on a Negotiation Model Based on Multiagent Systems with Symbiotic Learning and Evolution

Md. Tofazzal HOSSAIN
2012 SICE Journal of Control Measurement and System Integration  
This study explores an evolutionary analysis on a negotiation model based on Masbiole (Multiagent Systems with Symbiotic Learning and Evolution) which has been proposed as a new methodology of Multiagent  ...  In Masbiole, agents evolve in consideration of not only their own benefits and losses, but also the benefits and losses of opponent agents.  ...  Negative interactions mean predation and competition, while positive interactions include mutualism and sharing.  ... 
doi:10.9746/jcmsi.5.55 fatcat:2ujfpz6tbbebhc4icxblubm7wm

Symbiotic Communications: Where Marconi Meets Darwin [article]

Ying-Chang Liang, Ruizhe Long, Qianqian Zhang, Dusit Niyato
2021 arXiv   pre-print
With the proliferation of wireless applications, the electromagnetic (EM) space is becoming more and more crowded and complex.  ...  Promisingly, the proposed SC paradigm breaks the boundary of radio systems, thus providing us a fresh perspective on radio resource management and new guidelines to design future wireless communication  ...  In 1960s, biologists found that species's cooperation and interdependence play an important role in the evolutionary process, in addition to competition [7] .  ... 
arXiv:2103.16142v1 fatcat:yrutldvyhjbhzfk5jymcuye5tu

Coevolution of symbiotic mutualists and parasites in a community context

Peter H. Thrall, Michael E. Hochberg, Jeremy J. Burdon, James D. Bever
2007 Trends in Ecology & Evolution  
Here, we discuss the potential coevolutionary interdependence of the strength and specificity of symbiotic interactions with the complexity and productivity of their environment.  ...  Testing these predictions on a geographical scale would contribute significantly to the predictive science of coevolution, and to our ability to manage biological interactions embedded in increasingly  ...  (e.g. competition and predation) and, therefore, are important testing grounds for macroecological and ecosystem patterns.  ... 
doi:10.1016/j.tree.2006.11.007 pmid:17137675 fatcat:ojeqrwh6zvcfrpv5g7ltqpiim4

Symbiotic Relationships in Business Ecosystem: A Systematic Literature Review

Changhee Yoon, Seungyeon Moon, Heesang Lee
2022 Sustainability  
We have introduced the typology of symbiotic relationships and highlighted the significant role of keystone species in business ecosystems.  ...  The results also showed that a keystone species, a leader of a business ecosystem, can contribute to the success of a business ecosystem by strategically managing their relationship with symbionts.  ...  For example, key natural phenomena, such as prey-and-predator, cooperation, competition, and growth, are also observed in business fields [6] .  ... 
doi:10.3390/su14042252 fatcat:a33cdjm5bfhu3effebukbmr26e

Symbiotic microbiota may reflect host adaptation by resident to invasive ant species

Daifeng Cheng, Siqi Chen, Yuquan Huang, Naomi E. Pierce, Markus Riegler, Fan Yang, Ling Zeng, Yongyue Lu, Guangwen Liang, Yijuan Xu, David S. Schneider
2019 PLoS Pathogens  
that are reflected in both its trophic position and symbiotic microbiota.  ...  Exotic invasive species can influence the behavior and ecology of native and resident species, but these changes are often overlooked.  ...  Acknowledgments We thank Jon Sanders (Cornell University), Christopher Baker (Harvard University) and Jacob Russell (Drexel University) for constructive comments and suggestions on an early draft of this  ... 
doi:10.1371/journal.ppat.1007942 pmid:31323076 pmcid:PMC6668852 fatcat:aeoy7vbbdjd6zhyzu6s42x66oi

The symbiotic branching model: duality and interfaces [article]

Jochen Blath, Marcel Ortgiese
2020 arXiv   pre-print
The symbiotic branching model describes the dynamics of a spatial two-type population, where locally particles branch at a rate given by the frequency of the other type combined with nearest-neighbour  ...  This model generalizes various classic models in population dynamics, such as the stepping stone model and the mutually catalytic branching model.  ...  We also would like to thank the two referees and Matthias Hammer for carefully reading our manuscript and for their helpful comments.  ... 
arXiv:2002.02825v1 fatcat:4ptuoimngbhdrjdzr73mdhnobu

Innovation Research on Symbiotic Relationship of Organization's Tacit Knowledge Transfer Network

Jiang Xu, Huihui Wu, Jianhua Zhang
2022 Sustainability  
Due to the implicitness of tacit knowledge and the complexity of members' relationships, symbiotic relationships between members have dramatically affected the transfer effect of tacit knowledge.  ...  knowledge provider, media richness, trust of the knowledge receiver, and organizational rewards matching, to discuss symbiotic modes.  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/su14053094 fatcat:diyul4isr5fwhpohj2r3fawvfa
« Previous Showing results 1 — 15 out of 4,858 results