Filters








261,909 Hits in 4.2 sec

UniForM Perspectives for Formal Methods [chapter]

Bernd Krieg-Brückner
1999 Lecture Notes in Computer Science  
Trends for Formal Methods are reviewed and illustrated by several industrial applications: logical foundations of combination, verification, transformation, testing, and tool support.  ...  The UniForM Workbench is the background for highlighting experiences made over the past 20 years.  ...  The UniForM Workbench (Universal Formal Methods Workbench, cf.  ... 
doi:10.1007/3-540-48257-1_16 fatcat:e6563rfyfref3hodibl3w4tihe

Moving Together: Towards a Formalization of Collective Movement

Juri Buchmüller, Eren Cakmak, Natalia Andrienko, Gennady Andrienko, Jolle W. Jolles, Daniel A. Keim
2019 Eurographics Conference on Visualization  
Instead of concentrating on origin, destination and the way in between, this inter-mover perspective on spatiotemporal data allows to explain how moving groups are coordinating.  ...  While conventional applications for spatiotemporal datasets mostly focus on the relation between movers and environment, research questions in the analysis of collective movement typically focus more on  ...  Consequently, the domain of spatiotemporal data analysis has to provide methods to reflect this change of perspective.  ... 
doi:10.2312/eurova.20191122 dblp:conf/vissym/BuchmullerCAAJK19 fatcat:2sjyuq7fg5bufk43ggconv7cyi

"Phase freezeout" in isentropically expanding matter [article]

Igor Iosilevskiy
2014 arXiv   pre-print
This property makes it possible (at least formally) to discuss this type of isentropic expansion of WDM as a tool for generation (and diagnostics) of extended uniform state of matter exactly on binodal  ...  It is natural to use the term "phase freezeout" for this regime of expansion.  ...  Promising alternative way for generation of such uniform and extensive sample of investigated substance just at the boiling (sublimation) condition is presently discussed for the case of perspective future  ... 
arXiv:1401.5481v1 fatcat:i7qzl6aqcjdqlheqjzgxexyggq

MULTICULTURAL ISLAMIC EDUCATION: GUS DUR AND CAK NUR PERSPECTIVES

Abdul KHOBIR, Khomsatun ROSALINA, Fatmawati Nur HASANAH, Dian RIF'IYATI
2021 Zenodo  
in the thoughts of Gus Dur and Cak Nur, there are similarities that lie in the aspects of multicultural ideas, the objectives of multicultural Islamic education, the concept of educators and learning methods  ...  This diversity is unique for the Indonesian people. Multicultural understanding is needed to be implemented in the life of a pluralistic society.  ...  In addition to coaching and training methods, dialogical methods and democratic methods in their various forms can teach the meaning of equal rights and obligations for all individuals and groups as well  ... 
doi:10.5281/zenodo.5790035 fatcat:i2hglzgycjghrd7cdxkut5iisu

Say Hello to Your New Automated Tutor - A Structured Literature Review on Pedagogical Conversational Agents

Sebastian Hobert, Raphael Meyer von Wolff
2019 International Conference on Wirtschaftsinformatik  
Based on our results, we outline a research agenda for future research studies.  ...  In this paper, we present the current state of the art of using conversational agents for educational purposes.  ...  However, there is no uniform evaluation method approach. Summary. Based on the methodical view of the paper corpus, we conclude that the applied methods are quite heterogeneous.  ... 
dblp:conf/wirtschaftsinformatik/HobertW19 fatcat:mdxnfcg4g5exbm5efrekuwo24i

Perspective shadow maps

Marc Stamminger, George Drettakis
2002 ACM Transactions on Graphics  
¡ £ ¢ ¡ ¤ ¢ Figure 1: (Left) Uniform 512x512 shadow map and resulting image. (Right) The same with a perspective shadow map of the same size.  ...  Perspective shadow maps can directly replace standard shadow maps for interactive hardware accelerated rendering as well as in high-quality, offline renderers.  ...  Durand for his very helpful comments. Most of the models in the result section were downloaded from www.3dcafe.com and www.help3d.com.  ... 
doi:10.1145/566654.566616 fatcat:vw6s7xnk7zb6xbclfch6qrqhhm

Perspective shadow maps

Marc Stamminger, George Drettakis
2002 ACM Transactions on Graphics  
¡ £ ¢ ¡ ¤ ¢ Figure 1: (Left) Uniform 512x512 shadow map and resulting image. (Right) The same with a perspective shadow map of the same size.  ...  Perspective shadow maps can directly replace standard shadow maps for interactive hardware accelerated rendering as well as in high-quality, offline renderers.  ...  Durand for his very helpful comments. Most of the models in the result section were downloaded from www.3dcafe.com and www.help3d.com.  ... 
doi:10.1145/566570.566616 fatcat:osw7zd3ggfchdbtsk6u5e7y5mi

FAMCARE: COGNITIVE-BEHAVIORAL PROBLEM SOLVING TRAINING FOR FAMILY CAREGIVERS TO CANCER SURVIVORS

2016 The gerontologist  
We examined the knowledge of AD and care services, beliefs about AD, perspectives regarding use of formal care for AD, and the willingness to participate in clinical research.  ...  We used the Uniform Data Set from the National Alzheimer's Coordinating Center to develop an exponential parametric survival model to predict the risk of nursing home placement for incident dementia patients  ...  KNOWLEDGE AND PERSPECTIVES OF ALZHEIMER'S CARE AND CLINICAL RESEARCH AMONG KOREAN SESSION 2160 (PAPER) SUPPORT FOR FORMAL AND INFORMAL HELPERS FAMCARE: COGNITIVE-BEHAVIORAL PROBLEM SOLVING TRAINING FOR  ... 
doi:10.1093/geront/gnw162.2788 fatcat:fzeyrgygbnhn5ex6fw6mx7y6z4

Describing Images using a Multilayer Framework based on Qualitative Spatial Models

Tao Wang, Hui Shi
2015 The Baltic International Yearbook of Cognition, Logic and Communication  
Assigned different semantic and context knowledge, the image segments and the qualitative spatial constraints are interpreted from different perspectives.  ...  Generally, the framework introduces qualitative spatial models to formalize the spatial layout of the images, and creates a uniform architecture for computational and cognitive systems by adapting the  ...  The qualitative spatial models not only provide the formal basis for fea-Vol. 10: Perspectives on Spatial Cognition tures such as consistency checking to ensure the validity of the spatial layouts, but  ... 
doi:10.4148/1944-3676.1104 fatcat:fuaf4g6qfvbevea4twz5zclivm

Page 478 of The Journal of the Royal Anthropological Institute Vol. 4, Issue 3 [page]

1998 The Journal of the Royal Anthropological Institute  
One single ‘culture’, multiple ‘natures’ — perspectivism is multinaturalist, for a perspective is not a representation.  ...  origin of perspectives.  ... 

Formal Modeling and Analysis of the REST Architecture Using CSP [chapter]

Xi Wu, Yue Zhang, Huibiao Zhu, Yongxin Zhao, Zailiang Sun, Peng Liu
2013 Lecture Notes in Computer Science  
Formalization using CSP Modeling Mapping six REST constraints to the framework. Describing using First-Order Logic. Verifying using Process Analysis Toolkit (PAT).  ...  Formal Modeling and Analysis of the REST Architecture Using CSP Motivation Representational State Transfer (REST) Architecture Rapidly development of the RESTful systems brings the misunderstanding and  ...  Made a better understanding of REST from the perspective of formal methods to guide the implementations of the RESTful systems.  ... 
doi:10.1007/978-3-642-38230-7_6 fatcat:3il2o3e665fhnbcfkr5rj5vquy

Evaluation Methods Used to Assess mHealth Applications for Cardiovascular Disease: First Results of a Scoping Review [chapter]

Felix Holl, Jennifer Kircher, Walter Swoboda
2021 Studies in Health Technology and Informatics  
A uniform framework that specifies different factors and metrics for the evaluation is not apparent.  ...  Potential benefits of mHealth applications are large for chronic diseases. To get an overview of how these applications are being evaluated, a scoping review is being conducted.  ...  It remains a challenge to select the right metrics and methods for evaluation as mHealth. The second stage will provide a formalized and more detailed analysis.  ... 
doi:10.3233/shti210355 pmid:34042848 fatcat:26cmagli2bc47flnkgd4esf4ha

Formal Verification of Control Modules in Cyber-Physical Systems

Iwona Grobelna
2020 Sensors  
The paper proposes a novel formal verification method for a state-based control module of a cyber-physical system.  ...  The logical model is then used both for formal verification using the model checking technique and for prototype implementation in FPGA devices.  ...  In the paper a novel formal verification method for a state-based control part of a CPS is proposed.  ... 
doi:10.3390/s20185154 pmid:32927612 fatcat:4arojpav3ner7hv4v7n2f6q7ga

Building Ontology from Knowledge Base Systems [chapter]

Faten Kharbat, Haya El-Ghalayini
2008 Data Mining in Medical and Biological Research  
Studer et al. (1998) analysed this definition, and identified four main concepts: formal, explicit, shared, and conceptualisation.  ...  This section classifies ontologies along the following three dimensions: level of formality, level of generality, and primitive types.  ...  and methods for developing ontologies.  ... 
doi:10.5772/6407 fatcat:om6pkpmgdzg55dfzqxcssbxjaa

Which Mathematical Logic is the Logic of Mathematics?

Jaakko Hintikka
2012 Logica Universalis  
Acknowledgements This paper was written when Jaakko Hintkkka was a Distinguished Visiting Fellow of the Collegium for Advanced Studies of the University of Helsinki.  ...  Rather, the formalism was for him a tool for trying to understand what it is that is expressed in informal discourse.  ...  How, then, can the nature of uniformity concepts be explained in terms of formal logic?  ... 
doi:10.1007/s11787-012-0065-6 fatcat:7egblszkrjg7lmnutjlz2igfqu
« Previous Showing results 1 — 15 out of 261,909 results