[PDF] Top 20 Las TIC conectando dos escuelas de enseñanza media y el aprendizaje de las ciencias

... the model has the intended propri- eties, verification was performed by generating an optimized ...the case for the ...the system always stays within some allowed region ...the system must ... See full document

... Body Area Network (BAN) to ...healthcare system based on a case ...conceptual model of an artificial pancreas and its mapping ontophysical ...conceptual model of artificial ... See full document

... symbolic model checking of real-time systems developed at the University of Uppsala (Sweden) and Aalborg ...provides model checking for verification of behavioral properties as well as ... See full document

... the network into backbone and floor network to handle inter-floor and infra-floor communication ...the practical design of a BAN based on ...simulation model, the ALL of the backbone ... See full document

... This concept made possible installation of a smart meter in every customer premises so it can communicate with appliances and devices and control their operation. The smart meter has the capability to control how many ... See full document

... Trust is a complex notion that is not well understood. Growing interest in modelling the notion of trust has given rise to a plethora of models and many aspects of trust are currently being studied. However, these models ... See full document

... b. Reduction of threats: immigration networks can provide jobs for new immigrants as easily as possible; thus, immigration mostly becomes a reliable resource for earning incomes. In this process, each immigrant develops ... See full document

... a system which makes operating of electrical appliances in home through Android mobile phone ...operating system, middleware and key ...networking system for all classes of portable devices, ... See full document

... power system when subjected to a variety of operational ...we study these formulations only in the context of the UC problem, it is straightforward to apply them to other scheduling problems ... See full document

... support system using causal loop diagrams and difference equations is proposed to determine the optimum design parameters in the vendor managed inventory, automatic pipeline, inventory and order based production ... See full document

... the home health ...in case of the critical situation where these notification is taken to the personal device which will in turn inform to the health care server ... See full document

... The model designs balance incentives to lower usually high deforestation emissions with incentives to keep usually low deforestation ...this study were to measure deforestation and carbon emissions in ... See full document

... the system has a fixed bound. The model-checking algo- rithm for PRB-ATL requires time polynomial in the size of the model and exponential in the number of resource types and the resource ... See full document

... When given a program whose inputs have been annotated as secret or public, we transform it as described at the end of Section 2.5 to add some simple initialization code that preshares secrets in a way that is not ... See full document

... the area of there spiratory system capable of absorbing benzene is very ...the area of the two-tankbasins; near the loading platform; and next to the ... See full document

... the model checking technique can avoid the lack of deterministic search of state-of-the-art algorithms to a certain ...implement model checking in at the unstable ... See full document

... on home appliances, using the ...control home appliances using this ESP ...in case of unforeseen problems occurring while following this ...all home appliances remote through WiFi ... See full document

... distribution system is made up of sub- transmission lines, power transformers, 33kV lines, 15kV lines, distribution transformers, LV Lines, ...Power system has 400kV, 230kV, 132 kV primary transmission ... See full document

... this model. Any activity that deviates from this model can be seen as anomaly (Prabhdeep and Vashisht ...hybrid model comprising the combination of the synergistic advantages of the misuse and ... See full document

... Literature Review: Cyber threats are one of the most serious and challenging types of operational risk facing modern organizations (Curtis, Mehravari, & Stevens, 2015). The national and economic security of the world ... See full document