Results 1 to 10 of about 1,365,658 (263)
Formal Reasoning Using an Iterative Approach with an Integrated Web IDE
, 2015 This paper summarizes our experience in communicating the elements of reasoning about correctness, and the central role of formal specifications in reasoning about modular, component-based software using a language and an integrated Web IDE designed for ...
Durkee, Blair +6 more
core +11 more sources
IDS rainStorm: visualizing IDS alarms [PDF]
IEEE Workshop on Visualization for Computer Security, 2005. (VizSEC 05)., 2005 The massive amount of alarm data generated from intrusion detection systems is cumbersome for network system administrators to analyze. Often, important details are overlooked and it is difficult to get an overall picture of what is occurring in the network by manually traversing textual alarm logs.
K. Abdullah +4 more
openaire +1 more source
A IMPORTÂNCIA DO ESPAÇO LATINO-AMERICANO NA INTERNACIONALIZAÇÃO DAS PMEs PORTUGUESAS [PDF]
Janus.net, 2020 À luz da transformação sofrida na última década pela economia portuguesa, onde a internacionalização das empresas portuguesas através das exportações teve um crescimento considerável, reduzindo a importância da procura interna como a
André Brás-dos-Santos +1 more
doaj +1 more source
Impedance-based real-time monitoring of neural stem cell differentiation
Journal of Electrical Bioimpedance, 2021 We present here the first impedance-based characterization of the differentiation process of two human mesencephalic fetal neural stem lines. The two dopaminergic neural stem cell lines used in this study, Lund human mesencephalic (LUHMES) and human ...
Shah F. J. +8 more
doaj +1 more source
Growth Priorities of the Four Riverine Cyprinids during Early Ontogeny
Animals, 2023 Growth patterns during early development of four species of riverine cyprinids, common dace (Leuciscus leuciscus L.), ide (Leuciscus idus L.), chub (Squalius cephalus L.) and common barbel (Barbus barbus L.), over 30 days of rearing, were analyzed.
Krzysztof Kupren +2 more
doaj +1 more source
Redes Sociais, Ator Social e Transformações Correntes: uma tentativa de Aproximação
Revista Eniac Pesquisa, 2015 O texto pretende associar como elemento explicativo da constituição de Redes Sociais, por um lado as exigências derivadas das transformações recentes pelas quais o mundo e a economia vem passando e, por outro, a mudança forma de agir e da racionalidade ...
Ronaldo Raemy Rangel +1 more
doaj +1 more source
Web-Based IDE to Create Model and Controller Components for MVC-based Web Applications on CakePHP [PDF]
, 2010 A Web-based IDE that allows users to easily manage Model and Controller components of a CakePHP web application was developed. With this IDE, users are able to manage the model and controller components without having to write very much PHP code.
Widjaja, Sugiharto
core +2 more sources
Revista de Estudos Sociais, 2017 O ensaio que aqui é apresentado se fundamenta em algumas teorias da economia comportamental, em aspectos econômicos do direito e em elementos teóricos que sustentam a necessidade da prática de governança e do compliance em ambientes complexos, com ...
Ronaldo Rangel +1 more
doaj +1 more source
Animals, 2023 The purpose of this study was to compare four activation solutions (AS)—Woynarovich, Lahnsteiner, Kucharczyk, and Perchec—with the addition of 0.5% bovine serum albumin (BSA) for ide (Leuciscus idus) sperm activation and analysis with a CASA system.
Beata Irena Cejko +3 more
doaj +1 more source
Revue Marocaine de l'Entrepreneuriat, de l'Innovation et du Management, 2020 Les modèles de croissance endogène voient dans l’investissement privé en capital physique, les innovations technologiques, le capital humain et le capital public des sources du progrès technique, et donc de la croissance économique. Barro (1990) démontre
Dounia RABHI, Abdelhakim QACHAR
doaj +1 more source