El documento describe el modelado y verificación de sistemas de transición de estado utilizando el lenguaje de especificación temporal CTL. Explica cómo construir un modelo de estado, definir propiedades temporales y utilizar un verificador para determinar si el modelo cumple o no cumple las propiedades.
Este documento describe varios sistemas, incluyendo empleos, factores operacionales, factores de propuesta y resultados. Explica los componentes de los sistemas, sus interacciones y cómo se determinan los resultados.
Se dan clases online de las asignaturas de Matemáticas, Matemáticas Aplicadas a las Ciencias Sociales, Física, Química, Estadística, Bioestadistica y Análisis de Datos. Clases individuales o en grupos reducidos. También resolvemos exámenes o relaciones de ejercicios por encargo. Contacto en granada.clases.particulares@gmail.com
El documento parece ser una lista de términos relacionados con límites y derivadas. Contiene definiciones breves de conceptos matemáticos como funciones, límites, derivadas, integrales y gráficas funcionales, organizados en secciones y subsecciones numeradas.
Este documento oficializa la presentación de candidatos de la agrupación política Frente Para la Victoria para diferentes cargos en la provincia de Marzo de 2015, luego de verificar que cumplen con los requisitos legales. Se aprueba la lista de 17 candidatos a diputados provinciales y una candidata a vicegobernadora propuestos por el Frente Para la Victoria.
Este documento resume tres oraciones o menos los principales puntos del documento proporcionado:
1) Compara a los "Geezers" (personas mayores de 70 años) con los "Geeks" (personas menores de 30 años) y cómo se están adaptando a los cambios tecnológicos.
2) Explica que los programas EMBA están evolucionando para satisfacer mejor las necesidades de aprendizaje de ambos grupos, usando métodos como el aprendizaje basado en proyectos.
3) Señala que los EMBA deben
Este documento contiene información sobre cocinas del año 2012, incluyendo precios y especificaciones técnicas de diferentes modelos. Se proporcionan detalles como medidas, materiales, funciones y precios de venta de varios modelos de cocinas.
Este documento resume las enseñanzas de Jesús sobre el Espíritu Santo según los evangelios de Mateo, Lucas y Juan. En 3 oraciones o menos, resume lo siguiente: Jesús prometió a sus discípulos que enviaría el Espíritu Santo después de su ascensión para consolarlos y guiarlos. El Espíritu Santo daría a los creyentes poder y sabiduría para ser testigos de Jesús en todo el mundo. También les enseñaría todas las cosas y les recordaría todo lo que Jesús les había dicho.
Este documento presenta una genealogía de Jesús desde José hasta Abraham en 3 oraciones o menos:
1. Se enumera la genealogía de Jesús desde José hasta Abraham a través de 42 generaciones agrupadas en 14 secciones de 3 generaciones cada una.
2. La genealogía muestra la descendencia de Jesús desde José, esposo de María, hasta Abraham, el patriarca de la fe judía, estableciendo Su legitimidad mesiánica como descendiente de David.
Este documento describe varios sistemas, incluyendo empleos, factores operacionales, factores de propuesta y resultados. Explica los componentes de los sistemas, sus interacciones y cómo se determinan los resultados.
Se dan clases online de las asignaturas de Matemáticas, Matemáticas Aplicadas a las Ciencias Sociales, Física, Química, Estadística, Bioestadistica y Análisis de Datos. Clases individuales o en grupos reducidos. También resolvemos exámenes o relaciones de ejercicios por encargo. Contacto en granada.clases.particulares@gmail.com
El documento parece ser una lista de términos relacionados con límites y derivadas. Contiene definiciones breves de conceptos matemáticos como funciones, límites, derivadas, integrales y gráficas funcionales, organizados en secciones y subsecciones numeradas.
Este documento oficializa la presentación de candidatos de la agrupación política Frente Para la Victoria para diferentes cargos en la provincia de Marzo de 2015, luego de verificar que cumplen con los requisitos legales. Se aprueba la lista de 17 candidatos a diputados provinciales y una candidata a vicegobernadora propuestos por el Frente Para la Victoria.
Este documento resume tres oraciones o menos los principales puntos del documento proporcionado:
1) Compara a los "Geezers" (personas mayores de 70 años) con los "Geeks" (personas menores de 30 años) y cómo se están adaptando a los cambios tecnológicos.
2) Explica que los programas EMBA están evolucionando para satisfacer mejor las necesidades de aprendizaje de ambos grupos, usando métodos como el aprendizaje basado en proyectos.
3) Señala que los EMBA deben
Este documento contiene información sobre cocinas del año 2012, incluyendo precios y especificaciones técnicas de diferentes modelos. Se proporcionan detalles como medidas, materiales, funciones y precios de venta de varios modelos de cocinas.
Este documento resume las enseñanzas de Jesús sobre el Espíritu Santo según los evangelios de Mateo, Lucas y Juan. En 3 oraciones o menos, resume lo siguiente: Jesús prometió a sus discípulos que enviaría el Espíritu Santo después de su ascensión para consolarlos y guiarlos. El Espíritu Santo daría a los creyentes poder y sabiduría para ser testigos de Jesús en todo el mundo. También les enseñaría todas las cosas y les recordaría todo lo que Jesús les había dicho.
Este documento presenta una genealogía de Jesús desde José hasta Abraham en 3 oraciones o menos:
1. Se enumera la genealogía de Jesús desde José hasta Abraham a través de 42 generaciones agrupadas en 14 secciones de 3 generaciones cada una.
2. La genealogía muestra la descendencia de Jesús desde José, esposo de María, hasta Abraham, el patriarca de la fe judía, estableciendo Su legitimidad mesiánica como descendiente de David.
This document provides an overview of distributed information retrieval (DIR) and is presented by Prof. Fabio Crestani. It covers the background of information retrieval (IR) including indexing, querying, IR models and evaluation. The document then outlines topics in DIR including introduction, architectures, broker-based systems, evaluation and applications of DIR.
This document summarizes key concepts related to network flows, including maximum flows, minimum cost flows, and multicommodity flows. It provides an example of modeling internet routing as a maximum flow problem. It then describes the Ford-Fulkerson algorithm for finding maximum flows and some of its properties, including that the maximum flow equals the minimum cut. It discusses how the algorithm works by finding augmenting paths in the residual graph and updating the flow. Finally, it analyzes the running time of Ford-Fulkerson and describes how using shortest augmenting paths leads to a polynomial time algorithm.
The document discusses the benefits of exercise for mental health. It notes that regular physical activity can help reduce anxiety and depression and improve mood and cognitive function. Exercise has also been shown to enhance self-esteem and serve as a healthy distraction from daily stressors.
1) Computer vision techniques such as stereo vision and object detection can be used for applications in robotics.
2) Stereo vision involves calculating depth from two images using techniques like block matching and disparity maps. It can be implemented efficiently on GPUs.
3) Object detection methods include feature detection using SIFT or SURF descriptors followed by matching and geometry validation using techniques like RANSAC. These allow objects to be detected and their pose estimated.
1) Los sistemas concurrentes son difíciles de diseñar y probar debido a la interacción compleja entre los componentes concurrentes.
2) El modelo de exclusión mutua proporciona una forma simple pero efectiva de coordinar el acceso compartido a los recursos críticos mediante el bloqueo y desbloqueo.
3) Las técnicas de verificación formal como el model checking pueden usarse para verificar propiedades de corrección importantes en sistemas concurrentes complejos.
Analysis and design of turbo like codesnhiot081290
1) El documento describe la investigación de formas de representación de conocimiento y la aplicación de la teoría de grafos a problemas de aprendizaje automático. 2) Se propone una nueva forma de representación de conocimiento basada en canales simétricos y asimétricos que permite modelar relaciones complejas. 3) Los resultados muestran que esta representación puede producir la forma canónica de Shannon de canales memoria-less de manera más eficiente que métodos previos.
Este documento describe varios sistemas, incluyendo empleos, factores y términos. Explica los componentes de los sistemas, sus interacciones y cómo se determinan los resultados. También analiza los efectos de diferentes factores en los sistemas y cómo estos pueden modificarse.
Tesina "Estudio del Proceso e+e- to W+W- to enuqq' en LEP"CARMEN IGLESIAS
Análisis de datos reales del año 1999 del detector L3 del acelerador LEP (CERN, Suiza) y comparación con las simulaciones Monte Carlo. Calculo en FORTRAN
Panel data econometrics and GMM estimationAnissa ATMANI
1. Panel data models: introduction, the linear model, extensions, augmented /dynamic panel data methods,
2. GMM: the GMM estimator, GMM for time series models, GMM for dynamic panel data,
3. dicrete choice models
Este documento presenta los resultados de una investigación realizada en el Instituto de Tecnología sobre el aprendizaje de los estudiantes. Se resumen los hallazgos principales de la investigación, incluyendo el éxito de los estudiantes en los exámenes externos y la eficacia del apoyo brindado por los supervisores. Finalmente, el autor agradece a sus supervisores y colaboradores por su apoyo durante la investigación.
El documento presenta conceptos básicos de álgebra como sumas, restas, igualdades y ecuaciones. Explica el uso de letras para representar números desconocidos y muestra ejemplos numéricos para ilustrar los diferentes conceptos algebraicos.
1. Se presenta un problema de optimización con restricciones entre estudiantes y asignaturas.
2. Se describen las variables y restricciones del problema.
3. Se propone un modelo matemático para resolver el problema.
El documento trata sobre el análisis morfológico de imágenes médicas. Explica los conceptos básicos de morfología matemática y técnicas de segmentación de imágenes, incluyendo detección de bordes, clasificación de píxeles, y extracción de características. Luego describe cómo aplicar estos métodos al análisis automático de imágenes médicas para diagnosticar enfermedades.
1) El documento presenta una introducción a los sistemas dinámicos y ecuaciones diferenciales. 2) Describe cómo modelar diferentes sistemas físicos como osciladores armónicos usando ecuaciones diferenciales. 3) Explica cómo resolver numéricamente ecuaciones diferenciales usando el método de Euler y cómo esto puede usarse para simular sistemas dinámicos.
Este documento resume las principales ideas de un texto sobre la filosofía de la vida. En 3 oraciones:
El texto explora las diferentes dimensiones del ser humano como la mente superior e inferior, la conciencia subconsciente y el cuerpo físico. También analiza las influencias positivas y negativas que afectan a cada dimensión. Finalmente, presenta algunos dichos tradicionales para ilustrar conceptos como la mente, las emociones y la energía psíquica.
El documento describe las interacciones entre un hombre llamado ¿¡ ̈à y su amigo ÌÃíÌ. ¿¡ ̈à le pide a ÌÃíÌ que lo acompañe a cazar, pero ÌÃíÌ se niega debido a que no le gusta lastimar animales. Más tarde, ¿¡ ̈à logra convencer a ÌÃíÌ de acompañarlo después de una conversación persuasiva.
1) Este documento presenta los resultados de una evaluación de rendimiento de varios algoritmos de aprendizaje automático. 2) Los algoritmos de regresión logística y árboles de decisión mostraron los mejores resultados en la clasificación de datos. 3) El documento también incluye enlaces a artículos de investigación relacionados con los métodos de aprendizaje automático evaluados.
This document provides an overview of distributed information retrieval (DIR) and is presented by Prof. Fabio Crestani. It covers the background of information retrieval (IR) including indexing, querying, IR models and evaluation. The document then outlines topics in DIR including introduction, architectures, broker-based systems, evaluation and applications of DIR.
This document summarizes key concepts related to network flows, including maximum flows, minimum cost flows, and multicommodity flows. It provides an example of modeling internet routing as a maximum flow problem. It then describes the Ford-Fulkerson algorithm for finding maximum flows and some of its properties, including that the maximum flow equals the minimum cut. It discusses how the algorithm works by finding augmenting paths in the residual graph and updating the flow. Finally, it analyzes the running time of Ford-Fulkerson and describes how using shortest augmenting paths leads to a polynomial time algorithm.
The document discusses the benefits of exercise for mental health. It notes that regular physical activity can help reduce anxiety and depression and improve mood and cognitive function. Exercise has also been shown to enhance self-esteem and serve as a healthy distraction from daily stressors.
1) Computer vision techniques such as stereo vision and object detection can be used for applications in robotics.
2) Stereo vision involves calculating depth from two images using techniques like block matching and disparity maps. It can be implemented efficiently on GPUs.
3) Object detection methods include feature detection using SIFT or SURF descriptors followed by matching and geometry validation using techniques like RANSAC. These allow objects to be detected and their pose estimated.
1) Los sistemas concurrentes son difíciles de diseñar y probar debido a la interacción compleja entre los componentes concurrentes.
2) El modelo de exclusión mutua proporciona una forma simple pero efectiva de coordinar el acceso compartido a los recursos críticos mediante el bloqueo y desbloqueo.
3) Las técnicas de verificación formal como el model checking pueden usarse para verificar propiedades de corrección importantes en sistemas concurrentes complejos.
Analysis and design of turbo like codesnhiot081290
1) El documento describe la investigación de formas de representación de conocimiento y la aplicación de la teoría de grafos a problemas de aprendizaje automático. 2) Se propone una nueva forma de representación de conocimiento basada en canales simétricos y asimétricos que permite modelar relaciones complejas. 3) Los resultados muestran que esta representación puede producir la forma canónica de Shannon de canales memoria-less de manera más eficiente que métodos previos.
Este documento describe varios sistemas, incluyendo empleos, factores y términos. Explica los componentes de los sistemas, sus interacciones y cómo se determinan los resultados. También analiza los efectos de diferentes factores en los sistemas y cómo estos pueden modificarse.
Tesina "Estudio del Proceso e+e- to W+W- to enuqq' en LEP"CARMEN IGLESIAS
Análisis de datos reales del año 1999 del detector L3 del acelerador LEP (CERN, Suiza) y comparación con las simulaciones Monte Carlo. Calculo en FORTRAN
Panel data econometrics and GMM estimationAnissa ATMANI
1. Panel data models: introduction, the linear model, extensions, augmented /dynamic panel data methods,
2. GMM: the GMM estimator, GMM for time series models, GMM for dynamic panel data,
3. dicrete choice models
Este documento presenta los resultados de una investigación realizada en el Instituto de Tecnología sobre el aprendizaje de los estudiantes. Se resumen los hallazgos principales de la investigación, incluyendo el éxito de los estudiantes en los exámenes externos y la eficacia del apoyo brindado por los supervisores. Finalmente, el autor agradece a sus supervisores y colaboradores por su apoyo durante la investigación.
El documento presenta conceptos básicos de álgebra como sumas, restas, igualdades y ecuaciones. Explica el uso de letras para representar números desconocidos y muestra ejemplos numéricos para ilustrar los diferentes conceptos algebraicos.
1. Se presenta un problema de optimización con restricciones entre estudiantes y asignaturas.
2. Se describen las variables y restricciones del problema.
3. Se propone un modelo matemático para resolver el problema.
El documento trata sobre el análisis morfológico de imágenes médicas. Explica los conceptos básicos de morfología matemática y técnicas de segmentación de imágenes, incluyendo detección de bordes, clasificación de píxeles, y extracción de características. Luego describe cómo aplicar estos métodos al análisis automático de imágenes médicas para diagnosticar enfermedades.
1) El documento presenta una introducción a los sistemas dinámicos y ecuaciones diferenciales. 2) Describe cómo modelar diferentes sistemas físicos como osciladores armónicos usando ecuaciones diferenciales. 3) Explica cómo resolver numéricamente ecuaciones diferenciales usando el método de Euler y cómo esto puede usarse para simular sistemas dinámicos.
Este documento resume las principales ideas de un texto sobre la filosofía de la vida. En 3 oraciones:
El texto explora las diferentes dimensiones del ser humano como la mente superior e inferior, la conciencia subconsciente y el cuerpo físico. También analiza las influencias positivas y negativas que afectan a cada dimensión. Finalmente, presenta algunos dichos tradicionales para ilustrar conceptos como la mente, las emociones y la energía psíquica.
El documento describe las interacciones entre un hombre llamado ¿¡ ̈à y su amigo ÌÃíÌ. ¿¡ ̈à le pide a ÌÃíÌ que lo acompañe a cazar, pero ÌÃíÌ se niega debido a que no le gusta lastimar animales. Más tarde, ¿¡ ̈à logra convencer a ÌÃíÌ de acompañarlo después de una conversación persuasiva.
1) Este documento presenta los resultados de una evaluación de rendimiento de varios algoritmos de aprendizaje automático. 2) Los algoritmos de regresión logística y árboles de decisión mostraron los mejores resultados en la clasificación de datos. 3) El documento también incluye enlaces a artículos de investigación relacionados con los métodos de aprendizaje automático evaluados.
1. El documento presenta una lista de 16 nombres enlazados entre sí, comenzando con "Jesús" y terminando con "el Señor".
2. Se describe a Jesús predicando en una sinagoga y curando a un hombre con una mano paralizada en el Sábado, lo que provocó controversia.
3. Jesús responde a la controversia citando un pasaje de la Biblia que permite hacer el bien en el Sábado.
1. El documento presenta una lista de 16 nombres enlazados entre sí, comenzando con "Jesús" y terminando con "el Señor".
2. Cada nombre conduce al siguiente en la lista a través de la frase "y el siguiente nombre es".
3. La lista parece ser una representación visual de una cadena de eventos o una sucesión de personas y títulos.
1. El documento presenta una lista de 16 nombres enlazados entre sí, comenzando con "Jesús" y terminando con "el Señor".
2. Cada nombre conduce al siguiente en la lista a través de la frase "y el siguiente nombre es".
3. La lista parece ser una representación visual de una cadena de eventos o una sucesión de personas y títulos.
1. El documento habla sobre un predicador sonriente que atrae a miles de personas a sus sermones.
2. Explica que creció en un pequeño pueblo y ahora tiene una gran influencia a través de la radio y la televisión.
3. Resume que comparte mensajes de esperanza que llegan a muchas personas en necesidad.
Este documento es una solicitud de arrendamiento residencial presentada a la Asociación de Agentes Inmobiliarios de Texas. Contiene información personal del solicitante como nombre, dirección, empleo e ingresos. También incluye detalles sobre otros ocupantes, vehículos, mascotas y un historial de arrendamientos previos. El solicitante autoriza una verificación de antecedentes de crédito y penales como parte del proceso de solicitud.
El proyecto Bonnington Jumeirah Lakes Towers comenzó en 2003 cuando directivos de Bonnington Group decidieron desarrollar un hotel de lujo con residencias en Dubái. Aunque el proyecto se completó durante una recesión económica, el hotel ahora se beneficia de su ubicación céntrica en Dubái. El hotel ha crecido gradualmente desde su apertura parcial en 2009 hasta convertirse en un destino exitoso hoy en día.
Similar a 20071021 verification konev_lecture06 (20)
The document discusses concurrency and synchronization in distributed computing. It provides an overview of Petr Kuznetsov's research at Telecom ParisTech, which includes algorithms and models for distributed systems. Some key points discussed are:
- Concurrency is important due to multi-core processors and distributed systems being everywhere. However, synchronization between concurrent processes introduces challenges.
- Common synchronization problems include mutual exclusion, readers-writers problems, and producer-consumer problems. Tools for synchronization include semaphores, transactional memory, and non-blocking algorithms.
- Characterizing distributed computing models and determining what problems can be solved in a given model is an important area of research, with implications for distributed system design.
The document discusses weakly supervised learning from video and images using convolutional neural networks. It describes using scripts as weak supervision for learning actions from movies without explicit labeling. Methods are presented for jointly learning actors and actions from scripts, and for action learning with ordering constraints. The use of CNNs for object and action recognition in images is also summarized, including work on training CNNs using only image-level labels without bounding boxes.
This document discusses common C++ bugs and tools to find them. It describes various types of memory access bugs like buffer overflows on the stack, heap, and globals that can lead to crashes or security vulnerabilities. Threading bugs like data races, deadlocks, and race conditions on object destruction are also covered. Other undefined behaviors like initialization order issues, lack of sequence points, and integer overflows are explained. The document provides examples of each type of bug and emphasizes that undefined behavior does not guarantee a predictable result. It concludes with a quiz to find bugs in a code sample and links to additional reading materials.
AddressSanitizer, ThreadSanitizer, and MemorySanitizer are compiler-based tools that detect bugs like buffer overflows, data races, and uninitialized memory reads in C/C++ programs. AddressSanitizer instruments loads and stores to detect out-of-bounds memory accesses. ThreadSanitizer intercepts synchronization calls to detect data races between threads. MemorySanitizer tracks initialized and uninitialized memory using shadow memory to find uses of uninitialized values. The tools have found thousands of bugs with low overhead. Future work includes supporting more platforms and languages and detecting additional bug classes.
This document discusses common C++ bugs and tools to find them. It describes various types of memory access bugs like buffer overflows on the stack, heap, and globals that can lead to crashes or security vulnerabilities. Threading bugs like data races, deadlocks, and race conditions on object destruction are also covered. Other undefined behaviors like initialization order issues, lack of sequence points, and integer overflows are explained. The document provides examples of each type of bug and quizzes the reader to find bugs in a code sample. It recommends resources for further reading on debugging techniques and thread sanitizers that can detect races and data races.
This document provides examples and snippets of code for MapReduce, Pig, Hive, Spark, Shark, and Disco frameworks. It also includes two sections of references for related papers and Disco documentation. The examples demonstrate basic MapReduce jobs with drivers, mappers, and reducers in Java, Pig and Hive queries, Spark and Shark table operations, and a Disco MapReduce job.
para programadores y desarrolladores de inteligencia artificial y machine learning, como se automatiza una cadena de valor o cadena de valor gracias a la teoría por Manuel Diaz @manuelmakemoney
Todo sobre la tarjeta de video (Bienvenidos a mi blog personal)AbrahamCastillo42
Power point, diseñado por estudiantes de ciclo 1 arquitectura de plataformas, esta con la finalidad de dar a conocer el componente hardware llamado tarjeta de video..
Catalogo general tarifas 2024 Vaillant. Amado Salvador Distribuidor Oficial e...AMADO SALVADOR
Descarga el Catálogo General de Tarifas 2024 de Vaillant, líder en tecnología para calefacción, ventilación y energía solar térmica y fotovoltaica. En Amado Salvador, como distribuidor oficial de Vaillant, te ofrecemos una amplia gama de productos de alta calidad y diseño innovador para tus proyectos de climatización y energía.
Descubre nuestra selección de productos Vaillant, incluyendo bombas de calor altamente eficientes, fancoils de última generación, sistemas de ventilación de alto rendimiento y soluciones de energía solar fotovoltaica y térmica para un rendimiento óptimo y sostenible. El catálogo de Vaillant 2024 presenta una variedad de opciones en calderas de condensación que garantizan eficiencia energética y durabilidad.
Con Vaillant, obtienes más que productos de climatización: control avanzado y conectividad para una gestión inteligente del sistema, acumuladores de agua caliente de gran capacidad y sistemas de aire acondicionado para un confort total. Confía en la fiabilidad de Amado Salvador como distribuidor oficial de Vaillant, y en la resistencia de los productos Vaillant, respaldados por años de experiencia e innovación en el sector.
En Amado Salvador, distribuidor oficial de Vaillant en Valencia, no solo proporcionamos productos de calidad, sino también servicios especializados para profesionales, asegurando que tus proyectos cuenten con el mejor soporte técnico y asesoramiento. Descarga nuestro catálogo y descubre por qué Vaillant es la elección preferida para proyectos de climatización y energía en Amado Salvador.
Infografia TCP/IP (Transmission Control Protocol/Internet Protocol)codesiret
Los protocolos son conjuntos de
normas para formatos de mensaje y
procedimientos que permiten a las
máquinas y los programas de aplicación
intercambiar información.
18. Ò
ÁÆ Ò
¸
ÁÆ
ÖÖÝ ÓÙØ Ú ÐÙ ²
ÖÖÝ Ò
ÖÖÝ ÓÙØ
Ú ÐÙ ²
ÖÖÝ Ò
19. bit2 bit1 bit0
000
001
val=0 val=1 val=0 val=1 val=0 val=1 010
011
100
next(value) := (value + carry in)mod2 carry out := valuecarry in
Æ ÜØ Ø¾ ؽ ؼ
Ò ÜØ Ò ÜØ
ÖÖÝ ÓÙØ Ò ÜØ
ÖÖÝ ÓÙØ
¼¼½ ¼ · ¼ ¼ ¼ · ¼ ¼ ¼ ² ¼ ¼ ¼ · ½ ½ ¼ ² ½ ¼
¼½¼ ¼ · ¼ ¼ ¼ · ½ ½ ¼ ² ½ ¼ ½ · ½ ¼ ½ ² ½ ½
¼½½ ¼ · ¼ ¼ ½ · ¼ ½ ½ ² ¼ ¼ ¼ · ½ ½ ¼ ² ½ ¼
½¼¼ ¼ · ½ ½ ½ · ½ ¼ ½ ² ½ ½ ½ · ½ ¼ ½ ² ½ ½