A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Filters
Symbiotic 7: Integration of Predator and More
[chapter]
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]
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
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
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
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
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
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
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
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]
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
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
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
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]
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
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