Filters








404 Hits in 7.8 sec

System design of stochastic models using robustness of temporal properties

Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti
2015 Theoretical Computer Science  
of the circadian clock of Ostreococcus Tauri, and a Feed-Forward motif of a gene regulatory network.  ...  First, we provide a simulation-based method to define a notion of robust satisfiability in stochastic models.  ...  in gene regulatory systems, and the Repressilator [38, 39, 40] , a synthetic biological clock implemented as a gene regulatory network.  ... 
doi:10.1016/j.tcs.2015.02.046 fatcat:yiqh7attzbf4jfjiglcyh7ahhm

Social physics [article]

Marko Jusup, Petter Holme, Kiyoshi Kanazawa, Misako Takayasu, Ivan Romic, Zhen Wang, Suncana Gecek, Tomislav Lipic, Boris Podobnik, Lin Wang, Wei Luo, Tin Klanjscek (+3 others)
2021 arXiv   pre-print
We then shift focus to a set of topics that explore potential threats to humanity.  ...  , cooperation as a basis for civilised life, the structure of (social) networks, and the integration of intelligent machines in such networks.  ...  Acknowledgements We are thankful to Sheikh Taslim  ... 
arXiv:2110.01866v1 fatcat:ccfxyezl6zgddd6uvrxubmaxua

Toxicity Analysis and Cry Gene Profiling of Bacillus Thuringiensis Isolated from Western Ghats of Tamil Nadu State, India

A. Ramalakshmi, P. Annakodi, V. Udayasurian, V. Balasubramani
2018 Proceedings of the Indian National Science Academy  
Turing -British mathematician established that there is no method to solve this problem through a formal definition of an abstract machine, now referred to as Turing Machine.  ...  This becomes evident from the quote due to Kurt Gödel 2 from his Gibbs Lecture: "the greatest improvement was made possible through the precise definition of the concept of finite procedure, which plays  ...  By partitioning the mesh across 1024 nodes of Blue Gene/P, each node (with 4 cores and 4 GB memory) can independently perform iterations for basin simulation on a part of the full basin, while performing  ... 
doi:10.16943/ptinsa/2018/49413 fatcat:2w6rohpbava5zh6m26tsiz7qky

A new method to generate a high-resolution global distribution map of lake chlorophyll

Michael J. Sayers, Amanda G. Grimm, Robert A. Shuchman, Andrew M. Deines, David B. Bunnell, Zachary B. Raymer, Mark W. Rogers, Whitney Woelmer, David H. Bennion, Colin N. Brooks, Matthew A. Whitley, David M. Warner (+1 others)
2015 International Journal of Remote Sensing  
A new method to generate a high-resolution global distribution map of lake chlorophyll.  ...  The purpose of this work was to develop a semi continuous ship-board Autonomous Plankton Metabolic Monitor (APMM) to measure primary productivity (P) and respiration (R), and evaluate this system in two  ...  We develop comprehensive statistical regression models to project medium-range lake ice cover only using projected indices of NAO, Nino3.4, AMO, and PDO one to several months ahead of time.  ... 
doi:10.1080/01431161.2015.1029099 fatcat:5uugnnzklrgtlam6gfq7gwlxsy

Using Multitemporal Imagery to Improve Mapping and Inventory of Forested Roads in Michigan's Upper Peninsula

David M. Banach, Colin N. Brooks, Mark A. Fedora
2016 Transportation Research Record  
The purpose of this work was to develop a semi continuous ship-board Autonomous Plankton Metabolic Monitor (APMM) to measure primary productivity (P) and respiration (R), and evaluate this system in two  ...  We develop comprehensive statistical regression models to project medium-range lake ice cover only using projected indices of NAO, Nino3.4, AMO, and PDO one to several months ahead of time.  ...  analysis of these measures, all within the current regulatory frameworks for the Great Lakes.  ... 
doi:10.3141/2580-07 fatcat:hvnrxsqcwzgbjiogbyo6ltfcry

Technology, Science, and Culture: A Global Vision [chapter]

Sergio Picazo-Vela, Luis Ricardo Hernández
2019 Technology, Science and Culture - A Global Vision  
The aim of the Workshop: Technology, Science, and Culture: A Global Vision is to create a discussion forum on research related to the fields of Water Science, Food Science, Intelligent Systems, Molecular  ...  The workshop is intended to discuss research on current problems, relevant methodologies, and future research streams and to create an environment for the exchange of ideas and collaboration among participants  ...  Acknowledgements An earlier version of this text was delivered as a presentation of the 2040 Visions of Process Systems Engineering-A Symposium on the Occasion of George Stephanopoulos's 70th Birthday  ... 
doi:10.5772/intechopen.83691 fatcat:3o66qi3g6zalpkios2shocjb2y

Proceeding of the Second International Research Symposium

ejssd journal
2021 Ethiopian Journal of Science and Sustainable Development  
Proceeding of the Second International Research Symposium  ...  Acknowledgements One of the authors, Enyew Amare Zereffa, gratefully acknowledges the financial support from the Ministry of Education of The Federal Democratic Republic of Ethiopia, through Embassy of  ...  RBI-81 stabilizer used in this study and I would like to express my deep sense of gratitude to Prof.  ... 
doi:10.20372/ejssdastu:v0.i0.2017.364 doaj:31a53463c0dc47a5a787d5d0dceee707 fatcat:m44wtthohjhldledjiovc5qrnm

The wealth of networks: how social production transforms markets and freedom

2006 ChoiceReviews  
participants in these learning networks.  ...  This effect, in turn, is in some sectors attenuated through the use of what Walter Powell and others have described as learning networks.  ...  If the former, this impulse may well present a formidable obstacle to the emergence of an open networked information environment. Notes Notes Notes Notes  ... 
doi:10.5860/choice.44-0999 fatcat:mwvfqo22gzcbnhsmxijqbxfyj4

Visible Light-Assisted Soft-Chemistry Route to Silver Nanomaterials at Room Temperature

Yi Wu, Xin Liu, Zi Huang, Xiang Fei He, Xi Yang, Qing Li
2019 Key Engineering Materials  
Silver nanoparticles (AgNPs) were synthesizd by a light-assisted liquid phase reduction method with sodium hypophosphite as a reducing agent. DTAB was used to perform as the surfactant.  ...  The effect of temperature on the morphology and properties of silver nanoparticles was investigated.  ...  This procedure chooses randomly a picking device and assigns it to a gene, then customer orders are randomly chosen from the order pool and assigned to each batch.  ... 
doi:10.4028/www.scientific.net/kem.807.165 fatcat:xara5sxzf5fsvbib2dy6vrl7j4

The Fourth Paradigm – Data-Intensive Scientific Discovery [chapter]

Tony Hey
2012 Communications in Computer and Information Science  
The F o u r T H Data-In t e n s I v e scIen t I f I c DIs c o v e r y P a r a d i g m MiCroSoF T reSe arCH REDMOND, WASHINGTON  ...  very helpful discussion on a draft of this material. to all the contributors to this book for sharing their visions within the Fourth Paradigm.  ...  Acknowledgments My thanks to the participants at the April 24, 2009, Buckland-Lynch-Larsen "Friday Seminar" on information access at the University of California, Berkeley, School of Information for a  ... 
doi:10.1007/978-3-642-33299-9_1 fatcat:etue636ubrandga5corvkx3d7u

D1.6- Summary progress report year 2 [article]

ANSES
2021 Zenodo  
A CCP mandate was developed to detail the role of members of the CCP network.  ...  The work towards a joint publication (NOVA-ORION-COHESIVE) has been also initiated recently. 4.1.2.6.3.2.2 JRP6-WP1-T2: Mapping of surveillance: data, regulatory framework, key stakeholders, opportunities  ...  This report was delayed due to lack of manpower. That was fixed, and the report was handed in on the new forecasted delivery date.  ... 
doi:10.5281/zenodo.4897003 fatcat:hlxtmxmba5djfkyjcfonoug77e

A Comprehensive Survey on Particle Swarm Optimization Algorithm and Its Applications

Yudong Zhang, Shuihua Wang, Genlin Ji
2015 Mathematical Problems in Engineering  
This survey presented a comprehensive investigation of PSO.  ...  On the other hand, we offered a survey on applications of PSO to the following eight fields: electrical and electronic engineering, automation control systems, communication theory, operations research  ...  in contemporary biology, since it helped researchers to comprehend the regulatory mechanism of gene expression.  ... 
doi:10.1155/2015/931256 fatcat:ubc5eywnhzdjllxjaywe4czhnm

Quantification of environmental and economic impacts for main categories of building labeling schemes

Erkki Seinre, Jarek Kurnitski, Hendrik Voll
2014 Energy and Buildings  
FaculTy oF civil enGineerinG chair oF heaTinG and venTilaTion chair of heating and ventilation mainly focuses on the research in hvac systems, indoor climate of the buildings, energy efficient and sustainable  ...  Brain research Group The research activity is continuously aimed to development of algorithms for detection of characteristic changes in the brain electroencephalographyc (eeG) signal related to the mental  ...  disorders and the effect of external physical stressor.  ... 
doi:10.1016/j.enbuild.2013.11.048 fatcat:ckgxbn7mtrh47gf4xsdaaio5jm

2014 Abstracts

Joseph Horzempa
2014 Proceedings of the West Virginia Academy of Science  
At the start and end of the study, a degree of damage was established for each artifact, and change in damage over time was calculated.  ...  to minimize air and light entry.  ...  Deletion mutation of the IglC gene in Francisella tularensis through homologous recombination.  ... 
doi:10.55632/pwvas.v86i1.144 fatcat:ftmehmhbofgqdce7qnlpofjqsm

Basque Conference on Cyber Physical Systems and Artificial Intelligence

Manuel Graña
2022 Zenodo  
This entry contains the proceedings of the Basque Conference on Cyber Physical Systems and Artificial Intelligence  ...  The ARIM project was developed within the framework of the Tecnoterra (ICM-CSIC/UPC), the MarTERA ERA-Net Cofound and funded by Centro para el Desarrollo Tecnolo Industrial (CDTI) and RESBIO (TEC2017-87861  ...  In addition, authors thank to the group "Nuevos desarrollos en salud" of Bioaraba and to Osakidetza-Servicio Vasco de Salud for their collaboration.  ... 
doi:10.5281/zenodo.7010718 fatcat:a4gzrvtkybdbpmycqmjkvryco4
« Previous Showing results 1 — 15 out of 404 results