60 Hits in 2.0 sec

Derivation of Event-B Models from OWL Ontologies

Eman H. Alkhammash, N. Mastorakis, V. Mladenov, A. Bulucea
2016 MATEC Web of Conferences  
Firstly, ACE is easy to learn and understand, it hides the math of OWL and would be natural to use by everybody.  ...  An ontology is used in the field of knowledge representation to capture a clear view of the domain and to produce a concise and unambiguous set of domain requirements.  ...  into Event-B models using ACE.  ... 
doi:10.1051/matecconf/20167604008 fatcat:5kt65wbw7bbklhrvbmmotmfoey

CRISPR-Cas9 cytidine and adenosine base editing of splice-sites mediates highly-efficient disruption of proteins in primary and immortalized cells

Mitchell G Kluesner, Walker S Lahr, Cara-Lin Lonetree, Branden A Smeester, Xiaohong Qiu, Nicholas J Slipek, Patricia N Claudio Vázquez, Samuel P Pitzen, Emily J Pomeroy, Madison J Vignes, Samantha C Lee, Samuel P Bingea (+3 others)
2021 Nature Communications  
Collectively, we demonstrate a robust method for gene disruption, accompanied by a modular design tool that is of use to basic and translational researchers alike.  ...  To address these needs, we develop SpliceR ( ) to design and rank BE-splice sgRNAs for any Ensembl annotated genome, and compared disruption approaches in T cells using a screen  ...  BE-splice sgRNAs were designed using SpliceR ( and pmSTOP sgRNAs were designed using the iSTOP database (  ... 
doi:10.1038/s41467-021-22009-2 pmid:33893286 fatcat:npomohbthfha5lr3hmaotrqjfu


2000 Revista Brasileira de Geociências  
Lyell's understanding of these questions (letter of 1829) corresponded to a "steady state conception" for Earth history -"no causes whatever have ... ever acted, but those now acting" (in Lyell 1881,  ...  Both are statements of a comprehensive understanding of Earth's history and vicissitudes all along its whole existence.  ... 
doi:10.25249/0375-7536.2000303460465 fatcat:v674rarox5fuzjbcqqbcfn225a

On the SAR derived alert in the detection of oil spills according to the analysis of the EGEMP

Guido Ferraro, Björn Baschek, Geraldine de Montpellier, Ove Njoten, Marko Perkovic, Michele Vespe
2010 Marine Pollution Bulletin  
Satellite services that deliver information about possible oil spills at sea currently use different labels of "confidence" to describe the detections based on radar image processing.  ...  A common approach is to use a classification differentiating between low, medium and high levels of confidence.  ...  As a consequence, a better understanding of the image context allows adequate follow-up actions. This principle is similar to that of the bar-chart approach.  ... 
doi:10.1016/j.marpolbul.2009.08.025 pmid:19775709 fatcat:aeo43poytna7tmittgasxj4n3i

Analysis of Science Images Presence in Cartoons (A Turkish TV Channel Case)

Kamile Ozer Aytekin
2020 European Journal of Educational Research  
Relevant data has been collected using " Form for Analyzing Scientific Image Presence in Cartoons" developed and applied by the researcher.  ...  The research is conducted in line with qualitative research method according to the case model.  ...  In addition, while creating the scenarios of cartoons, the images of science, which are mostly used in daily life, should be included, and images related to the history of science, scientists and science  ... 
doi:10.12973/eu-jer.9.3.1347 fatcat:uzsqlbyy3bcltgtudfniwcl4k4

A numerical study of field-aided diffusion

1974 Microelectronics and reliability  
Y ou w ill fin d a good image o f th e page in the adjacent frame. 3.  ...  W hile the most advanced technological means to photograph and reproduce this docum ent have been used, th e q uality is heavily dependent upon the q uality of the original subm itted.  ...  Basic research such as that presented here and recommended above will lead to a better understanding of the basic diffusion process which is so widely used today.  ... 
doi:10.1016/0026-2714(74)90401-6 fatcat:n62vuyvd3bf6znruzyzwz7z6kq

Probabilistic Verification at Runtime for Self-Adaptive Systems [chapter]

Antonio Filieri, Giordano Tamburrelli
2013 Lecture Notes in Computer Science  
In particular, the paper discusses the use of probabilistic model checking at run-time for selfadaptive systems by surveying and comparing the existing approaches divided in two categories: state-elimination  ...  Software models and model checking techniques at run time represent one of them since they support automatic reasoning about such changes, detect harmful configurations, and potentially enable appropriate  ...  In this section we provide a brief introduction to the mathematical concepts used throughout the paper.  ... 
doi:10.1007/978-3-642-36249-1_2 fatcat:red55kocdbgmjdsavduvicjwfa

Misunderstanding child-centeredness: The case of "child 2.0" and media education

Pekka Mertala
2020 Journal of Media Literacy Education  
Such images were also identified from the diaries, as many of the preservice teachers appeared to possess beliefs that children, even this young, outshine older generations in using and understanding media  ...  (PST#4) This course gave me more information on the use of the iPad and the applications it offers (iStop-motion and iMovie) and their use in an actual early childhood education environment.  ... 
doi:10.23860/jmle-2020-12-1-3 fatcat:vrjaayhlobhr7m7txbb7pjzxga

Sibelius and the World of Art: Experience and Expression through Music and Imagery in Arts Educational Studies

Inkeri Ruokonen, Erica Othman
2016 InSEA ART Education VISUAL Journal IMAG #3  
This proposal should also be accompanied with images in good resolution formats and/or links to Video files. References should follow the APA norm.  ...  The total word limit for the Photo-essays and Visual reports is between 1000 and 2000 words, should integrate image and text in a creative way to document, evaluate or reflect on art-based learning activities  ...  We bring to literacy events social models, concepts and social semiotics regarding to the nature of the event.  ... 
doi:10.24981/2414-3332-3.1.2016.18 fatcat:fgfs57dqpffkxkntmxhkcowyp4

Cokriging—a computer program

James R Carr, Donald E Myers, Charles E Glass
1985 Computers & Geosciences  
The notation and terminology used in this paper is presented in Myers (1982 Myers ( , 1983a . The general concept of ¢okriging is described in Matheron (1971) .  ...  CROSS computes the cross-covariance value using the same three covariance models.  ... 
doi:10.1016/0098-3004(85)90002-0 fatcat:lyyokjorpjg3jdu35scbn53nke

New Interpretation of Hyperonic Charge and its Generalization to Leptons

Takao Okabayashi
1958 Progress of theoretical physics  
are used as the stepping stones.  ...  In Appendix, the spinor analysis in the six dimensional space, which partly reproduces Our phenomenologically obtained results, is described as a tentative modeL § 1.  ...  They will help us in obtaining the deeper understanding about the problem of the parity-violation.  ... 
doi:10.1143/ptp.20.583 fatcat:xltjfct575hpdo72b7d3um7yyy

Systems Genetics of DNA Damage Tolerance – Cisplatin, RAD5 & CRISPR-mediated Nonsense

Eric Edward Bryant
Convenient genome engineering in Saccharomyces has made this organism an ideal model to develop systems genetics concepts and approaches.  ...  In the clinic, intentional DNA damage is often used to treat cancer.  ...  Light emission was captured using an Amersham TM Imager 600 (GE Healthcare).  ... 
doi:10.7916/d8-k1d0-kb09 fatcat:avlxjeh6kfezzm4c3kumb5gcim

Topological Shape Theory [article]

Edward Anderson
2018 arXiv   pre-print
Kendall's Similarity Shape Theory for constellations of points in the carrier space R^n was developed for use in Probability and Statistics.  ...  Aside from offering a wider range of shape-statistical applications, this field of study is an exposition of models of Background Independence of relevance to the Absolute versus Relational Motion Debate  ...  In physical applications, the points are often considered to be particles, so we use 'point-or-particle' as a portmanteau name and concept.  ... 
arXiv:1803.11126v1 fatcat:75kyxrolkjfszam5m6bq2y6c7q

Classroom strategies in teaching the media

Reijo Kupiainen
2015 Eesti Haridusteaduste Ajakiri  
In education, these are related to content as well as to an understanding of basic concepts.  ...  They were not familiar with IStop-Motion, GarageBand or FinalCut software, but they quickly determined how to use the software for their means.  ... 
doi:10.12697/eha.2015.3.2.04b fatcat:ah347xj3g5g5jd36oo23hcqs54

Incontinence after radical prostatectomy: Anything new in its management?

Romain Caremel, Jacques Corcos
2014 Canadian Urological Association Journal  
Fig. 7 . 7 Image showing placement of the ATOMS® device: the self-anchoring adjustable system supports the bulbar urethra using the transobturator approach.  ...  In the ISTOP sling trial, patients were excluded if they had a history of prostate RT.  ... 
doi:10.5489/cuaj.1349 pmid:25024791 pmcid:PMC4081251 fatcat:fyacxynorbekte5gmp54zsnpum
« Previous Showing results 1 — 15 out of 60 results