Filters








136 Hits in 7.4 sec

Design Issues in Transaction-Time Temporal Object Database Systems [chapter]

Kjetil Nørvåg
2000 Lecture Notes in Computer Science  
For the temporal data, the whole history of the individual objects is kept, and data is never deleted.  ...  The area of temporal ODBs is still immature, and there are many design issues that need to be solved in order to be able to achieve the desired performance.  ...  The location of the historical version is given through the OID in the leaf node. A variant of this approach has been used in the POST/C++ temporal object store (Suzuki and Kitagawa, 1996) .  ... 
doi:10.1007/3-540-44472-6_32 fatcat:imhke7butvcj3brz7s5eiz4ysm

Issues in Transaction-Time Temporal Object Database Systems

Kjetil Norvag
2001 Journal of Database Management  
For the temporal data, the whole history of the individual objects is kept, and data is never deleted.  ...  The area of temporal ODBs is still immature, and there are many design issues that need to be solved in order to be able to achieve the desired performance.  ...  The location of the historical version is given through the OID in the leaf node. A variant of this approach has been used in the POST/C++ temporal object store (Suzuki and Kitagawa, 1996) .  ... 
doi:10.4018/jdm.2001100104 fatcat:j55onmmyknge7espzrxapxoxxq

The Persistent Cache: Improving OID Indexing in Temporal Object-Oriented Database Systems

Kjetil Nørvåg
1999 Very Large Data Bases Conference  
We develop a cost model for the PCache, and use this to show that the use of a PCache can reduce the average access cost to only a fraction of the cost when not using the PCache.  ...  This has previously been shown to be a potential bottleneck, and in this paper, we present the Persistent Cache (PCache), a novel approach which reduces the index update and lookup costs in temporal OODBs  ...  Acknowledgments I would like to thank Olav Sandstå and Kjell Bratbergsengen for useful discussions and constructive comments.  ... 
dblp:conf/vldb/Norvag99 fatcat:gjhntzcbave5tfg7gkubboae4e

Abstraction Refinement-Based Verification of Timed Automata

Tamás Tóth, István Majzik
2021 Zenodo  
Formal methods are mathematical techniques that enable the rigorous specification and verification of hardware and software systems, typically in design time.  ...  However, a major difficulty in the successful application of model checking to verification of practical systems is its high computational cost: the cardinality of a system's state space is typically exponential  ...  We note that by switching the role of pre C and post C in the algorithm, a variant can be obtained that performs backward exploration in a lazy manner.  ... 
doi:10.5281/zenodo.4759046 fatcat:3vrprqrhfjeknjjdn74uqoreo4

Immunologic Homeostasis during Infection: Coexistence of Strong Pulmonary Cell-Mediated Immunity to Secondary Cryptococcus neoformans Infection While the Primary Infection Still Persists at Low Levels in the Lungs

D. M. Lindell, M. N. Ballinger, R. A. McDonald, G. B. Toews, G. B. Huffnagle
2006 Journal of Immunology  
Results Persistent pulmonary infection in mice 12 wk post-C. neoformans infection Our first objective was to determine the level of persistent infection in CBA/J mice 12 wk after pulmonary C. neoformans  ...  FIGURE 9 . 9 TNF-␣ and IFN-␥ production by freshly isolated (A) and restimulated (B) lung CD4 ϩ and CD8 ϩ T cells from mice at day 4 post-C. neoformans infection.  ...  Disclosures The authors have no financial conflict of interest.  ... 
doi:10.4049/jimmunol.177.7.4652 pmid:16982904 fatcat:ngb4romjrvfq3owyuuwf2wryg4

Parietal Dysgraphia: Characterization of Abnormal Writing Stroke Sequences, Character Formation and Character Recall

Yasuhisa Sakurai, Yoshinobu Onuma, Gaku Nakazawa, Yoshikazu Ugawa, Toshimitsu Momose, Shoji Tsuji, Toru Mannen
2007 Behavioural Neurology  
with 100 character kanji (Japanese morphograms) and their kana (Japanese phonetic writing) transcriptions, and related the test performance to a lesion site.Results:Patients 1 and 2 had postcentral gyrus  ...  :The present findings and a review of the literature suggest that: (i) a postcentral gyrus lesion can yield graphemic distortion (somesthetic dysgraphia), (ii) abnormal grapheme formation and impaired  ...  I LA TA V 89, P 73 Post C, SMG Pt 2 I I N N sl. I - TA V 107, P 94 Post C Pt 3 sl. I N I sl.  ... 
doi:10.1155/2007/906417 pmid:17538196 pmcid:PMC5469963 fatcat:flvi23xmybcifbuulco2z47x7u

Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs

Wolfgang Schreiner
2012 Electronic Proceedings in Theoretical Computer Science  
Errors in the program and in the meta-information may thus be detected and fixed prior to actually performing the formal verification.  ...  We present an approach to program reasoning which inserts between a program and its verification conditions an additional layer, the denotation of the program expressed in a declarative form.  ...  f p and POST(c, f p ) = f q denote derivations that compute from a command c and a condition f q on the post-state of c a corresponding condition f p on the pre-state, respectively from c and pre-condition  ... 
doi:10.4204/eptcs.79.8 fatcat:s5xelzintbaqxe2lu2de7lr454

Emotional persistence in online chatting communities

Antonios Garas, David Garcia, Marcin Skowron, Frank Schweitzer
2012 Scientific Reports  
Analysing the emotional expressions (positive, negative, neutral) of users, we revealed a remarkable persistence both for individual users and channels.  ...  We provide an agent-based model of emotional interaction, which recovers qualitatively both the activity patterns in chatrooms and the emotional persistence of users and channels.  ...  ., and F.S. designed the research, performed the research, analysed the data, and wrote the manuscript. M.S. collected the data and analysed the data.  ... 
doi:10.1038/srep00402 pmid:22577512 pmcid:PMC3349267 fatcat:zksnomjphndvhc7y7ykf7e6tpm

Social stress during adolescence activates long-term microglia inflammation insult in reward processing nuclei

Marta Rodríguez-Arias, Sandra Montagud-Romero, Ana María Guardia Carrión, Carmen Ferrer-Pérez, Ana Pérez-Villalba, Eva Marco, Meritxell López Gallardo, María-Paz Viveros, José Miñarro
2018 PLoS ONE  
Considered as a whole these results suggest that social stress experience modulates vulnerability to suffer a loss of glia-supporting functions and neuronal functional synaptic density due to drug consumption  ...  astrocytes and neurons of two reward-processing areas of the brain (the prelimbic cortex, and the nucleus accumbens core).  ...  Immunoreactive NeuN + densitometry was recorded with micrographs taken with a 20X magnification objective, while anti-CB1 and anti-synaptophysin was performed with a 10X magnification objective.  ... 
doi:10.1371/journal.pone.0206421 pmid:30365534 pmcid:PMC6203396 fatcat:eyxjjbgyeraubaoftbvkydpc2y

THE EFFECTS OF NEUROFEEDBACK TRAINING IN THE COGNITIVE DIVISION OF THE ANTERIOR CINGULATE GYRUS

REX CANNON, JOEL LUBAR, MARCO CONGEDO, KERI THORNTON, KERRY TOWLER, TERESA HUTCHENS
2007 International Journal of Neuroscience  
This study was conducted with eight non-clinical students, four male and four female, with a mean age of twenty-two.  ...  This study examines the efficacy of neurofeedback training in the cognitive division of the anterior cingulate gyrus and describes its relationship with cortical regions known to be involved in executive  ...  The data was collected and stored with a band pass set at 0.5-64 Hz at a rate of 256 samples per second.  ... 
doi:10.1080/00207450500514003 pmid:17365119 fatcat:6ofp4jptefgbjeez3rfiunp4rm

Introduction to Big Data Technology [chapter]

Bilal Abu-Salih, Pornpit Wongthongtham, Dengya Zhu, Kit Yan Chan, Amit Rudra
2021 Social Big Data Analytics  
Big data is no more "all just hype" but widely applied in nearly all aspects of our business, governments, and organizations with the technology stack of AI.  ...  The chapter then introduces technology stacks for an or-ganization to build a big data application, from infrastruc-ture/platform/ecosystem to constructional units and components.  ...  Also, an array of online resources is provided to help researchers and professionals to obtain further and deep insights into Big data technology.  ... 
doi:10.1007/978-981-33-6652-7_2 fatcat:dog5ym666famdedniwyewwswiq

Narratives: the Unforeseen Influencer of Privacy Concerns [article]

Ze Shi Li, Manish Sihag, Nowshin Nawar Arony, Joao Bezerra Junior, Thanh Phan, Neil Ernst, Daniela Damian
2022 arXiv   pre-print
We collected 4.5 million posts from Reddit and classified 129075 privacy related posts, which is a non-negligible number of privacy discussions.  ...  Next, we clustered these posts and identified 9 main areas of privacy concerns.  ...  One set of add ons I added has privacy in mind... one of these privacy focused add ons... was Multi-Acc Containers..." (Firefox) was labelled as a privacy post. C.  ... 
arXiv:2206.05600v1 fatcat:iu6zxj2q5bbtlg67blpfvegg3a

Testing data-centric services using poor quality data: from relational to NoSQL document databases

Nuno Laranjeiro, Seyma Nur Soydemir, Naghmeh Ivaki, Jorge Bernardino
2017 Journal of the Brazilian Computer Society  
Many times deployed as web applications or web services, these business-critical systems typically perform large amounts of database operations; thus, they are dependent on the quality of the data to provide  ...  The results indicate the effectiveness of the approach in discovering issues, not only at the application-level, but also in the middleware being used, contributing to the development of more reliable  ...  Availability of data and materials Not applicable Authors' contributions All authors read and approved the final manuscript.  ... 
doi:10.1186/s13173-017-0063-x fatcat:glmi33d3mnbeton2auyvuwxfwa

It's alive! continuous feedback in UI programming

Sebastian Burckhardt, Manuel Fahndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann, Jun Kato
2013 Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13  
Live programming allows programmers to edit the code of a running program and immediately see the effect of the code changes.  ...  By putting live programming on a more formal footing, we hope to enable critical and technical discussion of live programming systems.  ...  Self [26] with its Morphic [16] UI library gets around this limitation by supporting the direct manipulation [24] of object run-time structures, although such edits only persist and do not affect  ... 
doi:10.1145/2491956.2462170 dblp:conf/pldi/BurckhardtFHMMTK13 fatcat:wezhh3qrbvegvnhgd5taa46uma

It's alive! continuous feedback in UI programming

Sebastian Burckhardt, Manuel Fahndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann, Jun Kato
2013 SIGPLAN notices  
Live programming allows programmers to edit the code of a running program and immediately see the effect of the code changes.  ...  By putting live programming on a more formal footing, we hope to enable critical and technical discussion of live programming systems.  ...  Self [26] with its Morphic [16] UI library gets around this limitation by supporting the direct manipulation [24] of object run-time structures, although such edits only persist and do not affect  ... 
doi:10.1145/2499370.2462170 fatcat:qjxrn4ab7zeaxehhspkzmnz7pe
« Previous Showing results 1 — 15 out of 136 results