Tecnología, Internet y juegos

encontrados: 7, tiempo total: 0.008 segundos rss2
21 meneos
161 clics

Wolfram Alpha ya sabe realizar demostraciones matemáticas mediante inducción

Wolfram Alpha, ese poco conocido "motor de conocimiento" con aspecto de buscador que cuenta con gigantescas bases de datos estructuradas y con el cerebro de Mathematica, permite generar pruebas matemáticas mediante inducción a partir de una consulta en lenguaje normal y corriente. Un ejemplo típico sería: "Demostrar que 8 elevado a n menos 3 elevado a n es divisible por 5 para cualquier valor de n mayor que 0."
17 4 2 K 19
17 4 2 K 19
169 meneos
4782 clics
Un DeLorean autónomo que derrapa es la mejor forma de demostrar lo seguros que son estos sistemas

Un DeLorean autónomo que derrapa es la mejor forma de demostrar lo seguros que son estos sistemas  

¿Han creado un coche autónomo... en un DeLorean? Pues sí. Eso es justamente lo que han hecho un grupo de ingenieros de la Universidad de Stanford, que han querido demostrar cómo este sistema de conducción autónoma era capaz de comportarse de forma totalmente segura incluso en situaciones peligrosas en las que necesitaba sortear obstáculos derrapando.
83 86 1 K 251
83 86 1 K 251
7 meneos
121 clics

Captcha: por qué es cada vez más difícil probarle a un sitio de internet que eres humano

¿Te ha pasado que cuando quieres crear una cuenta en un sitio web te pasas un buen rato tratando de demostrar que eres un ser humano?
109 meneos
6391 clics
Así es el Valkyrie, el invento de EEUU para cambiar las reglas de combate aéreo

Así es el Valkyrie, el invento de EEUU para cambiar las reglas de combate aéreo

... El XQ-58A es lo que se denomina un 'vehículo demostrador', es decir, un modelo que se construye y prueba para evaluar la viabilidad de una tecnología, un diseño, etc. En este caso, el Valkyrie vendría a probar el diseño y tecnología alrededor de un dron de combate o UCAV que pueda ser utilizado como complemento de los aviones de última generación. Muchas veces los demostradores son modelos a escala reducida, en general muy simplificados pero que aportan una valiosísima información que permitirá, a futuro, ahorrar costes de desarrollo
60 49 0 K 279
60 49 0 K 279
10 meneos
175 clics

La increible máquina de las demostraciones

Se trata de una herramienta para realizar demostraciones en varias lógicas (por ejemplo, la lógica proposicional, la lógica predicada) de forma visual: Simplemente se añaden bloques que representan los distintos pasos de las demostraciones, se conectan correctamente, y si la conclusión se vuelve verde, ¡entonces se ha creado una demostración completa! Simplemente arrastra y suelta para conectar dos puntos; para algunos ejemplos de demostraciones completas, vea este documento (link).
170 meneos
2582 clics
El experimento que demostró la transmisión de enfermedades por vía aérea [ENG]

El experimento que demostró la transmisión de enfermedades por vía aérea [ENG]  

Siete meses después de que se confirmara la primera transmisión de persona a persona del SARS-CoV-2 en China, el método de transmisión sigue sin resolverse. ¿El virus se transmite por el aire en pequeñas partículas infecciosas? ¿O las personas infectadas expulsan el virus en gotas grandes que caen sobre las superficies o pueden ser inhaladas por personas cercanas?
82 88 2 K 289
82 88 2 K 289
5 meneos
33 clics
La Tierra como objeto de prueba (eng)

La Tierra como objeto de prueba (eng)

Los físicos de la ETH Zurich y de la Universidad de Zurich querían saber si la misión espacial LIFE planeada realmente podría detectar rastros de vida en otros planetas. Sí, es posible, afirman los investigadores, con la ayuda de observaciones de nuestro propio planeta..Utilizaron la Tierra como ejemplo para demostrar que la misión espacial LIFE (Gran Interferómetro para Exoplanetas) planificada puede ser un éxito y que el procedimiento de medición planificado funciona.

menéame